Xavier Crégut

Ning Ge, Marc Pantel, Xavier Crégut: Time properties dedicated transformation from UML-MARTE activity to time transition system. ACM SIGSOFT Software Engineering Notes 37(4): 1-8 (2012)

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

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

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

Benoît Combemale, Xavier Crégut, Arnaud Dieumegard, Marc Pantel, Faiez Zalila: Teaching MDE through the Formal Verification of Process Models. ECEASST 52 (2011)

Jean-Marie Farines, Max Hering de Queiroz, Vinicius G. da Rocha, Ana Maria M. Carpes, François Vernadat, Xavier Crégut: A model-driven engineering approach to formal verification of PLC programs. ETFA 2011: 1-8

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

Benoît Combemale, Xavier Crégut, Pierre-Loïc Garoche, Xavier Thirioux: Essay on Semantics Definition in MDE - An Instrumented Approach for Model Verification. JSW 4(9): 943-958 (2009)

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

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

Benoît Combemale, Xavier Crégut, Marc Pantel, P. Michel: SéMo'07, premier atelier sur la sémantique des modèles. L'OBJET 13(4): 137-144 (2007)

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

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

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

Isabelle Borne, Xavier Crégut, Sophie Ebersold, Frédéric Migeon (Eds.): Actes des journées Langages et Modèles à Objets, LMO'07. Toulouse, 27-29 mars. Hermès Lavoisier 2007, isbn 978-2-7462-1806-2

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

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

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

Mahmoud Nassar, Bernard Coulette, Jérémie Guiochet, Sophie Ebersold, Bouchra El Asri, Xavier Crégut, Abdelaziz Kriouile: Vers un profil UML pour la conception de composants multivues. L'OBJET 11(4): 83-113 (2005)

Tran Dan Thu, Hanh Nhi Tran, Dong Thi Bich Thuy, Bernard Coulette, Xavier Crégut: Topological properties for characterizing well-formedness of process components. Software Process: Improvement and Practice 10(2): 217-247 (2005)

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

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

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

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

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

Xavier Crégut, Bernard Coulette: Réalisation en Eiffel d'un atelier de génie logiciel centré procédé. L'OBJET 5(3/4) (1999)

Xavier Crégut, Bernard Coulette: PBOOL: an Object-Oriented Language for Definition and Reuse of Enactable Processes. Software - Concepts and Tools 18(2): 47-62 (1997)

Xavier Crégut, Bernard Coulette: Filling the gap between CASE tools and PSEEs. ECBS 1997: 113-120