Juan Gabriel Pedroza Bernal
Orcid: 0000-0002-7889-2892
According to our database1,
Juan Gabriel Pedroza Bernal
authored at least 24 papers
between 2009 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
An overview of key trustworthiness attributes and KPIs for trusted ML-based systems engineering.
AI Ethics, February, 2024
On the Conditions for Domain Stability for Machine Learning: a Mathematical Approach.
CoRR, 2024
2023
Towards a holistic approach for AI trustworthiness assessment based upon aids for multi-criteria aggregation.
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
Proceedings of the IEEE European Symposium on Security and Privacy, 2022
Formal Analysis Approach for Multi-layered System Safety and Security Co-engineering.
Proceedings of the Dependable Computing - EDCC 2022 Workshops, 2022
Facilitating Safety and Security Co-design and Formal Analysis in Multi-layered System Modeling.
Proceedings of the IEEE Intl. Conf. on Dependable, 2022
Combining Data-Driven and Knowledge-Based AI Paradigms for Engineering AI-Based Safety-Critical Systems.
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.
Proceedings of the 21st IEEE International Conference on Software Quality, 2021
Multi-layered Model-based Design Approach towards System Safety and Security Co-engineering.
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.
Proceedings of the Model and Data Engineering - 10th International Conference, 2021
Proceedings of the IEEE European Symposium on Security and Privacy Workshops, 2021
2020
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.
Proceedings of the Data Privacy Management, Cryptocurrencies and Blockchain Technology, 2020
2019
Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019
2018
Proceedings of the 21st IEEE International Symposium on Real-Time Distributed Computing, 2018
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.
Proceedings of the Security and Safety Interplay of Intelligent Software Systems, 2018
2016
Proceedings of the 19th IEEE International Symposium on Real-Time Distributed Computing, 2016
2014
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014
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).
PhD thesis, 2013
2011
Proceedings of the 74th IEEE Vehicular Technology Conference, 2011
AVATAR: A SysML Environment for the Formal Verification of Safety and Security Properties.
Proceedings of the 11th Annual International Conference on New Technologies of Distributed Systems, 2011
2009
Proceedings of the 2009 Mexican International Conference on Computer Science, 2009