Abha Moitra

According to our database, Abha Moitra authored at least 40 papers between 1979 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Enabling Development of an Extensible, Multi-Perspective Ontology.

Abha Moitra, Kit Siu, Paul Cuddihy, Daniel Russell, Eric Mertens, Dave Archer, Kevin Quick

Proceedings of the 18th IEEE International Conference on Semantic Computing, 2024

Assurance Case Synthesis from a Curated Semantic Triplestore.

Saswata Paul, Baoluo Meng, Kit Siu, Abha Moitra, Michael Durling

Proceedings of the Computer Safety, Reliability, and Security, 2024

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

Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 2024

2023

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

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 2023

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

Proceedings of the 16th IEEE International Conference on Semantic Computing, 2022

Synthesis of Optimal Defenses for System Architecture Design Model in MaxSMT.

Baoluo Meng, Arjun Viswanathan, William Smith, Abha Moitra, Kit Siu, Michael Durling

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

Automated Generation of Control Concepts Annotation Rules Using Inductive Logic Programming - System Description.

Basel Shbita, Abha Moitra

Proceedings of the Functional and Logic Programming - 16th International Symposium, 2022

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

Proceedings of the 2022 ACM CCS Workshop on Additive Manufacturing (3D Printing) Security, 2022

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, Michael Durling, Cesare Tinelli, Omar Chowdhury

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

Automating the Assembly of Security Assurance Case Fragments.

Baoluo Meng, Saswata Paul, Abha Moitra, Kit Siu, Michael Durling

Proceedings of the Computer Safety, Reliability, and Security, 2021

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

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

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

Using OWL Ontologies as a Domain-Specific Language for Capturing Requirements for Formal Analysis and Test Case Generation.

Andrew W. Crapo, Abha Moitra

Proceedings of the 13th IEEE International Conference on Semantic Computing, 2019

2018

Concept-Level Rules for Capturing Domain Knowledge.

Abha Moitra, Andrew W. Crapo, Ravi Palla

Proceedings of the 12th IEEE International Conference on Semantic Computing, 2018

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

Proceedings of the 26th IEEE International Requirements Engineering Conference, 2018

2017

Requirements Capture and Analysis in ASSERT(TM).

Andrew W. Crapo, Abha Moitra, Craig McMillan, Daniel Russell

Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017

2016

Automated Capture and Execution of Manufacturability Rules Using Inductive Logic Programming.

Abha Moitra, Ravi Palla, Arvind Rangarajan

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2014

Semantic Inference for Pharmacokinetic Drug-Drug Interactions.

Abha Moitra, Ravi Palla, Luis Tari, Mukkai Krishnamoorthy

Proceedings of the 2014 IEEE International Conference on Semantic Computing, 2014

2013

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

2010

Ego-Centric Network Sampling in Viral Marketing Applications.

Huaiyu (Harry) Ma, Steven Gustafson, Abha Moitra, David B. Bracewell

Proceedings of the Mining and Analyzing Social Networks, 2010

WISDOM from Light-Weight Information Retrieval.

David B. Bracewell, Steven Gustafson, Abha Moitra, Gregg Steuben

Proceedings of the 2010 IEEE Second International Conference on Social Computing, 2010

Using Data Provenance to Measure Information Assurance Attributes.

Abha Moitra, Bruce Barnett, Andrew W. Crapo, Stephen J. Dil

Proceedings of the Provenance and Annotation of Data and Processes, 2010

2009

Ego-centric Network Sampling in Viral Marketing Applications.

Huaiyu (Harry) Ma, Steven Gustafson, Abha Moitra, David B. Bracewell

Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, 2009

1992

Voluntary Preemption: a Tool Tn The Design Of Hard Real-Time Systems.

Abha Moitra

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1992

1989

A Parallel Algorithm for Maximum Matching on Interval Graphs.

Abha Moitra, Richard C. Johnson

Proceedings of the International Conference on Parallel Processing, 1989

Time Lower Bounds For CREW-PRAM Computation Of Monotone Functions.

Gianfranco Bilardi, Abha Moitra

Proceedings of the Automata, Languages and Programming, 16th International Colloquium, 1989

1988

Multilevel Data Structures: Models and Performance.

Abha Moitra, S. Sitharama Iyengar, Farokh B. Bastani, I-Ling Yen

IEEE Trans. Software Eng., 1988

1987

Proof Rules for Fault Tolerant Distributed Programs.

Mathai Joseph, Abha Moitra, Neelam Soundararajan

Sci. Comput. Program., 1987

Parallel Algorithms for Some Computational Problems.

Abha Moitra, S. Sitharama Iyengar

Adv. Comput., 1987

1986

Derivation of a Parallel Algorithm for Balancing Binary Trees.

Abha Moitra, S. Sitharama Iyengar

IEEE Trans. Software Eng., 1986

Scheduling of Hard Real-Time Systems.

Abha Moitra

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1986

1985

Automatic Construction of CSP Programs from Sequential Non-Deterministic Programs.

Abha Moitra

Sci. Comput. Program., 1985

Algebraic Specification Of A Communication Scheduler.

Mathai Joseph, Abha Moitra

Proceedings of the Mathematical Foundations of Software Development, 1985

1983

Synthesis of Communicating Processes.

Abha Moitra

Proceedings of the Second Annual ACM Symposium on Principles of Distributed Computing, 1983

Co-Operative Recovery From Faults in Distributed Programs.

Mathai Joseph, Abha Moitra

Proceedings of the Information Processing 83, 1983

1982

Direct Implementation of Algebraic Specification of Abstract Data Types.

Abha Moitra

IEEE Trans. Software Eng., 1982

1980

A note on algebraic specification of binary trees.

Abha Moitra

ACM SIGPLAN Notices, 1980

1979

Design of Software for Text Composition.

A. W. Narwekar, Abha Moitra

Softw. Pract. Exp., 1979