Filling the gap between CASE tools and PSEEs. - Xavier Crégut; Bernard Coulette (ECBS, 1997)

PBOOL: an Object-Oriented Language for Definition and Reuse of Enactable Processes. - Xavier Crégut; Bernard Coulette (Softw. Concepts Tools, 1997)

Réalisation en Eiffel d'un atelier de génie logiciel centré procédé. - Xavier Crégut; Bernard Coulette (Obj. Logiciel Base données Réseaux, 1999)

RHODES, A Process Component Centered Software Engineering Environment. - Bernard Coulette; Tran Dan Thu; Xavier Crégut; Dong Thi Bich Thuy (ICEIS, 2000)

Managing Processes through Base of Reusable Components. - Bernard Coulette; Xavier Crégut; Dong Thi Bich Thuy; Tran Dan Thu (ICEIS (2), 2001)

Towards a View Based Unified Modeling Language. - Mahmoud Nassar; Bernard Coulette; Xavier Crégut; Sophie Ebersold; Abdelaziz Kriouile (ICEIS (3), 2003)

Modélisation du Méta-Procédé Rhodes Avec SPEM. - Hanh Nhi Tran; Bernard Coulette; Xavier Crégut; Dong Thi Bich Thuy; Tran Dan Thu (RIVF, 2003)

A Multi-Agent Approach to a SPEM-based Modeling and Enactment of Software Development Processes. - Rédouane Lbath; Bernard Coulette; Xavier Crégut (SEKE, 2005)

Vers un profil UML pour la conception de composants multivues. - Mahmoud Nassar; Bernard Coulette; Jérémie Guiochet; Sophie Ebersold; Bouchra El Asri; Xavier Crégut; Abdelaziz Kriouile (Obj. Logiciel Base données Réseaux, 2005)

Topological properties for characterizing well-formedness of process components. - Tran Dan Thu; Hanh Nhi Tran; Dong Thi Bich Thuy; Bernard Coulette; Xavier Crégut (Softw. Process. Improv. Pract., 2005)

Towards a Rigorous Process Modeling with SPEM. - Benoît Combemale; Xavier Crégut; Alain Caplain; Bernard Coulette (ICEIS (3), 2006)

Modélisation rigoureuse en SPEM de procédé de développement. - Benoît Combemale; Xavier Crégut; Alain Caplain; Bernard Coulette (LMO, 2006)

Towards Rigorous Metamodeling. - Benoît Combemale; Sylvain Rougemaille; Xavier Crégut; Frédéric Migeon; Marc Pantel; Christine Maurel; Bernard Coulette (MDEIS, 2006)

Definition of an Executable SPEM 2.0. - Reda Bendraou; Benoît Combemale; Xavier Crégut; Marie-Pierre Gervais (APSEC, 2007)

A Property-Driven Approach to Formal Verification of Process Models. - Benoît Combemale; Xavier Crégut; Pierre-Loïc Garoche; Xavier Thirioux; François Vernadat 001 (ICEIS (Selected Papers), 2007)

Towards a Formal Verification of Process Model's Properties SIMPLEPDL and TOCL Case Study. - Benoît Combemale; Pierre-Loïc Garoche; Xavier Crégut; Xavier Thirioux; François Vernadat 001 (ICEIS (3), 2007)

SéMo'07, premier atelier sur la sémantique des modèles. - Benoît Combemale; Xavier Crégut; Marc Pantel; Pierre Michel (Obj. Logiciel Base données Réseaux, 2007)

Ladder Metamodeling and PLC Program Validation through Time Petri Nets. - Darlam Fabio Bender; Benoît Combemale; Xavier Crégut; Jean-Marie Farines; Bernard Berthomieu; François Vernadat 001 (ECMDA-FA, 2008)

Autonomic Management Policy Specification: From UML to DSML. - Benoît Combemale; Laurent Broto; Xavier Crégut; Michel J. Daydé; Daniel Hagimont (MoDELS, 2008)

Essay on Semantics Definition in MDE - An Instrumented Approach for Model Verification. - Benoît Combemale; Xavier Crégut; Pierre-Loïc Garoche; Xavier Thirioux (J. Softw., 2009)

Generative Technologies for Model Animation in the TopCased Platform. - Xavier Crégut; Benoît Combemale; Marc Pantel; Raphaël Faudoux; Jonatas Pavei (ECMFA, 2010)

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; François Vernadat 001; Xavier Crégut (ETFA, 2011)

Teaching MDE through the Formal Verification of Process Models. - Benoît Combemale; Xavier Crégut; Arnaud Dieumegard; Marc Pantel; Faiez Zalila (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

A Design Pattern to Build Executable DSMLs and Associated V&V Tools. - Benoît Combemale; Xavier Crégut; Marc Pantel (APSEC, 2012)

Formal Specification and Verification of Task Time Constraints for Real-Time Systems. - Ning Ge 002; Marc Pantel; Xavier Crégut (ISoLA (2), 2012)

Leveraging Formal Verification Tools for DSML Users: A Process Modeling Case Study. - Faiez Zalila; Xavier Crégut; Marc Pantel (ISoLA (2), 2012)

Model transformations with Tom. - Jean-Christophe Bach; Xavier Crégut; Pierre-Etienne Moreau; Marc Pantel (LDTA, 2012)

Time properties dedicated transformation from UML-MARTE activity to time transition system. - Ning Ge 002; Marc Pantel; Xavier Crégut (ACM SIGSOFT Softw. Eng. Notes, 2012)

A Transformation-Driven Approach to Automate Feedback Verification Results. - Faiez Zalila; Xavier Crégut; Marc Pantel (MEDI, 2013)

Formal Verification Integration Approach for DSML. - Faiez Zalila; Xavier Crégut; Marc Pantel (MoDELS, 2013)

Automated Failure Analysis in Model Checking Based on Data Mining. - Ning Ge 002; Marc Pantel; Xavier Crégut (MEDI, 2014)

Coping with Semantic Variation Points in Domain-Specific Modeling Languages. - Florent Latombe; Xavier Crégut; Julien Deantoni; Marc Pantel; Benoît Combemale (EXE@MoDELS, 2015)

Weaving concurrency in executable domain-specific modeling languages. - Florent Latombe; Xavier Crégut; Benoît Combemale; Julien Deantoni; Marc Pantel (SLE, 2015)

Concurrency-aware Executable Domain-Specific Modeling Languages as Models of Concurrency. - Florent Latombe; Xavier Crégut; Marc Pantel (EXE@MoDELS, 2016)

A DSL to Feedback Formal Verification Results. - Faiez Zalila; Xavier Crégut; Marc Pantel (MoDeVVa@MoDELS, 2016)

Probabilistic Failure Analysis in Model Validation & Verification. - Ning Ge 002; Marc Pantel; Xavier Crégut (CoRR, 2016)