Gabriel Pedroza

29 papers B 1C 4Journal 2Unranked 15

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	An overview of key trustworthiness attributes and KPIs for trusted ML-based systems engineering. AI Ethics Juliette Mattioli, Henri Sohier, Agnès Delaborde, Kahina Amokrane-Ferka, Afef Awadid, Zakaria Chihani, Souhaiel Khalfaoui, Gabriel Pedroza
2024	J	`jnl`	On the Conditions for Domain Stability for Machine Learning: a Mathematical Approach. CoRR Gabriel Pedroza
2024	—	`ed.`	Proceedings of the IJCAI 2024 Workshop on Artificial Intelligence Safety (AISafety 2024) co-located with the 33rd International Joint Conference on Artificial Intelligence (IJCAI 2024), Jeju, Korea, August 4, 2024. AISafety@IJCAI Gabriel Pedroza, Xiaowei Huang, Xin Cynthia Chen, Fabio Arnez, Huáscar Espinoza, José Hernández-Orallo, Mauricio Castillo-Effen, Richard Mallah, John A. McDermid, Andreas Theodorou
2023	—	`ed.`	Proceedings of the IJCAI-23 Joint Workshop on Artificial Intelligence Safety and Safe Reinforcement Learning (AISafety-SafeRL 2023) co-located with the 32nd International Joint Conference on Artificial Intelligence(IJCAI2023), Macau, China, August 21-22, 2023. AISafety/SafeRL@IJCAI Gabriel Pedroza, Xiaowei Huang, Xin Cynthia Chen, Andreas Theodorou, Huáscar Espinoza, Nikolaos Matragkas, José Hernández-Orallo, Mauricio Castillo-Effen, Richard Mallah, John A. McDermid, David M. Bossens, Bettina Könighofer, Sebastian Tschiatschek, Anqi Liu
2023	—	`ed.`	Proceedings of the Workshop on Artificial Intelligence Safety 2023 (SafeAI 2023) co-located with the Thirty-Seventh AAAI Conference on Artificial Intelligence (AAAI 2023), Washington DC, USA, February 13-14, 2023. SafeAI@AAAI Gabriel Pedroza, Xiaowei Huang, Xin Cynthia Chen, Andreas Theodorou, José Hernández-Orallo, Mauricio Castillo-Effen, Richard Mallah, John A. McDermid
2023	—	`conf`	Towards a holistic approach for AI trustworthiness assessment based upon aids for multi-criteria aggregation. SafeAI@AAAI Juliette Mattioli, Henri Sohier, Agnès Delaborde, Gabriel Pedroza, Kahina Amokrane-Ferka, Afef Awadid, Zakaria Chihani, Souhaiel Khalfaoui
2022	—	`conf`	A New Generic Representation for Modeling Privacy. EuroS&P Workshops Myriam Clouet, Thibaud Antignac, Mathilde Arnaud, Gabriel Pedroza, Julien Signoles
2022	—	`conf`	Combining Data-Driven and Knowledge-Based AI Paradigms for Engineering AI-Based Safety-Critical Systems. SafeAI@AAAI Juliette Mattioli, Gabriel Pedroza, Souhaiel Khalfaoui, Bertrand Leroy
2022	—	`conf`	Facilitating Safety and Security Co-design and Formal Analysis in Multi-layered System Modeling. DASC/PiCom/CBDCom/CyberSciTech Megha Quamara, Gabriel Pedroza, Brahim Hamid
2022	—	`conf`	Formal Analysis Approach for Multi-layered System Safety and Security Co-engineering. EDCC Workshops Megha Quamara, Gabriel Pedroza, Brahim Hamid
2022	—	`ed.`	Proceedings of the Workshop on Artificial Intelligence Safety 2022 (AISafety 2022) co-located with the Thirty-First International Joint Conference on Artificial Intelligence and the Twenty-Fifth European Conference on Artificial Intelligence (IJCAI-ECAI-2022), Vienna, Austria, July 24-25, 2022. AISafety@IJCAI Gabriel Pedroza, Xin Cynthia Chen, José Hernández-Orallo, Xiaowei Huang, Huáscar Espinoza, Richard Mallah, John A. McDermid, Mauricio Castillo-Effen
2022	—	`ed.`	Proceedings of the Workshop on Artificial Intelligence Safety 2022 (SafeAI 2022) co-located with the Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI2022), Virtual, February, 2022. SafeAI@AAAI Gabriel Pedroza, José Hernández-Orallo, Xin Cynthia Chen, Xiaowei Huang, Huáscar Espinoza, Mauricio Castillo-Effen, John A. McDermid, Richard Mallah, Seán Ó hÉigeartaigh
2021	—	`conf`	A Model-based Approach to Realize Privacy and Data Protection by Design. EuroS&P Workshops Gabriel Pedroza, Victor Muntés-Mulero, Yod Samuel Martín, Guillaume Mockly
2021	—	`conf`	Introducing a Multi-layered Model-based Design Approach towards Safety-Security Co-engineering. QRS Companion Megha Quamara, Gabriel Pedroza, Brahim Hamid
2021	C	`conf`	Model-Based Approach for Co-optimization of Safety and Security Objectives in Design of Critical Architectures. MEDI Kunal Suri, Gabriel Pedroza, Patrick Leserf
2021	—	`conf`	Multi-layered Model-based Design Approach towards System Safety and Security Co-engineering. MoDELS (Companion) Megha Quamara, Gabriel Pedroza, Brahim Hamid
2021	—	`ed.`	Proceedings of the Workshop on Artificial Intelligence Safety 2021 co-located with the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI 2021), Virtual, August, 2021. AISafety@IJCAI Huáscar Espinoza, John A. McDermid, Xiaowei Huang, Mauricio Castillo-Effen, Xin Cynthia Chen, José Hernández-Orallo, Seán Ó hÉigeartaigh, Richard Mallah, Gabriel Pedroza
2020	—	`conf`	Method and framework for security risks analysis guided by safety criteria. MoDELS (Companion) Gabriel Pedroza, Guillaume Mockly
2020	—	`conf`	PDP-ReqLite: A Lightweight Approach for the Elicitation of Privacy and Data Protection Requirements. DPM/CBT@ESORICS Nicolás E. Díaz Ferreyra, Patrick Tessier, Gabriel Pedroza, Maritta Heisel
2019	C	`conf`	Safe-by-Design Development Method for Artificial Intelligent Based Systems. SEKE Gabriel Pedroza, Morayo Adedjouma
2018	B	`conf`	Facilitating the Adoption of Standards through Model-Based Representation. ICECCS Morayo Adedjouma, Gabriel Pedroza, Asma Smaoui, Trung Kien Dang
2018	C	`conf`	Representative Safety Assessment of Autonomous Vehicle for Public Transportation. ISORC Morayo Adedjouma, Gabriel Pedroza, Boutheina Bannour
2018	—	`conf`	Towards Safety and Security Co-engineering - Challenging Aspects for a Consistent Intertwining. ISSA/CSITS@ESORICS Gabriel Pedroza
2016	C	`conf`	Timed-Model-Based Method for Security Analysis and Testing of Smart Grid Systems. ISORC Gabriel Pedroza, Pascale Le Gall, Christophe Gaston, Fabrice Bersey
2014	—	`conf`	Designing Sequence Diagram Models for Robustness to Attacks. ICST Workshops Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Gabriel Pedroza
2014	—	`conf`	Security Weaknesses Detection by Symbolic Analysis of Scenarios. APSEC (1) Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Gabriel Pedroza
2013	—	`—`	Assisting the Design of Secured Applications for Embedded Systems. (Conception Assistée des Logiciels Sécurisés pour les Systèmes Embarqués). Gabriel Pedroza
2011	—	`conf`	A Formal Methodology Applied to Secure Over-the-Air Automotive Applications. VTC Fall Gabriel Pedroza, Muhammad Sabir Idrees, Ludovic Apvrille, Yves Roudier
2011	—	`conf`	AVATAR: A SysML Environment for the Formal Verification of Safety and Security Properties. NOTERE Gabriel Pedroza, Ludovic Apvrille, Daniel Knorreck