Personensuche
X
?
2023 Annual Reliability and Maintainability Symposium (RAMS) ,
1
Towards Compliance to Safety Objectives Using Data Curation:
, In:
?
2023 IEEE Symposium on Visualization for Cyber Security (VizSec) ,
2
Exploring the Representation of Cyber-Risk Data Through Ske..:
, In:
?
2023 Formal Methods in Computer-Aided Design (FMCAD) ,
3
Towards a Correct-by-Construction Design of Integrated Modu..:
, In:
?
2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC) ,
4
Automated DO-178C Compliance Summary through Evidence Curat..:
, In:
?
2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC) ,
5
Towards the Certification of Neural Networks using Overarch..:
, In:
?
Proceedings of the 12th International Conference on the Internet of Things ,
6
Attributes and Dimensions of Trust in Secure Systems:
, In:
?
2020 Annual Reliability and Maintainability Symposium (RAMS) ,
12
A Model-Based Framework for Analyzing the Security of Syste..:
, In:
?
2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC) ,
14
Towards Developing Formalized Assurance Cases:
, In:
?
Computer Security; Lecture Notes in Computer Science ,
15