| 2003 |
|---|
| 8 | EE | 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.
Winter Simulation Conference 2003: 906-914 |
| 7 | EE | César Muñoz,
Victor Carreño,
Gilles Dowek,
Ricky W. Butler:
Formal verification of conflict detection algorithms.
STTT 4(3): 371-380 (2003) |
| 2002 |
|---|
| 6 | EE | Ricky W. Butler:
Formal Methods at NASA Langley.
TPHOLs 2002: 1-2 |
| 2001 |
|---|
| 5 | EE | Ricky W. Butler,
Victor Carreño,
Gilles Dowek,
César Muñoz:
Formal Verification of Conflict Detection Algorithms.
CHARME 2001: 403-417 |
| 1996 |
|---|
| 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.
IEEE Computer 29(4): 16-30 (1996) |
| 1993 |
|---|
| 3 | EE | Ricky W. Butler,
George B. Finelli:
The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software.
IEEE Trans. Software Eng. 19(1): 3-12 (1993) |
| 1990 |
|---|
| 2 | | Parameswaran Ramanathan,
Kang G. Shin,
Ricky W. Butler:
Fault-Tolerant Clock Synchronization in Distributed Systems.
IEEE Computer 23(10): 33-42 (1990) |
| 1985 |
|---|
| 1 | | C. Mani Krishna,
Kang G. Shin,
Ricky W. Butler:
Ensuring Fault Tolerance of Phase-Locked Clocks.
IEEE Trans. Computers 34(8): 752-756 (1985) |
