The Airplane Information Management System: an integrated real-time flight-deck control system. - Kevin Driscoll 001; Ken Hoyme (RTSS, 1992)

ARINC 659 Scheduling: Problem Definition. - Todd Carpenter; Kevin Driscoll 001; Ken Hoyme; Jim Carciofini (RTSS, 1994)

Making Home Automation Communications Secure. - Peter Bergstrom; Kevin Driscoll 001; John Kimball (Computer, 2001)

BeepBeep: Embedded Real-Time Encryption. - Kevin Driscoll 001 (FSE, 2002)

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)

Murphy Was an Optimist. - Kevin R. Driscoll (SAFECOMP, 2010)

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)