Abha Moitra

Publication Activity (10 Years)

Years Active: 1979-2024
Publications (10 Years): 18

Top Topics

Linguistic Rules

Rule Extraction

Top Venues

Publications

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