Ringing out Fault Tolerance. A New Ring Network for Superior Low-Cost Dependability. - Brendan Hall; Kevin Driscoll 001; Michael Paulitsch; Samar Dajani-Brown (DSN, 2005)

Coverage and the Use of Cyclic Redundancy Codes in Ultra-Dependable Systems. - Michael Paulitsch; Jennifer Morris; Brendan Hall; Kevin Driscoll 001; Elizabeth Latronico; Philip Koopman (DSN, 2005)

Insights into the Sensitivity of the BRAIN (Braided Ring Availability Integrity Network) - On Platform Robustness in Extended Operation. - Michael Paulitsch; Brendan Hall (DSN, 2007)

Starting and Resolving a Partitioned BRAIN. - Michael Paulitsch; Brendan Hall (ISORC, 2008)

TTEthernet Dataflow Concept. - Wilfried Steiner; Günther Bauer 001; Brendan Hall; Michael Paulitsch; Srivatsan Varadarajan (NCA, 2009)

A CLEAR Adoption of EARS. - Brendan Hall (EARS@RE, 2018)

Language for Unified Verification and Implementation for Distributed Avionics. - Benjamin F. Jones 002; Lee Pike; Srivatsan Varadarajan; Brendan Hall (J. Aerosp. Inf. Syst., 2018)

Formalizing Informal Logic and Natural Language Deductivism. - Gopal Gupta 001; Sarat Varnasi; Kinjal Basu 002; Zhuo Chen; Elmer Salazar; Farhad Shakerin; Serdar Erbatur; Fang Li 010; Huaduo Wang; Joaquín Arias; Brendan Hall; Kevin Driscoll 001 (ICLP Workshops, 2021)

Modelling and Verification of Timed Systems with the Event Calculus and s(CASP). - Sarat Chandra Varanasi; Brendan Hall; Joaquín Arias; Elmer Salazar; Fang Li 010; Kinjal Basu 002; Kevin Driscoll 001; Gopal Gupta 001 (ICLP Workshops, 2021)

Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming. - Brendan Hall; Sarat Chandra Varanasi; Jan Fiedor; Joaquín Arias; Kinjal Basu 002; Fang Li 010; Devesh Bhatt; Kevin Driscoll 001; Elmer Salazar; Gopal Gupta 001 (HCVS@ETAPS, 2021)

Unmanned Aerial Vehicle Compliance Checking using Goal-Directed Answer Set Programming. - Sarat Chandra Varanasi; Baoluo Meng; Christopher C. Alexander; Szabolcs Borgyos; Brendan Hall (ICLP Workshops, 2022)

Automating UAV Flight Readiness Approval using Goal-Directed Answer Set Programming. - Sarat Chandra Varanasi; Baoluo Meng; Christopher C. Alexander; Szabolcs Borgyos; Brendan Hall (CoRR, 2022)

Extended Abstract: Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming. - Ondrej Vasícek; Joaquín Arias; Jan Fiedor; Gopal Gupta 001; Brendan Hall; Bohuslav Krena; Brian Larson; Sarat Chandra Varanasi; Tomás Vojnar (ICLP Workshops, 2024)

Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming. - Ondrej Vasícek; Joaquín Arias; Jan Fiedor; Gopal Gupta 001; Brendan Hall; Bohuslav Krena; Brian Larson; Sarat Chandra Varanasi; Tomás Vojnar (CoRR, 2024)