Jun 02 2013

Two papers accepted at MODELS’13

Two papers accepted in the Foundations Track of MODELS 2013:

  • “Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples” (Martin Faunes, Juan Cadavid, Benoit Baudry, Houari Sahraoui, Benoit Combemale)
  • “Composing your Compositions of Variability Models” (Mathieu Acher, Benoit Combemale, Philippe Collet, Olivier Barais, Philippe Lahire and Robert B. France)

May 24 2013

Talk at Neptune 2013

I’m glad to be invited to give a talk at Neptune 2013, a French conference on Model Driven Engineering. The talk will be entitled “On the Globalization of Modeling Languages“.

Apr 21 2013

One paper accepted in SoSyM

Our paper “Mashup of Meta-Languages and its Implementation in the Kermeta Language Workbench” (Jean-Marc Jézéquel, Benoit Combemale, Olivier Barais, Martin Monperrus, François Fouquet) has been accepted in the International Journal on Software and Systems Modeling (SoSyM).

Apr 06 2013

One paper accepted at ECMFA’13

Our paper “Using Model Types to Support Contract-Aware Model Substitutability” (Wuliang Sun, Benoit Combemale, Steven Derrien, and Robert B. France) has been accepted at the ECMFA’13 conference (foundation track). It will be presented in Montpellier, France in July.

Apr 06 2013

Assessing Composition in Modeling Approaches (published in the ACM DL)

The paper “Assessing Composition in Modeling Approaches” (Gunter Mussbacher, Omar Alam, Mohammed Alhaj, Shaukat Ali, Nuno Amálio, Balbir Barn, Rolv Bræk, Tony Clark, Benoit Combemale, Luiz Marcio Cysneiros, Urooj Fatima, Robert France, Geri Georg, Jennifer Horkoff, Jörg Kienzle, Julio Cesar Leite, Timothy C. Lethbridge, Markus Luckey, Ana Moreira, Felix Mutz, A. Padua A. Oliveira, Dorina C. Petriu, Matthias Schöttle, Lucy Troup, Vera M. B. Werneck) is now published in the ACM DL. This paper is the result of the CMA workshop at MODELS 2012, as well as the 4th AOM workshop at the Bellairs Research Institute of McGill.

Mar 02 2013

Keynote given at CIEL 2013

I’m glad to be invited to give a keynote at CIEL 2013, the French conference on software engineering. The talk will be entitled “On Modeling and Testing When Unpredictability Becomes a Pattern“.

Feb 27 2013

GlobalDSL @ ECMFA, ECOOP, ECSA 2013

GlobalDSL 2013, a workshop supported by the GEMOC initiative, will be organized in conjunction to ECOOP, ECMFA, and ECSA 2013 in Montpellier (France) on July 2nd, 2013.

GlobalDSL 2013 is a full-day workshop that will bring together researchers and practitioners in the programming and modeling languages communities to discuss the challenges associated with integrating multiple, heterogeneous software languages. The languages of interest range from requirements to runtime languages, and include domain-specific modeling and programming languages. Challenges related to engineering composable languages, semantic composition of languages and to reasoning about systems described using heterogeneous languages are of particular interest.

Important!

See the Call for Papers.
Submit on Easychair before March 22, 2013.

Jan 25 2013

The project MBSAR accepted by the CNRS

The project MBSAR (Model-Based Security Analysis at Runtime) is accepted to be funded by the CNRS in the context of the program PICS. MBSAR is a collaboration between the Software Assurance Lab from Colorado State University and the Triskell team at IRISA. MBSAR is a 3-year project (2013-2015).

Jan 11 2013

Proceedings of EduSymp 2012 available in the ACM DL

The proceedings of the 8th Educators’ Symposium @ MODELS 2012: Software Modeling in Education (EduSymp 2012) are now available on the ACM digital library.

Nov 25 2012

Open positions: Software Engineer and Postdoc (ANR GEMOC)

The Triskell team at Inria (Rennes, France) is looking for highly motivated Software Engineer and Post-doc candidates in software engineering, especially in language design and implementation for heterogeneous modeling and analysis of complex software intensive systems. The positions take place in the collaborative ANR project GEMOC in the field of model driven engineering and models of computation.

More information here.

Older posts «