Pedroza, Gabriel
107  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

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),
 
?
4

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
 
?
5

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,
 
?
13

Facilitating safety and security co-design and formal analy..:

Quamara, Megha ; Pedroza, Gabriel ; Hamid, Brahim
info:eu-repo/semantics/altIdentifier/doi/10.1109/DASC/PiCom/CBDCom/Cy55231.2022.9927773.  , 2022
 
?
14

Formal analysis approach for multi-layered system safety an..:

Quamara, Megha ; Pedroza, Gabriel ; Hamid, Brahim
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-16245-9_2.  , 2022
 
?
15

Formal analysis approach for multi-layered system safety an..:

Quamara, Megha ; Pedroza, Gabriel ; Hamid, Brahim
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-16245-9_2.  , 2022
 
1-15