Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
César A. Muñoz
2010 – today
- 2013
[j8]César A. Muñoz, Anthony Narkawicz: Formalization of Bernstein Polynomials and Applications to Global Optimization. J. Autom. Reasoning 51(2): 151-196 (2013)- [j7]Alwyn Goodloe, César A. Muñoz: Compositional verification of a communication protocol for a remotely operated aircraft. Sci. Comput. Program. 78(7): 813-827 (2013)
- [c12]Alwyn Goodloe, César A. Muñoz, Florent Kirchner, Loïc Correnson: Verification of Numerical Programs: From Real Numbers to Floating Point Numbers. NASA Formal Methods 2013: 441-446
- 2012
- [j6]Anthony Narkawicz, César A. Muñoz, Gilles Dowek: Provably correct conflict prevention bands algorithms. Sci. Comput. Program. 77(10-11): 1039-1057 (2012)
- [c11]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
- 2011
- [j5]César A. Muñoz: Preface: special issue on NASA Formal Methods Symposium 2010. ISSE 7(2): 71-72 (2011)
- [j4]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)
- [c10]Camilo Rocha, César A. Muñoz: Simulation and Verification of Synchronous Set Relations in Rewriting Logic. SBMF 2011: 60-75
- 2010
- [j3]
- [c9]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
- [e3]Hélène Kirchner, César A. Muñoz (Eds.): Proceedings International Workshop on Strategies in Rewriting, Proving, and Programming. EPTCS 44, 2010
2000 – 2009
- 2009
- [c8]Alwyn Goodloe, César A. Muñoz: Compositional Verification of a Communication Protocol for a Remotely Operated Vehicle. FMICS 2009: 86-101
- [c7]Gilles Dowek, César A. Muñoz, Camilo Rocha: Rewriting Logic Semantics of a Plan Execution Language. SOS 2009: 77-91
- 2008
- [c6]Radu Siminiceanu, Ricky W. Butler, César A. Muñoz: Experimental Evaluation of a Planning Language Suitable for Formal Verification. MoChArt 2008: 132-146
- [e2]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
- 2007
- [j2]Florent Kirchner, César A. Muñoz: PVS#: Streamlined Tacticals for PVS. Electr. Notes Theor. Comput. Sci. 174(11): 47-58 (2007)
- 2006
- [c5]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
- 2004
- [c4]César A. Muñoz, Gilles Dowek, Victor Carreño: Modeling and verification of an air traffic concept of operations. ISSTA 2004: 175-182
- 2003
- [j1]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)
- [c3]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
- 2002
- [e1]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
- 2001
- [c2]Ricky W. Butler, Victor Carreño, Gilles Dowek, César A. Muñoz: Formal Verification of Conflict Detection Algorithms. CHARME 2001: 403-417
- 2000
- [c1]Victor Carreño, César A. Muñoz: Aircraft Trajectory Modeling and Altering Algorithm Verification. TPHOLs 2000: 90-105
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:23 CEST by the dblp team