|
|
|
home >
team >
civil servants >
jmm
Jeffrey M. Maddalon
Jeff is a research engineer at NASA's Langley Research Center. He
works on the formal verification of both fault-tolerant computer
systems (SPIDER)
and algorithms for
air traffic management
. His research interests
include formal verification, fault tolerance, and real-time systems.
He has also worked in areas of flight simulation, real-time computing,
embedded systems, and avionics systems. He received a bachelor's of
science degree in computer engineering from
Virginia Tech
and a
master's of science degree in computer science from the
College of
William and Mary.
J.M.Maddalon@NASA.GOV
Profile: LinkedIn
Publications:
- Jeffrey Maddalon, Ricky Butler, Cesar Munoz, Gilles Dowek. A Mathematical Analysis of Conflict Prevention Information.. Presented at the 9th Aviation Technology, Integration, and Operations Conference (ATIO), AIAA-2009-6907. Sept 21st, 2009, Hilton Head, SC.
PDF
- Jeffrey Maddalon, Ricky Butler, Cesar Munoz, Gilles Dowek. A Mathematical Basis for the Safety Analysis of Conflict Prevention Algorithms.. NASA Technical
Memorandum (TM-2009-215768), June 2009.
PDF
- Kelly J. Hayhurst, Jeffrey M. Maddalon, Paul S. Miner, George N. Szatkowski, Michael L. Ulrey, Michael P. DeWalt, Cary R. Spitzer. Preliminary Considerations for Classifying
hazards of Unmanned Aircraft Systems.. NASA Technical
Memorandum (TM-2007-214539), February 2007.
PDF
- Kelly J. Hayhurst, Jeffrey Maddalon, Paul Miner, Michael DeWalt,
Frank McCormick. Unmanned Aircraft Hazards and Their
Implications for Regulation. 25th Digital Avonics
Systems Conference (DASC). 2006. PDF
- Paul Miner, Alfons Geser, Lee Pike, and Jeffrey Maddalon. A
unified fault-tolerance protocol. In Yassine Lakhnech and Sergio
Yovine, editors, Formal Techniques, Modeling and Analysis of Timed
and Fault-Tolerant Systems (FORMATS-FTRTFT), volume 3253 of Lecture
Notes in Computer Science, pages 167--182. Springer,
2004. PDF
- Lee Pike, Jeffrey Maddalon, Paul Miner, and Alfons
Geser. Abstractions for fault-tolerant distributed system
verification. In Konrad Slind, Annette Bunker, and Ganesh
Gopalakrishnan, editors, Theorem Proving in Higher Order Logics
(TPHOLs), volume 3223 of Lecture Notes in Computer Science, pages
257--270. Springer, 2004. PDF
- Jeffrey Maddalon, Alfons Geser, and César
Muñoz, Ricky Butler.
Formal Verification of a Conflict Resolution and Recovery Algorithm,
NASA Technical Paper. 2004.
- Ricky Butler, Alfons Geser, Jeffrey Maddalon, and César
Muñoz.
Formal Analysis of Air Traffic Management Systems: The Case of
Conflict Resolution and Recovery,
Proceedings of Winter Simulation Conference (WSC'03), 2003.
PDF
- Jeffrey M. Maddalon, Paul S. Miner. An Architectural Concept for Intrusion
Tolerance in Air Traffic Networks. Integrated
Communication
Navigation and Surveilence (ICNS), Annapolis, Maryland, 2003. PDF
- Jeffrey M. Maddalon, Stephen Derry. Data Management in the ASSET Simulation
Framework. AIAA-2000-4500. AIAA Modelling and
Simulation Conference, Denver, August 2000.
- Stephen Derry, Jeffrey M. Maddalon. Implementing Dynamic System Models in the
ASSET Simulation Framework. AIAA-2000-4393. AIAA Modelling and
Simulation Conference, Denver, August 2000.
- Jeffrey M. Maddalon and Jeff I. Cleveland II, A Study of Workstation
Computational Performance for Real-Time Flight Simulation , NASA TM-109184,
February 1995, pp. 8, (25KB).
PDF
|