Actualités
Séminaires
Nouvelles publications
- Quelques Publications
Récentes
- Marius Bozga, Javier Esparza, Radu Iosif, Joseph Sifakis, Christoph Welzel: Structural Invariants for the Verification of Systems with Parameterized Architectures
- Matheus Schuh, Claire Maiza, Joël Goossens, Pascal Raymond, Benoît Dupont De Dinechin: A study of predictable execution models implementation for industrial data-flow applications on a multi-core platform with shared banked memory
- Etienne Boespflug, Cristian Ene, Laurent Mounier, Marie-Laure Potet: Countermeasures Optimization in Multiple Fault-Injection Context
- Nicolas Basset, Thao Dang, Akshay Mambakam, José Ignacio Requeno Jarabo: Learning Specifications for Labelled Patterns
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
