| 2021 | MODELS | AnimUML as a UML Modeling and Verification Teaching Tool. | Frdric Jouault, Valentin Sebille, Valentin Besnard, Tho Le Calvar, Ciprian Teodorov, Matthias Brun, Jrme Delatour |
| 2020 | MODELS | Modular deployment of UML models for V&V activities and embedded execution. | Valentin Besnard, Frdric Jouault, Matthias Brun, Ciprian Teodorov, Philippe Dhaussy, Jrme Delatour |
| 2020 | MODELS | Designing, animating, and verifying partial UML Models. | Frdric Jouault, Valentin Besnard, Tho Le Calvar, Ciprian Teodorov, Matthias Brun, Jrme Delatour |
| 2014 | ICSE | fUML as an assembly language for MDA. | Frdric Jouault, Massimo Tisi, Jrme Delatour |
| 2014 | MODELS | Towards Fixing Sketchy UML Models by Leveraging Textual Notations: Application to Real-Time Embedded Systems. | Frdric Jouault, Jrme Delatour |
| 2014 | SLE | fUML as an Assembly Language for Model Transformation. | Massimo Tisi, Frdric Jouault, Jrme Delatour, Zied Saidi, Hassene Choura |
| 2008 | ICECCS | Code Generation from AADL to a Real-Time Operating System: An Experimentation Feedback on the Use of Model Transformation. | Matthias Brun, Jrme Delatour, Yvon Trinquet |
| 2008 | ISORC | Towards a Framework for Explicit Platform-Based Transformations. | Frdric Thomas, Jrme Delatour, Franois Terrier, Sbastien Grard |
| 2007 | FDL | Software Real-time Resource Modeling. | Frdric Thomas, Sbastien Grard, Jrme Delatour, Franois Terrier |
| 2001 | ISORC | Composing Real-Time Objects: A Case for Petri Nets and Girard's Linear L. | Franois Taani, Mario Paludetto, Jrme Delatour |
| 1997 | APSEC | About the Suitability of Petri Nets for Describing, Validating and Evaluating SA-RT Specifications. | Adel Benzina, Mario Paludetto, Jrme Delatour |