Jeffrey Maddalon

Publication Activity (10 Years)

Years Active: 2003-2010
Publications (10 Years): 0

Publications

Ricky W. Butler, George Hagen, Jeffrey Maddalon, César A. Muñoz, Anthony Narkawicz, Gilles Dowek
How Formal Methods Impels Discovery: A Short History of an Air Traffic Management Project. NASA Formal Methods (2010)
Paul S. Miner, Alfons Geser, Lee Pike, Jeffrey Maddalon
A Unified Fault-Tolerance Protocol. FORMATS/FTRTFT (2004)
Lee Pike, Jeffrey Maddalon, Paul S. Miner, Alfons Geser
Abstractions for Fault-Tolerant Distributed System Verification. TPHOLs (2004)
Ricky W. Butler, Jeffrey Maddalon, Alfons Geser, César A. Muñoz
Simulation and verification I: formal analysis of air traffic management systems: the case of conflict resolution and recovery. WSC (2003)