Abha Moitra

42 papers A* 3A 2B 2Misc 1Journal 15Unranked 18
YearRankTypeTitle / Venue / Authors
2025 J jnl
Attack-defense tree-based analysis and optimal defense synthesis for system design.
Innov. Syst. Softw. Eng.
Baoluo Meng, Arjun Viswanathan, Saswata Paul, William Smith, Abha Moitra, Kit Siu, Michael Durling
2025 — conf
TRACE: Toolkit for Requirements Analysis, Capture, and Elicitation.
NFM
Sarat Chandra Varanasi, Baoluo Meng, Robert Lorch, Abha Moitra, Kit Siu, Saswata Paul, Michael Durling, Neha Beniwal, Nikita Visnevski
2024 B conf
Assurance Case Synthesis from a Curated Semantic Triplestore.
SAFECOMP
Saswata Paul, Baoluo Meng, Kit Siu, Abha Moitra, Michael Durling
2024 — conf
Enabling Development of an Extensible, Multi-Perspective Ontology.
ICSC
Abha Moitra, Kit Siu, Paul Cuddihy, Daniel Russell, Eric Mertens, Dave Archer, Kevin Quick
2024 — conf
Formal Methods in Requirements Engineering: Survey and Future Directions.
FormaliSE@ICSE
Robert Lorch, Baoluo Meng, Kit Siu, Abha Moitra, Michael Durling, Saswata Paul, Sarat Chandra Varanasi, Craig McMillan
2023 — conf
RACK: A Semantic Model and Triplestore for Curation of Assurance Case Evidence.
SAFECOMP Workshops
Abha Moitra, Paul Cuddihy, Kit Siu, David W. Archer, Eric Mertens, Daniel Russell, Kevin Quick, Valentin Robert, Baoluo Meng
2022 — conf
A Semantic Reference Model for Capturing System Development and Evaluation.
ICSC
Abha Moitra, Paul Cuddihy, Kit Siu, Baoluo Meng, John Interrante, David W. Archer, Eric Mertens, Kevin Quick, Valentin Robert, Daniel Russell
2022 Misc conf
Automated Generation of Control Concepts Annotation Rules Using Inductive Logic Programming - System Description.
FLOPS
Basel Shbita, Abha Moitra
2022 — conf
Model-Based Security Analysis in Additive Manufacturing Systems.
AMSec@CCS
Michael R. Durling, Abha Moitra, Kit Y. Siu, Baoluo Meng, John W. Carbone, Christopher C. Alexander, Krystel K. Castillo-Villar, Gabriela F. Ciocarlie
2022 — conf
Synthesis of Optimal Defenses for System Architecture Design Model in MaxSMT.
NFM
Baoluo Meng, Arjun Viswanathan, William Smith, Abha Moitra, Kit Siu, Michael Durling
2021 B conf
Automating the Assembly of Security Assurance Case Fragments.
SAFECOMP
Baoluo Meng, Saswata Paul, Abha Moitra, Kit Siu, Michael Durling
2021 J jnl
Extraction of Formal Manufacturing Rules from Unstructured English Text.
Comput. Aided Des.
Sungku Kang, Lalit Patil, Arvind Rangarajan, Abha Moitra, Tao Jia, Dean Robinson, Farhad Ameri, Debasish Dutta
2021 J jnl
VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System.
Syst.
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, Michael Durling, Cesare Tinelli, Omar Chowdhury
2019 J jnl
Automated feedback generation for formal manufacturing rule extraction.
Artif. Intell. Eng. Des. Anal. Manuf.
Sungku Kang, Lalit Patil, Arvind Rangarajan, Abha Moitra, Tao Jia, Dean Robinson, Debasish Dutta
2019 J jnl
Automating requirements analysis and test case generation.
Requir. Eng.
Abha Moitra, Kit Siu, Andrew W. Crapo, Michael Durling, Meng Li, Panagiotis Manolios, Michael Meiners, Craig McMillan
2019 J jnl
Ontology-Based Ambiguity Resolution of Manufacturing Text for Formal Rule Extraction.
J. Comput. Inf. Sci. Eng.
Sungku Kang, Lalit Patil, Arvind Rangarajan, Abha Moitra, Dean Robinson, Tao Jia, Debasish Dutta
2019 — conf
Using OWL Ontologies as a Domain-Specific Language for Capturing Requirements for Formal Analysis and Test Case Generation.
ICSC
Andrew W. Crapo, Abha Moitra
2018 — conf
Concept-Level Rules for Capturing Domain Knowledge.
ICSC
Abha Moitra, Andrew W. Crapo, Ravi Palla
2018 A conf
Towards Development of Complete and Conflict-Free Requirements.
RE
Abha Moitra, Kit Siu, Andrew W. Crapo, Harsh Raju Chamarthi, Michael Durling, Meng Li, Han Yu, Panagiotis Manolios, Michael Meiners
2017 A conf
Requirements Capture and Analysis in ASSERT(TM).
RE
Andrew W. Crapo, Abha Moitra, Craig McMillan, Daniel Russell
2016 A* conf
Automated Capture and Execution of Manufacturability Rules Using Inductive Logic Programming.
AAAI
Abha Moitra, Ravi Palla, Arvind Rangarajan
2014 — conf
Semantic Inference for Pharmacokinetic Drug-Drug Interactions.
ICSC
Abha Moitra, Ravi Palla, Luis Tari, Mukkai Krishnamoorthy
2013 J jnl
Toward a Unified English-like Representation of Semantic Models, Data, and Graph Patterns for subject Matter Experts.
Int. J. Semantic Comput.
Andrew W. Crapo, Abha Moitra
2010 — ch.
Ego-Centric Network Sampling in Viral Marketing Applications.
Mining and Analyzing Social Networks
Huaiyu (Harry) Ma, Steven Gustafson, Abha Moitra, David B. Bracewell
2010 — conf
Using Data Provenance to Measure Information Assurance Attributes.
IPAW
Abha Moitra, Bruce Barnett, Andrew W. Crapo, Stephen J. Dil
2010 — conf
WISDOM from Light-Weight Information Retrieval.
SocialCom/PASSAT
David B. Bracewell, Steven Gustafson, Abha Moitra, Gregg Steuben
2009 — conf
Ego-centric Network Sampling in Viral Marketing Applications.
CSE (4)
Huaiyu (Harry) Ma, Steven Gustafson, Abha Moitra, David B. Bracewell
1992 — conf
Voluntary Preemption: a Tool Tn The Design Of Hard Real-Time Systems.
FTRTFT
Abha Moitra
1989 — conf
A Parallel Algorithm for Maximum Matching on Interval Graphs.
ICPP (3)
Abha Moitra, Richard C. Johnson
1989 A* conf
Time Lower Bounds For CREW-PRAM Computation Of Monotone Functions.
ICALP
Gianfranco Bilardi, Abha Moitra
1988 J jnl
Multilevel Data Structures: Models and Performance.
IEEE Trans. Software Eng.
Abha Moitra, S. Sitharama Iyengar, Farokh B. Bastani, I-Ling Yen
1987 J jnl
Parallel Algorithms for Some Computational Problems.
Adv. Comput.
Abha Moitra, S. Sitharama Iyengar
1987 J jnl
Proof Rules for Fault Tolerant Distributed Programs.
Sci. Comput. Program.
Mathai Joseph, Abha Moitra, Neelam Soundararajan
1986 J jnl
Derivation of a Parallel Algorithm for Balancing Binary Trees.
IEEE Trans. Software Eng.
Abha Moitra, S. Sitharama Iyengar
1986 — conf
Scheduling of Hard Real-Time Systems.
FSTTCS
Abha Moitra
1985 — conf
Algebraic Specification Of A Communication Scheduler.
TAPSOFT, Vol.2
Mathai Joseph, Abha Moitra
1985 J jnl
Automatic Construction of CSP Programs from Sequential Non-Deterministic Programs.
Sci. Comput. Program.
Abha Moitra
1983 — conf
Co-Operative Recovery From Faults in Distributed Programs.
IFIP Congress
Mathai Joseph, Abha Moitra
1983 A* conf
Synthesis of Communicating Processes.
PODC
Abha Moitra
1982 J jnl
Direct Implementation of Algebraic Specification of Abstract Data Types.
IEEE Trans. Software Eng.
Abha Moitra
1980 J jnl
A note on algebraic specification of binary trees.
ACM SIGPLAN Notices
Abha Moitra
1979 J jnl
Design of Software for Text Composition.
Softw. Pract. Exp.
A. W. Narwekar, Abha Moitra