Quentin Rouland, Brahim Hamid, Jean-Paul Bodeveix, Mamoun Filali. A Formal Methods Approach to Security Requirements Specification and Verification. 24th International Conference on Engineering of Complex Computer Systems (ICECCS), Guangzhou, China, 2019.
Quentin Rouland, Brahim Hamid, Jason Jaskolka. Formalizing Reusable Communication Models for Distributed Systems Architecture. International Conference On Model and Data Engineering (MEDI), Marrakesh, Morocco, 2018.
2019-2020
Modélisation et conception objet - Master 1 (16h TP)
Génie logiciel - Licence 3 (20h TP)
Algo - Licence 1 (28h TP)
Projet S2 - Licence 1 (12h Projet)
2018-2019
Modélisation et conception objet - Master 1 (16h TP)
Génie logiciel - Licence 3 (20h TP)
Algo - Licence 1 (28h TP)
Projet S2 - Licence 1 (12h Projet)
Théorie de l'information - Licence 1 (12h TP)
2017-2018
Modélisation et conception objet - Master 1 (16h TP)
Génie logiciel - Licence 3 (20h TP)
Projet S3 - Licence 2 (11h Projet)
Projet S2 - Licence 1 (12h Projet)
Théorie de l'information - Licence 1 (12h TP)