Browsing
New publications
- Recent Publications
- Braham Lotfi Mediouni: Modeling and Analysis of Stochastic Real-Time Systems
- Cristian Ene, Laurent Mounier, Marie-Laure Potet: Output-Sensitive Information Flow Analysis
- Alexey Bakhirkin, Nicolas Basset, Oded Maler, José-Ignacio Requeno Jarabo: ParetoLib: A Python Library for Parameter Synthesis
- Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain: Continuous vs. Discrete Asynchronous Moves: a Certified Approach for Mobile Robots on Graphs
- David Monniaux, Valentin Touzeau: On the Complexity of Cache Analysis for Different Replacement Policies
- Moustapha Lo: Implementing a Real-time Avionic application on a Many-core Processor
Jobs and internships
- Jobs and internships
- Certification of Distributed Self-Stabilizing Algorithms Using Coq
- Decision Procedure for Equivalence Relations
- Exploration of timing anomaly impact on processor execution for critical real-time systems
- Models of Distributed Algorithms
- PhD position: Encoding and Sampling of Constrained Signal Spaces for Validation of CPS
- Self-Stabilization in TVG
