- Programmation Tacticals Florent Kirchner
- FORMALANALYSIS OF PARALLEL LANDING SCENARIOS Vctor Carreo, Assessment Technology Branch
- A Formalization of the BMethod in Coq and Jean Paul Bodeveix 1 , Mamoun Filali 1 , and C'esar A. Mu~noz 2??
- Formalisation de la mthode B en Coq et PVS JeanPaul Bodeveix et Mamoun Filali
- A GEOMETRIC APPROACH TO STRATEGIC CONFLICT DETECTION AND RESOLUTION 1
- A Mathematical Analysis of Conflict Prevention Information
- October 2006 NASA/CR-2006-214298
- NASA/CR-1999-209360 ICASE Report No. 99-26
- Experimental Evaluation of a Planning Language Suitable for Formal Verification
- Guaranteed Proofs Using Interval Arithmetic Marc Daumas, Guillaume Melquiond, and Cesar Mu~noz
- NASA/TM-2007-214856 Safety and Performance Analysis of the
- The Proof Monad$ Florent Kirchnera,
- Compositional Verification of a Communication Protocol for a Remotely Operated Aircraft $
- NASA/CR-2007-214546 NIA Report No. 2007-03
- Journal of Automated Reasoning manuscript No. (will be inserted by the editor)
- ATIO-2007-7737 7th AIAA Aviation Technology, Integration and Operations Conference, 1820 September 2007, Belfast, Northern Ireland
- REAL AUTOMATION IN THE FIELD CESAR MU~NOZ AND MICAELA MAYERO
- Modeling and Verification of an Air Traffic Concept of Cesar A. Mu~noz
- American Institute of Aeronautics and Astronautics Conflict Prevention and Separation Assurance Method in
- A Graphical Environment for the Semantic Validation of a Plan Execution Language
- Formal Analysis of the Operational Concept for the Small Aircraft Transportation System
- 24th INTERNATIONAL CONGRESS OF THE AERONAUTICAL SCIENCES CONFLICT DETECTION AND ALERTING IN A SELF
- NASA/TM-2009-215770 Rewriting Logic Semantics of a Plan
- NASA/CR-2009-215703 NIA Report No. 2008-09
- NASA/TM-2005-213769 KB3D Reference Manual Version 1.a
- A Formal Analysis Framework for PLEXIL Gilles Dowek, Cesar Mu~noz, and Corina S. Pasareanu
- A Left-linear Variant of Cesar A. Mu~noz H.
- rogrmmtion tils plorent uirhner
- NASA/CR-2000-209851 ICASE Report No. 2000-4
- NASA/CR-2003-212418 NIA Report No. 2003-03
- Predicate Abstraction of Programs With Non-linear Computation
- A Formal Library of Set Relations and Its Application to Synchronous Languages$
- Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm
- PVS#: Streamlined Tacticals for PVS1 Florent Kirchner2
- November 2007 NASA/TM-2007-215089
- NASA/CR-2002-211637 ICASE Report No. 2002-12
- 4th USA/Europe Air Traffic Management R&D Seminar Santa Fe, December 3-7 2001 1 Tactical Conflict Detection and Resolution in a 3-D Airspace
- NASA/CR-2001-211271 ICASE Interim Report No. 39
- A SMALL-STEP SEMANTICS OF PLEXIL Gilles Dowek
- Bernstein Issue: Verifiable Conflict Detection Algorithms for Arbitrary Trajectories
- Provably Safe Coordinated Strategy for Distributed Conflict Resolution
- Safety Verification of the Small Aircraft Transportation System Concept of Operations
- November 2006 NASA/TM-2006-214518
- Verified Real Number Calculations: A Library for Interval Arithmetic
- NASA/CR-2001-210853 ICASE Report No. 2001-7
- Toward Automated Test Generation for Engineering Applications
- Simulation and Verification of Synchronous Set Relations in Rewriting Logic
- Real Number Calculations and Theorem Cesar Mu~noz1
- PVSio Reference Manual Version 2.b (DRAFT) August 2005
- Static Verification of Spacecraft Procedures Erin M. Connors
- FORMAL VERIFICATION OF SAFETY BUFFERS FOR STATE-BASED CONFLICT DETECTION AND RESOLUTION
- HYBRID VERIFICATION OF AN AIR TRAFFIC OPERATIONAL CONCEPT
- NASA/CP-2010-216215 Proceedings of the Second NASA Formal
- NASA/TM2009000000 From Verified Models to Verifiable
