Upcoming and past events

• RTNS 2016 (SC, PC co-chair) Brest (FR), October 19 to 21. Submission deadline is July 25th.
• CARS 2016 (PC)
• SOCSIP 2016 (Co-organisateur) Nantes (FR), July 8 to 10.
• RTNS 2015 (SC, PC)
• RTNS 2014 (SC ,PC)
• Workshop on Mixed Criticality for Industrial Systems at Ada-Europe 2014
• 1st Workshop on Mixed Criticality Systems at RTSS 2013 (PC)
• CARS@SAFECOMP 2013 (PC)
• RTNS 2013 (SC, PC)
• CIIA 2013 (PC)
• RTNS 2012 (PC)
• RTNS 2011 (General Chair, PC)
  • Link to the proceedings of the conference
• SIES 2007 (PC member)
• ETR 2007 (co-organizer)

Research interests

I am with the real-time systems group at IRCCyN where I am working on engineering of resilient real-time embedded systems. More specifically, I am working or have worked on the following topics:

• real-time operating systems,
• real-time scheduling,
• model-based design,
• runtime verification.

Lists of related publications can be found on Google scholar and DBLP.

Links

ACTRISS (ACtion Temps Réel: Infrastructure et Services Systèmes) is a francophone research network on real-time systems that I coordinate with Laurent George. The network organizes several one-day workshops every year. The last one has been organized in Brussels by Joël Goossens and Vandy Berten on mixed criticality systems.

I also enjoy to participate to the AFSEC workshops on formal methods for embedded systems.

I use and support free software. I contribute to the development of Trampoline, a static real-time operating systems inspired by the industrial standards of the automotive domain OSEK/VDX and AUTOSAR. I participate in the following components: paravirtualization on POSIX platforms, task level timing protection, runtime verification with Enforcer.

During my spare time, I try to learn Haskell and to solve the problems of project euler.