Prix du meilleur article pour "The Tree Width of Separation Logic with Recursive Definitions" par Radu Iosif, Adam Rogalewicz, and Jirí Simácek, à CADE 2013 [1].
Browsing
News
Seminars
- Seminars
- 22 November 2018 Analyse et verif. legeres Une journee de reflexion: Lightweight analysis and verification techniques
- 29 November 2018 Sylvain Boulmé: Importation d'oracles ml impératifs dans du code coq vérifié
- 6 December 2018 Joseph Sifakis: On the nature of autonomy – a rigorous architectural characterization
New publications
- Recent Publications
- Iulia Dragomir, Simon Iosti, Marius Bozga, Saddek Bensalem: Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach
- Alexios Lekidis, Emmanouela Stachtiari, Panagiotis Katsaros, Marius Bozga, Christos K. Georgiadis: Model-based design of IoT systems with the BIP component framework
- Dejan Nickovic, Olivier Lebeltel, Oded Maler, Thomas Ferrére, Dogan Ulus: AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic
- Karine Altisen, Stéphane Devismes, Anaïs Durand: Acyclic Strategy for Silent Self-Stabilization in Spanning Forests
- Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore: A Silent Self-Stabilizing Algorithm for the Generalized Minimal k-Dominating Set Problem
- Karine Altisen, Stéphane Devismes, Anaïs Durand, Petit Franck: Gradual Stabilization
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
