Byzantine fault tolerance, from theory to reality K Driscoll, B Hall, H Sivencrona, P Zumsteg International Conference on Computer Safety, Reliability, and Security, 235-248, 2003 | 273 | 2003 |
SAFEbus K Hoyme, K Driscoll [1992] Proceedings IEEE/AIAA 11th Digital Avionics Systems Conference, 68-73, 1992 | 176 | 1992 |
Self-checking pair on a braided ring network B Hall, KR Driscoll, M Paulitsch US Patent 7,372,859, 2008 | 110 | 2008 |
Making home automation communications secure P Bergstrom, K Driscoll, J Kimball Computer 34 (10), 50-56, 2001 | 96 | 2001 |
Cryptographic key sharing method K Driscoll, P Gonia, J Kimball, T Phinney US Patent App. 11/279,235, 2007 | 85 | 2007 |
The real byzantine generals K Driscoll, B Hall, M Paulitsch, P Zumsteg, H Sivencrona The 23rd digital avionics systems conference (IEEE Cat. No. 04CH37576) 2, 6 …, 2004 | 79 | 2004 |
Arinc 659 scheduling: Problem definition Carpenter, Driscoll, Hoyme, Carciofini 1994 Proceedings Real-Time Systems Symposium, 165-169, 1994 | 78 | 1994 |
Embedded self-checking asynchronous pipelined enforcement (escape) B Hall, KR Driscoll, M Paulitsch US Patent 7,783,808, 2010 | 68 | 2010 |
Considerations in assuring safety of increasingly autonomous systems EE Alves, D Bhatt, B Hall, K Driscoll, A Murugesan, J Rushby | 56 | 2018 |
Coverage and the use of cyclic redundancy codes in ultra-dependable systems M Paulitsch, J Morris, B Hall, K Driscoll, E Latronico, P Koopman 2005 International Conference on Dependable Systems and Networks (DSN'05 …, 2005 | 56 | 2005 |
Apparatus and method for fault detection on redundant signal lines via encryption KR Driscoll US Patent 5,307,409, 1994 | 46 | 1994 |
Computer efficient linear feedback shift register KR Driscoll US Patent 6,763,363, 2004 | 45 | 2004 |
The airplane information management system: An integrated real-time flight-deck control system K Driscoll, K Hoyme Proceedings Real-Time Systems Symposium, 267,268,269,270-267,268,269,270, 1992 | 40 | 1992 |
Hybrid topology ethernet architecture B Hall, M Paulitsch, DD Benson, P Rose, KR Driscoll US Patent 8,130,773, 2012 | 33 | 2012 |
Self-checking pair-based master/follower clock synchronization B Hall, M Paulitsch, KR Driscoll US Patent 7,912,094, 2011 | 31 | 2011 |
Voting mechanism for transmission schedule enforcement B Hall, KR Driscoll, M Wachter, H Angelow US Patent 7,873,739, 2011 | 31 | 2011 |
Ringing out fault tolerance. a new ring network for superior low-cost dependability B Hall, K Driscoll, M Paulitsch, S Dajani-Brown 2005 International Conference on Dependable Systems and Networks (DSN'05 …, 2005 | 30 | 2005 |
Fault-containment and/or failure detection using encryption KR Driscoll, B Hall, M Paulitsch US Patent App. 11/551,539, 2008 | 29 | 2008 |
Cryptographic isolator using multiplication KR Driscoll US Patent 6,804,354, 2004 | 29 | 2004 |
Selection of cyclic redundancy code and checksum algorithms to ensure critical data integrity P Koopman, K Driscoll, B Hall Carnegie Mellon University, 2015 | 28 | 2015 |