![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Juan Gabriel Pedroza Bernal
Person information
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j1]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): 15-25 (2024) - 2023
- [c21]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 - [e5]Gabriel Pedroza, Xiaowei Huang, Xin Cynthia Chen, Andreas Theodorou, José Hernández-Orallo, Mauricio Castillo-Effen, Richard Mallah, John A. McDermid:
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. CEUR Workshop Proceedings 3381, CEUR-WS.org 2023 [contents] - [e4]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:
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. CEUR Workshop Proceedings 3505, CEUR-WS.org 2023 [contents] - 2022
- [c20]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 - [c19]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: 1-8 - [c18]Megha Quamara
, Gabriel Pedroza
, Brahim Hamid
:
Formal Analysis Approach for Multi-layered System Safety and Security Co-engineering. EDCC Workshops 2022: 18-31 - [c17]Myriam Clouet, Thibaud Antignac, Mathilde Arnaud, Gabriel Pedroza, Julien Signoles
:
A New Generic Representation for Modeling Privacy. EuroS&P Workshops 2022: 203-211 - [e3]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:
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. CEUR Workshop Proceedings 3087, CEUR-WS.org 2022 [contents] - [e2]Gabriel Pedroza, Xin Cynthia Chen, José Hernández-Orallo, Xiaowei Huang, Huáscar Espinoza, Richard Mallah, John A. McDermid, Mauricio Castillo-Effen:
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. CEUR Workshop Proceedings 3215, CEUR-WS.org 2022 [contents] - 2021
- [c16]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: 332-339 - [c15]Kunal Suri
, Gabriel Pedroza
, Patrick Leserf:
Model-Based Approach for Co-optimization of Safety and Security Objectives in Design of Critical Architectures. MEDI 2021: 18-32 - [c14]Megha Quamara
, Gabriel Pedroza, Brahim Hamid:
Multi-layered Model-based Design Approach towards System Safety and Security Co-engineering. MoDELS (Companion) 2021: 274-283 - [c13]Megha Quamara
, Gabriel Pedroza, Brahim Hamid:
Introducing a Multi-layered Model-based Design Approach towards Safety-Security Co-engineering. QRS Companion 2021: 1163-1164 - [e1]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:
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. CEUR Workshop Proceedings 2916, CEUR-WS.org 2021 [contents] - 2020
- [c12]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: 161-177 - [c11]Gabriel Pedroza
, Guillaume Mockly:
Method and framework for security risks analysis guided by safety criteria. MoDELS (Companion) 2020: 58:1-58:8
2010 – 2019
- 2019
- [c10]Gabriel Pedroza
, Morayo Adedjouma:
Safe-by-Design Development Method for Artificial Intelligent Based Systems. SEKE 2019: 391-502 - 2018
- [c9]Gabriel Pedroza
:
Towards Safety and Security Co-engineering - Challenging Aspects for a Consistent Intertwining. ISSA/CSITS@ESORICS 2018: 3-16 - [c8]Morayo Adedjouma, Gabriel Pedroza
, Asma Smaoui, Trung Kien Dang:
Facilitating the Adoption of Standards through Model-Based Representation. ICECCS 2018: 213-216 - [c7]Morayo Adedjouma, Gabriel Pedroza
, Boutheina Bannour
:
Representative Safety Assessment of Autonomous Vehicle for Public Transportation. ISORC 2018: 124-129 - 2016
- [c6]Gabriel Pedroza
, Pascale Le Gall
, Christophe Gaston
, Fabrice Bersey:
Timed-Model-Based Method for Security Analysis and Testing of Smart Grid Systems. ISORC 2016: 35-42 - 2014
- [c5]Boutheina Bannour
, Jose Pablo Escobedo, Christophe Gaston
, Pascale Le Gall
, Gabriel Pedroza
:
Security Weaknesses Detection by Symbolic Analysis of Scenarios. APSEC (1) 2014: 367-374 - [c4]Boutheina Bannour
, Jose Pablo Escobedo, Christophe Gaston
, Pascale Le Gall, Gabriel Pedroza
:
Designing Sequence Diagram Models for Robustness to Attacks. ICST Workshops 2014: 26-33 - 2013
- [b1]Gabriel Pedroza
:
Assisting the Design of Secured Applications for Embedded Systems. (Conception Assistée des Logiciels Sécurisés pour les Systèmes Embarqués). Télécom ParisTech, France, 2013 - 2011
- [c3]Gabriel Pedroza
, Ludovic Apvrille, Daniel Knorreck:
AVATAR: A SysML Environment for the Formal Verification of Safety and Security Properties. NOTERE 2011: 1-10 - [c2]Gabriel Pedroza
, Muhammad Sabir Idrees, Ludovic Apvrille, Yves Roudier:
A Formal Methodology Applied to Secure Over-the-Air Automotive Applications. VTC Fall 2011: 1-5
2000 – 2009
- 2009
- [c1]Juan Gabriel Pedroza Bernal
, Alfonso Prieto-Guerrero
, John Goddard Close:
A Speaker Verification System Using SVM over a Spanish Corpus. ENC 2009: 381-386
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 21:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint