Posters

  • 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.

News