New publications
- Some Recent Publications
- Benoît Barbot, Nicolas Basset, Thao Dang, Alexandre Donzé, James P. Kapinski, Tomoya Yamaguchi: Falsification of Cyber-Physical Systems with Constrained Signal Spaces
- 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
- Mohammed Foughali, Pierre-Emmanuel Hladik: Bridging the Gap between Formal Verification and Schedulability Analysis: The Case of Robotics
- Nacim Meslem, Thao Dang: On the Reachable Set of Uncertain Closed Loop Discrete-Time Linear Systems
Jobs and internships
- Jobs and internships
- 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
