Research Interests

I work on the definition of sound models and tools, based on using logical time and polychronous formalisms, for the design of safe and trustworthy cyber-physical systems and intelligent transportation systems:

• Polychronous models: The Clock Constraint Specification Language
• High-level modeling (UML / MARTE / SysML),
• Transformation and Analysis, code generation for embedded execution platforms.
• Verification

PhD students

• 2018-2021 [With: J. DeAntoni, CIFRE SAFRAN]
  • Giovanni Liboni, Co-simulation de systèmes complexes avec le framework CoSim20 : pour des co-simulations distribuées performantes et fidèles, Apr. 21^th 2021
• 2011-2016 [With: Pr. LIU Jing]
  • Ying LIN, Modeling, analysis, and verification for Cyber-Physical Systems based on clock and signal constraints, May 25^th 2016, Shanghai.
• 2013-2016 [With: J. DeAntoni]
  • Matias Vara-Larsen, BCoOL: The Behavioral Coordination Operator Language, Apr. 11^th 2016
• 2010-2013 [With: J. DeAntoni]
  • Carlos Gomez-Cardenaz, Modeling Functional and Non-Functional Properties of Systems Based on a Multi-View Approach, Dec. 20^th 2013
• 2007-2010 [With: C. André]:
  • Aamir Mehmood-Khan, Model-Based Design for On-Chip Systems: using and extending Marte and IP-Xact, March 11 ^th 2010