Our paper “Towards Trust-Aware and Self-Adaptive Systems” (Francisco Moyano, Benoit Baudry, Javier Lopez) has been accepted at the International Conference on Trust Management.
I coordinate the FP7 project that’s been accepted in the framework of the FET proactive FOCAS call. The project will start on February 1st, 2013. Its main objective is to investigate how models of biodiversity can be adapted to spontaneously diversify software in collaborative adaptive systems in order to improve their adaptive capacities. More information …
Our paper Kompren: Modeling and Generating Model Slicers (Arnaud Blouin, Benoit Combemale, Benoit Baudry, Olivier Beaudoux) has been accepted in the journal of Software and Systems Modeling.
Our paper “Usage and Testability of AOP: an empirical study of AspectJ” (Freddy Munoz, Benoit Baudry, Romain Delamare, Yves Le Traon) has been accepted in the journal of Information and Sotware Technology.
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.