dblp.uni-trier.dewww.uni-trier.de

Benoît Combemale

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
12EEBenoît Combemale: Personal report of the 3rd ECMDA-FA'07 conference CoRR abs/0903.3797: (2009)
2008
11EEBenoît Combemale, Laurent Broto, Alain Tchana, Daniel Hagimont: Metamodeling Autonomic System Management Policies - Ongoing Works. COMPSAC 2008: 1091-1096
10EEDarlam 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
9EELaurent Broto, Daniel Hagimont, Estella Annoni, Benoît Combemale, Jean-Paul Bahsoun: Towards a Model Driven Autonomic Management System. ITNG 2008: 63-69
8EEBenoî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
7EEReda 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
5EEBenoî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
4EEBenoî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

Coauthor Index

1Estella Annoni [9]
2Jean-Paul Bahsoun [9]
3Darlam Fabio Bender [10]
4Reda Bendraou [7]
5Bernard Berthomieu [10]
6Laurent Broto [8] [9] [11]
7Alain Caplain [2] [3]
8Bernard Coulette [1] [2] [3]
9Xavier Crégut [1] [2] [3] [4] [5] [6] [7] [8] [10]
10Michel J. Daydé [8]
11Jean-Marie Farines [10]
12Pierre-Loïc Garoche [5] [6]
13Marie-Pierre Gervais [7]
14Daniel Hagimont [8] [9] [11]
15Christine Maurel [1]
16P. Michel [4]
17Frédéric Migeon [1]
18Marc Pantel [1] [4]
19Sylvain Rougemaille [1]
20Alain Tchana [11]
21Xavier Thirioux [5] [6]
22François Vernadat [5] [6] [10]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)