| 2009 |
| 12 | EE | Benoît Combemale:
Personal report of the 3rd ECMDA-FA'07 conference
CoRR abs/0903.3797: (2009) |
| 2008 |
| 11 | EE | Benoît Combemale,
Laurent Broto,
Alain Tchana,
Daniel Hagimont:
Metamodeling Autonomic System Management Policies - Ongoing Works.
COMPSAC 2008: 1091-1096 |
| 10 | 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 |
| 9 | EE | Laurent Broto,
Daniel Hagimont,
Estella Annoni,
Benoît Combemale,
Jean-Paul Bahsoun:
Towards a Model Driven Autonomic Management System.
ITNG 2008: 63-69 |
| 8 | 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 |
| 7 | EE | Reda Bendraou,
Benoît Combemale,
Xavier Crégut,
Marie-Pierre Gervais:
Definition of an Executable SPEM 2.0.
APSEC 2007: 390-397 |
| 6 | | 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 |
| 5 | 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 |
| 4 | 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 |
| 3 | | Benoît Combemale,
Xavier Crégut,
Alain Caplain,
Bernard Coulette:
Towards a Rigorous Process Modeling with SPEM.
ICEIS (3) 2006: 530-533 |
| 2 | | 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 |
| 1 | | 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 |