Xavier Crégut

37 papers A 2B 2C 6Journal 9Unranked 17

Year	Rank	Type	Title / Venue / Authors
2016	—	`conf`	A DSL to Feedback Formal Verification Results. MoDeVVa@MoDELS Faiez Zalila, Xavier Crégut, Marc Pantel
2016	—	`conf`	Concurrency-aware Executable Domain-Specific Modeling Languages as Models of Concurrency. EXE@MoDELS Florent Latombe, Xavier Crégut, Marc Pantel
2016	J	`jnl`	Probabilistic Failure Analysis in Model Validation & Verification. CoRR Ning Ge, Marc Pantel, Xavier Crégut
2015	—	`conf`	Coping with Semantic Variation Points in Domain-Specific Modeling Languages. EXE@MoDELS Florent Latombe, Xavier Crégut, Julien Deantoni, Marc Pantel, Benoît Combemale
2015	B	`conf`	Weaving concurrency in executable domain-specific modeling languages. SLE Florent Latombe, Xavier Crégut, Benoît Combemale, Julien Deantoni, Marc Pantel
2014	C	`conf`	Automated Failure Analysis in Model Checking Based on Data Mining. MEDI Ning Ge, Marc Pantel, Xavier Crégut
2013	C	`conf`	A Transformation-Driven Approach to Automate Feedback Verification Results. MEDI Faiez Zalila, Xavier Crégut, Marc Pantel
2013	A	`conf`	Formal Verification Integration Approach for DSML. MoDELS Faiez Zalila, Xavier Crégut, Marc Pantel
2012	C	`conf`	A Design Pattern to Build Executable DSMLs and Associated V&V Tools. APSEC Benoît Combemale, Xavier Crégut, Marc Pantel
2012	—	`conf`	Formal Specification and Verification of Task Time Constraints for Real-Time Systems. ISoLA (2) Ning Ge, Marc Pantel, Xavier Crégut
2012	—	`conf`	Leveraging Formal Verification Tools for DSML Users: A Process Modeling Case Study. ISoLA (2) Faiez Zalila, Xavier Crégut, Marc Pantel
2012	—	`conf`	Model transformations with Tom. LDTA Jean-Christophe Bach, Xavier Crégut, Pierre-Etienne Moreau, Marc Pantel
2012	J	`jnl`	Time properties dedicated transformation from UML-MARTE activity to time transition system. ACM SIGSOFT Softw. Eng. Notes Ning Ge, Marc Pantel, Xavier Crégut
2011	C	`conf`	A model-driven engineering approach to formal verification of PLC programs. ETFA Jean-Marie Farines, Max Hering de Queiroz, Vinicius G. da Rocha, Ana Maria M. Carpes, François Vernadat, Xavier Crégut
2011	J	`jnl`	Teaching MDE through the Formal Verification of Process Models. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Benoît Combemale, Xavier Crégut, Arnaud Dieumegard, Marc Pantel, Faiez Zalila
2010	B	`conf`	Generative Technologies for Model Animation in the TopCased Platform. ECMFA Xavier Crégut, Benoît Combemale, Marc Pantel, Raphaël Faudoux, Jonatas Pavei
2009	J	`jnl`	Essay on Semantics Definition in MDE - An Instrumented Approach for Model Verification. J. Softw. Benoît Combemale, Xavier Crégut, Pierre-Loïc Garoche, Xavier Thirioux
2008	A	`conf`	Autonomic Management Policy Specification: From UML to DSML. MoDELS Benoît Combemale, Laurent Broto, Xavier Crégut, Michel J. Daydé, Daniel Hagimont
2008	—	`conf`	Ladder Metamodeling and PLC Program Validation through Time Petri Nets. ECMDA-FA Darlam Fabio Bender, Benoît Combemale, Xavier Crégut, Jean-Marie Farines, Bernard Berthomieu, François Vernadat
2007	—	`conf`	A Property-Driven Approach to Formal Verification of Process Models. ICEIS (Selected Papers) Benoît Combemale, Xavier Crégut, Pierre-Loïc Garoche, Xavier Thirioux, François Vernadat
2007	—	`ed.`	Actes des journées Langages et Modèles à Objets, LMO'07. Toulouse, France, 27-29 mars LMO Isabelle Borne, Xavier Crégut, Sophie Ebersold, Frédéric Migeon
2007	C	`conf`	Definition of an Executable SPEM 2.0. APSEC Reda Bendraou, Benoît Combemale, Xavier Crégut, Marie-Pierre Gervais
2007	J	`jnl`	SéMo'07, premier atelier sur la sémantique des modèles. Obj. Logiciel Base données Réseaux Benoît Combemale, Xavier Crégut, Marc Pantel, Pierre Michel
2007	—	`conf`	Towards a Formal Verification of Process Model's Properties SIMPLEPDL and TOCL Case Study. ICEIS (3) Benoît Combemale, Pierre-Loïc Garoche, Xavier Crégut, Xavier Thirioux, François Vernadat
2006	—	`conf`	Modélisation rigoureuse en SPEM de procédé de développement. LMO Benoît Combemale, Xavier Crégut, Alain Caplain, Bernard Coulette
2006	—	`conf`	Towards Rigorous Metamodeling. MDEIS Benoît Combemale, Sylvain Rougemaille, Xavier Crégut, Frédéric Migeon, Marc Pantel, Christine Maurel, Bernard Coulette
2006	—	`conf`	Towards a Rigorous Process Modeling with SPEM. ICEIS (3) Benoît Combemale, Xavier Crégut, Alain Caplain, Bernard Coulette
2005	C	`conf`	A Multi-Agent Approach to a SPEM-based Modeling and Enactment of Software Development Processes. SEKE Rédouane Lbath, Bernard Coulette, Xavier Crégut
2005	J	`jnl`	Topological properties for characterizing well-formedness of process components. Softw. Process. Improv. Pract. Tran Dan Thu, Hanh Nhi Tran, Dong Thi Bich Thuy, Bernard Coulette, Xavier Crégut
2005	J	`jnl`	Vers un profil UML pour la conception de composants multivues. Obj. Logiciel Base données Réseaux Mahmoud Nassar, Bernard Coulette, Jérémie Guiochet, Sophie Ebersold, Bouchra El Asri, Xavier Crégut, Abdelaziz Kriouile
2003	—	`conf`	Modélisation du Méta-Procédé Rhodes Avec SPEM. RIVF Hanh Nhi Tran, Bernard Coulette, Xavier Crégut, Dong Thi Bich Thuy, Tran Dan Thu
2003	—	`conf`	Towards a View Based Unified Modeling Language. ICEIS (3) Mahmoud Nassar, Bernard Coulette, Xavier Crégut, Sophie Ebersold, Abdelaziz Kriouile
2001	—	`conf`	Managing Processes through Base of Reusable Components. ICEIS (2) Bernard Coulette, Xavier Crégut, Dong Thi Bich Thuy, Tran Dan Thu
2000	—	`conf`	RHODES, A Process Component Centered Software Engineering Environment. ICEIS Bernard Coulette, Tran Dan Thu, Xavier Crégut, Dong Thi Bich Thuy
1999	J	`jnl`	Réalisation en Eiffel d'un atelier de génie logiciel centré procédé. Obj. Logiciel Base données Réseaux Xavier Crégut, Bernard Coulette
1997	—	`conf`	Filling the gap between CASE tools and PSEEs. ECBS Xavier Crégut, Bernard Coulette
1997	J	`jnl`	PBOOL: an Object-Oriented Language for Definition and Reuse of Enactable Processes. Softw. Concepts Tools Xavier Crégut, Bernard Coulette