Prix du meilleur article pour "The Tree Width of Separation Logic with Recursive Definitions" par Radu Iosif, Adam Rogalewicz, and Jirí Simácek, à CADE 2013 [1].
Browsing
News
Seminars
- Seminars
- 17 January 2019 Paolo Torrini: Reifying and translating a monadic fragment of gallina
- 21 January 2019 Sergio Yovine: Formal specification and implementation of an automated pattern-based parallel-code (...)
- 22 January 2019 Georg Struth: Verifying hybrid systems with modal kleene algebra
- 24 January 2019 Maiza Claire: Wcet and interference analysis for multicore systems
- 7 February 2019 Jacques Combaz: Assembling components in bip
New publications
- Recent Publications
- Remy Boutonnet, Nicolas Halbwachs: Disjunctive relational abstract interpretation for interprocedural program analysis
- Rany Kahil, Dario Socci, Peter Poplavko, Saddek Bensalem: Algorithmic Complexity of Correctness Testing in MC-Scheduling
- Sylvain Boulmé, Alexandre Maréchal: A Coq Tactic for Equality Learning in Linear Arithmetic
- Steven De Oliveira: Finding constancy in linear routines
- Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Axel Legay, Saddek Bensalem: Mitigating Security Risks Through Attack Strategies Exploration
- Jorge Ocon, Francisco Colemenero, Joaquin Estremera, Karl Buckley, Mercedes Alonso, Enrique Heredia, Javier Garcia, Amanda Coles, Andrew Coles, Moises Martinez, Emre Savas, Florian Pommerening, Thomas Keller, Spyros Karachalios, Mark Woods, Iulia Dragomir, Saddek Bensalem, Pierre Dissaux, Arnaud Schach, Robert Marc, Piotr Weclewski: The ERGO framework and its use in planetary/orbital scenarios
Jobs and internships
- Jobs and internships
- Phd Proposal : Inférence de modèles de faute pour simulation d’attaques sur composants sécurisés
- Phd proposal : Optimisation de l’évaluation et des tests de sécurité des systèmes cyber-physiques par analyse des canaux auxiliaires
- Post-Doc and/or Research Engineer positions on Software Security
- [M2 internship] Self-Stabilization in TVG
- [Postdoc positions] Coq Developments
