Personensuche
X
?
Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) ,
1
Formal Methods in Requirements Engineering: Survey and Futu..:
, In:
?
2024 IEEE 18th International Conference on Semantic Computing (ICSC) ,
3
Enabling Development of an Extensible, Multi-Perspective On..:
, In:
?
Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops; Lecture Notes in Computer Science ,
4
RACK: A Semantic Model and Triplestore for Curation of Assu..:
, In:
?
Proceedings of the 2022 ACM CCS Workshop on Additive Manufacturing (3D Printing) Security ,
5
Model-Based Security Analysis in Additive Manufacturing Sys..:
, In:
?
Lecture Notes in Computer Science; NASA Formal Methods ,
6
Synthesis of Optimal Defenses for System Architecture Desig..:
, In:
?
2022 IEEE 16th International Conference on Semantic Computing (ICSC) ,
7
A Semantic Reference Model for Capturing System Development..:
, In:
?
Functional and Logic Programming; Lecture Notes in Computer Science ,
8
Automated Generation of Control Concepts Annotation Rules U..:
, In:
?
2022 Annual Reliability and Maintainability Symposium (RAMS) ,
9
Modeling a DO-178C Plan and Analyzing in a Semantic Model:
, In:
?
Lecture Notes in Computer Science; Computer Safety, Reliability, and Security ,
14
Automating the Assembly of Security Assurance Case Fragment:
, In:
?
2020 Annual Reliability and Maintainability Symposium (RAMS) ,
15