Site Map
-
Tools
- aadl2sync
- aadl4ocaml
- AMT 2.0
- Argos and Larissa
- Aspic
- BDDC v2
- BIP Compiler
- BIP-SMC : A Statistical Model Checking Engine for the BIP framework
- d/dt
- DFinder
- FLATA
- FLATA-C
- IF
- InVeSt
- Kronos
- L2CA
- LIBTLMPWT
- Lurette
- Lustre V6
- Lutin
- Mjollnir
- Montre
- Multi-core interference Analysis
- NLTOOLBOX
- OpenKronos
- Pagai
- ParetoLib
- PHAVer
- Pinapa
- PinaVM
- RDBG
- Reglo
- RTD-Finder
- sc-during
- SCRV
- SMI
- SpaceEx
- SR3 : Secure Resilient and Reputation-based Routing
- ss2lus
- StreamExplorer
- TGV
- The Lustre V4 Toolbox
- The Lustre V6 Toolbox
- Time-Critical Applications on Multicore Platforms
News
- NEWS
- Karine Altisen, Stéphane Devismes, Swan Dubois, and Franck Petit New Book: Introduction to Distributed Self-Stabilizing Algorithms
- 20 September 2019 at IMAG Auditorium (Grenoble) Oded Maler Memorial Day
- Conferences
- November 25-29 2019 Synchron 2019
- Seminars
- 19 September 2019 Martin Franzle: What’s to come is still unsure: automatically synthesizing and verifying controllers (...)
- 20 September 2019 -- Oded maler memorial day: Oded maler memorial day
- 26 September 2019 Pierre-jean Meyer: Reachability analysis and decompositions for abstraction-based control (...)
- 8 October 2019 Valentin Touzeau: Static analysis of least recently used caches: complexity, optimal analysis, and (...) (Phd)
Seminars
New publications
- Recent Publications
- Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis: Mechanically Proving Determinacy of Hierarchical Block Diagram Translations
- Stéphane Devismes, Anissa Lamani, Franck Petit, Sébastien Tixeuil: Optimal torus exploration by oblivious robots
- Thao Dang, Tommaso Dreossi, Eric Fanchon, Oded Maler, Carla Piazza, Alexandre Rocca: Set-Based Analysis for Biological Modelling
- Camille Coti, David Monniaux, Hang Yu: Parallel Parametric Linear Programming Solving, and Application to Polyhedral Computations
- Mohammad Al Khatib, Antoine Girard, Thao Dang: Timing Contracts for Multi-Core Embedded Control Systems
- Karine Altisen, Stéphane Devismes, Anaïs Durand: Silence dans la forêt !
