E-LIB Suche - Ergebnisse für: Siu, Kit

1

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..

2

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/..

3

Enabling Development of an Extensible, Multi-Perspective On..:

, In: 2024 IEEE 18th International Conference on Semantic Computing (ICSC),

Moitra, Abha ; Siu, Kit ; Cuddihy, Paul... - p. 77-80 , 2024

Link: https://doi.org/10.1109/..

4

RACK: A Semantic Model and Triplestore for Curation of Assu..:

, In: Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops; Lecture Notes in Computer Science,

Moitra, Abha ; Cuddihy, Paul ; Siu, Kit... - p. 149-160 , 2023

Link: https://doi.org/10.1007/..

5

Towards Compliance to Safety Objectives Using Data Curation:

, In: 2023 Annual Reliability and Maintainability Symposium (RAMS),

Herencia-Zapana, Heber ; Russell, Daniel ; Prince, Daniel.. - p. 1-8 , 2023

Link: https://doi.org/10.1109/..

6

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/..

7

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/..

8

Aviation Certification Powered by the Semantic Web Stack:

, In: The Semantic Web – ISWC 2023; Lecture Notes in Computer Science,

Cuddihy, Paul ; Russell, Daniel ; Mertens, Eric... - p. 345-361 , 2023

Link: https://doi.org/10.1007/..

9

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/..

10

A Semantic Reference Model for Capturing System Development..:

, In: 2022 IEEE 16th International Conference on Semantic Computing (ICSC),

Moitra, Abha ; Cuddihy, Paul ; Siu, Kit... - p. 173-174 , 2022

Link: https://doi.org/10.1109/..

11

Modeling a DO-178C Plan and Analyzing in a Semantic Model:

, In: 2022 Annual Reliability and Maintainability Symposium (RAMS),

Russell, Daniel ; Moitra, Abha ; Siu, Kit. - p. 1-8 , 2022

Link: https://doi.org/10.1109/..

12

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/..

13

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/..

14

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/..

15

A Model-Based Framework for Analyzing the Security of Syste..:

, In: 2020 Annual Reliability and Maintainability Symposium (RAMS),

Siu, Kit ; Herencia-Zapana, Heber ; Prince, Daniel. - p. 1-6 , 2020

Link: https://doi.org/10.1109/..