Search by title, author, keywords, etc.

2022

A Semantic Reference Model for Capturing System Development and Evaluation
Authored by Abha Moitra, Paul Cuddihy, Kit Siu, Baoluo Meng, John Interrante, David Archer, Eric Mertens, Kevin Quick, Valentin Robert, Daniel Russell
Modeling a DO-178C Plan and Analyzing in a Semantic Model
Authored by Daniel Russell, Abha Moitra, Kit Siu, Craig McMillan
Hierarchical Contract-Based Synthesis for Assurance Cases
Authored by Timothy Wang, Zamira Daw, Pierluigi Nuzzo, Alessandro Pinto
ARACHNE: Automated Validation of Assurance Cases with Stochastic Contract Networks
Authored by Chanwook Oh, Nikhil Naik, Zamira Daw, Timothy Wang, Pierluigi Nuzzo
Assurance Provenance: The Next Challenge in Software Documentation
Authored by Gabor Karsai, Daniel Balasubramanian
Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming
Authored by Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta

2021

Knowledge-driven Natural Language Understanding of English Text and its Applications
Authored by Kinjal Basu, Sarat Varanasi, Farhad Shakerin, Joaquin Arias, Gopal Gupta
Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming
Authored by Brendan Hall, Sarat Varanasi, Jan Fiedor, Joaquín Arias, Kinjal Basu, Fang Li, Devesh Bhatt, Kevin Driscoll, Elmer Salazar, Gopal Gupta

2017

The s(CASP) Goal-Directed Answer Set Programming System: Tutorial and User Manual
Authored by E. Salazar, J. Arias, S. Dasgupta, Y. Zeng, P. Padalkar, G. Gupta

2015

Design and verification of multi-rate distributed systems
Authored by W. Li, L. Gérard, N. Shankar
Feedback
Feedback
If you experience a bug or would like to see an addition on the current page, feel free to leave us a message.
Image CAPTCHA
Enter the characters shown in the image.
This question is for testing whether or not you are a human visitor and to prevent automated spam submissions.