Projects
Current projects
- ANR JCJC QuaSy (2024-) Quantitative Synthesis
- PEPR TRUSTINCloudS (2023-) Cybersecurity of Cloud infrastructures
In collaboration with Institut Mines Telecom, Université de Lorraine, Eurecom, Université Paul Sabatier Toulouse III, CEA, Inria. Team members: Clara Bertolissi, Jean-Marc Talbot
Past projects
- ANR Ticktac (2019-2022) Efficient Techniques and Tools for the Verification and Synthesis of Real-Time Systems
In collaboration with IRISA (Rennes), LaBRI (Bordeaux), LSV (Cachan), ISIR (Paris), LRDE (Paris)
- ANR Delta (2017-2022) Défis pour la Logique, les Transducteurs et les Automates
In collaboration with LaBRI (Bordeaux), IRIF (Paris), and CRIStAL (Lille)
- ANR JCJC SensAS Formal Sensitivity Analysis of Quantitative Systems
In collaboration with IRISA (Rennes)
- PEPS CNRS SOSI (2016) Security of Timed Systems with Partial Information
In collaboration with IRISA (Rennes), and LSIS (Marseille)
- PHC Tournesol VAST (2016)
In collaboration with Université libre de Bruxelles (Belgique)
- PEPS CNRS SOSP (2013-2014) Synthesis of Stream Processors
- FP7 SecAC (2012-2016)
In collaboration with FBK Trento (Italie)
- ANR Impro (2011-2014) Implémentabilité et Robustesse des systèmes temporisés
- ANR ECSPER (2009-2013) Etude et Conception de systèmes avec Perturbations