Kevin Driscoll

According to our database, Kevin Driscoll authored at least 10 papers between 1992 and 2021.

Collaborative distances:

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

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

2010

Murphy Was an Optimist.

Kevin R. Driscoll

Proceedings of the Computer Safety, 2010

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

2002

BeepBeep: Embedded Real-Time Encryption.

Kevin Driscoll

Proceedings of the Fast Software Encryption, 9th International Workshop, 2002

2001

Making Home Automation Communications Secure.

Peter Bergstrom, Kevin Driscoll, John Kimball

Computer, 2001

1994

ARINC 659 Scheduling: Problem Definition.

Todd Carpenter, Kevin Driscoll, Ken Hoyme, Jim Carciofini

Proceedings of the 15th IEEE Real-Time Systems Symposium (RTSS '94), 1994

1992

The Airplane Information Management System: an integrated real-time flight-deck control system.

Kevin Driscoll, Ken Hoyme

Proceedings of the Real-Time Systems Symposium, 1992