Juan Gabriel Pedroza Bernal

According to our database, Juan Gabriel Pedroza Bernal authored at least 22 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Towards a holistic approach for AI trustworthiness assessment based upon aids for multi-criteria aggregation.

Juliette Mattioli, Henri Sohier, Agnès Delaborde, Gabriel Pedroza, Kahina Amokrane-Ferka, Afef Awadid, Zakaria Chihani, Souhaiel Khalfaoui

Proceedings of the Workshop on Artificial Intelligence Safety 2023 (SafeAI 2023) co-located with the Thirty-Seventh AAAI Conference on Artificial Intelligence (AAAI 2023), 2023

2022

A New Generic Representation for Modeling Privacy.

Myriam Clouet, Thibaud Antignac, Mathilde Arnaud, Gabriel Pedroza, Julien Signoles

Proceedings of the IEEE European Symposium on Security and Privacy, 2022

Formal Analysis Approach for Multi-layered System Safety and Security Co-engineering.

Megha Quamara, Gabriel Pedroza, Brahim Hamid

Proceedings of the Dependable Computing - EDCC 2022 Workshops, 2022

Facilitating Safety and Security Co-design and Formal Analysis in Multi-layered System Modeling.

Megha Quamara, Gabriel Pedroza, Brahim Hamid

Proceedings of the IEEE Intl. Conf. on Dependable, 2022

Combining Data-Driven and Knowledge-Based AI Paradigms for Engineering AI-Based Safety-Critical Systems.

Juliette Mattioli, Gabriel Pedroza, Souhaiel Khalfaoui, Bertrand Leroy

Proceedings of the Workshop on Artificial Intelligence Safety 2022 (SafeAI 2022) co-located with the Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI2022), 2022

2021

Introducing a Multi-layered Model-based Design Approach towards Safety-Security Co-engineering.

Megha Quamara, Gabriel Pedroza, Brahim Hamid

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

Multi-layered Model-based Design Approach towards System Safety and Security Co-engineering.

Megha Quamara, Gabriel Pedroza, Brahim Hamid

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

Model-Based Approach for Co-optimization of Safety and Security Objectives in Design of Critical Architectures.

Kunal Suri, Gabriel Pedroza, Patrick Leserf

Proceedings of the Model and Data Engineering - 10th International Conference, 2021

A Model-based Approach to Realize Privacy and Data Protection by Design.

Gabriel Pedroza, Victor Muntés-Mulero, Yod Samuel Martín, Guillaume Mockly

Proceedings of the IEEE European Symposium on Security and Privacy Workshops, 2021

2020

Method and framework for security risks analysis guided by safety criteria.

Gabriel Pedroza, Guillaume Mockly

Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

PDP-ReqLite: A Lightweight Approach for the Elicitation of Privacy and Data Protection Requirements.

Nicolás E. Díaz Ferreyra, Patrick Tessier, Gabriel Pedroza, Maritta Heisel

Proceedings of the Data Privacy Management, Cryptocurrencies and Blockchain Technology, 2020

2019

Safe-by-Design Development Method for Artificial Intelligent Based Systems.

Gabriel Pedroza, Morayo Adedjouma

Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019

2018

Representative Safety Assessment of Autonomous Vehicle for Public Transportation.

Morayo Adedjouma, Gabriel Pedroza, Boutheina Bannour

Proceedings of the 21st IEEE International Symposium on Real-Time Distributed Computing, 2018

Facilitating the Adoption of Standards through Model-Based Representation.

Morayo Adedjouma, Gabriel Pedroza, Asma Smaoui, Trung Kien Dang

Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018

Towards Safety and Security Co-engineering - Challenging Aspects for a Consistent Intertwining.

Gabriel Pedroza

Proceedings of the Security and Safety Interplay of Intelligent Software Systems, 2018

2016

Timed-Model-Based Method for Security Analysis and Testing of Smart Grid Systems.

Gabriel Pedroza, Pascale Le Gall, Christophe Gaston, Fabrice Bersey

Proceedings of the 19th IEEE International Symposium on Real-Time Distributed Computing, 2016

2014

Designing Sequence Diagram Models for Robustness to Attacks.

Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Gabriel Pedroza

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Security Weaknesses Detection by Symbolic Analysis of Scenarios.

Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Gabriel Pedroza

Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

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

PhD thesis, 2013

2011

A Formal Methodology Applied to Secure Over-the-Air Automotive Applications.

Gabriel Pedroza, Muhammad Sabir Idrees, Ludovic Apvrille, Yves Roudier

Proceedings of the 74th IEEE Vehicular Technology Conference, 2011

AVATAR: A SysML Environment for the Formal Verification of Safety and Security Properties.

Gabriel Pedroza, Ludovic Apvrille, Daniel Knorreck

Proceedings of the 11th Annual International Conference on New Technologies of Distributed Systems, 2011

2009

A Speaker Verification System Using SVM over a Spanish Corpus.

Juan Gabriel Pedroza Bernal, Alfonso Prieto-Guerrero, John Goddard Close

Proceedings of the 2009 Mexican International Conference on Computer Science, 2009