| 2023 | AAAI | Towards a holistic approach for AI trustworthiness assessment based upon aids for multi-criteria aggregation. | Juliette Mattioli, Henri Sohier, Agns Delaborde, Gabriel Pedroza, Kahina Amokrane-Ferka, Afef Awadid, Zakaria Chihani, Souhaiel Khalfaoui |
| 2022 | AAAI | Combining Data-Driven and Knowledge-Based AI Paradigms for Engineering AI-Based Safety-Critical Systems. | Juliette Mattioli, Gabriel Pedroza, Souhaiel Khalfaoui, Bertrand Leroy |
| 2022 | DASC | Facilitating Safety and Security Co-design and Formal Analysis in Multi-layered System Modeling. | Megha Quamara, Gabriel Pedroza, Brahim Hamid |
| 2022 | EDCC | Formal Analysis Approach for Multi-layered System Safety and Security Co-engineering. | Megha Quamara, Gabriel Pedroza, Brahim Hamid |
| 2021 | MEDI | Model-Based Approach for Co-optimization of Safety and Security Objectives in Design of Critical Architectures. | Kunal Suri, Gabriel Pedroza, Patrick Leserf |
| 2021 | MODELS | Multi-layered Model-based Design Approach towards System Safety and Security Co-engineering. | Megha Quamara, Gabriel Pedroza, Brahim Hamid |
| 2021 | QRS | Introducing a Multi-layered Model-based Design Approach towards Safety-Security Co-engineering. | Megha Quamara, Gabriel Pedroza, Brahim Hamid |
| 2020 | ESORICS | PDP-ReqLite: A Lightweight Approach for the Elicitation of Privacy and Data Protection Requirements. | Nicols E. Daz Ferreyra, Patrick Tessier, Gabriel Pedroza, Maritta Heisel |
| 2020 | MODELS | Method and framework for security risks analysis guided by safety criteria. | Gabriel Pedroza, Guillaume Mockly |
| 2019 | SEKE | Safe-by-Design Development Method for Artificial Intelligent Based Systems. | Gabriel Pedroza, Morayo Adedjouma |
| 2018 | ESORICS | Towards Safety and Security Co-engineering - Challenging Aspects for a Consistent Intertwining. | Gabriel Pedroza |
| 2018 | ICECCS | Facilitating the Adoption of Standards through Model-Based Representation. | Morayo Adedjouma, Gabriel Pedroza, Asma Smaoui, Trung Kien Dang |
| 2018 | ISORC | Representative Safety Assessment of Autonomous Vehicle for Public Transportation. | Morayo Adedjouma, Gabriel Pedroza, Boutheina Bannour |
| 2016 | ISORC | Timed-Model-Based Method for Security Analysis and Testing of Smart Grid Systems. | Gabriel Pedroza, Pascale Le Gall, Christophe Gaston, Fabrice Bersey |
| 2014 | APSEC | Security Weaknesses Detection by Symbolic Analysis of Scenarios. | Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Gabriel Pedroza |
| 2014 | ICST | Designing Sequence Diagram Models for Robustness to Attacks. | Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Gabriel Pedroza |
| 2011 | VTC | A Formal Methodology Applied to Secure Over-the-Air Automotive Applications. | Gabriel Pedroza, Muhammad Sabir Idrees, Ludovic Apvrille, Yves Roudier |