Xavier Crégut

According to our database, Xavier Crégut authored at least 36 papers between 1997 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Probabilistic Failure Analysis in Model Validation & Verification.

Ning Ge, Marc Pantel, Xavier Crégut

CoRR, 2016

A DSL to Feedback Formal Verification Results.

Faiez Zalila, Xavier Crégut, Marc Pantel

Proceedings of the 13th Workshop on Model-Driven Engineering, 2016

Concurrency-aware Executable Domain-Specific Modeling Languages as Models of Concurrency.

Florent Latombe, Xavier Crégut, Marc Pantel

Proceedings of the 2nd International Workshop on Executable Modeling co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016

2015

Weaving concurrency in executable domain-specific modeling languages.

Florent Latombe, Xavier Crégut, Benoît Combemale, Julien Deantoni, Marc Pantel

Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, 2015

Coping with Semantic Variation Points in Domain-Specific Modeling Languages.

Florent Latombe, Xavier Crégut, Julien Deantoni, Marc Pantel, Benoît Combemale

Proceedings of the 1st International Workshop on Executable Modeling co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), 2015

2014

Automated Failure Analysis in Model Checking Based on Data Mining.

Ning Ge, Marc Pantel, Xavier Crégut

Proceedings of the Model and Data Engineering - 4th International Conference, 2014

2013

Formal Verification Integration Approach for DSML.

Faiez Zalila, Xavier Crégut, Marc Pantel

Proceedings of the Model-Driven Engineering Languages and Systems, 2013

A Transformation-Driven Approach to Automate Feedback Verification Results.

Faiez Zalila, Xavier Crégut, Marc Pantel

Proceedings of the Model and Data Engineering - Third International Conference, 2013

2012

Time properties dedicated transformation from UML-MARTE activity to time transition system.

Ning Ge, Marc Pantel, Xavier Crégut

ACM SIGSOFT Softw. Eng. Notes, 2012

Model transformations with Tom.

Jean-Christophe Bach, Xavier Crégut, Pierre-Etienne Moreau, Marc Pantel

Proceedings of the International Workshop on Language Descriptions, 2012

Leveraging Formal Verification Tools for DSML Users: A Process Modeling Case Study.

Faiez Zalila, Xavier Crégut, Marc Pantel

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012

Formal Specification and Verification of Task Time Constraints for Real-Time Systems.

Ning Ge, Marc Pantel, Xavier Crégut

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012

A Design Pattern to Build Executable DSMLs and Associated V&V Tools.

Benoît Combemale, Xavier Crégut, Marc Pantel

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

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 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, Xavier Crégut

Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

2010

Generative Technologies for Model Animation in the TopCased Platform.

Xavier Crégut, Benoît Combemale, Marc Pantel, Raphaël Faudoux, Jonatas Pavei

Proceedings of the Modelling Foundations and Applications - 6th European Conference, 2010

2009

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

2008

Autonomic Management Policy Specification: From UML to DSML.

Benoît Combemale, Laurent Broto, Xavier Crégut, Michel J. Daydé, Daniel Hagimont

Proceedings of the Model Driven Engineering Languages and Systems, 2008

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

Proceedings of the Model Driven Architecture, 2008

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

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

Proceedings of the ICEIS 2007, 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

Proceedings of the Enterprise Information Systems, 9th International Conference, 2007

Definition of an Executable SPEM 2.0.

Reda Bendraou, Benoît Combemale, Xavier Crégut, Marie-Pierre Gervais

Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007

2006

Towards Rigorous Metamodeling.

Benoît Combemale, Sylvain Rougemaille, Xavier Crégut, Frédéric Migeon, Marc Pantel, Christine Maurel, Bernard Coulette

Proceedings of the Model-Driven Enterprise Information Systems, 2006

Modélisation rigoureuse en SPEM de procédé de développement.

Benoît Combemale, Xavier Crégut, Alain Caplain, Bernard Coulette

Proceedings of the Actes des journéees Langages et Modèles à Objets, 2006

Towards a Rigorous Process Modeling with SPEM.

Benoît Combemale, Xavier Crégut, Alain Caplain, Bernard Coulette

Proceedings of the ICEIS 2006, 2006

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

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

A Multi-Agent Approach to a SPEM-based Modeling and Enactment of Software Development Processes.

Rédouane Lbath, Bernard Coulette, Xavier Crégut

Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

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

Proceedings of the Actes de la Première Conférence Internationale RIVF'03 Rencontres en Informatique Vietnam-France, 2003

Towards a View Based Unified Modeling Language.

Mahmoud Nassar, Bernard Coulette, Xavier Crégut, Sophie Ebersold, Abdelaziz Kriouile

Proceedings of the ICEIS 2003, 2003

2001

Managing Processes through Base of Reusable Components.

Bernard Coulette, Xavier Crégut, Dong Thi Bich Thuy, Tran Dan Thu

Proceedings of the ICEIS 2001, 2001

2000

RHODES, A Process Component Centered Software Engineering Environment.

Bernard Coulette, Tran Dan Thu, Xavier Crégut, Dong Thi Bich Thuy

Proceedings of the ICEIS 2000, 2000

1999

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

1997

PBOOL: an Object-Oriented Language for Definition and Reuse of Enactable Processes.

Xavier Crégut, Bernard Coulette

Softw. Concepts Tools, 1997

Filling the gap between CASE tools and PSEEs.

Xavier Crégut, Bernard Coulette

Proceedings of the 1997 Workshop on Engineering of Computer-Based Systems (ECBS '97), 1997