| 2016 | MODELS | Concurrency-aware Executable Domain-Specific Modeling Languages as Models of Concurrency. | Florent Latombe, Xavier Crgut, Marc Pantel |
| 2016 | MODELS | A DSL to Feedback Formal Verification Results. | Faiez Zalila, Xavier Crgut, Marc Pantel |
| 2015 | MODELS | Coping with Semantic Variation Points in Domain-Specific Modeling Languages. | Florent Latombe, Xavier Crgut, Julien Deantoni, Marc Pantel, Benot Combemale |
| 2015 | SLE | Weaving concurrency in executable domain-specific modeling languages. | Florent Latombe, Xavier Crgut, Benot Combemale, Julien Deantoni, Marc Pantel |
| 2014 | MEDI | Automated Failure Analysis in Model Checking Based on Data Mining. | Ning Ge, Marc Pantel, Xavier Crgut |
| 2013 | MEDI | A Transformation-Driven Approach to Automate Feedback Verification Results. | Faiez Zalila, Xavier Crgut, Marc Pantel |
| 2013 | MODELS | Formal Verification Integration Approach for DSML. | Faiez Zalila, Xavier Crgut, Marc Pantel |
| 2012 | APSEC | A Design Pattern to Build Executable DSMLs and Associated V&V Tools. | Benot Combemale, Xavier Crgut, Marc Pantel |
| 2012 | ISoLA | Formal Specification and Verification of Task Time Constraints for Real-Time Systems. | Ning Ge, Marc Pantel, Xavier Crgut |
| 2012 | ISoLA | Leveraging Formal Verification Tools for DSML Users: A Process Modeling Case Study. | Faiez Zalila, Xavier Crgut, Marc Pantel |
| 2011 | ETFA | A model-driven engineering approach to formal verification of PLC programs. | Jean-Marie Farines, Max Hering de Queiroz, Vinicius G. da Rocha, Ana Maria M. Carpes, Franois Vernadat, Xavier Crgut |
| 2008 | MODELS | Autonomic Management Policy Specification: From UML to DSML. | Benot Combemale, Laurent Broto, Xavier Crgut, Michel J. Dayd, Daniel Hagimont |
| 2007 | APSEC | Definition of an Executable SPEM 2.0. | Reda Bendraou, Benot Combemale, Xavier Crgut, Marie-Pierre Gervais |
| 2005 | SEKE | A Multi-Agent Approach to a SPEM-based Modeling and Enactment of Software Development Processes. | Rdouane Lbath, Bernard Coulette, Xavier Crgut |