César A. Muñoz's Recent Publications

1. Jeffrey Maddalon, Ricky Butler, César Muñoz, and Gilles Dowek, A Mathematical Analysis of Conflict Prevention Information, 9th AIAA Aviation Technology, Integration, and Operations Conference, September 2009. BibTeX Reference. An extended version available as A Mathematical Basis for the Safety Analysis of Conflict Prevention Algorithms, Technical Memorandum, NASA TM-2009-215768, June 2009. BibTeX Reference.
2. Leonard Lensink, César Muñoz, and Alwyn Goodloe, From Verified Models to Verifiable Code, Technical Memorandum, NASA TM-2009-215943, June 2009. BibTeX Reference.
3. Gilles Dowek, César Muñoz, and Camilo Rocha, Rewriting Logic Semantics of a Plan Execution Language, Technical Memorandum, NASA TM-2009-215770, June 2009. BibTeX Reference.
4. Jeffrey Maddalon, Ricky Butler, César Muñoz, and Gilles Dowek, A Mathematical Basis for the Safety Analysis of Conflict Prevention Algorithms, Technical Memorandum, NASA TM-2009-215768, June 2009. BibTeX Reference.
5. Erin Connors, César Muñoz, Cameron Schnur, and Radu Siminiceanu, Static Verification of Spacecraft Procedures, AIAA Infotech@Aerospace Conference 2009, AIAA 2009-2033, 2009. BibTeX Reference.
6. Camilo Rocha, César Muñoz, and Héctor Cadavid, A Graphical Environment for the Semantic Validation of a Plan Execution Language, Third IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT 2009), 2009. BibTeX Reference.
7. Ricky Butler and César Muñoz, Formally Verified Practical Algorithms For Recovery From Loss of Separation, Technical Memorandum, NASA TM-2009-215726, June 2009. BibTeX Reference.
8. Marc Daumas, David Lester, and César Muñoz, Verified real number calculations: A library for interval arithmetic, IEEE Transactions on Computers, Volume 58, Number 2, 2009. BibTeX Reference.
9. Radu Siminiceanu, Ricky Butler, and César Muñoz, Experimental Evaluation of a Planning Language Suitable for Formal Verification, 5th International Workshop on Model Checking and Artificial Intelligence (MoChArt 2008), Lecture Notes in Artificial Intelligence, Volume 5348, 2009. BibTeX Reference.
10. César Muñoz and Alwyn Goodloe, Design and Verification of a Distributed Communication Protocol, Contractor Report, NASA CR-2009-215703, April 2009. BibTeX Reference.
11. Gilles Dowek, César Muñoz, and Corina Pasareanu, A Small-Step Semantics of PLEXIL, NIA Technical Report, Number 2008-11, 2008. BibTeX Reference.
12. Ricky Butler and César Muñoz, A Formal Framework for the Analysis of Algorithms That Recover From Loss of Separation, Technical Memorandum, NASA TM-2008-215356, October 2008. BibTeX Reference.
13. María Consiglio, Víctor Carreño, Daniel Williams, and César Muñoz, Conflict Prevention and Separation Assurance Method in the Small Aircraft Transportation System, Journal of Aircraft, Volume 45, Number 0021-8669, 2008. BibTeX Reference.

For previous publications, see my old NIA publications page.

Note: The tag identifies links that are outside of the NASA domain.

The documents distributed by this server have been provided by the contributing authors as a mean to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders. The documents distributed by this server are the author's personal drafts of pre-prints of such papers and may not be reposted without the explicit permission of the copyright holder.