Brendan Hall

Publication Activity (10 Years)

Years Active: 2005-2022
Publications (10 Years): 7

Top Topics

Stable Model Semantics

Reasoning Tasks

Answer Set Programming

Causal Theories

Top Venues

J. Aerosp. Inf. Syst.

Publications

Sarat Chandra Varanasi, Baoluo Meng, Christopher C. Alexander, Szabolcs Borgyos, Brendan Hall
Unmanned Aerial Vehicle Compliance Checking using Goal-Directed Answer Set Programming. ICLP Workshops (2022)
Sarat Chandra Varanasi, Baoluo Meng, Christopher C. Alexander, Szabolcs Borgyos, Brendan Hall
Automating UAV Flight Readiness Approval using Goal-Directed Answer Set Programming. CoRR (2022)
Gopal Gupta, Sarat Varnasi, Kinjal Basu, Zhuo Chen, Elmer Salazar, Farhad Shakerin, Serdar Erbatur, Fang Li, Huaduo Wang, Joaquín Arias, Brendan Hall, Kevin Driscoll
Formalizing Informal Logic and Natural Language Deductivism. ICLP Workshops (2021)
Brendan Hall, Sarat Chandra Varanasi, Jan Fiedor, Joaquín Arias, Kinjal Basu, Fang Li, Devesh Bhatt, Kevin Driscoll, Elmer Salazar, Gopal Gupta
Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming. HCVS@ETAPS (2021)
Sarat Chandra Varanasi, Brendan Hall, Joaquín Arias, Elmer Salazar, Fang Li, Kinjal Basu, Kevin Driscoll, Gopal Gupta
Modelling and Verification of Timed Systems with the Event Calculus and s(CASP). ICLP Workshops (2021)
Benjamin F. Jones, Lee Pike, Srivatsan Varadarajan, Brendan Hall
Language for Unified Verification and Implementation for Distributed Avionics. J. Aerosp. Inf. Syst. 15 (11) (2018)
Brendan Hall
A CLEAR Adoption of EARS. EARS@RE (2018)
Wilfried Steiner, Günther Bauer, Brendan Hall, Michael Paulitsch, Srivatsan Varadarajan
TTEthernet Dataflow Concept. NCA (2009)
Michael Paulitsch, Brendan Hall
Starting and Resolving a Partitioned BRAIN. ISORC (2008)
Michael Paulitsch, Brendan Hall
Insights into the Sensitivity of the BRAIN (Braided Ring Availability Integrity Network) - On Platform Robustness in Extended Operation. DSN (2007)
Brendan Hall, Kevin Driscoll, Michael Paulitsch, Samar Dajani-Brown
Ringing out Fault Tolerance. A New Ring Network for Superior Low-Cost Dependability. DSN (2005)
Michael Paulitsch, Jennifer Morris, Brendan Hall, Kevin Driscoll, Elizabeth Latronico, Philip Koopman
Coverage and the Use of Cyclic Redundancy Codes in Ultra-Dependable Systems. DSN (2005)