Best paper award for Pascal Lafourcade and Jannik Dreier "Formal Analysis of Electronic Exams" par Dreier, Jannik and Giustolisi, Rosario and Kassem, Ali and Lafourcade, Pascal and Lenzin, Gabriele and Ryan, Peter [1].
Browsing
New publications
- Some Recent Publications
- Salim CHEHIDA, Abdelhakim Baouya, Diego Fernández Alonso, Paul -, Guillemette Massot, Marius Bozga, Saddek Bensalem: Asset-Driven Approach for Security Risk Assessment in IoT Systems
- Karine Altisen, Stéphane Devismes, Durand Anaïs, Colette Johnen, Petit Franck: Brief Announcement: Self-stabilizing Systems in Spite of High Dynamics
- Cyril Six, Sylvain Boulmé, David Monniaux: Certified and Efficient Instruction Scheduling: Application to Interlocked VLIW Processors
- Marius Bozga, Javier Esparza, Radu Iosif, Joseph Sifakis, Christoph Welzel: Structural Invariants for the Verification of Systems with Parameterized Architectures
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
