Xavier Crégut

Publication Activity (10 Years)

Years Active: 1997-2016
Publications (10 Years): 5

Top Topics

Declarative Language

Formal Verification

Modeling Language

Top Venues

Publications

Faiez Zalila, Xavier Crégut, Marc Pantel
A DSL to Feedback Formal Verification Results. MoDeVVa@MoDELS (2016)
Ning Ge, Marc Pantel, Xavier Crégut
Probabilistic Failure Analysis in Model Validation & Verification. CoRR (2016)
Florent Latombe, Xavier Crégut, Marc Pantel
Concurrency-aware Executable Domain-Specific Modeling Languages as Models of Concurrency. EXE@MoDELS (2016)
Florent Latombe, Xavier Crégut, Julien Deantoni, Marc Pantel, Benoît Combemale
Coping with Semantic Variation Points in Domain-Specific Modeling Languages. EXE@MoDELS (2015)
Florent Latombe, Xavier Crégut, Benoît Combemale, Julien Deantoni, Marc Pantel
Weaving concurrency in executable domain-specific modeling languages. SLE (2015)
Ning Ge, Marc Pantel, Xavier Crégut
Automated Failure Analysis in Model Checking Based on Data Mining. MEDI (2014)
Faiez Zalila, Xavier Crégut, Marc Pantel
A Transformation-Driven Approach to Automate Feedback Verification Results. MEDI (2013)
Faiez Zalila, Xavier Crégut, Marc Pantel
Formal Verification Integration Approach for DSML. MoDELS (2013)
Ning Ge, Marc Pantel, Xavier Crégut
Formal Specification and Verification of Task Time Constraints for Real-Time Systems. ISoLA (2) (2012)
Ning Ge, Marc Pantel, Xavier Crégut
Time properties dedicated transformation from UML-MARTE activity to time transition system. ACM SIGSOFT Softw. Eng. Notes 37 (4) (2012)
Jean-Christophe Bach, Xavier Crégut, Pierre-Etienne Moreau, Marc Pantel
Model transformations with Tom. LDTA (2012)
Benoît Combemale, Xavier Crégut, Marc Pantel
A Design Pattern to Build Executable DSMLs and Associated V&V Tools. APSEC (2012)
Faiez Zalila, Xavier Crégut, Marc Pantel
Leveraging Formal Verification Tools for DSML Users: A Process Modeling Case Study. ISoLA (2) (2012)
Benoît Combemale, Xavier Crégut, Arnaud Dieumegard, Marc Pantel, Faiez Zalila
Teaching MDE through the Formal Verification of Process Models. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 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)
Xavier Crégut, Benoît Combemale, Marc Pantel, Raphaël Faudoux, Jonatas Pavei
Generative Technologies for Model Animation in the TopCased Platform. ECMFA (2010)
Benoît Combemale, Xavier Crégut, Pierre-Loïc Garoche, Xavier Thirioux
Essay on Semantics Definition in MDE - An Instrumented Approach for Model Verification. J. Softw. 4 (9) (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)
Benoît Combemale, Laurent Broto, Xavier Crégut, Michel J. Daydé, Daniel Hagimont
Autonomic Management Policy Specification: From UML to DSML. MoDELS (2008)
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)
Benoît Combemale, Xavier Crégut, Marc Pantel, Pierre Michel
SéMo'07, premier atelier sur la sémantique des modèles. Obj. Logiciel Base données Réseaux 13 (4) (2007)
Reda Bendraou, Benoît Combemale, Xavier Crégut, Marie-Pierre Gervais
Definition of an Executable SPEM 2.0. APSEC (2007)
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)
Benoît Combemale, Xavier Crégut, Alain Caplain, Bernard Coulette
Towards a Rigorous Process Modeling with SPEM. ICEIS (3) (2006)
Benoît Combemale, Xavier Crégut, Alain Caplain, Bernard Coulette
Modélisation rigoureuse en SPEM de procédé de développement. LMO (2006)
Benoît Combemale, Sylvain Rougemaille, Xavier Crégut, Frédéric Migeon, Marc Pantel, Christine Maurel, Bernard Coulette
Towards Rigorous Metamodeling. MDEIS (2006)
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)
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. Obj. Logiciel Base données Réseaux 11 (4) (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. Softw. Process. Improv. Pract. 10 (2) (2005)
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)
Mahmoud Nassar, Bernard Coulette, Xavier Crégut, Sophie Ebersold, Abdelaziz Kriouile
Towards a View Based Unified Modeling Language. ICEIS (3) (2003)
Bernard Coulette, Xavier Crégut, Dong Thi Bich Thuy, Tran Dan Thu
Managing Processes through Base of Reusable Components. ICEIS (2) (2001)
Bernard Coulette, Tran Dan Thu, Xavier Crégut, Dong Thi Bich Thuy
RHODES, A Process Component Centered Software Engineering Environment. ICEIS (2000)
Xavier Crégut, Bernard Coulette
Réalisation en Eiffel d'un atelier de génie logiciel centré procédé. Obj. Logiciel Base données Réseaux 5 (3/4) (1999)
Xavier Crégut, Bernard Coulette
PBOOL: an Object-Oriented Language for Definition and Reuse of Enactable Processes. Softw. Concepts Tools 18 (2) (1997)
Xavier Crégut, Bernard Coulette
Filling the gap between CASE tools and PSEEs. ECBS (1997)