Brendan Hall

According to our database, Brendan Hall authored at least 12 papers between 2005 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Unmanned Aerial Vehicle Compliance Checking using Goal-Directed Answer Set Programming.

Sarat Chandra Varanasi, Baoluo Meng, Christopher C. Alexander, Szabolcs Borgyos, Brendan Hall

Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel, July 31st, 2022

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, Fang Li, Devesh Bhatt, Kevin Driscoll, Elmer Salazar, Gopal Gupta

Proceedings of the Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis, 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, Kinjal Basu, Kevin Driscoll, Gopal Gupta

Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), 2021

Formalizing Informal Logic and Natural Language Deductivism.

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

Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), 2021

2018

Language for Unified Verification and Implementation for Distributed Avionics.

Benjamin F. Jones, Lee Pike, Srivatsan Varadarajan, Brendan Hall

J. Aerosp. Inf. Syst., November, 2018

A CLEAR Adoption of EARS.

Brendan Hall

Proceedings of the 1st International Workshop on Easy Approach to Requirements Syntax, 2018

2009

TTEthernet Dataflow Concept.

Wilfried Steiner, Günther Bauer, Brendan Hall, Michael Paulitsch, Srivatsan Varadarajan

Proceedings of The Eighth IEEE International Symposium on Networking Computing and Applications, 2009

2008

Starting and Resolving a Partitioned BRAIN.

Michael Paulitsch, Brendan Hall

Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008

2007

Insights into the Sensitivity of the BRAIN (Braided Ring Availability Integrity Network) - On Platform Robustness in Extended Operation.

Michael Paulitsch, Brendan Hall

Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007

2005

Coverage and the Use of Cyclic Redundancy Codes in Ultra-Dependable Systems.

Michael Paulitsch, Jennifer Morris, Brendan Hall, Kevin Driscoll, Elizabeth Latronico, Philip Koopman

Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005

Ringing out Fault Tolerance. A New Ring Network for Superior Low-Cost Dependability.

Brendan Hall, Kevin Driscoll, Michael Paulitsch, Samar Dajani-Brown

Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005