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

Vers une machine virtuelle pour l'évaluation des langages d'acteurs., , , and . LMO, page 221-240. INRIA, (1995)Online diagnosis of accidental faults for real-time embedded systems using a hidden Markov model., , and . Simulation, 91 (10): 851-868 (2015)Model-Based Systems Engineering for Systems Simulation., , , and . ISoLA (3), volume 11246 of Lecture Notes in Computer Science, page 429-448. Springer, (2018)Typing Concurrent Objects and Actors., , , and . L'OBJET, (2000)An Event-B formal model for a system reconfiguration pattern and its instantiation: application to Web services compensation., , and . Serv. Oriented Comput. Appl., 15 (3): 205-230 (2021)Ordering Strict Partial Orders to Model Behavioral Refinement., and . Refine@FM, volume 282 of EPTCS, page 23-38. (2018)A Design Pattern to Build Executable DSMLs and Associated V&V Tools., , and . APSEC, page 282-287. IEEE, (2012)Model-based formal specification of a DSL library for a qualified code generator., , and . OCL@MoDELS, page 61-62. ACM, (2012)Tool Paper: A Lightweight Formal Encoding of a Constraint Language for DSMLs., , , and . OCL@MoDELS, volume 1512 of CEUR Workshop Proceedings, page 89-104. CEUR-WS.org, (2015)Towards a Co-simulation Based Model Assessment Process for System Architecture., , , and . STAF Workshops, volume 11176 of Lecture Notes in Computer Science, page 58-68. Springer, (2018)