Get started
Author

Gabriel Pedroza

AVATAR: A SysML Environment for the Formal Verification of Safety and Security Properties
2011 · Gabriel Pedroza, Ludovic Apvrille, et al. · International Conference on New Technologies of Distributed Systems (NOTERE) · 89
Security Requirements For Automotive On-Board Networks Based On Dark-Side Scenarios (Evita Deliverable 2.3)
2009 · Ruddle, Alastair, Ward, David, et al. · Zenodo (CERN European Organization for Nuclear Research) · 29
An overview of key trustworthiness attributes and KPIs for trusted ML-based systems engineering
2024 · Juliette Mattioli, Henri Sohier, et al. · AI and Ethics · 25
PDF
A Formal Methodology Applied to Secure Over-the-Air Automotive Applications
2011 · Gabriel Pedroza, Muhammad Sabir Idrees, et al. · IEEE Vehicular Technology Conference · 22
A Model-based Approach to Realize Privacy and Data Protection by Design
2021 · Gabriel Pedroza, Victor Muntes-Mulero, et al. · IEEE European Symposium on Security and Privacy Workshops (EuroS&PW) · 16
Multi-layered Model-based Design Approach towards System Safety and Security Co-engineering
2021 · Megha Quamara, Gabriel Pedroza, et al. · ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) · 15
Towards Safety and Security Co-engineering: Challenging Aspects for a Consistent Intertwining
2019 · Gabriel Pedroza · Lecture notes in computer science · 12
Method and framework for security risks analysis guided by safety criteria
2020 · Gabriel Pedroza, Guillaume Mockly · ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) · 11
PDF
Representative Safety Assessment of Autonomous Vehicle for Public Transportation
2018 · Morayo Adedjouma, Gabriel Pedroza, et al. · IEEE International Symposium on Real-Time Distributed Computing (ISORC) · 11
Safe-by-Design Development Method for Artificial Intelligent Based Systems
2019 · Gabriel Pedroza, Adedjouma Morayo · Proceedings/Proceedings of the ... International Conference on Software Engineering and Knowledge Engineering · 9
PDF
PDP-ReqLite: A Lightweight Approach for the Elicitation of Privacy and Data Protection Requirements
2020 · Nicolás E. Díaz Ferreyra, Patrick Tessier, et al. · Lecture notes in computer science · 7
Towards a holistic approach for AI trustworthiness assessment based upon aids for multi-criteria aggregation
2023 · Mattioli, Juliette, Sohier, Henri, et al. · HAL · 6
PDF
Timed-Model-Based Method for Security Analysis and Testing of Smart Grid Systems
2016 · Gabriel Pedroza, Pascale Le Gall, et al. · IEEE International Symposium on Real-Time Distributed Computing (ISORC) · 6
On the Conditions for Domain Stability for Machine Learning: a Mathematical Approach
2024 · Pedroza, Gabriel · arXiv (Cornell University) · 4
PDF
Facilitating Safety and Security Co-design and Formal Analysis in Multi-layered System Modeling
2022 · Megha Quamara, Gabriel Pedroza, et al. · IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech) · 4
A New Generic Representation for Modeling Privacy
2022 · Myriam Clouet, Thibaud Antignac, et al. · IEEE European Symposium on Security and Privacy Workshops (EuroS&PW) · 4
Formal Analysis Approach for Multi-layered System Safety and Security Co-engineering
2022 · Megha Quamara, Gabriel Pedroza, et al. · Communications in computer and information science · 4
Introducing a Multi-layered Model-based Design Approach towards Safety-Security Co-engineering
2021 · Megha Quamara, Gabriel Pedroza, et al. · IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C) · 4
Designing Sequence Diagram Models for Robustness to Attacks
2014 · Boutheina Bannour, Jose Escobedo, et al. · IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) · 3
Assisting the Design of Secured Applications for Embedded Systems
2013 · Pedroza, Gabriel · 3
Security requirements for automotive on-board networks based on dark-side scenarios, Deliverable D2.3
2010 · Ruddle, Alastair, Ward, David, et al. · HAL · 3
Combining Data-Driven and Knowledge-Based AI Paradigms for Engineering AI-Based Safety-Critical Systems
2022 · Mattioli, Juliette, Pedroza, Gabriel, et al. · HAL · 2
Security Weaknesses Detection by Symbolic Analysis of Scenarios
2014 · Boutheina Bannour, Jose Escobedo, et al. · Asia-Pacific Software Engineering Conference (APSEC) · 2
A Digital Engineering Methodology for Design, Exploration and Validation of Safety‐Critical Software for Integrating AI‐based Algorithms
2025 · Gabriel Pedroza, Matthieu Paquet, et al. · INCOSE International Symposium · 1
Model-Based Approach for Co-optimization of Safety and Security Objectives in Design of Critical Architectures
2021 · Kunal Suri, Gabriel Pedroza, et al. · Lecture notes in computer science · 1
Works count: 48
Citation count: 326
H-index: 10
I10-index: 10
Year
Topic
Type