Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Amundson, Isaac
27  Ergebnisse:
Personensuche X
?
1

Towards a Methodology to Design Provably Secure Cyber-physi..:

Lisboa Malaquias, Felipe ; Giantamidis, Georgios ; Basagiannis, Stylianos..
ACM SIGAda Ada Letters.  43 (2023)  1 - p. 94-99 , 2023
Link: https://doi.org/10.1145/..
 
?
2

Model-driven development for the seL4 microkernel using the..:

Belt, Jason ; Hatcliff, John ; Robby...
Journal of Systems Architecture.  134 (2023)  - p. 102789 , 2023
Link: https://doi.org/10.1016/..
 
?
3

Computer-Aided Generation of Assurance Cases:

, In: Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops; Lecture Notes in Computer Science,
Wang, Timothy E. ; Oh, Chanwook ; Low, Matthew... - p. 135-148 , 2023
Link: https://doi.org/10.1007/..
 
?
4

AACE: Automated Assurance Case Environment for Aerospace Ce..:

, In: 2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC),
Daw, Zamira ; Oh, Chanwook ; Low, Matthew... - p. 1-10 , 2023
Link: https://doi.org/10.1109/..
 
?
5

Computer-Aided Evaluation for Argument-Based Certification:

, In: 2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC),
Daw, Zamira ; Wang, Timothy ; Oh, Chanwook... - p. 1-10 , 2023
Link: https://doi.org/10.1109/..
 
?
6

Synthesizing verified components for cyber assured systems ..:

Mercer, Eric ; Slind, Konrad ; Amundson, Isaac...
Software and Systems Modeling.  22 (2023)  5 - p. 1451-1471 , 2023
Link: https://doi.org/10.1007/..
 
?
7

Cyberassured Systems Engineering at Scale:

Cofer, Darren ; Amundson, Isaac ; Babar, Junaid...
IEEE Security & Privacy.  20 (2022)  3 - p. 52-64 , 2022
Link: https://doi.org/10.1109/..
 
?
8

Assume-Guarantee Reasoning with Scheduled Components:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
Liu, Cong ; Babar, Junaid ; Amundson, Isaac... - p. 355-372 , 2022
Link: https://doi.org/10.1007/..
 
?
9

Flight Test of a Collision Avoidance Neural Network with Ru..:

, In: 2022 IEEE/AIAA 41st Digital Avionics Systems Conference (DASC),
Cofer, Darren ; Sattigeri, Ramachandra ; Amundson, Isaac... - p. 1-10 , 2022
Link: https://doi.org/10.1109/..
 
?
10

Resolute assurance arguments for cyber assured systems engi..:

, In: Proceedings of the Workshop on Design Automation for CPS and IoT,
Amundson, Isaac ; Cofer, Darren - p. 7-12 , 2021
Link: https://dl.acm.org/doi/1..
 
?
11

Run-Time Assurance for Learning-Based Aircraft Taxiing:

, In: 2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC),
Cofer, Darren ; Amundson, Isaac ; Sattigeri, Ramachandra... - p. 1-9 , 2020
Link: https://doi.org/10.1109/..
 
?
12

Run-Time Assurance for Learning-Enabled Systems:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
Cofer, Darren ; Amundson, Isaac ; Sattigeri, Ramachandra... - p. 361-368 , 2020
Link: https://doi.org/10.1007/..
 
?
13

Practical aspects of building a constrained random test fra..:

, In: Proceedings of the 1st International Workshop on Modern Software Engineering Methods for Industrial Automation,
You, Dongjiang ; Amundson, Isaac ; Hareland, Scott A.. - p. 17-25 , 2014
Link: https://dl.acm.org/doi/1..
 
?
14

Mobile Sensor Waypoint Navigation via RF-Based Angle of Arr..:

Amundson, Isaac ; Sallai, Janos ; Koutsoukos, Xenofon.
International Journal of Distributed Sensor Networks.  8 (2012)  7 - p. 842107 , 2012
Link: https://doi.org/10.1155/..
 
?
15

A Method for Estimating Angular Separation in Mobile Wirele..:

Amundson, Isaac ; Kushwaha, Manish ; Koutsoukos, Xenofon
Journal of Intelligent & Robotic Systems.  71 (2012)  3-4 - p. 273-286 , 2012
Link: https://doi.org/10.1007/..
 
1-15