| 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 |
| 2019 | MODELS | A Model Checkable UML Soccer Player. | Valentin Besnard, Ciprian Teodorov, Frdric Jouault, Matthias Brun, Philippe Dhaussy |
| 2019 | MODELS | Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach. | Valentin Besnard, Ciprian Teodorov, Frdric Jouault, Matthias Brun, Philippe Dhaussy |
| 2018 | MEDI | A Problem-Oriented Approach to Critical System Design and Diagnosis Support. | Vincent Leild, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy |
| 2018 | MEDI | Domain-Oriented Verification Management. | Vincent Leild, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy |
| 2018 | MODELS | Unified LTL Verification and Embedded Execution of UML Models. | Valentin Besnard, Matthias Brun, Frdric Jouault, Ciprian Teodorov, Philippe Dhaussy |
| 2017 | MODELS | Towards One Model Interpreter for Both Design and Deployment. | Valentin Besnard, Matthias Brun, Philippe Dhaussy, Frdric Jouault, David Olivier, Ciprian Teodorov |
| 2017 | SEFM | A Diagnosis Framework for Critical Systems Verification (Short Paper). | Vincent Leild, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy |
| 2016 | IDEAL | An Organizing System to Perform and Enable Verification and Diagnosis Activities. | Vincent Leilde, Vincent Ribaud, Philippe Dhaussy |
| 2016 | MODELS | Model-based diagnosis patterns for model checking. | Vincent Leilde, Vincent Ribaud, Philippe Dhaussy |
| 2014 | MEDI | Context-Aware Verification of a Cruise-Control System. | Ciprian Teodorov, Luka Leroux, Philippe Dhaussy |
| 2013 | ICSoft | Real-Time and Embedded Systems Challenges - Key Requirements and Issues. | Nadia Menad, Philippe Dhaussy |
| 2013 | ICSoft | MDA Approach for Distributed and Real-Time embedded Systems Analysis and Verification - Overview and First Proposal. | Nadia Menad, Philippe Dhaussy, Belhadri Messabih |
| 2013 | SEFM | A Transformation Approach for Multiform Time Requirements. | Nadia Menad, Philippe Dhaussy |
| 2011 | APSEC | Use Cases Modeling for Scalable Model-Checking. | Amine Raji, Philippe Dhaussy |
| 2011 | MODELS | Use Cases for Context Aware Model-Checking. | Amine Raji, Philippe Dhaussy |
| 2011 | MODELS | Improving formal verification practicability through user oriented models and context-awareness. | Amine Raji, Philippe Dhaussy |
| 2011 | SAC | Application of partial-order methods for the verification of closed-loop SDL systems. | Xavier Dumas, Philippe Dhaussy, Frdric Boniol, Eric Bonnafous |
| 2010 | ICSoft | Trace Transformation Reuse to Guide Co-evolution of Models. | Bastien Amar, Herv Leblanc, Bernard Coulette, Philippe Dhaussy |
| 2010 | ICSoft | Automatic Co-evolution of Models Using Traceability. | Bastien Amar, Herv Leblanc, Bernard Coulette, Philippe Dhaussy |
| 2009 | MODELS | Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation. | Philippe Dhaussy, Pierre Yves Pillain, Stephen Creff, Amine Raji, Yves Le Traon, Benoit Baudry |
| 2008 | ICECCS | AADL Execution Semantics Transformation for Formal Verification. | Thomas Abdoul, Jol Champeau, Philippe Dhaussy, Pierre Yves Pillain, Jean-Charles Roger |
| 2008 | ICST | Using context descriptions and property definition patterns for software formal verification. | Philippe Dhaussy, Julien Auvray, Stphane de Belloy, Frdric Boniol, Eric Landel |