César A. Muñoz

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 31

Top Topics

Formal Verification

Branch And Bound Method

Formal Analysis

Recursive Functions

Top Venues

J. Autom. Reason.

Publications

Lauren White, Laura Titolo, J. Tanner Slagel, César A. Muñoz
A Temporal Differential Dynamic Logic Formal Embedding. CPP (2024)
J. Tanner Slagel, Lauren M. White, Aaron Dutle, César A. Muñoz, Nicolas Crespo
A Formal Verification Framework for Runtime Assurance. NFM (2024)
J. Tanner Slagel, Mariano M. Moscato, Lauren M. White, César A. Muñoz, Swee Balachandran, Aaron Dutle
Embedding Differential Dynamic Logic in PVS. CoRR (2024)
Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez
Selected extended papers of NFM 2021. Innov. Syst. Softw. Eng. 19 (4) (2023)
César A. Muñoz, Mauricio Ayala-Rincón, Mariano M. Moscato, Aaron Dutle, Anthony J. Narkawicz, Ariane Alves Almeida, Andréia B. Avelar da Silva, Thiago Mendonça Ferreira Ramos
Formal Verification of Termination Criteria for First-Order Recursive Functions. J. Autom. Reason. 67 (4) (2023)
Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Gregory Anderson, François Bobot
Formal analysis of the compact position reporting algorithm. Formal Aspects Comput. 33 (1) (2021)
César A. Muñoz, Mauricio Ayala-Rincón, Mariano M. Moscato, Aaron Dutle, Anthony J. Narkawicz, Ariane Alves Almeida, Andréia B. Avelar, Thiago Mendonça Ferreira Ramos
Formal Verification of Termination Criteria for First-Order Recursive Functions. ITP (2021)
Laura Titolo, Mariano M. Moscato, César A. Muñoz
Automatic generation and verification of test-stable floating-point code. CoRR (2020)
Aaron Dutle, César A. Muñoz, Esther Conrad, Alwyn Goodloe, Laura Titolo, Ivan Perez, Swee Balachandran, Dimitra Giannakopoulou, Anastasia Mavridou, Thomas Pressburger
From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project. FMAS (2020)
Laura Titolo, Mariano M. Moscato, Marco A. Feliú, César A. Muñoz
Automatic Generation of Guard-Stable Floating-Point Code. IFM (2020)
Paolo Masci, César A. Muñoz
A Graphical Toolkit for the Validation of Requirements for Detect and Avoid Systems. TAP@STAF (2020)
Aaron Dutle, César A. Muñoz, Anthony Narkawicz
Selected extended papers of NFM 2018. Innov. Syst. Softw. Eng. 15 (3-4) (2019)
Mariano M. Moscato, Laura Titolo, Marco A. Feliú, César A. Muñoz
Provably Correct Floating-Point Implementation of a Point-in-Polygon Algorithm. FM (2019)
Rocco Salvia, Laura Titolo, Marco A. Feliú, Mariano M. Moscato, César A. Muñoz, Zvonimir Rakamaric
A Mixed Real and Floating-Point Solver. NFM (2019)
Mauricio Ayala-Rincón, César A. Muñoz
Selected Extended Papers of ITP 2017 - Preface. J. Autom. Reason. 63 (2) (2019)
Paolo Masci, César A. Muñoz
An Integrated Development Environment for the Prototype Verification System. F-IDE@FM (2019)
Thiago Mendonça Ferreira Ramos, César A. Muñoz, Mauricio Ayala-Rincón, Mariano M. Moscato, Aaron Dutle, Anthony Narkawicz
Formalization of the Undecidability of the Halting Problem for a Functional Language. WoLLIC (2018)
Laura Titolo, Mariano M. Moscato, César A. Muñoz, Aaron Dutle, François Bobot
A Formally Verified Floating-Point Implementation of the Compact Position Reporting Algorithm. FM (2018)
César A. Muñoz, Anthony J. Narkawicz, Aaron Dutle
A Decision Procedure for Univariate Polynomial Systems Based on Root Counting and Interval Subdivision. J. Formaliz. Reason. 11 (1) (2018)
César A. Muñoz, Anthony Narkawicz, Aaron Dutle
From Formal Requirements to Highly Assured Software for Unmanned Aircraft Systems. FM (2018)
Laura Titolo, César A. Muñoz, Marco A. Feliú, Mariano M. Moscato
Eliminating Unstable Tests in Floating-Point Programs. CoRR (2018)
Mariano M. Moscato, Carlos Gustavo López Pombo, César A. Muñoz, Marco A. Feliú
Boosting the Reuse of Formal Specifications. ITP (2018)
Laura Titolo, César A. Muñoz, Marco A. Feliú, Mariano M. Moscato
Eliminating Unstable Tests in Floating-Point Programs. LOPSTR (2018)
César A. Muñoz, Sanjai Rayadurgam, Oksana Tkachuk
Selected Extended Papers of NFM 2016: Preface. J. Autom. Reason. 60 (1) (2018)
Laura Titolo, Marco A. Feliú, Mariano M. Moscato, César A. Muñoz
An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs. VMCAI (2018)
Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz
A Formal Analysis of the Compact Position Reporting Algorithm. VSTTE (2017)
Anthony Narkawicz, César A. Muñoz, Aaron Dutle
The MINERVA Software Development Process. AFM@NFM (2017)
Camilo Rocha, José Meseguer, César A. Muñoz
Rewriting modulo SMT and open system analysis. J. Log. Algebraic Methods Program. 86 (1) (2017)
Mariano M. Moscato, Laura Titolo, Aaron Dutle, César A. Muñoz
Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis. SAFECOMP (2017)
César A. Muñoz, Aaron Dutle, Anthony Narkawicz, Jason Upchurch
Unmanned aircraft systems in the national airspace system: a formal methods perspective. ACM SIGLOG News 3 (3) (2016)
César A. Muñoz, Anthony Narkawicz
Formal Analysis of Extended Well-Clear Boundaries for Unmanned Aircraft. NFM (2016)
César A. Muñoz
Formal Methods in Air Traffic Management: The Case of Unmanned Aircraft Systems (Invited Lecture). ICTAC (2015)
Aaron Dutle, César A. Muñoz, Anthony Narkawicz, Ricky W. Butler
Software Validation via Model Animation. TAP@STAF (2015)
Andrew P. Smith, César A. Muñoz, Anthony J. Narkawicz, Mantas Markevicius
A Rigorous Generic Branch and Bound Solver for Nonlinear Problems. SYNASC (2015)
Anthony Narkawicz, César A. Muñoz, Aaron Dutle
Formally-Verified Decision Procedures for Univariate Polynomial Computation Based on Sturm's and Tarski's Theorems. J. Autom. Reason. 54 (4) (2015)
Mariano M. Moscato, César A. Muñoz, Andrew P. Smith
Affine Arithmetic and Applications to Real-Number Proving. ITP (2015)
Camilo Rocha, César A. Muñoz
Synchronous set relations in rewriting logic. Sci. Comput. Program. 92 (2014)
Andrew P. Smith, Luis G. Crespo, César A. Muñoz, Mark H. Lowenberg
Bifurcation analysis using rigorous branch and bound methods. CCA (2014)
Parasara Sridhar Duggirala, Le Wang, Sayan Mitra, Mahesh Viswanathan, César A. Muñoz
Temporal Precedence Checking for Switched Models and Its Application to a Parallel Landing Protocol. FM (2014)
William Denman, César A. Muñoz
Automated Real Proving in PVS via MetiTarski. FM (2014)
Camilo Rocha, José Meseguer, César A. Muñoz
Rewriting Modulo SMT and Open System Analysis. WRLA (2014)
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)
Alwyn Goodloe, César A. Muñoz
Compositional verification of a communication protocol for a remotely operated aircraft. Sci. Comput. Program. 78 (7) (2013)
César A. Muñoz, Anthony Narkawicz
Formalization of Bernstein Polynomials and Applications to Global Optimization. J. Autom. Reason. 51 (2) (2013)
Anthony Narkawicz, César A. Muñoz
A Formally Verified Generic Branching Algorithm for Global Optimization. VSTTE (2013)
Anthony Narkawicz, César A. Muñoz, Gilles Dowek
Provably correct conflict prevention bands algorithms. Sci. Comput. Program. 77 (10-11) (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)
Anthony Narkawicz, Jürgen Garloff, Andrew P. Smith, César A. Muñoz
Bounding the Range of a Rational Function over a box. Reliab. Comput. 17 (2012)
Anthony Narkawicz, César A. Muñoz
Formal Verification of Conflict Detection Algorithms for Arbitrary Trajectories. Reliab. Comput. 17 (2012)
Camilo Rocha, César A. Muñoz
Simulation and Verification of Synchronous Set Relations in Rewriting Logic. SBMF (2011)
César A. Muñoz, Ramiro A. Demasi
Advanced Theorem Proving Techniques in PVS and Applications. LASER Summer School (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) (2011)
César A. Muñoz
Preface: special issue on NASA Formal Methods Symposium 2010. Innov. Syst. Softw. Eng. 7 (2) (2011)
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)
Florent Kirchner, César A. Muñoz
The proof monad. J. Log. Algebraic Methods Program. 79 (3-5) (2010)
Alwyn Goodloe, César A. Muñoz
Compositional Verification of a Communication Protocol for a Remotely Operated Vehicle. FMICS (2009)
Gilles Dowek, César A. Muñoz, Camilo Rocha
Rewriting Logic Semantics of a Plan Execution Language SOS (2009)
Marc Daumas, David R. Lester, César A. Muñoz
Verified Real Number Calculations: A Library for Interval Arithmetic. IEEE Trans. Computers 58 (2) (2009)
Radu Siminiceanu, Ricky W. Butler, César A. Muñoz
Experimental Evaluation of a Planning Language Suitable for Formal Verification. MoChArt (2008)
Marc Daumas, David R. Lester, César A. Muñoz
Verified Real Number Calculations: A Library for Interval Arithmetic CoRR (2007)
Myla Archer, Thierry Boy de la Tour, César A. Muñoz
Preface. Electron. Notes Theor. Comput. Sci. 174 (11) (2007)
André Luiz Galdino, César A. Muñoz, Mauricio Ayala-Rincón
Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm. WoLLIC (2007)
Florent Kirchner, César A. Muñoz
PVS#: Streamlined Tacticals for PVS. Electron. Notes Theor. Comput. Sci. 174 (11) (2007)
Sylvie Boldo, César A. Muñoz
Provably faithful evaluation of polynomials. SAC (2006)
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)
Songtao Xia, Ben Di Vito, César A. Muñoz
Predicate Abstraction of Programs with Non-linear Computation. ATVA (2006)
Marc Daumas, Guillaume Melquiond, César A. Muñoz
Guaranteed Proofs Using Interval Arithmetic. IEEE Symposium on Computer Arithmetic (2005)
César A. Muñoz, David R. Lester
Real Number Calculations and Theorem Proving. TPHOLs (2005)
Songtao Xia, Ben Di Vito, César A. Muñoz
Automated test generation for engineering applications. ASE (2005)
César A. Muñoz, Gilles Dowek, Victor Carreño
Modeling and verification of an air traffic concept of operations. ISSTA (2004)
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. WSC (2003)
César A. Muñoz, Victor Carreño, Gilles Dowek, Ricky W. Butler
Formal verification of conflict detection algorithms. Int. J. Softw. Tools Technol. Transf. 4 (3) (2003)
César A. Muñoz
Proof-term synthesis on dependent-type systems via explicit substitutions. Theor. Comput. Sci. 266 (1-2) (2001)
César A. Muñoz
Dependent types and explicit substitutions: a meta-theoretical development. Math. Struct. Comput. Sci. 11 (1) (2001)
Ricky W. Butler, Victor Carreño, Gilles Dowek, César A. Muñoz
Formal Verification of Conflict Detection Algorithms. CHARME (2001)
Mauricio Ayala-Rincón, César A. Muñoz
Explicit Substitions and All That. Rev. Colomb. de Computación 1 (1) (2000)
Victor Carreño, César A. Muñoz
Aircraft Trajectory Modeling and Altering Algorithm Verification. TPHOLs (2000)
Nikolaj Bjørner, César A. Muñoz
Absolute Explicit Unification. RTA (2000)
César A. Muñoz, John M. Rushby
Structural Embeddings: Mechanization with Method. World Congress on Formal Methods (1999)
César A. Muñoz
Confluence and Preservation of Strong Normalisation in an Explicit Substitutions Calculus. LICS (1996)
César A. Muñoz
Dependent Types with Explicit Substitutiuons: A Meta-theoretical development. TYPES (1996)