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 |