Personensuche
X
?
2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC) ,
3
Computer-Aided Evaluation for Argument-Based Certification:
, In:
?
2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC) ,
4
AACE: Automated Assurance Case Environment for Aerospace Ce..:
, In:
?
Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops; Lecture Notes in Computer Science ,
5
Computer-Aided Generation of Assurance Cases:
, In:
?
Lecture Notes in Computer Science; NASA Formal Methods ,
8
Assume-Guarantee Reasoning with Scheduled Components:
, In:
?
2022 IEEE/AIAA 41st Digital Avionics Systems Conference (DASC) ,
9
Flight Test of a Collision Avoidance Neural Network with Ru..:
, In:
?
Proceedings of the Workshop on Design Automation for CPS and IoT ,
10
Resolute assurance arguments for cyber assured systems engi..:
, In:
?
2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC) ,
11
Run-Time Assurance for Learning-Based Aircraft Taxiing:
, In:
?
Lecture Notes in Computer Science; NASA Formal Methods ,
12
Run-Time Assurance for Learning-Enabled Systems:
, In:
?
Proceedings of the 1st International Workshop on Modern Software Engineering Methods for Industrial Automation ,
15