| 2008 |
| 20 | EE | 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 |
| 19 | EE | 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 |
| 18 | | Isabelle Borne,
Xavier Crégut,
Sophie Ebersold,
Frédéric Migeon:
Actes des journées Langages et Modèles à Objets, LMO'07. Toulouse, 27-29 mars
Hermès Lavoisier 2007 |
| 17 | EE | Reda Bendraou,
Benoît Combemale,
Xavier Crégut,
Marie-Pierre Gervais:
Definition of an Executable SPEM 2.0.
APSEC 2007: 390-397 |
| 16 | | 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 |
| 15 | EE | 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 |
| 14 | EE | Benoît Combemale,
Xavier Crégut,
Marc Pantel,
P. Michel:
SéMo'07, premier atelier sur la sémantique des modèles.
L'OBJET 13(4): 137-144 (2007) |
| 2006 |
| 13 | | Benoît Combemale,
Xavier Crégut,
Alain Caplain,
Bernard Coulette:
Towards a Rigorous Process Modeling with SPEM.
ICEIS (3) 2006: 530-533 |
| 12 | | 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 |
| 11 | | 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 |
| 10 | | 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 |
| 9 | EE | 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.
L'OBJET 11(4): 83-113 (2005) |
| 8 | EE | Tran Dan Thu,
Hanh Nhi Tran,
Dong Thi Bich Thuy,
Bernard Coulette,
Xavier Crégut:
Topological properties for characterizing well-formedness of process components.
Software Process: Improvement and Practice 10(2): 217-247 (2005) |
| 2003 |
| 7 | | Mahmoud Nassar,
Bernard Coulette,
Xavier Crégut,
Sophie Ebersold,
Abdelaziz Kriouile:
Towards a View Based Unified Modeling Language.
ICEIS (3) 2003: 257-265 |
| 6 | EE | 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 |
| 5 | | 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 |
| 4 | | Bernard Coulette,
Tran Dan Thu,
Xavier Crégut,
Dong Thi Bich Thuy:
RHODES, A Process Component Centered Software Engineering Environment.
ICEIS 2000: 253-260 |
| 1999 |
| 3 | | Xavier Crégut,
Bernard Coulette:
Réalisation en Eiffel d'un atelier de génie logiciel centré procédé.
L'OBJET 5(3/4): (1999) |
| 1997 |
| 2 | EE | Xavier Crégut,
Bernard Coulette:
Filling the gap between CASE tools and PSEEs.
ECBS 1997: 113-120 |
| 1 | | Xavier Crégut,
Bernard Coulette:
PBOOL: an Object-Oriented Language for Definition and Reuse of Enactable Processes.
Software - Concepts and Tools 18(2): 47-62 (1997) |