Kevin Driscoll
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
1992–2021
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 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 |
| 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 |
| 2002 | FSE | BeepBeep: Embedded Real-Time Encryption. | Kevin Driscoll |
| 1994 | RTSS | ARINC 659 Scheduling: Problem Definition. | Todd Carpenter, Kevin Driscoll, Ken Hoyme, Jim Carciofini |
| 1992 | RTSS | The Airplane Information Management System: an integrated real-time flight-deck control system. | Kevin Driscoll, Ken Hoyme |