Our paper “Bridging the Chasm between Executable Metamodeling and Models of Computation” (Benoît Combemale, Cécile Hardebolle, Christophe Jacquet, Frédéric Boulanger, and Benoit Baudry) has been accepted at the SLE’12 conference. It will be presented in Dresden, Germany in October.

Our paper “Managing Execution Environment Variability during Software Testing: an industrial experience” (Aymeric Hervieu, Benoit baudry, Arnaud Gotlieb) has been accepted at the ICTSS’12 conference. It will be presented in Aalborg, Denmark in November.

Two papers at the Model-Driven Requirements Engineering workshop: Toward Multilevel Textual Requirements Traceability Using Model-driven Engineering and Information Retrieval by Sannier and Baudry Impact of Footprinting on Model Quality by Jeanneret, Glinz, Baudry and Combemale One paper at the Requirements Engineering and Law workshop: Defining and Retrieving Themes in Nuclear Regulations by Sannier and Baudry

The GEMOC project (A Generic Models of Computation Framework for Model Execution and Dynamic Analysis) has been accepted by the ANR (French Agency for Research) More details can be found on http://www.gemoc.org/

The CfP for ICST 2013 is now out: http://www.icst.lu/site/icst2013/call-for-papers

Our paper “Formally Defining and Iterating Infinite Models” (Benoit Combemale, Xavier Thirioux, Benoit Baudry) has been accepted at the MODELS’12 conference. It will be presented in Innsburck, Austria in October.