Design of Software for Text Composition. - A. W. Narwekar; Abha Moitra (Softw. Pract. Exp., 1979)

A note on algebraic specification of binary trees. - Abha Moitra (ACM SIGPLAN Notices, 1980)

Direct Implementation of Algebraic Specification of Abstract Data Types. - Abha Moitra (IEEE Trans. Software Eng., 1982)

Co-Operative Recovery From Faults in Distributed Programs. - Mathai Joseph; Abha Moitra (IFIP Congress, 1983)

Synthesis of Communicating Processes. - Abha Moitra (PODC, 1983)

Algebraic Specification Of A Communication Scheduler. - Mathai Joseph; Abha Moitra (TAPSOFT, Vol.2, 1985)

Automatic Construction of CSP Programs from Sequential Non-Deterministic Programs. - Abha Moitra (Sci. Comput. Program., 1985)

Scheduling of Hard Real-Time Systems. - Abha Moitra (FSTTCS, 1986)

Derivation of a Parallel Algorithm for Balancing Binary Trees. - Abha Moitra; S. Sitharama Iyengar (IEEE Trans. Software Eng., 1986)

Parallel Algorithms for Some Computational Problems. - Abha Moitra; S. Sitharama Iyengar (Adv. Comput., 1987)

Proof Rules for Fault Tolerant Distributed Programs. - Mathai Joseph; Abha Moitra; Neelam Soundararajan (Sci. Comput. Program., 1987)

Multilevel Data Structures: Models and Performance. - Abha Moitra; S. Sitharama Iyengar; Farokh B. Bastani; I-Ling Yen (IEEE Trans. Software Eng., 1988)

Time Lower Bounds For CREW-PRAM Computation Of Monotone Functions. - Gianfranco Bilardi; Abha Moitra (ICALP, 1989)

A Parallel Algorithm for Maximum Matching on Interval Graphs. - Abha Moitra; Richard C. Johnson (ICPP (3), 1989)

Voluntary Preemption: a Tool Tn The Design Of Hard Real-Time Systems. - Abha Moitra (FTRTFT, 1992)

Ego-centric Network Sampling in Viral Marketing Applications. - Huaiyu (Harry) Ma; Steven Gustafson; Abha Moitra; David B. Bracewell (CSE (4), 2009)

Using Data Provenance to Measure Information Assurance Attributes. - Abha Moitra; Bruce Barnett; Andrew W. Crapo; Stephen J. Dil (IPAW, 2010)

WISDOM from Light-Weight Information Retrieval. - David B. Bracewell; Steven Gustafson; Abha Moitra; Gregg Steuben (SocialCom/PASSAT, 2010)

Ego-Centric Network Sampling in Viral Marketing Applications. - Huaiyu (Harry) Ma; Steven Gustafson; Abha Moitra; David B. Bracewell (Mining and Analyzing Social Networks, 2010)

Toward a Unified English-like Representation of Semantic Models, Data, and Graph Patterns for subject Matter Experts. - Andrew W. Crapo; Abha Moitra (Int. J. Semantic Comput., 2013)

Semantic Inference for Pharmacokinetic Drug-Drug Interactions. - Abha Moitra; Ravi Palla; Luis Tari; Mukkai Krishnamoorthy (ICSC, 2014)

Automated Capture and Execution of Manufacturability Rules Using Inductive Logic Programming. - Abha Moitra; Ravi Palla; Arvind Rangarajan (AAAI, 2016)

Requirements Capture and Analysis in ASSERT(TM). - Andrew W. Crapo; Abha Moitra; Craig McMillan; Daniel Russell (RE, 2017)

Towards Development of Complete and Conflict-Free Requirements. - Abha Moitra; Kit Siu; Andrew W. Crapo; Harsh Raju Chamarthi; Michael Durling; Meng Li; Han Yu; Panagiotis Manolios; Michael Meiners (RE, 2018)

Concept-Level Rules for Capturing Domain Knowledge. - Abha Moitra; Andrew W. Crapo; Ravi Palla (ICSC, 2018)

Using OWL Ontologies as a Domain-Specific Language for Capturing Requirements for Formal Analysis and Test Case Generation. - Andrew W. Crapo; Abha Moitra (ICSC, 2019)

Automated feedback generation for formal manufacturing rule extraction. - Sungku Kang; Lalit Patil; Arvind Rangarajan; Abha Moitra; Tao Jia; Dean Robinson; Debasish Dutta (Artif. Intell. Eng. Des. Anal. Manuf., 2019)

Ontology-Based Ambiguity Resolution of Manufacturing Text for Formal Rule Extraction. - Sungku Kang; Lalit Patil; Arvind Rangarajan; Abha Moitra; Dean Robinson; Tao Jia; Debasish Dutta (J. Comput. Inf. Sci. Eng., 2019)

Automating requirements analysis and test case generation. - Abha Moitra; Kit Siu; Andrew W. Crapo; Michael Durling; Meng Li; Panagiotis Manolios; Michael Meiners; Craig McMillan (Requir. Eng., 2019)

Automating the Assembly of Security Assurance Case Fragments. - Baoluo Meng; Saswata Paul; Abha Moitra; Kit Siu; Michael Durling (SAFECOMP, 2021)

Extraction of Formal Manufacturing Rules from Unstructured English Text. - Sungku Kang; Lalit Patil; Arvind Rangarajan; Abha Moitra; Tao Jia; Dean Robinson; Farhad Ameri; Debasish Dutta (Comput. Aided Des., 2021)

VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System. - Baoluo Meng; Daniel Larraz; Kit Siu; Abha Moitra; John Interrante; William Smith; Saswata Paul; Daniel Prince; Heber Herencia-Zapana; M. Fareed Arif; Moosa Yahyazadeh; Vidhya Tekken Valapil; et al. (Syst., 2021)

Model-Based Security Analysis in Additive Manufacturing Systems. - Michael R. Durling; Abha Moitra; Kit Y. Siu; Baoluo Meng; John W. Carbone; Christopher C. Alexander; Krystel K. Castillo-Villar; Gabriela F. Ciocarlie (AMSec@CCS, 2022)

Automated Generation of Control Concepts Annotation Rules Using Inductive Logic Programming - System Description. - Basel Shbita; Abha Moitra (FLOPS, 2022)

Synthesis of Optimal Defenses for System Architecture Design Model in MaxSMT. - Baoluo Meng; Arjun Viswanathan 001; William Smith; Abha Moitra; Kit Siu; Michael Durling (NFM, 2022)

A Semantic Reference Model for Capturing System Development and Evaluation. - Abha Moitra; Paul Cuddihy; Kit Siu; Baoluo Meng; John Interrante; David W. Archer; Eric Mertens; Kevin Quick; Valentin Robert; Daniel Russell (ICSC, 2022)

RACK: A Semantic Model and Triplestore for Curation of Assurance Case Evidence. - Abha Moitra; Paul Cuddihy; Kit Siu; David W. Archer; Eric Mertens; Daniel Russell; Kevin Quick; Valentin Robert; Baoluo Meng (SAFECOMP Workshops, 2023)

Formal Methods in Requirements Engineering: Survey and Future Directions. - Robert Lorch; Baoluo Meng; Kit Siu; Abha Moitra; Michael Durling; Saswata Paul; Sarat Chandra Varanasi; Craig McMillan (FormaliSE@ICSE, 2024)

Assurance Case Synthesis from a Curated Semantic Triplestore. - Saswata Paul; Baoluo Meng; Kit Siu; Abha Moitra; Michael Durling (SAFECOMP, 2024)

Enabling Development of an Extensible, Multi-Perspective Ontology. - Abha Moitra; Kit Siu; Paul Cuddihy; Daniel Russell; Eric Mertens; Dave Archer 001; Kevin Quick (ICSC, 2024)

TRACE: Toolkit for Requirements Analysis, Capture, and Elicitation. - Sarat Chandra Varanasi; Baoluo Meng; Robert Lorch; Abha Moitra; Kit Siu; Saswata Paul; Michael Durling; Neha Beniwal; Nikita Visnevski (NFM, 2025)

Attack-defense tree-based analysis and optimal defense synthesis for system design. - Baoluo Meng; Arjun Viswanathan 001; Saswata Paul; William Smith; Abha Moitra; Kit Siu; Michael Durling (Innov. Syst. Softw. Eng., 2025)