César A. Muñoz

Anthony Narkawicz, César A. Muñoz, Gilles Dowek: Provably correct conflict prevention bands algorithms. Sci. Comput. Program. 77(10-11): 1039-1057 (2012)

Camilo Rocha, Héctor Cadavid, César A. Muñoz, Radu Siminiceanu: A Formal Interactive Verification Environment for the Plan Execution Interchange Language. IFM 2012: 343-357

César A. Muñoz: Preface: special issue on NASA Formal Methods Symposium 2010. ISSE 7(2): 71-72 (2011)

Camilo Rocha, César A. Muñoz, Gilles Dowek: A formal library of set relations and its application to synchronous languages. Theor. Comput. Sci. 412(37): 4853-4866 (2011)

Camilo Rocha, César A. Muñoz: Simulation and Verification of Synchronous Set Relations in Rewriting Logic. SBMF 2011: 60-75

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: 34-46

Alwyn Goodloe, César A. Muñoz: Compositional Verification of a Communication Protocol for a Remotely Operated Vehicle. FMICS 2009: 86-101

Gilles Dowek, César A. Muñoz, Camilo Rocha: Rewriting Logic Semantics of a Plan Execution Language. SOS 2009: 77-91

Radu Siminiceanu, Ricky W. Butler, César A. Muñoz: Experimental Evaluation of a Planning Language Suitable for Formal Verification. MoChArt 2008: 132-146

Otmane Aït Mohamed, César A. Muñoz, Sofiène Tahar (Eds.): Theorem Proving in Higher Order Logics, 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings. Lecture Notes in Computer Science 5170, Springer 2008, isbn 978-3-540-71065-3

César A. Muñoz, Victor Carreño, Gilles Dowek: Formal Analysis of the Operational Concept for the Small Aircraft Transportation System. RODIN Book 2006: 306-325

César A. Muñoz, Gilles Dowek, Victor Carreño: Modeling and verification of an air traffic concept of operations. ISSTA 2004: 175-182

César A. Muñoz, Victor Carreño, Gilles Dowek, Ricky W. Butler: Formal verification of conflict detection algorithms. STTT 4(3): 371-380 (2003)

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. Winter Simulation Conference 2003: 906-914

Victor Carreño, César A. Muñoz, Sofiène Tahar (Eds.): Theorem Proving in Higher Order Logics, 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002, Proceedings. Lecture Notes in Computer Science 2410, Springer 2002, isbn 3-540-44039-9

Ricky W. Butler, Victor Carreño, Gilles Dowek, César A. Muñoz: Formal Verification of Conflict Detection Algorithms. CHARME 2001: 403-417

Victor Carreño, César A. Muñoz: Aircraft Trajectory Modeling and Altering Algorithm Verification. TPHOLs 2000: 90-105