Brendan Hall

发表

Coverage and the use of cyclic redundancy codes in ultra-dependable systems

Philip Koopman, Michael Paulitsch, Jennifer Morris, 2005, 2005 International Conference on Dependable Systems and Networks (DSN'05).

Team Spirit: Life and Leadership on One of the World's Toughest Yacht Races

Brendan Hall, 2012 .

Language for Unified Verification and Implementation for Distributed Avionics

Brendan Hall, Benjamin F. Jones, Srivatsan Varadarajan, 2018, Journal of Aerospace Information Systems.

Data Network Evaluation Criteria Handbook

Philip Koopman, Brendan Hall, Justin Ray, 2009 .

Application Agreement and Integration Services

Brendan Hall, Kevin R. Driscoll, Kevin Schweiker, 2013 .

A CLEAR Adoption of EARS

Brendan Hall, 2018, 2018 1st International Workshop on Easy Approach to Requirements Syntax (EARS).

ESCAPE CAN Limitations

Michael Paulitsch, Brendan Hall, Håkan Sivencrona, 2007 .

Jet Engine Control Using Ethernet with a BRAIN (Postprint)

Alireza Behbahani, Dewey Benson, Michael Paulitsch, 2008 .

Selection of Cyclic Redundancy Code and Checksum Algorithms to Ensure Critical Data Integrity

Philip Koopman, Brendan Hall, Kevin R. Driscoll, 2015 .

TTEthernet Dataflow Concept

Michael Paulitsch, Brendan Hall, Wilfried Steiner, 2009, 2009 Eighth IEEE International Symposium on Network Computing and Applications.

Starting and Resolving a Partitioned BRAIN

Michael Paulitsch, Brendan Hall, 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).

Considerations in Assuring Safety of Increasingly Autonomous Systems [STUB]

Devesh Bhatt, John Rushby, Brendan Hall, 2018 .

Modeling and Analysis of Mixed Synchronous/Asynchronous Systems

Brendan Hall, Kevin R. Driscoll, Madl. Gabor, 2012 .

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

Michael Paulitsch, Brendan Hall, M. Paulitsch, 2007, 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07).

Investigating Actuation Force Fight with Asynchronous and Synchronous Redundancy Management Techniques

Bruno Dutertre, Brendan Hall, Kevin R. Driscoll, 2013 .

Automated Safety Critical Software Development for Distributed Control Systems: A COTS Approach

Brendan Hall, Reinhard Maier, Brian J. Sellner, 2001 .

Hardware-Efficient Monitoring of I/O Signals

Michael Paulitsch, Brendan Hall, Kevin R. Driscoll, 2009 .

Investigating System Dependability Modeling Using AADL

Gabor Madl, Brendan Hall, Kevin R. Driscoll, 2013 .

Model-Driven Test Generation of Distributed Systems

Brendan Hall, Arvind Easwaran, Kevin Schweiker, 2012 .

Verification and validation of flight critical systems (VVFCS)

Brendan Hall, Kevin R. Driscoll, Kevin Schweiker, 2012 .

Distributed System Design Checklist

Brendan Hall, Kevin R. Driscoll, 2014 .

Model Integrated Decomposition and Assisted Specification (MIDAS)

Brendan Hall, Yogananda Jeppu, Jan Fiedor, 2020 .

IEEE 1394 Hub With Fault Containment

Michael Paulitsch, Brendan Hall, Kevin R. Driscoll, 2009 .

FlexRay BRAIN Fusion A FlexRay-Based Braided Ring Availability Integrity Network

Michael Paulitsch, Brendan Hall, Kevin Driscoll, 2007 .

Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming pdf

Devesh Bhatt, Kinjal Basu, Gopal Gupta, 2021, Electronic Proceedings in Theoretical Computer Science.

Modelling and Verification of Timed Systems with the Event Calculus and s(CASP)

Kinjal Basu, Gopal Gupta, Brendan Hall, 2021, ICLP Workshops.

Quantitative Fault Propagation Analysis for Networked Cyber-Physical Systems

Devesh Bhatt, Daniel Elenius, Grit Denker, 2011 .