Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Formalisation et structuration des architectures opérationnelles pour les systèmes embarqués temps réel.. (2005)Chaining Model Transformations for System Model Verification: Application to Verify Capella Model with Simulink., , , , and . MODELSWARD, page 279-286. SCITEPRESS, (2020)Temporal validation of Real Time multitasking applications based on communicating timed automata., , and . FDL, page 578-586. ECSI, (2004)Detecting wormhole attacks in wireless networks using local neighborhood information., , and . PIMRC, page 1-5. IEEE, (2008)Chaining model transformations to develop a system model verification tool: application to capella state machines and data flows models., , , , and . SAC, page 1654-1657. ACM, (2020)CARES, a framework for CPS simulation : application to autonomous underwater vehicle navigation function., , , and . FDL, page 1-8. IEEE, (2021)Efficient and Adapted Component-Based Strategies for Embedded Software Device Drivers Development., and . CSE (2), page 514-519. IEEE Computer Society, (2009)Extension of Scheduling Algorithms in Case of Conditional or Parametric Synchronisation Relationships., and . RTS, page 64-69. IEEE Computer Society, (1996)QuaRTOS-DSE: A Tool for Design Space Exploration of Embedded Real-Time System., , and . ISORC, page 42-50. IEEE Computer Society, (2018)A DSML for reversible transformations., and . SPLASH Workshops, page 33-38. ACM, (2011)