Brendan Hall
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
5
Active years
2005–2024
Best venue rank
B
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ICLP | Extended Abstract: Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming. | Ondrej Vascek, Joaqun Arias, Jan Fiedor, Gopal Gupta, Brendan Hall, Bohuslav Krena, Brian Larson, Sarat Chandra Varanasi, Toms Vojnar |
| 2022 | ICLP | Unmanned Aerial Vehicle Compliance Checking using Goal-Directed Answer Set Programming. | Sarat Chandra Varanasi, Baoluo Meng, Christopher C. Alexander, Szabolcs Borgyos, Brendan Hall |
| 2021 | ICLP | 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, Joaqun Arias, Brendan Hall, Kevin Driscoll |
| 2021 | ICLP | Modelling and Verification of Timed Systems with the Event Calculus and s(CASP). | Sarat Chandra Varanasi, Brendan Hall, Joaqun Arias, Elmer Salazar, Fang Li, Kinjal Basu, Kevin Driscoll, Gopal Gupta |
| 2018 | RE | A CLEAR Adoption of EARS. | Brendan Hall |
| 2009 | NCA | TTEthernet Dataflow Concept. | Wilfried Steiner, Gnther Bauer, Brendan Hall, Michael Paulitsch, Srivatsan Varadarajan |
| 2008 | ISORC | Starting and Resolving a Partitioned BRAIN. | Michael Paulitsch, Brendan Hall |
| 2007 | DSN | Insights into the Sensitivity of the BRAIN (Braided Ring Availability Integrity Network) - On Platform Robustness in Extended Operation. | Michael Paulitsch, Brendan Hall |
| 2005 | DSN | Ringing out Fault Tolerance. A New Ring Network for Superior Low-Cost Dependability. | Brendan Hall, Kevin Driscoll, Michael Paulitsch, Samar Dajani-Brown |
| 2005 | DSN | Coverage and the Use of Cyclic Redundancy Codes in Ultra-Dependable Systems. | Michael Paulitsch, Jennifer Morris, Brendan Hall, Kevin Driscoll, Elizabeth Latronico, Philip Koopman |