OpenKronos: is an on-the-fly verification tool for timed automata based on an integration of the DBM library of Kronos into CADP.
Browsing
New publications
- Recent Publications
- Anaïs Durand: Election et anneaux unidirectionnels en présence d'homonymes
- Karine Altisen, Pierre Corbineau, Stéphane Devismes: A Framework for Certified Self-Stabilization
- Valentin Touzeau, Claire Maiza, David Monniaux, Jan Reineke: Ascertaining Uncertainty for Efficient Exact Cache Analysis
- Amaury Graillat, Matthieu Moy, Pascal Raymond, Benoît Dupont De Dinechin: Parallel Code Generation of Synchronous Programs for a Many-core Architecture
- Arvind S. Adimoolam, Thao Dang: Template complex zonotopes for stability and invariant verification
- Karine Altisen, Olivier Alphand, Rodolphe Bertolini, Stéphane Devismes, Ali Fahs, Franck Rousseau: Collision Prevention in Distributed 6TiSCH Networks
Jobs and internships
- Jobs and internships
- Phd Position: Vulnerability search in Industrial Control Systems
- 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
- PHD proposal: Data Mining Dynamic Behaviors using Signal Temporal Logic
- Post-Doc and/or Research Engineer positions on Software Security
- [M1 internship] Modeling of Graph Topologies Using Coq
