Improving Reuse of Tools by means of Model Migrations. Paola Vallejo, Mickael Kerboeuf, Jean-Philippe Babau.
Self-configuration of the Number of Concurrently Running MapReduce Jobs in a Hadoop Clusters. Bo Zhang, Filip Krikava, Romain Rouvoy, Lionel Seinturier.
Validation conjointe en UML et B de la sécurité des SI. Amira Radhouani.
Dedukti : un vérificateur de preuves universel. Ronan Saillard.
Incremental pattern-based modeling and security analysis for correct by construction systems design. Anas Motii, Agnès Lanusse, Brahim Hamid, Jean-Michel Bruel.
Binary analysis for security purposes : approaches based on model inference. Franck de Goer de Herve.
Grimm : un assistant au design de méta-modèles par génération d’instances. Adel Ferdjoukh, Eric Bourreau, Annie Chateau and Clémentine Nebut.
Making the cloud more accountable with AccLab framework. Walid Benghabrit.
Multi-ML : Programming Multi-BSP Algorithms in ML. Victor Allombert, Frédéric Gava, Julien Tesson.
SysDICE : Integrated Conceptual Design Evaluation of Mechatronics Systems using SysML. Mohammad Chami, Jean-Michel Bruel.
GLACE : Génie Logiciel pour les systèmes Cyber-physiquEs. “Old Wine, New Bottle ?”. Sebastien Mosser, Romain Rouvoy, Benoit Combemale.
