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
News
- Conferences
- November 18-21, 2020 SSS 2020
Seminars
New publications
- Recent Publications
- Mnacho Echenim, Radu Iosif, Nicolas Peltier: The Bernays-Sch"onfinkel-Ramsey Class of Separation Logic with Uninterpreted Predicates
- Cristian Ene, Laurent Mounier, Marie-Laure Potet: Output-Sensitive Information Flow Analysis
- Mohammed Foughali, Pierre-Emmanuel Hladik: Bridging the Gap between Formal Verification and Schedulability Analysis: The Case of Robotics
- Marius Bozga, Javier Esparza, Radu Iosif, Joseph Sifakis, Christoph Welzel: Structural Invariants for the Verification of Systems with Parameterized Architectures
- Maximilien Dupont De Dinechin, Matheus Schuh, Matthieu Moy, Claire Maiza: Scaling Up the Memory Interference Analysis for Hard Real-Time Many-Core Systems
- Mohammed Foughali: A Two-Step Hybrid Approach for Verifying Real-Time Robotic Systems
