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:
?
Lecture Notes in Computer Science; NASA Formal Methods ,
3
SMT-Based Aircraft Conflict Detection and Resolution:
, 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:
?
2023 Formal Methods in Computer-Aided Design (FMCAD) ,
5
Towards a Correct-by-Construction Design of Integrated Modu..:
, In:
?
Practical Aspects of Declarative Languages; Lecture Notes in Computer Science ,
6
UAV Compliance Checking Using Answer Set Programming and Mi..:
, In:
?
2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC) ,
7
Automated DO-178C Compliance Summary through Evidence Curat..:
, In:
?
2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC) ,
8
Towards the Certification of Neural Networks using Overarch..:
, In:
?
Proceedings of the 2022 ACM CCS Workshop on Additive Manufacturing (3D Printing) Security ,
10
Model-Based Security Analysis in Additive Manufacturing Sys..:
, In:
?
2022 IEEE 16th International Conference on Semantic Computing (ICSC) ,
11
A Semantic Reference Model for Capturing System Development..:
, In:
?
Lecture Notes in Computer Science; NASA Formal Methods ,
12
Synthesis of Optimal Defenses for System Architecture Desig..:
, In:
?
Lecture Notes in Computer Science; Computer Safety, Reliability, and Security ,
14