| [53] | A Tridimensional Approach for Studying the Formal Verification of Model Transformations (Moussa Amrani, Levi Lucio, Gehan Selim, Benoit Combemale, Jürgen Dingel, Hans Vangheluwe, Yves Le Traon, James R. Cordy), In Verification and validation Of model Transformations (VOLT), workshop at ICST 2012, IEEE, 2012.
[bib] [pdf] |
| [52] | Bridging the Chasm Between MDE and the World of Compilation (Jean-Marc Jézéquel, Benoit Combemale, Steven Derrien, Clément Guy, Sanjay Rajopadhye), In Journal of Software and Systems Modeling (SoSyM), Springer, 2012.
[bib] [pdf] |
| [51] | Modeling Modeling Modeling (Pierre-Alain Muller, Frédéric Fondement, Benoit Baudry, Benoit Combemale), In Journal of Software and Systems Modeling (SoSyM), Springer-Verlag, volume 11, 2012.
[bib] [pdf] |
| [50] | Formally Defining and Iterating Infinite Models (Benoit Combemale, Xavier Thirioux, Benoit Baudry), In Proceedings of the 15th international conference on Model driven engineering languages and systems (MODELS'12) (Robert France, Juergen Kazmeier, Colin Atkinson, Ruth Breu, eds.), Springer, 2012.
[bib] |
| [49] | A Categorical Model of Model Merging and Weaving (Jonathan Marchand, Benoit Combemale, Benoit Baudry), In 4th International Workshop on Modelling in Software Engineering (MiSE'2012), in conjunction with ICSE 2012, IEEE, 2012.
[bib] [pdf] |
| [48] | Model Transformation Reuse with Model Typing (Jean-Marc Jézéquel, Benoit Combemale, Clément Guy), Chapter in Composition and Evolution of Model Transformations (Kevin Lano, Steffen Zschaler, eds.), Springer, 2012. (to appear)
[bib] [pdf] |
| [47] | Ingénierie Dirigée par les Modèles : des concepts à la pratique... (Jean-Marc Jézéquel, Benoit Combemale, Didier Vojtisek), Ellipses, 2012.
[bib] [pdf] |
| [46] | Impact of Footprinting on Model Quality: An Experimental Evaluation (Cédric Jeanneret, Martin Glinz, Benoit Baudry, Benoit Combemale), In Model-Driven Requirements Engineering (MoDRE'12), workshop at RE 2012, IEEE, 2012.
[bib] [pdf] |
| [45] | On Model Subtyping (Clément Guy, Benoit Combemale, Steven Derrien, Jim Steel, Jean-Marc Jézéquel), In 8th European Conference on Modelling Foundations and Applications (ECMFA 2012) (Antonio Valecillo, ed.), Springer, 2012.
[bib] [pdf] |
| [44] | Ten years of Meta-Object Facility: an Analysis of Metamodeling Practices (Juan Cadavid, Benoit Combemale, Benoit Baudry), Technical report, INRIA, 2012.
[bib] [pdf] |
| [43] | Découpez vos Modèles avec Kompren : une Démonstration (Arnaud Blouin, Benoit Combemale, Benoit Baudry), In 4ièmes journées nationales du GDR-GPL 2012 (french), p. 201--202, 2012.
[bib] [pdf] |
| [42] | V&V support for DSML in TOPCASED (Bernard Berthomieu, Benoit Combemale, Xavier Crégut, Stéphane Duprat, Raphael Faudou, Marc Pantel, Francois Vernadat), In Congress Topcased Days 2011, 2011.
[bib] [pdf] |
| [41] | Bridging the Gap Between Software Process and Software Development (Emmanuelle Rouillé, Benoit Combemale, Olivier Barais, Touzet David, Jean-Marc Jézéquel), In Journées sur l'Ingénierie Dirigée par les Modèles (french), 2011.
[bib] [pdf] |
| [40] | Vers un rapprochement de l'IDM et de la compilation (Clément Guy, Steven Derrien, Benoit Combemale, Jean-Marc Jézéquel), In Journées sur l'Ingénierie Dirigée par les Modèles (french), 2011.
[bib] [pdf] |
| [39] | Model-Driven Engineering and Optimizing Compilers: A bridge too far? (Antoine Floch, Tomofumi Yuki, Clément Guy, Steven Derrien, Benoit Combemale, Sanjay Rajopadhye, Robert France), In Proceedings of the 14th international conference on Model driven engineering languages and systems (MODELS'11), Springer Berlin / Heidelberg, volume 6981, 2011.
[bib] [pdf] |
| [38] | Empirical evaluation of the conjunct use of MOF and OCL (Juan Cadavid, Benoit Baudry, Benoît Combemale), In EESSMod, CEUR-WS.org, volume 785, 2011.
[bib] [pdf] |
| [37] | Teaching MDE through the Formal Verification of Process Models (Benoit Combemale, Xavier Crégut, Arnaud Dieumegard, Marc Pantel, Faiez Zalila), In 7th Educators' Symposium: Software Modeling in Education (EduSymp 2011), workshop at MODELS 2011, 2011.
[bib] [pdf] |
| [36] | A Generic Tool for Tracing Executions Back to a DSML's Operational Semantics (Benoit Combemale, Laure Gonnord, Vlad Rusu), In 7th European Conference on Modelling Foundations and Applications (ECMFA 2011), Springer Verlag, volume 6698, 2011.
[bib] [pdf] |
| [35] | Modeling Model Slicers (Arnaud Blouin, Benoit Combemale, Benoit Baudry, Olivier Beaudoux), In Proceedings of the 14th international conference on Model driven engineering languages and systems (MODELS'11), Springer Berlin / Heidelberg, volume 6981, 2011.
[bib] [pdf] |
| [34] | A Proof Assistant Based Formalization of MDE Components (Kezadri Mounira, Benoit Combemale, Marc Pantel, Xavier Thirioux), In 8th International Symposium on Formal Aspects of Component Software (FACS 2011), Springer, volume , 2011.
[bib] [pdf] |
| [33] | Crossing Model Driven Engineering and Agility: Preliminary Thought on Benefits and Challenges (Vincent Mahé, Benoit Combemale, Juan Cadavid), In 3rd Workshop on Model-Driven Tool & Process Integration, in conjunction with ECMFA 2010, 2010.
[bib] [pdf] |
| [32] | End-User Modelling (M. Blay-Fornarino, P. Collet, Benoit Combemale, S. Dupuy-Chessa, A. Front, A. Grost, P. Lahire, X. Le Pallec, L. Ledrich, T. Nodenot, A.M. Pinna-Dery, S. Rusinek), In Défis du Génie de la Programmation et du Logiciel, journées nationales du GDR GPL (french), 2010. (slide.pdf)
[bib] [pdf] |
| [31] | Simulation et vérification de modèle par métamodélisation exécutable (Benoit Combemale), Editions Universitaires Européennes, 2010.
[bib] [pdf] |
| [30] | Generative technologies for model animation in the TopCased platform (Xavier Crégut, Benoit Combemale, Marc Pantel, Raphael Faudoux, Jonatas Pavei), In 6th European Conference on Modelling Foundations and Applications (ECMFA 2010) (T. Kühne et al., ed.), Springer, volume 6138, 2010.
[bib] [pdf] |
| [29] | Formally Tracing Executions From an Analysis Tool Back to a Domain Specific Modeling Language's Operational Semantics (Vlad Rusu, Laure Gonnord, Benoit Combemale), Technical report, INRIA, 2010.
[bib] [pdf] |
| [28] | topPROCESS : vers une ingénierie des procédés dirigée par les modèles (Angel Garcia, Benoit Combemale, Xavier Crégut, Jérome Vandeur), In Revue de l'Electricité et de l'Electronique (french), Société de l'Electricité, de l'Electronique et des Technologies de l'Information et de la Communication, volume 02, 2009. (preprint.pdf)
[bib] |
| [27] | Essay on Semantics Definition in MDE. An Instrumented Approach for Model Verification (Benoit Combemale, Xavier Crégut, Pierre-Loic Garoche, Xavier Thirioux), In Journal of Software, volume 4, 2009.
[bib] [pdf] |
| [26] | On the Need for Infinite Model and a Formal Definition (Benoit Combemale, Xavier Thirioux, Jean Bézivin), Technical report, missing institution, 2009.
[bib] [pdf] |
| [25] | Exploitation des techniques de virtualisation pour l'administration autonome d'infrastructures logicielles réparties (Alain Tchana, Suzy Temate, Benoit Combemale, Laurent Broto, Daniel Hagimont), In Actes de la Conférence Francophone sur les Architectures Logicielles (CAL, in french), Editions Cépaduès, RNTI, 2009.
[bib] |
| [24] | SéMo'07 : premier atelier sur la Sémantique des Modèles (Benoit Combemale, Xavier Crégut, Pierre Michel, Marc Pantel), In L'Objet (french) (Antoine Beugnard, ed.), Hermès Science Publications, volume 13, 2008.
[bib] [pdf] |
| [23] | Autonomic Management Policy Specification: from UML to DSML (Benoit Combemale, Laurent Broto, Xavier Crégut, Michel Daydé, Daniel Hagimont), In ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (MoDELS), Springer, volume 5301, 2008. (preprint.pdf)
[bib] [pdf] |
| [22] | Metamodeling Autonomic System Management Policies -- Ongoing Works (Benoit Combemale, Laurent Broto, Alain Tchana, Daniel Hagimont), In Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC), The First IEEE International Workshop on Model-Driven Development of Autonomic Systems (MDDAS), IEEE Computer Society, 2008. (slide.pdf,)
[bib] [pdf] |
| [21] | A Model Driven Autonomic Management System (Laurent Broto, Estella Annoni, Daniel Hagimont, Benoit Combemale, Jean-Paul Bahsoun), In 5th International Conference on Information Technology : New Generations (ITNG), IEEE Computer Society, 2008. (preprint.pdf, slide.pdf)
[bib] [pdf] |
| [20] | Simulation et animation de modèles dans l'atelier TOPCASED (Benoit Combemale, Xavier Crégut, Jean-Patrice Giacometti, Pierre Michel, Marc Pantel), In Journées Formalisation des Activités Concurrentes (FAC, in french), 2008.
[bib] |
| [19] | Métamodélisation des diagrammes Ladder et validation de programme PLC à travers les réseaux de Petri temporels (Darlam Bender, Benoit Combemale, Xavier Crégut, Jean-Marie Farines, Francois Vernadat), In Journées Formalisation des Activités Concurrentes (FAC, in french), 2008.
[bib] |
| [18] | Introducing Simulation and Model Animation in the MDE Topcased Toolkit (Benoit Combemale, Xavier Crégut, Jean-Patrice Giacometti, Pierre Michel, Marc Pantel), In 4th European Congress EMBEDDED REAL TIME SOFTWARE (ERTS), SIA & SEE, 2008.
[bib] [pdf] |
| [17] | topPROCESS : a Process Model Driven Approach Applied in TOPCASED for Embedded Real-Time Software (Benoit Combemale, Xavier Crégut, Angel Garcia, Jean-Noël Guyot, Boris Libert), In 4th European Congress EMBEDDED REAL TIME SOFTWARE (ERTS), SIA & SEE, 2008.
[bib] [pdf] |
| [16] | A Property-Driven Approach to Formal Verification of Process Models (Benoit Combemale, Xavier Crégut, Pierre-Loic Garoche, Xavier Thirioux, Francois Vernadat), Chapter in Enterprise Information System IX (Jorge Cardoso, José Cordeiro, Joaquim Filipe, Vitor Pedrosa, eds.), LNBIP, Springer, volume 12, 2008.
[bib] [pdf] |
| [15] | Ladder Metamodeling & PLC Program Validation through Time Petri Nets (Darlam Bender, Benoit Combemale, Xavier Crégut, Jean-Marie Farines, Francois Vernadat), In Fourth European Conference on Model Driven Architecture - Foundations and Applications (ECMDA-FA), Springer, volume 5095, 2008. (preprint.pdf, slide.pdf)
[bib] [pdf] |
| [14] | Approche de métamodélisation pour la simulation et la vérification de modèle -- Application à l'ingénierie des procédés (Benoit Combemale), PhD thesis, Institut National Polytechnique, Université de Toulouse, 2008. (PhD thesis, related web page, slide.pdf, handout.slide.pdf)
[bib] [pdf] |
| [13] | A Framework to Formalise the MDE Foundations (Xavier Thirioux, Benoit Combemale, Xavier Crégut, Pierre-Loic Garoche), In International Workshop on Towers of Models (TOWERS) (Richard Paige, Jean Bézivin, eds.), 2007. (slide.pdf)
[bib] [pdf] |
| [12] | Expérimentation pour la définition d'une sémantique dans l'IDM (Benoit Combemale, Xavier Crégut, Pierre-Loic Garoche, Xavier Thirioux), In Sémantique des Modèles (SéMo), Workshop at IDM (french), 2007. (slide.pdf)
[bib] [pdf] |
| [11] | SimplePDL2Tina : Mise en oeuvre d'une Validation de Modèles de Processus (Benoit Combemale, Xavier Crégut, Bernard Berthomieu, Francois Vernadat), In 3ieme journées sur l'Ingénierie Dirigée par les Modeles (IDM, in french), 2007. (slide.pdf)
[bib] [pdf] |
| [10] | Towards a Formal Verification of Process Model's Properties -- SimplePDL and TOCL case study (Benoit Combemale, Pierre-Loic Garoche, Xavier Crégut, Xavier Thirioux), In 9th International Conference on Enterprise Information Systems (ICEIS), INSTICC press, 2007. (preprint.pdf, slide.pdf (long paper))
[bib] [pdf] |
| [9] | Validation de Modèles de Processus (Benoit Combemale, Xavier Crégut, Bernard Berthomieu, Francois Vernadat), In Journées Formalisation des Activités Concurrentes (FAC, in french), 2007.
[bib] |
| [8] | Definition of an eXecutable SPEM2.0 (Réda Bendraou, Benoit Combemale, Xavier Crégut, Marie-Pierre Gervais), In 14th Asian-Pacific Software Engineering Conference (APSEC), IEEE Computer Society, 2007. (preprint.pdf, slide.pdf)
[bib] [pdf] |
| [7] | Evaluation du standard SPEM de représentation des processus (Benoit Combemale, Xavier Crégut, Ileana Ober, Christian Percebois), In Génie Logiciel - Magazine de l'ingéniérie du logiciel et des systèmes (french), volume 77, 2006. (slide.pdf)
[bib] |
| [6] | Towards a Rigorous Metamodeling (Benoit Combemale, Sylvain Rougemaille, Xavier Crégut, Frédéric Migeon, Marc Pantel, Christine Maurel, Bernard Coulette), In 2nd International Workshop on Model-Driven Enterprise Information Systems (MDEIS), INSTICC press, 2006. (slide.pdf)
[bib] [pdf] |
| [5] | Modélisation rigoureuse en SPEM de procédé de développement (Benoit Combemale, Xavier Crégut, Alain Caplain, Bernard Coulette), In 12ième conférence sur les Langages et Modèles à Objets (LMO, in french) (Hermes Sciences/Lavoisier, ed.), 2006. (preprint.pdf, slide.pdf)
[bib] [pdf] |
| [4] | Expériences pour décrire la sémantique en ingénierie des modèles (Benoit Combemale, Sylvain Rougemaille, Xavier Crégut, Frédéric Migeon, Marc Pantel, Christine Maurel), In 2ième journées sur l'Ingénierie Dirigée par les Modèles (IDM, in french) (Hermes Sciences/Lavoisier, ed.), 2006. (slide.pdf)
[bib] [pdf] |