Ricky W. Butler
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
1992–2015
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | TAP | Software Validation via Model Animation. | Aaron Dutle, Csar A. Muoz, Anthony Narkawicz, Ricky W. Butler |
| 2003 | WSC | Simulation and verification I: formal analysis of air traffic management systems: the case of conflict resolution and recovery. | Ricky W. Butler, Jeffrey Maddalon, Alfons Geser, Csar A. Muoz |
| 1992 | RTSS | Provable transient recovery for frame-based, fault-tolerant computing systems. | Ben L. Di Vito, Ricky W. Butler |