default search action
Xavier Crégut
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2016
- [c27]Florent Latombe, Xavier Crégut, Marc Pantel:
Concurrency-aware Executable Domain-Specific Modeling Languages as Models of Concurrency. EXE@MoDELS 2016: 12-18 - [c26]Faiez Zalila, Xavier Crégut, Marc Pantel:
A DSL to Feedback Formal Verification Results. MoDeVVa@MoDELS 2016: 30-39 - [i1]Ning Ge, Marc Pantel, Xavier Crégut:
Probabilistic Failure Analysis in Model Validation & Verification. CoRR abs/1611.05083 (2016) - 2015
- [c25]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: 21-27 - [c24]Florent Latombe, Xavier Crégut, Benoît Combemale, Julien Deantoni
, Marc Pantel:
Weaving concurrency in executable domain-specific modeling languages. SLE 2015: 125-136 - 2014
- [c23]Ning Ge, Marc Pantel, Xavier Crégut:
Automated Failure Analysis in Model Checking Based on Data Mining. MEDI 2014: 13-28 - 2013
- [c22]Faiez Zalila, Xavier Crégut, Marc Pantel:
A Transformation-Driven Approach to Automate Feedback Verification Results. MEDI 2013: 266-277 - [c21]Faiez Zalila, Xavier Crégut, Marc Pantel:
Formal Verification Integration Approach for DSML. MoDELS 2013: 336-351 - 2012
- [j8]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): 1-8 (2012) - [c20]Benoît Combemale, Xavier Crégut, Marc Pantel:
A Design Pattern to Build Executable DSMLs and Associated V&V Tools. APSEC 2012: 282-287 - [c19]Ning Ge, Marc Pantel, Xavier Crégut:
Formal Specification and Verification of Task Time Constraints for Real-Time Systems. ISoLA (2) 2012: 143-157 - [c18]Faiez Zalila, Xavier Crégut, Marc Pantel:
Leveraging Formal Verification Tools for DSML Users: A Process Modeling Case Study. ISoLA (2) 2012: 329-343 - [c17]Jean-Christophe Bach, Xavier Crégut, Pierre-Etienne Moreau, Marc Pantel:
Model transformations with Tom. LDTA 2012: 4 - 2011
- [j7]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) - [c16]Jean-Marie Farines, Max Hering de Queiroz
A model-driven engineering approach to formal verification of PLC programs. ETFA 2011: 1-8 - 2010
- [c15]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
2000 – 2009
- 2009
- [j6]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): 943-958 (2009) - 2008
- [c14]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 - [c13]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 - 2007
- [j5]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): 137-144 (2007) - [c12]Reda Bendraou
Definition of an Executable SPEM 2.0. APSEC 2007: 390-397 - [c11]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 - [c10]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 - [e1]Isabelle Borne, Xavier Crégut, Sophie Ebersold, Frédéric Migeon:
Actes des journées Langages et Modèles à Objets, LMO'07. Toulouse, France, 27-29 mars. Hermès Lavoisier 2007, ISBN 978-2-7462-1806-2 [contents] - 2006
- [c9]Benoît Combemale, Xavier Crégut, Alain Caplain, Bernard Coulette:
Towards a Rigorous Process Modeling with SPEM. ICEIS (3) 2006: 530-533 - [c8]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 - [c7]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 - 2005
- [j4]Mahmoud Nassar, Bernard Coulette, Jérémie Guiochet, Sophie Ebersold
Vers un profil UML pour la conception de composants multivues. Obj. Logiciel Base données Réseaux 11(4): 83-113 (2005) - [j3]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): 217-247 (2005) - [c6]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 - 2003
- [c5]Mahmoud Nassar, Bernard Coulette, Xavier Crégut, Sophie Ebersold, Abdelaziz Kriouile:
Towards a View Based Unified Modeling Language. ICEIS (3) 2003: 257-265 - [c4]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 - 2001
- [c3]Bernard Coulette, Xavier Crégut, Dong Thi Bich Thuy, Tran Dan Thu:
Managing Processes through Base of Reusable Components. ICEIS (2) 2001: 608-618 - 2000
- [c2]Bernard Coulette, Tran Dan Thu, Xavier Crégut, Dong Thi Bich Thuy:
RHODES, A Process Component Centered Software Engineering Environment. ICEIS 2000: 253-260
1990 – 1999
- 1999
- [j2]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) - 1997
- [j1]Xavier Crégut, Bernard Coulette:
PBOOL: an Object-Oriented Language for Definition and Reuse of Enactable Processes. Softw. Concepts Tools 18(2): 47-62 (1997) - [c1]Xavier Crégut, Bernard Coulette:
Filling the gap between CASE tools and PSEEs. ECBS 1997: 113-120
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: