Nombre de documents

94

CV de Benoit Combemale


Communication dans un congrès62 documents

  • Gilles Perrouin, Moussa Amrani, Mathieu Acher, Benoit Combemale, Axel Legay, et al.. Featured model types: Towards Systematic Reuse in Modelling Language Engineering. MiSE '16 - 8th International Workshop on Modeling in Software Engineering, May 2016, New york, United States. ACM, pp.1 - 7, 2016, <10.1145/2896982.2896987>. <hal-01406507>
  • Benoit Combemale, Cédric Brun, Joël Champeau, Xavier Crégut, Julien Deantoni, et al.. A Tool-Supported Approach for Concurrent Execution of Heterogeneous Models. 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), 2016, Toulouse, France. 2016, <www.erts2016.org>. <hal-01258358>
  • Alice Allen, Cecilia Aragon, Christoph Becker, Jeffrey Carver, Andrei Chis, et al.. Lightning Talk:"I solemnly pledge" A Manifesto for Personal Responsibility in the Engineering of Academic Software. Gabrielle Allen; Jeffrey Carver; Michael Heroux; Lorraine J. Hwang; Daniel S. Katz; Kyle E. Niemeyer; Manish Parashar; Colin C. Venters; Sou-Cheng T. Choi; Tom Crick; Michael R. Crusoe; Sandra Gesing; Robert Haines. Fourth Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE4), 2016, Manchester, United Kingdom. CEUR, 1686, Proceedings of the Fourth Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE4). <http://ceur-ws.org/Vol-1686/WSSSPE4_paper_15.pdf>. <hal-01367344>
  • Gurvan Le Guernic, Benoit Combemale, José Angel Galindo Duarte. Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework. 3rd Workshop on Formal Integrated Development Environment, Nov 2016, Limassol, Cyprus. Electronic Proceedings in Theoretical Computer Science (EPTCS), 2016, <https://sites.google.com/site/fideworkshop2016/>. <hal-01401849>
  • Benoit Combemale, Betty H.C. Cheng, Ana Moreira, Jean-Michel Bruel, Jeff Gray. Modeling for Sustainability. Modeling in Software Engineering 2016 (MiSE'16), 2016, Austin, United States. ACM, Modeling in Software Engineering 2016 (MiSE'16). <https://sselab.de/lab2/public/wiki/MiSE/>. <hal-01185800v2>
  • David Méndez-Acuña, José Angel Galindo Duarte, Benoit Combemale, Arnaud Blouin, Benoit Baudry, et al.. Reverse-engineering reusable language modules from legacy domain-specific languages. International Conference on Software Reuse, Jun 2016, Limassol, Cyprus. Proceedings of the International Conference on Software Reuse. <hal-01284816>
  • David Méndez-Acuña, José Angel Galindo Duarte, Benoit Combemale, Arnaud Blouin, Benoit Baudry. Puzzle: A tool for analyzing and extracting specification clones in DSLs. ICSR 2016 the 15th International Conference on Software Reuse, Jun 2016, Limassol, Cyprus. Proceedings of the 15th International Conference on Software Reuse. <hal-01284822>
  • Thomas Degueule, Benoit Combemale, Arnaud Blouin, Olivier Barais, Jean-Marc Jézéquel. Melange: A Meta-language for Modular and Reusable Development of DSLs. 8th International Conference on Software Language Engineering (SLE), Oct 2015, Pittsburgh, United States. <hal-01197038>
  • Matias Ezequiel Vara Larsen, Julien Deantoni, Benoit Combemale, Frédéric Mallet. A Model-Driven Based Environment for Automatic Model Coordination. CEUR. Models 2015 demo and posters, Oct 2015, Ottawa, Canada. Models 2015 demo and posters. <hal-01198744>
  • Jean-Michel Bruel, Benoit Combemale, Ileana Ober, Hélène Raynal. MDE in Practice for Computational Science. INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE, Jun 2015, Reykjavík, Iceland. 2015, <http://www.iccs-meeting.org/iccs2015>. <hal-01141393>
  • Benoit Combemale, Julien Deantoni, Olivier Barais, Arnaud Blouin, Erwan Bousse, et al.. A Solution to the TTC'15 Model Execution Case Using the GEMOC Studio. 8th Transformation Tool Contest, 2015, l'Aquila, Italy. CEUR, <http://www.transformation-tool-contest.eu/>. <hal-01152342v2>
  • Thomas Degueule, Benoit Combemale, Arnaud Blouin, Olivier Barais. Reusing Legacy DSLs with Melange. 15th Workshop on Domain-Specific Modeling, Oct 2015, Pittsburgh, United States. Proceedings of the 15th Workshop on Domain-Specific Modeling. <hal-01197039v2>
  • Matias Ezequiel Vara Larsen, Julien Deantoni, Benoit Combemale, Frédéric Mallet. A Behavioral Coordination Operator Language (BCOoL). Timothy Lethbridge; Jordi Cabot; Alexander Egyed. International Conference on Model Driven Engineering Languages and Systems (MODELS), Sep 2015, Ottawa, Canada. ACM; IEEE, 18th International Conference on Model Driven Engineering Languages and Systems (MODELS) pp.462, 2015, <http://cruise.eecs.uottawa.ca/models2015/>. <hal-01182773>
  • Erwan Bousse, Jonathan Corley, Benoit Combemale, Jeff Gray, Benoit Baudry. Supporting Efficient and Advanced Omniscient Debugging for xDSMLs. 8th International Conference on Software Language Engineering (SLE), Oct 2015, Pittsburg, United States. <http://www.sleconf.org/2015/>. <hal-01182517v2>
  • Florent Latombe, Xavier Crégut, Benoît Combemale, Julien Deantoni, Marc Pantel. Weaving Concurrency in eXecutable Domain-Specific Modeling Languages. 8th ACM SIGPLAN International Conference on Software Language Engineering (SLE), 2015, Pittsburg, United States. ACM, 2015, <http://www.sleconf.org/2015/>. <hal-01185911>
  • Mathieu Acher, Guillaume Bécan, Benoit Combemale, Benoit Baudry, Jean-Marc Jézéquel. Product Lines Can Jeopardize Their Trade Secrets. 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Aug 2015, Bergame, Italy. <10.1145/2786805.2803210>. <hal-01234342>
  • Erwan Bousse, Tanja Mayerhofer, Benoit Combemale, Benoit Baudry. A Generative Approach to Define Rich Domain-Specific Trace Metamodels. 11th European Conference on Modelling Foundations and Applications (ECMFA), Jul 2015, L’Aquila, Italy. <https://www.uni-marburg.de/fb12/swt/ecmfa2015>. <hal-01154225>
  • Gunter Mussbacher, Daniel Amyot, Ruth Breu, Jean-Michel Bruel, Betty Cheng, et al.. The relevance of model-driven engineering thirty years from now. 17th International Conference ACM/IEEE - Conference on Model Driven Engineering Languages and Systems (MODELS), Sep 2014, Valencia, Spain. 8767, pp. 183-200, 2014. <hal-01156595>
  • Gunter Mussbacher, Daniel Amyot, Ruth Breu, Jean-Michel Bruel, Betty H.C. Cheng, et al.. The Relevance of Model-Driven Engineering Thirty Years from Now. Juergen Dingel; Wolfram Schulte; Isidro Ramos; Silvia Abrahão; Emilio Insfran. Model-Driven Engineering Languages and Systems, Sep 2014, Valencia, Spain. Springer International Publishing Switzerland, LNCS, 8767, pp.18, 2014, Model-Driven Engineering Languages and Systems. <10.1007/978-3-319-11653-2_12>. <hal-01081848>
  • Mathieu Acher, Benoit Combemale, Philippe Collet. Metamorphic Domain-Specific Languages: A Journey Into the Shapes of a Language. Onward! Essays, Sep 2014, Portland, United States. ACM, pp.243--253, 2014, <10.1145/2661136.2661159>. <hal-01061576>
  • Jean-Marc Jézéquel, David Mendez, Thomas Degueule, Benoit Combemale, Olivier Barais. When Systems Engineering Meets Software Language Engineering. CSD&M'14 - Complex Systems Design & Management, Nov 2014, Paris, France. Springer, 2014. <hal-01024166>
  • Mathieu Acher, Olivier Barais, Benoit Baudry, Arnaud Blouin, Johann Bourcier, et al.. Software Diversity: Challenges to handle the imposed, Opportunities to harness the chosen. GDR GPL, Jun 2014, Paris, France. 2014. <hal-00980126>
  • Erwan Bousse, Benoit Combemale, Benoit Baudry. Scalable Armies of Model Clones through Data Sharing. Model Driven Engineering Languages and Systems, 17th International Conference, MODELS 2014, Sep 2014, Valencia, Spain. 2014. <hal-01023681>
  • Erwan Bousse, Benoit Combemale, Benoit Baudry. Towards Scalable Multidimensional Execution Traces for xDSMLs. 11th Workshop on Model Design, Verification and Validation Integrating Verification and Validation in MDE (MoDeVVa 2014), Sep 2014, Valencia, Spain. 2014. <hal-01061740>
  • Edoardo Vacchi, Walter Cazzola, Benoit Combemale, Mathieu Acher. Automating Variability Model Inference for Component-Based Language Implementations. Patrick Heymans and Julia Rubin. SPLC'14 - 18th International Software Product Line Conference, Sep 2014, Florence, Italy. ACM, 2014. <hal-01023864>
  • Mounira Kezadri, Marc Pantel, Benoit Combemale, Xavier Thirioux. A formal framework to prove the correctness of model driven engineering composition operators. ICFEM'14 - 16TH INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, Nov 2014, Luxembourg, Luxembourg. Springer, 2014. <hal-01024067>
  • Edoardo Vacchi, Walter Cazzola, Suresh Pillay, Benoit Combemale. Variability Support in Domain-Specific Language Development. Erwig, Martin and Paige, Richard F. and Van Wyk, Eric. SLE - 6th International Conference on Software Language Engineering, Oct 2013, Indianapolis, IN, United States. Springer, 8225, pp.76-95, 2013, Lecture Notes in Computer Science; Proceedings of the 6th International Conference on Software Language Engineering (SLE 2013). <http://link.springer.com/chapter/10.1007/978-3-319-02654-1_5>. <10.1007/978-3-319-02654-1_5>. <hal-00914715>
  • Benoit Combemale, Julien Deantoni, Matias Ezequiel Vara Larsen, Frédéric Mallet, Olivier Barais, et al.. Reifying Concurrency for Executable Metamodeling. Erwig, Martin and Paige, Richard F. and Van Wyk, Eric. SLE - 6th International Conference on Software Language Engineering, Oct 2013, Indianapolis, IN, United States. Springer, 8225, pp.365-384, 2013, Lecture Notes in Computer Science; Software Language Engineering - 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings. <10.1007/978-3-319-02654-1_20>. <hal-00850770v2>
  • Benoit Combemale, Julien Deantoni, Robert France, Frédéric Boulanger, Sébastien Mosser, et al.. Report on the First Workshop On the Globalization of Modeling Languages (GEMOC 2013). GEMOC+AMINO@MoDELS: GEMOC - 1st International Workshop On the Globalization of Modeling Languages (2013), Sep 2013, Miami, United States. CEUR, Vol-1102, pp.3-13, 2013, Joint Proceedings of GEMOC '13 and AMINO '13 @ MODELS 2013. <http://ceur-ws.org/Vol-1102/gemoc13-report.pdf>. <hal-00926244>
  • Martin Faunes, Juan Cadavid, Benoit Baudry, Houari Sahraoui, Benoit Combemale. Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples. MODELS - ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems, 2013, Miami, United States. Springer, pp.187-202, 2013, Lecture Notes in Computer Science; 8107. <hal-00923789>
  • Emmanuelle Rouillé, Benoit Combemale, Olivier Barais, Touzet David, Jean-Marc Jézéquel. Integrating Software Process Reuse and Automation. Asia-Pacific Software Engineering Conference (APSEC), Dec 2013, Bangkok, Thailand. 2013. <hal-00872188>
  • Sun Wuliang, Benoit Combemale, Steven Derrien, Robert France. Using Model Types to Support Contract-Aware Model Substitutability. Van Gorp, P. and Ritter, T. and Rose, L.M. 9th European Conference on Modelling Foundations and Applications (ECMFA 2013), Jul 2013, Montpellier, France. Springer-Verlag Berlin Heidelberg, 7949, pp.118-133, 2013, LNCS; Modelling Foundations and Applications. <http://dx.doi.org/10.1007/978-3-642-39013-5_9>. <10.1007/978-3-642-39013-5_9>. <hal-00808770>
  • Mathieu Acher, Benoît Combemale, Philippe Collet, Olivier Barais, Philippe Lahire, et al.. Composing your Compositions of Variability Models. ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS'13), Sep 2013, Miami, United States. Lecture Notes in Computer Science, 17 p., 2013. <hal-00859473>
  • Emmanuelle Rouillé, Olivier Barais, Benoit Combemale, Touzet David, Jean-Marc Jézéquel. Improving Reusability in Software Process Lines. Euromicro Conference on Software Engineering and Advanced Applications, Sep 2013, Santander, Spain. 2013. <hal-00838771>
  • Olivier Barais, Benoit Baudry, Arnaud Blouin, Benoit Combemale, Jean-Marc Jézéquel, et al.. A Demonstration for Building Modular and Efficient DSLs: The Kermeta v2 Experience. Conférence en IngénieriE du Logiciel (CIEL), Apr 2013, Nancy, France. 2013. <hal-00796009>
  • Benoit Combemale, Olivier Barais, Omar Alam, Jörg Kienzle. Using CVL to Operationalize Product Line Development with Reusable Aspect Models. VARY@MoDELS'12: VARiability for You, Sep 2012, Innsbruck, Austria. ACM, 2012. <hal-00730274>
  • Moussa Amrani, Levi Lucio, Gehan Selim, Benoit Combemale, Jürgen Dingel, et al.. A Tridimensional Approach for Studying the Formal Verification of Model Transformations. Verification and validation Of model Transformations (VOLT), Apr 2012, Montreal, Canada. IEEE, 2012. <hal-00684717>
  • Cédric Jeanneret, Martin Glinz, Benoit Baudry, Benoit Combemale. Impact of Footprinting on Model Quality: An Experimental Evaluation. MODEL-DRIVEN REQUIREMENTS ENGINEERING (MoDRE) WORKSHOP AT RE 2012, Sep 2012, Chicago, Illinois, United States. IEEE, pp.78-87, 2012. <hal-00722036>
  • Erwan Bousse, David Mentré, Benoit Combemale, Benoit Baudry, Katsuragi Takaya. Aligning SysML with the B Method to Provide V&V for Systems Engineering. Model-Driven Engineering, Verification, and Validation 2012 (MoDeVVa 2012), Sep 2012, Innsbruck, Austria. 2012. <hal-00741134>
  • Clément Guy, Benoit Combemale, Steven Derrien, James Steel, Jean-Marc Jézéquel. On Model Subtyping. ECMFA - 8th European Conference on Modelling Foundations and Applications, Jul 2012, Kgs. Lyngby, Denmark. 2012. <hal-00695034>
  • Emmanuelle Rouillé, Benoit Combemale, Olivier Barais, David Touzet, Jean-Marc Jézéquel. Leveraging CVL to Manage Variability in Software Process Lines. Asia-Pacific Software Engineering Conference, Dec 2012, Hong Kong, China. 2012. <hal-00735881>
  • Benoit Combemale, Xavier Crégut, Marc Pantel. A Design Pattern to Build Executable DSMLs and associated V&V tools. The 19th Asia-Pacific Software Engineering Conference (APSEC 2012), Dec 2012, Hong Kong, Hong Kong SAR China. IEEE, 2012. <hal-00739332>
  • Jonathan Marchand, Benoit Combemale, Benoit Baudry. A Categorical Model of Model Merging and Weaving. MiSe 2012 - 4th International Workshop on Modeling in Software Engineering, Jun 2012, Zurich, Switzerland. Conference Publishing Solutions, 2012. <hal-00714373>
  • Dan Chiorean, Benoit Combemale. The 8th Educators' Symposium @ MODELS 2012: Software Modeling in Education. Proceedings of the 8th edition of the Educators' Symposium, Oct 2012, Innsbruck, Austria. ACM, 2012, <10.1145/2425936.2425937>. <hal-00773311>
  • Benoit Combemale, Xavier Thirioux, Benoit Baudry. Formally Defining and Iterating Infinite Models. R.B. France et al. ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems (MODELS 2012), Sep 2012, Innsbruck, Austria. Springer-Verlag Berlin Heidelberg, 7590, pp.119-133, 2012, LNCS. <10.1007/978-3-642-33666-9_9>. <hal-00716623>
  • Benoit Combemale, Laure Gonnord, Vlad Rusu. A Generic Tool for Tracing Executions Back to a DSML's Operational Semantics. Seventh European Conference on Modelling Foundations and Applications, Jun 2011, Birmingham, United Kingdom. Springer Verlag, 6698, pp.35-51, 2011, Lecture Notes in Computer Science. <hal-00593425>
  • Antoine Floch, Tomofumi Yuki, Clément Guy, Steven Derrien, Benoit Combemale, et al.. Model-Driven Engineering and Optimizing Compilers: A bridge too far?. International Conference on Model Driven Engineering Languages and Systems, Oct 2011, Wellington, New Zealand. 2011. <inria-00613575>
  • Clément Guy, Steven Derrien, Benoit Combemale, Jean-Marc Jézéquel. Vers un rapprochement de l'IDM et de la compilation. Journées sur l'Ingénierie Dirigée par les Modèles, Jun 2011, Lille, France. 2011. <inria-00601670>
  • Juan Cadavid, Benoit Baudry, Benoit Combemale. Empirical evaluation of the conjunct use of MOF and OCL. Michel Chaudron and Marcela Genero and Parastoo Mohagheghi and Lars Pareto. Experiences and Empirical Studies in Software Modelling (EESSMod 2011), Oct 2011, Wellington, New Zealand. CEUR, 2011. <hal-00647347v2>
  • Arnaud Blouin, Benoit Combemale, Benoit Baudry, Olivier Beaudoux. Modeling Model Slicers. ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems, Oct 2011, Wellington, New Zealand. Springer Berlin / Heidelberg, 6981, pp.62--76, 2011, <10.1007/978-3-642-24485-8_6>. <inria-00609072v2>
  • Emmanuelle Rouillé, Benoit Combemale, Olivier Barais, Touzet David, Jean-Marc Jézéquel. Bridging the Gap Between Software Process and Software Development. IDM, Jun 2011, Lille, France. 2011. <inria-00605465>
  • Benoit Combemale, Xavier Crégut, Arnaud Dieumegard, Marc Pantel, Faiez Zalila. Teaching MDE through the Formal Verification of Process Models. ECEASST. 7th Educators' Symposium @ MODELS 2011: Software Modeling in Education (EduSymp2011), Oct 2011, Wellington, New Zealand. 2011. <hal-00646426>
  • Mounira Kezadri, Benoit Combemale, Marc Pantel, Xavier Thirioux. A Proof Assistant Based Formalization of components in MDE. 8th International Symposium on Formal Aspects of Component Software (FACS 2011), Sep 2011, Oslo, Norway. 2011. <inria-00614593>
  • Patrick Albert, Mireille Blay-Fornarino, Philippe Collet, Benoit Combemale, Sophie Dupuy-Chessa, et al.. End-User Modelling. Défis du Génie de la Programmation et du Logiciel, journées nationales du GDR GPL, 2010, Pau, France, France. 2010. <inria-00504668>
  • Xavier Crégut, Benoit Combemale, Marc Pantel, Raphaël Faudoux, Jonatas Pavei. Generative technologies for model animation in the TopCased platform. 6th European Conference on Modelling Foundations and Applications (ECMFA 2010), 2010, Paris, France, South Africa. Springer, 6138, pp.90--103, 2010, Lecture Notes in Computer Science (LNCS). <inria-00504667>
  • Vincent Mahé, Benoit Combemale, Juan Cadavid. Crossing Model Driven Engineering and Agility: Preliminary Thought on Benefits and Challenges. 3rd Workshop on Model-Driven Tool & Process Integration, in conjunction with ECMFA 2010, 2010, Paris, France, France. 2010. <inria-00538460>
  • Benoît Combemale, Laurent Broto, Xavier Crégut, Michel Dayde, Daniel Hagimont. Autonomic Management Policy Specification: from UML to DSML. Krzysztof Czarnecki, and Ileana Ober, and Jean-Michel Bruel, and Axel Uhl, and Markus Volter. MoDELS 2008, Oct 2008, Toulouse, France. Springer, 5301, pp.584-599, 2008, Lecture Notes in Computer Science. <10.1007/978-3-540-87875-9_41>. <hal-00369874>
  • Darlam Bender, Benoît Combemale, Xavier Crégut, Jean-Marie Farines, Bernard Berthomieu, et al.. Ladder Metamodeling & PLC Program Validation through Time Petri Nets. Model Driven Architecture - Foundations and Applications (ECMDA 2008), Jun 2008, Berlin, Germany. Springer Verlag, 5095, pp.121-136, 2008, Lecture Notes in Computer Science. <10.1007/978-3-540-69100-6_9>. <hal-00369887>
  • Benoît Combemale, Xavier Crégut, Jean-Pierre Giacometti, Pierre Michel, Marc Pantel. Introducing Simulation and Model Animation in the MDE Topcased Toolkit. 4th European Congress EMBEDDED REAL TIME SOFTWARE (ERTS), Jan 2008, Toulouse, France, France. http://www.erts2008.org/, 2008. <hal-00371596>
  • Xavier Thirioux, Benoît Combemale, Xavier Crégut, Pierre-Loïc Garoche. A Framework to Formalise the MDE Foundations. International Workshop on Towers of Models (TOWERS 2007), Jun 2007, Zurich, Switzerland. University of York, pp.14-30, 2007. <hal-00159748v2>
  • 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. INSTICC. 9th International Conference on Enterprise Information Systems, Jun 2007, Funchal, Madeira, Portugal. INSTICC, pp.80-89, 2007. <hal-00160807>
  • Benoît Combemale, Xavier Crégut, Alain Caplain, Bernard Coulette. Towards a rigorous use of SPEM. Yannis Manolopoulos, and Joaquim Filipe, and Panos Constantopoulos, and José Cordeiro. Eighth International Conference on Enterprise Information Systems, May 2006, Paphos, Cyprus. INSTICC, pp.530-533, 2006. <hal-00369873>

Article dans une revue13 documents

  • David Méndez-Acuña, José Angel Galindo Duarte, Thomas Degueule, Benoit Combemale, Benoit Baudry. Leveraging Software Product Lines Engineering in the Development of External DSLs: A Systematic Literature Review. Computer Languages, Systems and Structures, Elsevier, 2016, <10.1016/j.cl.2016.09.004>. <hal-01372702>
  • Thomas Degueule, Benoit Combemale, Arnaud Blouin, Olivier Barais, Jean-Marc Jézéquel. Safe Model Polymorphism for Flexible Modeling. Computer Languages, Systems and Structures, Elsevier, 2016. <hal-01367305v2>
  • Moussa Amrani, Benoît Combemale, Levi Lúcio, Gehan Selim, Jürgen Dingel, et al.. Formal Verification Techniques for Model Transformations: A Tridimensional Classification. The Journal of Object Technology, Chair of Software Engineering, 2015, 14 (3), pp.1:1-43. <http://www.jot.fm/contents/issue_2015_03/article1.html>. <10.5381/jot.2015.14.3.a1>. <hal-01083759>
  • Wuliang Sun, Benoit Combemale, Robert B. France, Arnaud Blouin, Benoit Baudry, et al.. Using Slicing to Improve the Performance of Model Invariant Checking. The Journal of Object Technology, Chair of Software Engineering, 2015, pp.28. <hal-01179369>
  • Arnaud Blouin, Benoit Combemale, Benoit Baudry, Olivier Beaudoux. Kompren: Modeling and Generating Model Slicers. Software and Systems Modeling, Springer Verlag, 2015, 14 (1), pp.321-337. <hal-00746566v2>
  • Benoit Combemale, Julien Deantoni, Benoit Baudry, Robert B. France, Jean-Marc Jézéquel, et al.. Globalizing Modeling Languages. Computer, Institute of Electrical and Electronics Engineers, 2014, pp.10-13. <hal-00994551>
  • Benoit Combemale, Julien Deantoni, Ali Koudri, Jérôme Le Noir. Le nouveau défi de la coordination des langages de modélisation. Gestion de l'hétérogénéité des modèles dans le développement et l'exécution de systèmes logiciels complexes. Génie logiciel, C & S, 2013, pp.4-11. <hal-00854221>
  • Jean-Marc Jézéquel, Benoît Combemale, Steven Derrien, Clément Guy, Sanjay Rajopadhye. Bridging the Chasm Between MDE and the World of Compilation. Journal of Software and Systems Modeling (SoSyM), Springer, 2012, 11 (4), pp.581-597. <10.1007/s10270-012-0266-8>. <hal-00717219>
  • Pierre-Alain Muller, Frédéric Fondement, Benoit Baudry, Benoit Combemale. Modeling Modeling Modeling. SOSYM, Springer-Verlag, 2012, 11 (3), pp.347-359. <http://www.springerlink.com/content/f7342601l1w08jj2>. <10.1007/s10270-010-0172-x>. <inria-00538459>
  • Angel Garcia, Benoît Combemale, Xavier Crégut, Jérôme Vandeur. topPROCESS : vers une ingénierie des procédés dirigée par les modèles. REE - Revue de l’électricité électronique, See, 2009, 2/2009, pp.Société de l'Electricité, de l'Electronique et des Technologies de l'Information et de la Communicat. <hal-00371557>
  • Benoît Combemale, Xavier Crégut, Pierre-Loïc Garoche, Xavier Thirioux. Essay on Semantics Definition in MDE. An Instrumented Approach for Model Verification. Journal of Software (JSW), Academy Publisher, 2009, 4 (9), pp.943-958. <hal-00371553>
  • 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. Lecture Notes in Business Information Processing, Enterprise Information Systems, 2008, 12, pp.286-300. <10.1007/978-3-540-88710-2>. <hal-00369884>
  • Benoît Combemale, Xavier Crégut, Marc Pantel, Pierre Michel. SéMo'07 : premier atelier sur la Sémantique des Modèles. Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, Hermès-Lavoisier, 2007, 13 (4), pp.137-144. <10.3166/obj.13.4.137-144>. <hal-00369871>

Autre publication1 document

  • Arnaud Blouin, Benoit Combemale, Benoit Baudry. Découpez vos Modèles avec Kompren : une Démonstration. Démonstration, 4emes journées nationales du GDR-GPL 2012, p. 201--202. 2012. <hal-00696149>

Pré-publication, Document de travail4 documents

  • Marcelino Rodriguez-Cancio, Benoit Combemale, Benoit Baudry. Approximate Loop Unrolling. 2016. <hal-01401828>
  • Thomas Degueule, Benoit Combemale, Olivier Barais, Arnaud Blouin, Jean-Marc Jézéquel. Leveraging Family Polymorphism in MDE. 2014. <hal-00994541>
  • Benoît Combemale. Ingénierie Dirigée par les Modèles (IDM) -- État de l'art. 2008. <hal-00371565>
  • Benoît Combemale. Personal report of the 3rd ECMDA-FA'07 conference. 2007. <hal-00369872>

Direction d'ouvrage, Proceedings5 documents

  • Benoit Combemale, Julien Deantoni, Robert France. GEMOC 2014 2nd International Workshop on The Globalization of Modeling Languages. Benoit Combemale; Julien Deantoni; Robert France. GEMOC 2014 co-located with MODELS 2014, Sep 2014, Valencia, France. 1236, pp.82, 2014, CEUR-WS, 1613-0073. <http://ceur-ws.org/Vol-1236/>. <hal-01074602>
  • Benoit Combemale, David Pearce, Olivier Barais, Jurgen Vinju. Software Language Engineering. Benoît Combemale and David J. Pearce and Olivier Barais and Jurgen J. Vinju. SLE 7 - Proceedings of International Conference on Software Language Engineering 2014, Sep 2014, Västerås, Sweden. Springer, pp.353, 2014, 978-3-319-11245-9. <http://link.springer.com/book/10.1007%2F978-3-319-11245-9>. <hal-01110914>
  • Benoit Combemale, Julien Deantoni, Robert B. France, Balbir Barn, Tony Clark, et al.. Joint Proceedings of GEMOC '13 and AMINO '13 @ MODELS 2013. Combemale, Benoit and Deantoni, Julien and France, Robert B. and Barn, Balbir and Clark, Tony and Frank, Ulrich and Kulkarni, Vinay and Turk, Dan. 1102, CEUR-WS, pp.88, 2013. <hal-00916282>
  • Benoit Combemale, Walter Cazzola, Robert B. France. GlobalDSL '13: Proceedings of the First Workshop on the Globalization of Domain Specific Languages. Combemale, Benoit and Cazzola, Walter and France, Robert B. ACM, pp.33, 2013, 978-1-4503-2043-6. <hal-00916292>
  • Dan Chiorean, Benoit Combemale. EduSymp '12: Proceedings of the 8th Edition of the Educators' Symposium. Dan Chiorean and Benoit Combemale. ACM, pp.39, 2012, 978-1-4503-1812-9. <hal-00916296>

Thèse1 document

  • Benoît Combemale. Approche de métamodélisation pour la simulation et la vérification de modèle -- Application à l'ingénierie des procédés. Génie logiciel [cs.SE]. Institut National Polytechnique de Toulouse - INPT, 2008. Français. <tel-00321863>

Chapitre d'ouvrage3 documents

  • Thomas Degueule, Benoit Combemale, Jean-Marc Jézéquel. On Language Interfaces. Bertrand Meyer; Manuel Mazzara. PAUSE: Present And Ulterior Software Engineering, Springer, 2017. <hal-01424909>
  • Betty H.C. Cheng, Benoit Combemale, Robert B. France, Jean-Marc Jézéquel, Bernhard Rumpe. On the Globalization of Domain-Specific Languages. Globalizing Domain-Specific Languages, 9400, Springer International Publishing, 2015, LNCS, <10.1007/978-3-319-26172-0_1>. <hal-01224105>
  • Tony Clark, Mark Van den Brand, Benoit Combemale, Bernhard Rumpe. Conceptual Model of the Globalization for Domain-Specific Languages. Benoit Combemale; Betty H.C. Cheng; Robert B. France; Jean-Marc Jézéquel; Bernhard Rumpe. Globalizing Domain-Specific Languages, 9400, Springer International Publishing, pp.7-20, 2015, Lecture Notes in Computer Science, 978-3-319-26171-3. <10.1007/978-3-319-26172-0_2>. <hal-01224116>

Poster1 document

  • David Méndez-Acuña, Benoit Combemale, Benoit Baudry. Variability Management in Domain-Specific Languages. International School of Model-Driven Development for Distributed Real-Time Embedded Systems (MDDRES), Sep 2014, Aber-Wrac'h, France. 2014, <http://www.mdd4dres.org>. <hal-01077788>

Ouvrage (y compris édition critique et traduction)1 document

  • Jean-Marc Jézéquel, Benoit Combemale, Didier Vojtisek. Ingénierie Dirigée par les Modèles : des concepts à la pratique.... Ellipses. Ellipses, pp.144, 2012, Références sciences, 9782729871963. <hal-00648489>

Rapport3 documents

  • Julien Deantoni, Papa Issa Diallo, Joël Champeau, Benoit Combemale, Ciprian Teodorov. Operational Semantics of the Model of Concurrency and Communication Language. [Research Report] RR-8584, INRIA. 2014, pp.23. <hal-01060601v2>
  • Benoit Combemale, Xavier Crégut, Marc Pantel. A Design Pattern for Executable DSML. [Research Report] RR-8063, 2012, pp.19. <inria-00540648v3>
  • Juan Cadavid, Benoit Combemale, Benoit Baudry. Ten years of Meta-Object Facility: an Analysis of Metamodeling Practices. [Research Report] RR-7882, INRIA. 2012. <hal-00670652v2>