Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Moitra, Abha
14  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
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

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

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

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

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

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

Automated Generation of Control Concepts Annotation Rules U..:

, In: Functional and Logic Programming; Lecture Notes in Computer Science,
Shbita, Basel ; Moitra, Abha - p. 171-185 , 2022
Link: https://doi.org/10.1007/..
 
?
8

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

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

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

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

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

Synthesis of communicating processes:

, In: Proceedings of the second annual ACM symposium on Principles of distributed computing,
Moitra, Abha - p. 123-130 , 1983
Link: https://dl.acm.org/doi/1..
 
?
14

Extracting and Measuring Relationship Strength in Social Ne..:

, In: Social Networking and Community Behavior Modeling,
Gustafson, Steven ; Moitra, Abha - p. 178-192 ,
Link: https://doi.org/10.4018/..
 
1-14