Nouvelles publications
- Quelques Publications
Récentes
- Quentin Bramas, Stéphane Devismes, Pascal Lafourcade: Finding Water on Poleless using Melomaniac Myopic Chameleon Robots
- Proceedings of the 6th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT (SNR 2020), Vienna, Austria, August 2020, editors Thao Dang and Stefan Ratschan
- Sylvain Boulmé: Formally Verified Defensive Programming (efficient Coq-verified computations from untrusted ML oracles)
- Salim CHEHIDA, Abdelhakim Baouya, Saddek Bensalem, Marius Bozga: Applied Statistical Model Checking for a Sensor Behavior Analysis
Offres d'emploi et stages
- Offres d'emploi et stages
- PhD position : software vulnerability analysis guided by countermeasures and attacker capabilities
- Convex polyhedra in floating point
- PhD Position : Decision Procedures for Inductive Separation Logic Modulo Data Theories
- PhD position : Encoding and Sampling of Constrained Signal Spaces for Validation of CPS
- PhD position : Proving Correctness of Reconfigurable Systems
- [M2 Internship] Leakage in presence of an active and adaptive adversary
- [M2 Internship] Security counter-measures in a certified optimizing compiler
- [M2R Internship] Analyse et Evaluation d’implémentations sécurisées robustes à l’injection de fautes
- [Master] Certification of Distributed Self-Stabilizing Algorithms Using Coq
- [Master] Design and Evaluation of Strategies for Automated Proofs using Reasoning Modulo Equivalence
- [Master] Multi-core Interference analysis and Global Scheduling
- [Master] Simulation of Distributed Algorithms
