Maître de conférencesCNU : SECTION 27 - INFORMATIQUE
- Laboratoire / équipe
- Composantes, facultés
Domaines de recherche
Real-time, embedded, critical systems, formal methods, synchronous languages
ECRTS2019I am a member of the Program Committee of ECRTS 2019, please consider submitting your contribution.
ECRTS is the premier European venue for presenting research into the broad area of real-time systems. Along with RTSS and RTAS, ECRTS ranks as one of the top three international conferences on this topic.
RTNS 2018I am a member of the Program Committee of RTNS 2018, please consider submitting your contribution.
RTNS is a friendly conference with a great sense of community that presents excellent opportunities for collaboration. The purpose of the conference is to share ideas, experiences and information among academic researchers, developers and service providers in the field of real-time systems and networks.
SIES 2018I am a member of the program committee of SIES 2018, please consider submitting your contribution.
The aim of this symposium is to bring together researchers and practitioners from industry and academia and provide them with a platform to report on recent developments, deployments, technology trends and research results, as well as initiatives related to embedded systems and their applications in a variety of industrial environments.
PhD. Theses supervision
- Programming reconfigurable real-time systems, Frédéric Fort, Oct. 2018. Supervised by G. Lipari and myself. Subject detailed here.