Search the dblp DataBase

Publications of Author

1. Ricky W. Butler, Victor Carreño, Gilles Dowek, César Muñoz
   Formal Verification of Conflict Detection Algorithms. [Citation Graph (0, 0)][DBLP]
   CHARME, 2001, pp:403-417 [Conf]
   
2. Ricky W. Butler
   Formal Methods at NASA Langley. [Citation Graph (0, 0)][DBLP]
   TPHOLs, 2002, pp:1-2 [Conf]
   
3. Ricky W. Butler, Jeffrey Maddalon, Alfons Geser, César Muñoz
   Simulation and verification I: formal analysis of air traffic management systems: the case of conflict resolution and recovery. [Citation Graph (0, 0)][DBLP]
   Winter Simulation Conference, 2003, pp:906-914 [Conf]
   
4. Jonathan P. Bowen, Ricky W. Butler, David L. Dill, Robert L. Glass, David Gries, Anthony Hall, Michael G. Hinchey, C. Michael Holloway, Daniel Jackson, Cliff B. Jones, Michael J. Lutz, David Lorge Parnas, John M. Rushby, Jeannette M. Wing, Pamela Zave
   An Invitation to Formal Methods. [Citation Graph (0, 0)][DBLP]
   IEEE Computer, 1996, v:29, n:4, pp:16-30 [Journal]
   
5. Parameswaran Ramanathan, Kang G. Shin, Ricky W. Butler
   Fault-Tolerant Clock Synchronization in Distributed Systems. [Citation Graph (0, 0)][DBLP]
   IEEE Computer, 1990, v:23, n:10, pp:33-42 [Journal]
   
6. César Muñoz, Victor Carreño, Gilles Dowek, Ricky W. Butler
   Formal verification of conflict detection algorithms. [Citation Graph (0, 0)][DBLP]
   STTT, 2003, v:4, n:3, pp:371-380 [Journal]
   
7. C. Mani Krishna, Kang G. Shin, Ricky W. Butler
   Ensuring Fault Tolerance of Phase-Locked Clocks. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Computers, 1985, v:34, n:8, pp:752-756 [Journal]
   
8. Ricky W. Butler, George B. Finelli
   The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1993, v:19, n:1, pp:3-12 [Journal]