Site Map
-
Tools
- aadl2sync
- aadl4ocaml
- 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
- Multi-core interference Analysis
- NLTOOLBOX
- OpenKronos
- Pagai
- PHAVer
- Pinapa
- PinaVM
- RDBG
- Reglo
- RTD-Finder
- sc-during
- SCRV
- SMI
- SpaceEx
- SR3 : Secure Resilient and Reputation-based Routing
- ss2lus
- TGV
- The Lustre V4 Toolbox
- The Lustre V6 Toolbox
- Time-Critical Applications on Multicore Platforms
News
Seminars
- Seminars
- 17 December 2018 Nikolaos Kekatos: Formal verification of cyber-physical systems in the industrial model-based design (...) (Phd)
- 17 January 2019 Paolo Torrini: Reifying and translating a monadic fragment of gallina
- 24 January 2019 Maiza Claire: Wcet and interference analysis for multicore systems
- 31 January 2019 Jacques Combaz: Assembling components in bip
New publications
- Recent Publications
- Karine Altisen, Stéphane Devismes, Anaïs Durand: Acyclic Strategy for Silent Self-stabilization in Spanning Forests
- Steven de Oliveira, Virgile Prevosto, Peter Habermehl, Saddek Bensalem: Left-Eigenvectors Are Certificates of the Orbit Problem
- Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket: Global and Local Deadlock Freedom in BIP
- Sylvain Boulmé, Alexandre Maréchal: A Coq Tactic for Equality Learning in Linear Arithmetic
- Alexey Bakhirkin, Thomas Ferrére, Oded Maler: Efficient Parametric Identification for STL
- Moustapha Lo, Nicolas Valot, Florence Maraninchi, Pascal Raymond: Real-time on-Board Manycore Implementation of a Health Monitoring System: Lessons Learnt
Jobs and internships
- Jobs and internships
- Phd Proposal : Inférence de modèles de faute pour simulation d’attaques sur composants sécurisés
- Phd proposal : Optimisation de l’évaluation et des tests de sécurité des systèmes cyber-physiques par analyse des canaux auxiliaires
- Post-Doc and/or Research Engineer positions on Software Security
- [M2 internship] Self-Stabilization in TVG
- [Postdoc positions] Coq Developments
