Browsing
New publications
- Recent Publications
- Mahieddine Dellabani, Jacques Combaz, Saddek Bensalem, Marius Bozga: Knowledge Based Optimization for Distributed Real-Time Systems
- Ezio Bartocci, Jyotirmoy V. Deshmukh, Alexandre Donzé, Georgios E. Fainekos, Oded Maler, Dejan Nickovic, Sriram Sankaranarayanan: Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications
- Nikolaos Kekatos, Marcelo Forets, Goran Frehse: Constructing verification models of nonlinear Simulink systems via syntactic hybridization
- Georgia Giannopoulou, Peter Poplavko, Dario Socci, Pengcheng Huang, Nikolay Stoimenov, Paraskevas Bourgos, Lothar Thiele, Marius Bozga, Saddek Bensalem, Sylvain Girbal, Madeleine Faugère, Romain Soulat, Beno\^ Dupont de Dinechin: DOL-BIP-Critical: a tool chain for rigorous design and implementation of mixed-criticality multi-core systems
- Dorien Koelemeijer, Rasma Araby, Ayoub Nouri, Marius Bozga, Rance DeLong: A Model-based Approach to Certification of Adaptive MILS
- Stéphane Devismes, Anissa Lamani, Franck Petit, Sébastien Tixeuil: Optimal Torus Exploration by Oblivious Robots
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
- Post-Doc and/or Research Engineer positions on Software Security
- [M1 internship] Modeling of Graph Topologies Using Coq
- [M2 internship] Certification of Distributed Self-Stabilizing Algorithms Using Coq
