Jeffrey Maddalon

According to our database, Jeffrey Maddalon authored at least 4 papers between 2003 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

How Formal Methods Impels Discovery: A Short History of an Air Traffic Management Project.

Ricky W. Butler, George Hagen, Jeffrey Maddalon, César A. Muñoz, Anthony Narkawicz, Gilles Dowek

Proceedings of the Second NASA Formal Methods Symposium, 2010

2004

Abstractions for Fault-Tolerant Distributed System Verification.

Lee Pike, Jeffrey Maddalon, Paul S. Miner, Alfons Geser

Proceedings of the Theorem Proving in Higher Order Logics, 17th International Conference, 2004

A Unified Fault-Tolerance Protocol.

Paul S. Miner, Alfons Geser, Lee Pike, Jeffrey Maddalon

Proceedings of the Formal Techniques, 2004

2003

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, César A. Muñoz

Proceedings of the 35th Winter Simulation Conference: Driving Innovation, 2003