Kevin Driscoll

Affiliations:
  • Honeywell Corp, USA


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming.
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).
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.
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.
Proceedings of the Computer Safety, 2010

2005
Coverage and the Use of Cyclic Redundancy Codes in Ultra-Dependable Systems.
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.
Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005

2002
BeepBeep: Embedded Real-Time Encryption.
Proceedings of the Fast Software Encryption, 9th International Workshop, 2002

2001
Making Home Automation Communications Secure.
Computer, 2001

1994
ARINC 659 Scheduling: Problem Definition.
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.
Proceedings of the Real-Time Systems Symposium, 1992


  Loading...