Pedroza, Gabriel
151  results:
Search for persons X
?
2

A New Generic Representation for Modeling Privacy:

, In: 2022 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW),
 
?
3

Formal Analysis Approach for Multi-layered System Safety an..:

, In: Communications in Computer and Information Science; Dependable Computing – EDCC 2022 Workshops,
 
?
4

Facilitating Safety and Security Co-design and Formal Analy..:

, In: 2022 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),
 
?
5

Introducing a Multi-layered Model-based Design Approach tow..:

, In: 2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C),
Quamara, Megha ; Pedroza, Gabriel ; Hamid, Brahim - p. 1163-1164 , 2021
 
?
6

Model-Based Approach for Co-optimization of Safety and Secu..:

, In: Model and Data Engineering; Lecture Notes in Computer Science,
 
?
7

Method and framework for security risks analysis guided by ..:

, In: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings,
 
?
8

PDP-ReqLite: A Lightweight Approach for the Elicitation of ..:

, In: Lecture Notes in Computer Science; Data Privacy Management, Cryptocurrencies and Blockchain Technology,
 
?
9

Towards Safety and Security Co-engineering: Challenging Asp..:

, In: Security and Safety Interplay of Intelligent Software Systems; Lecture Notes in Computer Science,
Pedroza, Gabriel - p. 3-16 , 2019
 
1-15