default search action
Abha Moitra
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c25]Robert Lorch
, Baoluo Meng
Formal Methods in Requirements Engineering: Survey and Future Directions. FormaliSE@ICSE 2024: 88-99 - [c24]Saswata Paul, Baoluo Meng, Kit Siu, Abha Moitra, Michael Durling:
Assurance Case Synthesis from a Curated Semantic Triplestore. SAFECOMP 2024: 84-99 - [c23]Abha Moitra, Kit Siu, Paul Cuddihy, Daniel Russell, Eric Mertens, Dave Archer, Kevin Quick:
Enabling Development of an Extensible, Multi-Perspective Ontology. ICSC 2024: 77-80 - 2023
- [c22]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: 149-160 - 2022
- [c21]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: 3-13 - [c20]Basel Shbita, Abha Moitra:
Automated Generation of Control Concepts Annotation Rules Using Inductive Logic Programming - System Description. FLOPS 2022: 171-185 - [c19]Baoluo Meng
Synthesis of Optimal Defenses for System Architecture Design Model in MaxSMT. NFM 2022: 752-770 - [c18]Abha Moitra, Paul Cuddihy, Kit Siu, Baoluo Meng
A Semantic Reference Model for Capturing System Development and Evaluation. ICSC 2022: 173-174 - 2021
- [j14]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: 102990 (2021) - [j13]Baoluo Meng
VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System. Syst. 9(1): 18 (2021) - [c17]Baoluo Meng
Automating the Assembly of Security Assurance Case Fragments. SAFECOMP 2021: 101-114
2010 – 2019
- 2019
- [j12]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): 289-301 (2019) - [j11]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) - [j10]Abha Moitra
Automating requirements analysis and test case generation. Requir. Eng. 24(3): 341-364 (2019) - [c16]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: 361-366 - 2018
- [c15]Abha Moitra, Kit Siu, Andrew W. Crapo, Harsh Raju Chamarthi, Michael Durling, Meng Li, Han Yu, Panagiotis Manolios
Towards Development of Complete and Conflict-Free Requirements. RE 2018: 286-296 - [c14]Abha Moitra, Andrew W. Crapo, Ravi Palla:
Concept-Level Rules for Capturing Domain Knowledge. ICSC 2018: 260-264 - 2017
- [c13]Andrew W. Crapo, Abha Moitra, Craig McMillan, Daniel Russell:
Requirements Capture and Analysis in ASSERT(TM). RE 2017: 283-291 - 2016
- [c12]Abha Moitra, Ravi Palla, Arvind Rangarajan:
Automated Capture and Execution of Manufacturability Rules Using Inductive Logic Programming. AAAI 2016: 4028-4034 - 2014
- [c11]Abha Moitra, Ravi Palla, Luis Tari, Mukkai Krishnamoorthy:
Semantic Inference for Pharmacokinetic Drug-Drug Interactions. ICSC 2014: 92-95 - 2013
- [j9]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): 215-236 (2013) - 2010
- [c10]Abha Moitra, Bruce Barnett, Andrew W. Crapo, Stephen J. Dil:
Using Data Provenance to Measure Information Assurance Attributes. IPAW 2010: 111-119 - [c9]David B. Bracewell, Steven Gustafson, Abha Moitra, Gregg Steuben:
WISDOM from Light-Weight Information Retrieval. SocialCom/PASSAT 2010: 347-354 - [p1]Huaiyu (Harry) Ma, Steven Gustafson, Abha Moitra, David B. Bracewell:
Ego-Centric Network Sampling in Viral Marketing Applications. Mining and Analyzing Social Networks 2010: 35-51
2000 – 2009
- 2009
- [c8]Huaiyu (Harry) Ma, Steven Gustafson, Abha Moitra, David B. Bracewell:
Ego-centric Network Sampling in Viral Marketing Applications. CSE (4) 2009: 777-782
1990 – 1999
- 1992
- [c7]Abha Moitra:
Voluntary Preemption: a Tool Tn The Design Of Hard Real-Time Systems. FTRTFT 1992: 87-106
1980 – 1989
- 1989
- [c6]Gianfranco Bilardi, Abha Moitra:
Time Lower Bounds For CREW-PRAM Computation Of Monotone Functions. ICALP 1989: 95-107 - [c5]Abha Moitra, Richard C. Johnson:
A Parallel Algorithm for Maximum Matching on Interval Graphs. ICPP (3) 1989: 114-120 - 1988
- [j8]Abha Moitra, S. Sitharama Iyengar, Farokh B. Bastani, I-Ling Yen:
Multilevel Data Structures: Models and Performance. IEEE Trans. Software Eng. 14(6): 858-867 (1988) - 1987
- [j7]Abha Moitra, S. Sitharama Iyengar:
Parallel Algorithms for Some Computational Problems. Adv. Comput. 26: 93-153 (1987) - [j6]Mathai Joseph, Abha Moitra, Neelam Soundararajan:
Proof Rules for Fault Tolerant Distributed Programs. Sci. Comput. Program. 8(1): 43-67 (1987) - 1986
- [j5]Abha Moitra, S. Sitharama Iyengar:
Derivation of a Parallel Algorithm for Balancing Binary Trees. IEEE Trans. Software Eng. 12(3): 442-449 (1986) - [c4]Abha Moitra:
Scheduling of Hard Real-Time Systems. FSTTCS 1986: 362-381 - 1985
- [j4]Abha Moitra:
Automatic Construction of CSP Programs from Sequential Non-Deterministic Programs. Sci. Comput. Program. 5(3): 277-307 (1985) - [c3]Mathai Joseph, Abha Moitra:
Algebraic Specification Of A Communication Scheduler. TAPSOFT, Vol.2 1985: 356-370 - 1983
- [c2]Mathai Joseph, Abha Moitra:
Co-Operative Recovery From Faults in Distributed Programs. IFIP Congress 1983: 481-486 - [c1]Abha Moitra:
Synthesis of Communicating Processes. PODC 1983: 123-130 - 1982
- [j3]Abha Moitra:
Direct Implementation of Algebraic Specification of Abstract Data Types. IEEE Trans. Software Eng. 8(1): 12-20 (1982) - 1980
- [j2]Abha Moitra:
A note on algebraic specification of binary trees. ACM SIGPLAN Notices 15(6): 64-67 (1980)
1970 – 1979
- 1979
- [j1]A. W. Narwekar, Abha Moitra:
Design of Software for Text Composition. Softw. Pract. Exp. 9(4): 313-323 (1979)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-20 00:40 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: