Gabriel Pedroza

ORCID

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 17

Top Venues

Télécom ParisTech, France (PHD)

Education History

Télécom ParisTech, France

PHD

Publications

Juliette Mattioli, Henri Sohier, Agnès Delaborde, Kahina Amokrane-Ferka, Afef Awadid, Zakaria Chihani, Souhaiel Khalfaoui, Gabriel Pedroza
An overview of key trustworthiness attributes and KPIs for trusted ML-based systems engineering. AI Ethics 4 (1) (2024)
Juliette Mattioli, Henri Sohier, Agnès Delaborde, Gabriel Pedroza, Kahina Amokrane-Ferka, Afef Awadid, Zakaria Chihani, Souhaiel Khalfaoui
Towards a holistic approach for AI trustworthiness assessment based upon aids for multi-criteria aggregation. SafeAI@AAAI (2023)
Myriam Clouet, Thibaud Antignac, Mathilde Arnaud, Gabriel Pedroza, Julien Signoles
A New Generic Representation for Modeling Privacy. EuroS&P Workshops (2022)
Megha Quamara, Gabriel Pedroza, Brahim Hamid
Facilitating Safety and Security Co-design and Formal Analysis in Multi-layered System Modeling. DASC/PiCom/CBDCom/CyberSciTech (2022)
Megha Quamara, Gabriel Pedroza, Brahim Hamid
Formal Analysis Approach for Multi-layered System Safety and Security Co-engineering. EDCC Workshops (2022)
Juliette Mattioli, Gabriel Pedroza, Souhaiel Khalfaoui, Bertrand Leroy
Combining Data-Driven and Knowledge-Based AI Paradigms for Engineering AI-Based Safety-Critical Systems. SafeAI@AAAI (2022)
Kunal Suri, Gabriel Pedroza, Patrick Leserf
Model-Based Approach for Co-optimization of Safety and Security Objectives in Design of Critical Architectures. MEDI (2021)
Megha Quamara, Gabriel Pedroza, Brahim Hamid
Introducing a Multi-layered Model-based Design Approach towards Safety-Security Co-engineering. QRS Companion (2021)
Megha Quamara, Gabriel Pedroza, Brahim Hamid
Multi-layered Model-based Design Approach towards System Safety and Security Co-engineering. MoDELS (Companion) (2021)
Gabriel Pedroza, Victor Muntés-Mulero, Yod Samuel Martín, Guillaume Mockly
A Model-based Approach to Realize Privacy and Data Protection by Design. EuroS&P Workshops (2021)
Nicolás E. Díaz Ferreyra, Patrick Tessier, Gabriel Pedroza, Maritta Heisel
PDP-ReqLite: A Lightweight Approach for the Elicitation of Privacy and Data Protection Requirements. DPM/CBT@ESORICS (2020)
Gabriel Pedroza, Guillaume Mockly
Method and framework for security risks analysis guided by safety criteria. MoDELS (Companion) (2020)
Gabriel Pedroza, Morayo Adedjouma
Safe-by-Design Development Method for Artificial Intelligent Based Systems. SEKE (2019)
Morayo Adedjouma, Gabriel Pedroza, Asma Smaoui, Trung Kien Dang
Facilitating the Adoption of Standards through Model-Based Representation. ICECCS (2018)
Morayo Adedjouma, Gabriel Pedroza, Boutheina Bannour
Representative Safety Assessment of Autonomous Vehicle for Public Transportation. ISORC (2018)
Gabriel Pedroza
Towards Safety and Security Co-engineering - Challenging Aspects for a Consistent Intertwining. ISSA/CSITS@ESORICS (2018)
Gabriel Pedroza, Pascale Le Gall, Christophe Gaston, Fabrice Bersey
Timed-Model-Based Method for Security Analysis and Testing of Smart Grid Systems. ISORC (2016)
Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Gabriel Pedroza
Designing Sequence Diagram Models for Robustness to Attacks. ICST Workshops (2014)
Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Gabriel Pedroza
Security Weaknesses Detection by Symbolic Analysis of Scenarios. APSEC (1) (2014)
Gabriel Pedroza, Ludovic Apvrille, Daniel Knorreck
AVATAR: A SysML Environment for the Formal Verification of Safety and Security Properties. NOTERE (2011)
Gabriel Pedroza, Muhammad Sabir Idrees, Ludovic Apvrille, Yves Roudier
A Formal Methodology Applied to Secure Over-the-Air Automotive Applications. VTC Fall (2011)

Gabriel Pedroza.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Gabriel Pedroza