Publications de Xavier CRÉGUT
Benoit Combemale, Xavier Crégut, Pierre-Loïc Garoche, Xavier Thirioux
Essay on Semantics Definition in MDE. An Instrumented Approach for Model Verification.
Dans : Journal of Software (JSW), Academy Publisher, Finland, Vol. 4 N. 6, p. 943-958, novembre 2009.
Résumé Accès : http://www.academypublisher.com/ojs/index.php/jsw/article/view/0409943958
BibTeXAngel Garcia, Benoit Combemale, Xavier Crégut, Jérôme Vandeur
TopPROCESS : vers une ingénierie des procédés dirigée par les modèles
Dans : Revue de l’Electricité et de l’Electronique (REE), Société de l’Electricité, de l’Electronique et des Technologies de l’Information et de la Communication (SEE), Paris, Vol. 2009, N. 2, p. 31-37, février 2009.
Benoit Combemale, Xavier Crégut, Pierre-Loïc Garoche, Xavier Thirioux, François Vernadat
A Property-Driven Approach to Formal Verification of Process Models
Dans : Enterprise Information Systems, Taylor & Francis Online, Numéro spécial LNBIP 12, ICEIS 2007, Revised Selected Papers, Vol. 12, p. 286-300, 2009.
Benoit Combemale, Xavier Crégut, Pierre Michel, Marc Pantel
SéMo’07 : premier atelier sur la Sémantique des Modèles
Dans : L’Objet, Hermès Science, Numéro spécial Ingénierie Dirigée par les Modèles, Vol. 13, N. 4, p. 137-144, janvier 2008.
Mahmoud Nassar, Jérémie Guiochet, Bernard Coulette, Xavier Crégut, Sophie Ebersold
Vers un profil UML pour la conception de composants multivues
Dans : L’Objet, Hermès Science, Vol. 11, N. 4, p. 83-113, décembre 2005.
Accès : http://www.irit.fr/publis/MACAO/Nassar-etal-LObjet2005.pdf
BibTeXThu Tran Dan, Hanh Nhi Tran, Thuy Dong Thi Bich, Bernard Coulette, Xavier Crégut
Topological properties for characterizing well-formedness of process components
Dans : Software Process: Improvement and Practice, Wiley Interscience, Vol. 10 N. 2, p. 217-247, mai 2005.
Résumé Accès : http://www3.interscience.wiley.com/cgi-bin/jhome/15482
BibTeXXavier Crégut, Bernard Coulette
Réalisation en Eiffel d’un atelier de génie logiciel centré procédé
Dans : L’objet — logiciel, bases de données, réseaux, Vol. 5, N. 3-4, p. 391-415, décembre 1999.
Xavier Crégut, Bernard Coulette
PBOOL : an Object-Oriented Language for Definition and Reuse of Enactable Processes
Dans : Software Concepts & Tools, Vol. 18 N. 2, juin 1997.
Faiez Zalila, Xavier Crégut, Marc Pantel
A DSL to Feedback Formal Verification Results (regular paper)
Dans : Model-Driven Engineering, Verification and Validation Workshop at the MODELS conference (MODEVVA 2016), Saint Malo, France, 03/10/16, Vol. 1713, CEUR-WS : Workshop proceedings, p. 30-39, octobre 2016.
Accès : http://ceur-ws.org/Vol-1713/MoDeVVa_2016_paper_4.pdf
BibTeXFlorent Latombe, Xavier Crégut, Marc Pantel
Concurrency-aware Executable Domain-Specific Modeling Languages as Models of Concurrency (regular paper)
Dans : Executable Modeling Workshop at the MODELS Conference (EXE 2016), Saint Malo, France, 03/10/16, Vol. 1760, CEUR-WS : Workshop proceedings, p. 12-18, octobre 2016.
Florent Latombe, Xavier Crégut, Benoit Combemale, Julien Deantoni, Marc Pantel
Weaving concurrency in executable domain-specific modeling languages (regular paper)
Dans : ACM SIGPLAN International Conference on Software Language Engineering (SLE 2015), Pittsburgh, Pensylvania, USA, 25/10/15-27/10/15, Richard PAIGE, Davide DI RUSCIO, Markus VOELTER (Eds.), ACM : Association for Computing Machinery, p. 125-136, octobre 2015.
Florent Latombe, Xavier Crégut, Julien De Antoni, Marc Pantel, Benoit Combemale
Coping with Semantic Variation Points in Domain-Specific Modeling Languages (regular paper)
Dans : Executable Modeling Workshop at the MODELS Conference (EXE 2015), Ottawa, 27/09/15-02/10/15, ACM Press, (support électronique), octobre 2015.
Ning Ge, Marc Pantel, Xavier Crégut
Automated Failure Analysis in Model Checking based on Data Mining (regular paper)
Dans : International Conference On Model and Data Engineering (MEDI 2014), Larnaca, Cyprus, 24/09/14-26/09/14, Springer-Verlag, (support électronique), septembre 2014.
Ning Ge, Marc Pantel, Xavier Crégut
Probabilistic Failure Analysis in Model Validation & Verification
Dans : Formalisation des Activités Concurrentes, Toulouse, 16/04/14-17/04/14.
Ning Ge, Marc Pantel, Xavier Crégut
A UML-MARTE Temporal Property Verification Tool based on Model Checking (regular paper)
Dans : European Conference on Embedded Real Time Software and Systems (ERTS 2014), Toulouse, 05/02/14-07/02/14, SIA/3AF/SEE, (support électronique), février 2014.
Ning Ge, Marc Pantel, Xavier Crégut
Probabilistic failure analysis in model Validation &Verification (regular paper)
Dans : European Conference on Embedded Real Time Software and Systems (ERTS 2014), Toulouse, 05/02/14-07/02/14, SIA/3AF/SEE, (support électronique), février 2014.
Faiez Zalila, Xavier Crégut, Marc Pantel
A transformation-driven approach to automate feedback verification results (regular paper)
Dans : International Conference On Model and Data Engineering (MEDI 2013), Amantea, Calabria, Italy, 25/09/13-27/09/13, Springer, Lecture Notes in Computer Science, p. 266-277, 2013.
Faiez Zalila, Xavier Crégut, Marc Pantel
Formal Verification Integration Approach for DSML (regular paper)
Dans : ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Miami, 29/09/13-04/10/13, Springer-Verlag, (support électronique), septembre 2013.
Faiez Zalila, Xavier Crégut, Marc Pantel
Verification results feedback for FIACRE intermediate language (student paper)
Dans : Conférence en Ingénierie du Logiciel (CIEL 2012), Rennes, France, 19/06/12-21/06/12, IRISA, (en ligne), 2012.
Accès : http://gpl2012.irisa.fr/sites/default/files/CIEL2012-Zalila-paper40.pdf
BibTeXNing Ge, Marc Pantel, Xavier Crégut
Time Properties Dedicated Framework for UML-MARTE Safety Critical RTES Verification (regular paper)
Dans : Conférence en Ingénierie du Logiciel (CIEL 2012), Rennes, France, 19/06/12-21/06/12, IRISA, (en ligne), 2012.
Accès : http://gpl2012.irisa.fr/sites/default/files/CIEL2012-Ge-paper37.pdf
BibTeXBenoit Combemale, Xavier Crégut, Marc Pantel
A Design Pattern to Build Executable DSMLs and associated V&V tools (short paper)
Dans : Asia-Pacific Software Engineering Conference (APSEC 2012), Hong Kong, China, 04/12/12-07/12/12, IEEE : Institute of Electrical and Electronics Engineers, p. 282-287, 2012.
Faiez Zalila, Xavier Crégut, Marc Pantel
Leveraging formal verification tools for DSML users: a process modeling case study (regular paper)
Dans : International on Symposium Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2012), Amirandes, Heraclion, Crete, 15/10/12-18/10/12, Vol. 7610, Springer, Lecture Notes in Computer Science, p. 329-343, 2012.
Ning Ge, Marc Pantel, Xavier Crégut
Formal specification and verification of task time constraints for real-time systems (regular paper)
Dans : International on Symposium Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2012), Héraclion, Crète, 15/10/12-18/10/12, Vol. 7610, Springer, Lecture Notes in Computer Science, p. 143-157, 2012.
Ning Ge, Marc Pantel, Xavier Crégut
Time Properties Verification Framework for UML-MARTE Safety Critical Real-Time Systems (regular paper)
Dans : European Conference on Modelling Foundations and Applications (ECMFA 2012), Lyngby, Danemark, 02/07/12-05/07/12, Vol. 7349, Springer, Lecture Notes in Computer Science, p. 352-367, 2012.
Ning Ge, Marc Pantel, Xavier Crégut
Time properties dedicated transformation from UML-MARTE Activity to Time Transition System (regular paper)
Dans : International workshop UML and Formal Methods (UML&FM’2012 2012), Paris, 27/08/12-31/08/12, Vol. 37, ACM : Association for Computing Machinery, SIGSOFT Software Engineering Notes 4, p. 1-8, 2012.
Benoit Combemale, Xavier Crégut, Arnaud Dieumegard, Marc Pantel, Faiez Zalila
MDE through the Formal Verification of Process Models (regular paper)
Dans : Educators’ Symposium@MODELS 2011 – Software Modeling in Education, Wellington, New Zealand, 18/10/11, Vol. 52, Electronic Communications of the EASST, (en ligne), 2012.
Résumé Accès : http://journal.ub.tu-berlin.de/eceasst/article/view/749
BibTeXJean-Christophe Bach, Pierre-Etienne Moreau, Marc Pantel, Xavier Crégut
Model Transformations with Tom (regular paper)
Dans : Language Descriptions, Tools and Applications (LDTA 2012), Tallinn, Estonia, 31/03/12-01/04/12, ACM : Association for Computing Machinery, (support électronique), mars 2012.
Faiez Zalila, Xavier Crégut, Marc Pantel
Spécification et vérification de patrons de propriétés pour des langages dédiés (regular paper)
Dans : Formalisation des Activités Concurrentes (FAC 2011), Toulouse, France, 06/04/11-07/04/11, LAAS, (en ligne), avril 2011.
Accès : http://seminaire-verif.enseeiht.fr/FAC/2011/Papiers/Patrons.pdf
BibTeXJ.-M. Farines, Max H. De Queiroz, Vinicius De Rocha, Ana Maria Carpes, François Vernadat, Xavier Crégut
A model-driven engineering approach to formal verification of PLC programs (regular paper)
Dans : Emerging Technologies and Factory Automation (ETFA 2011), Toulouse, France, 05/09/11-09/09/11, IEEE : Institute of Electrical and Electronics Engineers, p. 1-8, septembre 2011.
Xavier Crégut, Benoit Combemale, Marc Pantel, Raphaël Faudoux, Jonatas Pavei
Generative Technologies for Model Animation in the TOPCASED Platform (regular paper)
Dans : European Conference on Modelling Foundations and Applications (ECMFA 2010), Paris, 15/06/10-18/06/10, Springer, p. 90-103, juin 2010.
Benoit Combemale, Xavier Crégut, Jean-Patrice Giacometti, Pierre Michel, Marc Pantel
Introducing Simulation and Model Animation in the MDE Topcased Toolkit (regular paper)
Dans : Formalisation des Activités Concurrentes (FAC 2008), Toulouse, France, 03/04/08-04/04/08, LAAS, (en ligne), avril 2008.
Accès : http://seminaire-verif.enseeiht.fr/FAC/2008/Papiers/43.pdf
BibTeXBenoit Combemale, Laurent Broto, Xavier Crégut, Michel Daydé, Daniel Hagimont
Autonomic Mangement Policy Specification: from UML to DSML
Dans : ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2008), Toulouse, 28/09/08-03/10/08, Springer-Verlag, p. 584-599, octobre 2008.
Darlam Bender, Benoit Combemale, Xavier Crégut, François Vernadat, J.-M. Farines
Ladder Metamodeling & PLC Program Validation through Time Petri Nets
Dans : European Conference on Model Driven Architecture – Foundations and Applications (ECMDA-FA 2008), Berlin, Germany, 09/06/08-12/06/08, Springer, Lecture Notes in Computer Science 5095, p. 121-136, juin 2008.
Angel Garcia, Benoit Combemale, Xavier Crégut, Jean-Noël Guyot, Boris Libert
TopProcess: A Process Model Driven Approach Applied in Topcased for Embedded Real-Time Software
Dans : European Congress on Embedded Real-Time Software (ERTS 2008), Toulouse, 29/01/08-01/02/08, Société des Ingénieurs de l’Automobile, (support électronique), janvier 2008.
Benoit Combemale, Xavier Crégut, Jean-Patrice Giacometti, Pierre Michel, Marc Pantel
Introducing Simulation and Model Animation in the MDE Topcased Toolkit
Dans : European Congress on Embedded Real-Time Software (ERTS 2008), Toulouse, 29/01/08-01/02/08, Société des Ingénieurs de l’Automobile, (support électronique), janvier 2008.
Reda Bendraou, Benoit Combemale, Xavier Crégut, Marie-Pierre Gervais
Definition of an Executable SPEM2.0
Dans : Asia-Pacific Software Engineering Conference (APSEC 2007), Nagoya, Japan, 04/12/07-07/12/07, IEEE Computer Society, p. 390-397, décembre 2007.
Xavier Thirioux, Benoit Combemale, Xavier Crégut, Pierre-Loïc Garoche
A Framework to formalise the MDE Foundations
Dans : International Workshop on Towers of Models (TOWERS 2007), Zurich, 25/06/07, Richard Paige, Jean Bézivin (Eds.), Model Driven Engineering (MDE), p. 14-30, juin 2007.
Benoit Combemale, Xavier Crégut, Bernard Berthomieu, François Vernadat
Vers une vérification d’un procédé de développement modélisé en SPEM
Dans : Formalisation des Activités Concurrentes, Toulouse, France, 15/03/07-16/03/07.
Accès : http://www.cert.fr/feria/svf/FAC/2007/Papiers/31.pdf
BibTeXBenoit 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
Dans : International Conference on Enterprise Information Systems (ICEIS 2007), Funchal, Madeira – Portugal, 12/06/07-16/06/07, INSTICC Press, p. 80-89, juin 2007 (Best paper).
Benoit Combemale, Xavier Crégut, Pierre-Loïc Garoche, Xavier Thirioux
Expérimentation pour la définition d’une sémantique dans l’IDM
Dans : Sémantique des (meta)Modèles, Toulouse, France, 29/01/07, INPT : Institut National Polytechnique de Toulouse, p. 146-161, mars 2007.
Benoit Combemale, Xavier Crégut, Bernard Berthomieu, François Vernadat
SimplePDL2Tina: Mise en oeuvre d’une Validation de Modèles de Processus
Dans : Journées sur l’Ingénierie Dirigée par les Modèles (IDM 2007), Toulouse, France, 29/03/07-30/03/07, INPT : Institut National Polytechnique de Toulouse, p. 86-101, mars 2007.
Marc Pantel, Benoit Combemale, Xavier Crégut, Christine Maurel, Pierre Michel, Frédéric Migeon, Iulian Ober, Sylvain Rougemaille
Sémantique et méta-modélisation
Dans : Journées Kermeta, Rennes, 10/10/06.
Accès : https://kermeta.org/community/KermetaDay06/pres_marc/download
BibTeXMarc Pantel, Benoit Combemale, Xavier Crégut, Christine Maurel, Pierre Michel, Frédéric Migeon, Iulian Ober, Sylvain Rougemaille
Simulation et ingénierie des modèles
Dans : Journées Kermeta, Rennes, 10/10/06.
Accès : https://kermeta.org/community/KermetaDay06/pres_marc/download
BibTeXPatrick Farail, Pierre Gaufillet, Agusti Canals, Christophe Le Camus, David Sciamma, Pierre Michel, Xavier Crégut, Marc Pantel
The TOPCASED project: a Toolkit in Open source for Critical Aeronautic SystEms Design
Dans : European Congress on Embedded Real-Time Software (ERTS 2006), Toulouse, 25/01/06-27/01/06, Société des Ingénieurs de l’Automobile, (support électronique), janvier 2006.
Benoit Combemale, Sylvain Rougemaille, Xavier Crégut, Frédéric Migeon, Marc Pantel, Christine Maurel
Sémantique dans la méta-modélisation
Dans : Journées sur l’Ingénierie Dirigée par les Modèles (IDM 2006), Lille, France, 26/06/06-28/06/06, Université de Lille, p. 17-33, juin 2006.
Benoit Combemale, Alain Caplain, Xavier Crégut, Bernard Coulette
Vers une vérification d’un procédé de développement modélisé en SPEM
Dans : Formalisation des Activités Concurrentes, Toulouse, France, 23/03/06-24/03/06.
Accès : http://www.cert.fr/feria/svf/FAC/2006/Papiers/24.pdf
BibTeXBenoit Combemale, Xavier Crégut, Alain Caplain, Bernard Coulette
Modélisation rigoureuse en SPEM de procédé de développement
Dans : Conférence sur les Langages et Modèles à Objets (LMO 2006), Nîmes, France, 22/03/06-24/03/06, Hermès Science, p. 135-150, mars 2006.
Benoit Combemale, Xavier Crégut, Alain Caplain, Bernard Coulette
Towards a rigorous use of SPEM
Dans : International Conference on Enterprise Information Systems (ICEIS 2006), Paphos, Cyprus, 23/05/06-27/05/06, INSTICC Press, p. 530-533, mai 2006.
Benoit Combemale, Sylvain Rougemaille, Xavier Crégut, Frédéric Migeon, Marc Pantel, Christine Maurel
Towards rigorous metamodeling
Dans : Model-Driven Enterprise Information Systems (MDEIS 2006), Paphos – Cyprus, 23/05/06, Luís Ferreira Pires, Slimane Hammoudi (Eds.), INSTICC Press, p. 1-15, mai 2006.
Benoit Combemale, Xavier Crégut, Ileana Ober, Christian Percebois
Evaluation du standard SPEM de représentation des processus
Dans : Nice Environment with a Process and Tools Using Norms and Example (NEPTUNE 2006), Paris, 16/05/06, Pierre Bazex, Agusti Canals, Jean-Claude Rault (Eds.), GL & IS, p. 25-30, juin 2006.
Redouane Lbath, Bernard Coulette, Xavier Crégut
A multi-Agent Approach to a SPEM-based Modeling
Dans : The Seventeenth International Conference on Software Engineering and Knowledge Engineering (SEKE 2005), Taipei, Taiwan, Republic of China, 14/07/05-16/07/05, X, p. 0, juillet 2005.
Xavier Crégut, Sophie Ebersold, Mahmoud Nassar, Bernard Coulette
Un patron de génération de code pour le profil VUML
Dans : Objets, Composants et Modèles (OCM), Berne, Suisse, 09/03/05-11/03/05, ., p. 5-12, mars 2005.
Mahmoud Nassar, Bernard Coulette, Abdelaziz Kriouile, Xavier Crégut, Sophie Ebersold
Towards a View Based Modelling Language
Dans : International Conference en Enterprise Information Systems (ICEIS 2003), Angers, France, 23/04/03-26/04/03, ., avril 2003.
Tran Hanh Nhi, Bernard Coulette, Xavier Crégut, Thuy Dong Thi Bich, Thu Tran Dan
Modélisation du méta-procédé RHODES avec SPEM
Dans : Recherche Informatique Vietnam-Francophone (RIVF’03), Hanoi, vietnam, 10/02/03-13/02/03, http://e-ifi.org/rivf2003/, février 2003.
Bernard Coulette, Xavier Crégut, Thuy Dong Thi Bich, Thu Tran Dan
A METAPROCESS TO DEFINE AND REUSE PROCESS COMPONENTS
Dans : Integrated Design and Process Technology, IDPT, Pasadena (California), 23/06/02-28/06/02, Society for Design and Process Science, http://www.sdpsnet.org/, juin 2002.
Thu Tran Dan, Thuy Dong Thi Bich, Bernard Coulette, Xavier Crégut
Introduction à la notion de composants de procédés
Dans : Journées scientifiques de l’Institut de la Technologie de l’Information, Hanoï., 24/12/01-25/12/01, CNRST, décembre 2001.
Bernard Coulette, Xavier Crégut, Thu Tran Dan, Thuy Dong Thi Bich
Managing Processes through a Base of Reusable Components
Dans : ICEIS’2001, Setubal, Portugal, 07/07/01-10/07/01, Kluwer Academic Publishers, p. 180-190, juillet 2001.
Béatrice Paillassa, Xavier Crégut, Anis Ben Arbia
ASA: Une architecture active de Services pour un Internet de Services
Dans : De Nouvelles Architectures pour les Communications, Paris, DNAC, novembre 2001.
Béatrice Paillassa, Xavier Crégut, Anis Ben Arbia
ASA: The Active Service Architecture for New Internet
Dans : IEEE Conference on Communications, Computers and Signal Processing, Victoria (Canada), IEEE Publisher, p. 489-492, août 2001.
Bernard Coulette, Xavier Crégut, Thu Tran Dan, Thuy Dong Thi Bich
RHODES, A Process-Centered Software Engineering Environment
Dans : ICEIS’2000, Stafford, 04/07/00-07/07/00, ., juillet 2000.
Bernard Coulette, Xavier Crégut
Modélisation de composants de procédés : Intégration dansl’environnement RHODES
Dans : IC’2000, Toulouse, ., mai 2000.
Xavier Crégut, Bernard Coulette
Modélisation sous RHODES d’un procédé de développementformel. Application à la spécification en Unity
Dans : Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL’98), Poitiers, 30/09/98-01/10/98, ENSMA, Futuroscope, Poitiers, p. 165-176, septembre 1998.
M. Mezrioui, Xavier Crégut, Bernard Coulette
A Methodology for Software Process Modeling and Design
Dans : Actes conférence internationale IEEE Engineering Computer Based Systems (ECBS’98), Jérusalem, ., mars 1998.
Xavier Crégut, Bernard Coulette
Emphasizing guidance in the Process-centered Software Engineering Environment RHODES
Dans : Actes conférence internationale IEEE Engineering Computer Based Systems (ECBS’98), Jérusalem, ., mars 1998.
Xavier Crégut, Bernard Coulette
Filling the gap between CASE tools and PSEEs
Dans : Proc. of the International Conference and Workshop on Engineering of Computer Based Systems (ECBS’97), Monterey, California, IEEE Computer Society Press, p. 113-120, mars 1997.
Xavier Crégut, Bernard Coulette
Vérification d’un modèle de procédé de développement
Dans : Journées du GDR de Programmation, Orléans, France, -, novembre 1996.
Xavier Crégut, Bernard Coulette
Assistance Environment for Object Oriented Development
Dans : TOOLS 19, Actes conference TOOLS EUROPE 96, Paris, Prentice Hall, p. 61-73, février 1996.
Xavier Crégut, Bernard Coulette
RHODES, un environnement d’assistance et de validation centré sur le processus de développement
Dans : Actes Génie Logiciel et Applications, Paris, 15/11/95-17/11/95, -, novembre 1995.
Bernard Coulette, Xavier Crégut
An intelligent didactic environment for HOOD designers
Dans : Ada in Aerospace symposium, Bruxelles, 08/11/93-11/11/93, Springer, p. 179-188, 1993.
Xavier Crégut, Bernard Coulette
A methodological process based environement for software applications design
Dans : ACM ERCIM Workshop on Developement and transformation of programs, Nancy, 02/11/93-04/11/93, ACM : Association for Computing Machinery, p. 151-162, 1993.
Bernard Coulette, Xavier Crégut
Intégration du concept hypertexte dans un environnement d’assistance et d’apprentissage. Application à la réalisation d’une interface didactique pour la méthode de conception HOOD.
Dans : Colloque International Informatique Cognitive des Organisations, Montréal, 05/05/93-07/05/93, de boeck université, p. 88-97, 1993.
Isabelle Borne, Xavier Crégut, Sophie Ebersold, Frédéric Migeon
Actes des journées Langages et Modèles à Objets, LMO’07, Toulouse, 27/03/07 – 29/03/07, Hermès, mars 2007.
Un environnement d’assistance rigoureuse pour la description et l’exécution de processus de conception — Application à l’approche objet
Thèse de doctorat, Institut National Polytechnique de Toulouse, juillet 1997.