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

Attack–defense tree-based analysis and optimal defense synt..:

Meng, Baoluo ; Viswanathan, Arjun ; Paul, Saswata...
Innovations in Systems and Software Engineering.  , 2024
Link: https://doi.org/10.1007/..
 
?
2

Formal Methods in Requirements Engineering: Survey and Futu..:

, In: Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE),
Lorch, Robert ; Meng, Baoluo ; Siu, Kit... - p. 88-99 , 2024
Link: https://dl.acm.org/doi/1..
 
?
3

Towards a Correct-by-Construction Design of Integrated Modu..:

, In: 2023 Formal Methods in Computer-Aided Design (FMCAD),
Meng, Baoluo ; Debnath, Joyanta ; Varanasi, Sarat Chandra... - p. 221-227 , 2023
Link: https://doi.org/10.34727..
 
?
4

Automated DO-178C Compliance Summary through Evidence Curat..:

, In: 2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC),
Paul, Saswata ; Alexander, Christopher ; Durling, Michael... - p. 1-10 , 2023
Link: https://doi.org/10.1109/..
 
?
5

Towards the Certification of Neural Networks using Overarch..:

, In: 2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC),
Paul, Saswata ; Prince, Daniel ; Iyer, Naresh... - p. 1-10 , 2023
Link: https://doi.org/10.1109/..
 
?
6

Synthesis of Optimal Defenses for System Architecture Desig..:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
Meng, Baoluo ; Viswanathan, Arjun ; Smith, William... - p. 752-770 , 2022
Link: https://doi.org/10.1007/..
 
?
7

VERDICT: A Language and Framework for Engineering Cyber Res..:

Meng, Baoluo ; Larraz, Daniel ; Siu, Kit...
Systems.  9 (2021)  1 - p. 18 , 2021
Link: https://doi.org/10.3390/..
 
?
8

Automating the Assembly of Security Assurance Case Fragment:

, In: Lecture Notes in Computer Science; Computer Safety, Reliability, and Security,
Meng, Baoluo ; Paul, Saswata ; Moitra, Abha.. - p. 101-114 , 2021
Link: https://doi.org/10.1007/..
 
?
9

Experience in Designing for Cyber Resiliency in Embedded Do..:

Barzeele, Jennifer ; Siu, Kit ; Robinson, Mike...
INCOSE International Symposium.  31 (2021)  1 - p. 80-94 , 2021
Link: https://doi.org/10.1002/..
 
?
10

Towards Developing Formalized Assurance Cases:

, In: 2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC),
Meng, Baoluo ; Moitra, Abha ; Crapo, Andrew W.... - p. 1-9 , 2020
Link: https://doi.org/10.1109/..
 
?
11

Requirements-based Automated Test Generation for Safety Cri..:

, In: 2019 IEEE/AIAA 38th Digital Avionics Systems Conference (DASC),
Li, Meng ; Meng, Baoluo ; Yu, Han... - p. 1-10 , 2019
Link: https://doi.org/10.1109/..
 
?
12

Automating requirements analysis and test case generation:

Moitra, Abha ; Siu, Kit ; Crapo, Andrew W....
Requirements Engineering.  24 (2019)  3 - p. 341-364 , 2019
Link: https://doi.org/10.1007/..
 
?
13

Architectural and Behavioral Analysis for Cyber Security:

, In: 2019 IEEE/AIAA 38th Digital Avionics Systems Conference (DASC),
Siu, Kit ; Moitra, Abha ; Li, Meng... - p. 1-10 , 2019
Link: https://doi.org/10.1109/..
 
?
14

Model-Based Security Analysis in Additive Manufacturing Sys..:

, In: Proceedings of the 2022 ACM CCS Workshop on Additive Manufacturing (3D Printing) Security,
Durling, Michael R. ; Moitra, Abha ; Siu, Kit Y.... - p. 3-13 , 2022
Link: https://dl.acm.org/doi/1..
 
?
15

Alignments of one-to-one orthologs used for selection scree..:

Balasundaram, Sudhagard V ; Hess, Jaqueline ; Durling, Michael B...
doi:10.5061/dryad.28sb6.  , 2018
Link: http://hdl.handle.net/10..
 
1-15