Brendan Hall

15 papers A 3B 2C 1Journal 3Unranked 6
YearRankTypeTitle / Venue / Authors
2025 B conf
On Zeno-like Behaviors in the Event Calculus with Goal-directed Answer Set Programming.
ICLP
Ondrej Vasícek, Joaquín Arias, Jan Fiedor, Gopal Gupta, Brendan Hall, Bohuslav Krena, Brian Larson, Tomás Vojnar
2024 J jnl
Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming.
CoRR
Ondrej Vasícek, Joaquín Arias, Jan Fiedor, Gopal Gupta, Brendan Hall, Bohuslav Krena, Brian Larson, Sarat Chandra Varanasi, Tomás Vojnar
2024 — conf
Extended Abstract: Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming.
ICLP Workshops
Ondrej Vasícek, Joaquín Arias, Jan Fiedor, Gopal Gupta, Brendan Hall, Bohuslav Krena, Brian Larson, Sarat Chandra Varanasi, Tomás Vojnar
2022 J jnl
Automating UAV Flight Readiness Approval using Goal-Directed Answer Set Programming.
CoRR
Sarat Chandra Varanasi, Baoluo Meng, Christopher C. Alexander, Szabolcs Borgyos, Brendan Hall
2022 — conf
Unmanned Aerial Vehicle Compliance Checking using Goal-Directed Answer Set Programming.
ICLP Workshops
Sarat Chandra Varanasi, Baoluo Meng, Christopher C. Alexander, Szabolcs Borgyos, Brendan Hall
2021 — conf
Formalizing Informal Logic and Natural Language Deductivism.
ICLP Workshops
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
2021 — conf
Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming.
HCVS@ETAPS
Brendan Hall, Sarat Chandra Varanasi, Jan Fiedor, Joaquín Arias, Kinjal Basu, Fang Li, Devesh Bhatt, Kevin Driscoll, Elmer Salazar, Gopal Gupta
2021 — conf
Modelling and Verification of Timed Systems with the Event Calculus and s(CASP).
ICLP Workshops
Sarat Chandra Varanasi, Brendan Hall, Joaquín Arias, Elmer Salazar, Fang Li, Kinjal Basu, Kevin Driscoll, Gopal Gupta
2018 — conf
A CLEAR Adoption of EARS.
EARS@RE
Brendan Hall
2018 J jnl
Language for Unified Verification and Implementation for Distributed Avionics.
J. Aerosp. Inf. Syst.
Benjamin F. Jones, Lee Pike, Srivatsan Varadarajan, Brendan Hall
2009 B conf
TTEthernet Dataflow Concept.
NCA
Wilfried Steiner, Günther Bauer, Brendan Hall, Michael Paulitsch, Srivatsan Varadarajan
2008 C conf
Starting and Resolving a Partitioned BRAIN.
ISORC
Michael Paulitsch, Brendan Hall
2007 A conf
Insights into the Sensitivity of the BRAIN (Braided Ring Availability Integrity Network) - On Platform Robustness in Extended Operation.
DSN
Michael Paulitsch, Brendan Hall
2005 A conf
Coverage and the Use of Cyclic Redundancy Codes in Ultra-Dependable Systems.
DSN
Michael Paulitsch, Jennifer Morris, Brendan Hall, Kevin Driscoll, Elizabeth Latronico, Philip Koopman
2005 A conf
Ringing out Fault Tolerance. A New Ring Network for Superior Low-Cost Dependability.
DSN
Brendan Hall, Kevin Driscoll, Michael Paulitsch, Samar Dajani-Brown