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

Benoît Combemale Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenoît Combemale, Laure Gonnord, Vlad Rusu: A Generic Tool for Tracing Executions Back to a DSML's Operational Semantics. ECMFA 2011: 35-51
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan José Cadavid, Benoit Baudry, Benoît Combemale: Empirical Evaluation of the Conjunct Use of MOF and OCL. EESSMod 2011
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntoine Floch, Tomofumi Yuki, Clement Guy, Steven Derrien, Benoît Combemale, Sanjay V. Rajopadhye, Robert B. France: Model-Driven Engineering and Optimizing Compilers: A Bridge Too Far? MoDELS 2011: 608-622
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArnaud Blouin, Benoît Combemale, Benoit Baudry, Olivier Beaudoux: Modeling Model Slicers. MoDELS 2011: 62-76
2010
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXavier Crégut, Benoît Combemale, Marc Pantel, Raphaël Faudoux, Jonatas Pavei: Generative Technologies for Model Animation in the TopCased Platform. ECMFA 2010: 90-103
2009
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenoît Combemale: Personal report of the 3rd ECMDA-FA'07 conference CoRR abs/0903.3797: (2009)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenoît Combemale, Xavier Crégut, Pierre-Loïc Garoche, Xavier Thirioux: Essay on Semantics Definition in MDE - An Instrumented Approach for Model Verification. JSW 4(9): 943-958 (2009)
2008
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenoît Combemale, Laurent Broto, Alain Tchana, Daniel Hagimont: Metamodeling Autonomic System Management Policies - Ongoing Works. COMPSAC 2008: 1091-1096
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDarlam 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
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaurent Broto, Daniel Hagimont, Estella Annoni, Benoît Combemale, Jean Paul Bahsoun: Towards a Model Driven Autonomic Management System. ITNG 2008: 63-69
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenoî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
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReda Bendraou, Benoît Combemale, Xavier Crégut, Marie-Pierre Gervais: Definition of an Executable SPEM 2.0. APSEC 2007: 390-397
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenoî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
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenoî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
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenoî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
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenoît Combemale, Xavier Crégut, Alain Caplain, Bernard Coulette: Towards a Rigorous Process Modeling with SPEM. ICEIS (3) 2006: 530-533
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenoît Combemale, Xavier Crégut, Alain Caplain, Bernard Coulette: Modélisation rigoureuse en SPEM de procédé de développement. LMO 2006: 135-150
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenoî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]
3Benoit Baudry [15] [17]
4Olivier Beaudoux [15]
5Darlam Fabio Bender [10]
6Reda Bendraou [7]
7Bernard Berthomieu [10]
8Arnaud Blouin [15]
9Laurent Broto [8] [9] [11]
10Juan José Cadavid [17]
11Alain Caplain [2] [3]
12Bernard Coulette [1] [2] [3]
13Xavier Crégut [1] [2] [3] [4] [5] [6] [7] [8] [10] [12] [14]
14Michel J. Daydé [8]
15Steven Derrien [16]
16Jean-Marie Farines [10]
17Raphaël Faudoux [14]
18Antoine Floch [16]
19Robert B. France [16]
20Pierre-Loïc Garoche [5] [6] [12]
21Marie-Pierre Gervais [7]
22Laure Gonnord [18]
23Clement Guy [16]
24Daniel Hagimont [8] [9] [11]
25Christine Maurel [1]
26P. Michel [4]
27Frédéric Migeon [1]
28Marc Pantel [1] [4] [14]
29Jonatas Pavei [14]
30Sanjay V. Rajopadhye [16]
31Sylvain Rougemaille [1]
32Vlad Rusu [18]
33Alain Tchana [11]
34Xavier Thirioux [5] [6] [12]
35François Vernadat [5] [6] [10]
36Tomofumi Yuki [16]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page