Section: Dissemination

Teaching - Supervision - Juries

Teaching

• License: M. Tisi, Projet Integrateur PRIME, 12h, L3, Ecole des Mines de Nantes

• License: M. Tisi, Projet IPIPIP, 8h, L3, Ecole des Mines de Nantes

• Master: M. Tisi, Bases de Données, 30h, M1, Ecole des Mines de Nantes

• Master: M. Tisi, Interaction Homme-Machine, 14h, M1, Ecole des Mines de Nantes

• Master: M. Tisi, Model-Driven Engineering II, 45h, M2, Ecole des Mines de Nantes, Formation par Apprentissage

• Master: M. Tisi, Sensibilisation Recherche, 12h, M2, Ecole des Mines de Nantes, Formation par Apprentissage

• Master: J. Cabot, Model-Driven Engineering I, 45h, M2, Ecole des Mines de Nantes, Formation par Apprentissage

• Master: G. Sunye, Model-Driven Engineering, 30h, M2, Université de Nantes

• Master: G. Sunye, Software Engineering, 48h, M1, Université de Nantes

• Master: G. Sunye, Software Testing, 48h, M1, Université de Nantes

• Master: G. Sunye, Software Development, 24h, M1, Université de Nantes

• License: S. Martínez, Bases de Données, 28h, L3, Ecole des Mines de Nantes

• License: S. Martínez, Interaction Homme-Machine, 14h, L3, Ecole des Mines de Nantes

• Master: S. Martínez, Master MIAGE - Model Transformations, 6h, Université de Nantes

• License: S. Martínez, Domain Specific Languages, 3h, L3, Ecole des Mines de Nantes

Supervision

• MSc: Pau Martí: Generación de Familias de Documentos en DPL: Soporte a componentes parcialmente instanciados, Universitat Politècnica de València, September 2014, M. Carmen Penadés and Abel Gómez.

• PhD in progress: Ahmed Ezzat Labib, Automatic reconstruction and analysis of semantic network security policies from deployed security components, Universitat Politècnica de València, José H. Canós, Abel Gómez

• PhD in progress: Amine Benellanem, Scalability of model transformations, Jordi Cabot, Massimo Tisi and Gerson Sunye.

• PhD in progress: Gwendal Daniel, Efficient storage of large models, Jordi Cabot, Massimo Tisi and Gerson Sunye.

• PhD in progress: Michel Albonico, Model-driven testing of cloud environments, Jordi Cabot and Gerson Sunye.

• PhD in progress: Mohamed Boussaa, An Architecture for Testing Large-Scale Dynamic Distributed Systems, Université de Rennes 1, Benoit Baudry, Olivier Barais, Gerson Sunyé.

• PhD in progress: Kevin Corre, Model-based Trust, Université de Rennes 1–Orange, Olivier Barais, Gerson Sunye, Jean-Michel Crom, Vincent Frey

• PhD : Carlos A. González, Pragmatic Model Verification, Jordi Cabot. Thesis defended on October 2014

• PhD : Salvador Martínez Pérez, Automatic reconstruction and analysis of semantic network security policies from deployed security components, Jordi cabot and Frédéric Cuppens. Thesis defended on July 2014

Juries

• Jordi Cabot was a reviewer for the thesis of Jokin Garcia (Basque Country University), Oscar Sanchez (University of Murcia) and Eugene Doma (University of Sydney) and member of the jury for the thesis of David Aguilera (Technical University of Catalonia).

• Massimo Tisi was a member of the ph.d. jury of Mehdi IRAQI HOUSSAINI (Arts et métiers ParisTech).

• Gerson Sunyé was a member of the Ph.D jury of Jorge Augusto Meira (University of Luxembourg).