Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Benoît Combemale
2010 – today
- 2012
[j5]Pierre-Alain Muller, Frédéric Fondement, Benoit Baudry, Benoît Combemale: Modeling modeling modeling. Software and System Modeling 11(3): 347-359 (2012)- [j4]Jean-Marc Jézéquel, Benoît Combemale, Steven Derrien, Clement Guy, Sanjay V. Rajopadhye: Bridging the chasm between MDE and the world of compilation. Software and System Modeling 11(4): 581-597 (2012)
- [c23]Emmanuelle Rouillé, Benoît Combemale, Olivier Barais, David Touzet, Jean-Marc Jézéquel: Leveraging CVL to Manage Variability in Software Process Lines. APSEC 2012: 148-157
- [c22]Benoît Combemale, Xavier Crégut, Marc Pantel: A Design Pattern to Build Executable DSMLs and Associated V&V Tools. APSEC 2012: 282-287
- [c21]Clement Guy, Benoît Combemale, Steven Derrien, Jim Steel, Jean-Marc Jézéquel: On Model Subtyping. ECMFA 2012: 400-415
- [c20]Moussa Amrani, Levi Lucio, Gehan M. K. Selim, Benoît Combemale, Jürgen Dingel, Hans Vangheluwe, Yves Le Traon, James R. Cordy: A Tridimensional Approach for Studying the Formal Verification of Model Transformations. ICST 2012: 921-928
- [c19]Benoît Combemale, Xavier Thirioux, Benoit Baudry: Formally Defining and Iterating Infinite Models. MoDELS 2012: 119-133
- [c18]Cédric Jeanneret, Martin Glinz, Benoit Baudry, Benoît Combemale: Impact of footprinting on model quality: An experimental evaluation. MoDRE 2012: 77-86
- [c17]Benoît Combemale, Cécile Hardebolle, Christophe Jacquet, Frédéric Boulanger, Benoit Baudry: Bridging the Chasm between Executable Metamodeling and Models of Computation. SLE 2012: 184-203
- 2011
- [j3]Benoît Combemale, Xavier Crégut, Arnaud Dieumegard, Marc Pantel, Faiez Zalila: Teaching MDE through the Formal Verification of Process Models. ECEASST 52 (2011)
- [c16]Benoît Combemale, Laure Gonnord, Vlad Rusu: A Generic Tool for Tracing Executions Back to a DSML's Operational Semantics. ECMFA 2011: 35-51
- [c15]Mounira Kezadri, Benoît Combemale, Marc Pantel, Xavier Thirioux: A Proof Assistant Based Formalization of MDE Components. FACS 2011: 223-240
- [c14]Arnaud Blouin, Benoît Combemale, Benoit Baudry, Olivier Beaudoux: Modeling Model Slicers. MoDELS 2011: 62-76
- [c13]Juan José Cadavid, Benoit Baudry, Benoît Combemale: Empirical Evaluation of the Conjunct Use of MOF and OCL. EESSMod 2011
- [c12]Antoine 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
- 2010
- [c11]Xavier 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
2000 – 2009
- 2009
- [j2]Benoî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)
- [i1]
- 2008
- [c10]Benoît Combemale, Laurent Broto, Alain Tchana, Daniel Hagimont: Metamodeling Autonomic System Management Policies - Ongoing Works. COMPSAC 2008: 1091-1096
- [c9]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
- [c8]Laurent Broto, Daniel Hagimont, Estella Annoni, Benoît Combemale, Jean Paul Bahsoun: Towards a Model Driven Autonomic Management System. ITNG 2008: 63-69
- [c7]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
- [j1]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)
- [c6]Reda Bendraou, Benoît Combemale, Xavier Crégut, Marie-Pierre Gervais: Definition of an Executable SPEM 2.0. APSEC 2007: 390-397
- [c5]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
- [c4]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
- 2006
- [c3]Benoît Combemale, Xavier Crégut, Alain Caplain, Bernard Coulette: Towards a Rigorous Process Modeling with SPEM. ICEIS (3) 2006: 530-533
- [c2]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
- [c1]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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-03-13 19:49 CET by the dblp team