Quentin Rouland, Brahim Hamid, Jason Jaskolka. Specification, detection, and treatment of STRIDE threats for software components: Modeling, formal methods, and tool support. Journal of Systems Architecture (JSA), 2021.
Quentin Rouland, Brahim Hamid, Jason Jaskolka. Formal Specification and Verification of Reusable Communication Models for Distributed Systems Architecture. Future Generation Computer Systems (FGCS), 2020.
Quentin Rouland, Brahim Hamid, Jason Jaskolka. Reusable Formal Models for Threat Specification, Detection, and Treatment.
19th International Conference on Software and Systems Reuse (ICSR), Hammamet, Tunisia, 2020.
Brahim Hamid, Quentin Rouland, Jason Jaskolka. Distributed Maintenance of a Spanning Tree of K-Connected Graphs.
24th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC), Kyoto, Japan, 2019.
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)