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
- Susanne Graf, Sophie Quinton, Alain Girault, Gregor Gößler: Building Correct Cyber-Physical Systems: Why We Need a Multiview Contract Theory
- Fabienne Carrier, Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore: L-Exclusion autostabilisante revisitée
- Stéphane Devismes, Anissa Lamani, Franck Petit, Sébastien Tixeuil: Optimal Torus Exploration by Oblivious Robots
- Jonthan Salwan, Sebastien Bardin, Marie-Laure Potet: Binary Deobfuscation and Dynamic Symbolic Execution
- Moustapha Lo, Nicolas Valot, Florence Maraninchi, Pascal Raymond: Real-time on-Board Manycore Implementation of a Health Monitoring System: Lessons Learnt
- Eugene Asarin, Nicolas Basset, Aldric Degorre: Distance on Timed Words and Applications
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
