César A. Muñoz

According to our database, César A. Muñoz authored at least 79 papers between 1996 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

A Formal Verification Framework for Runtime Assurance.

J. Tanner Slagel, Lauren M. White, Aaron Dutle, César A. Muñoz, Nicolas Crespo

Proceedings of the NASA Formal Methods - 16th International Symposium, 2024

Rigorous Floating-Point Round-Off Error Analysis in PRECiSA 4.0.

Laura Titolo, Mariano M. Moscato, Marco A. Feliú, Paolo Masci, César A. Muñoz

Proceedings of the Formal Methods - 26th International Symposium, 2024

A Temporal Differential Dynamic Logic Formal Embedding.

Lauren M. White, Laura Titolo, J. Tanner Slagel, César A. Muñoz

Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024

2023

Formal Verification of Termination Criteria for First-Order Recursive Functions.

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

J. Autom. Reason., December, 2023

Selected extended papers of NFM 2021.

Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez

Innov. Syst. Softw. Eng., December, 2023

Embedding Differential Dynamic Logic in PVS.

J. Tanner Slagel, Mariano M. Moscato, Lauren M. White, César A. Muñoz, Swee Balachandran, Aaron Dutle

Proceedings of the Proceedings 18th International Workshop on Logical and Semantic Frameworks, 2023

2022

Towards an implementation of differential dynamic logic in PVS.

J. Tanner Slagel, César A. Muñoz, Swee Balachandran, Mariano M. Moscato, Aaron Dutle, Paolo Masci, Lauren M. White

Proceedings of the SOAP '22: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2022

2021

Formal analysis of the compact position reporting algorithm.

Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Gregory Anderson, François Bobot

Formal Aspects Comput., 2021

2020

From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project.

Aaron Dutle, César A. Muñoz, Esther Conrad, Alwyn Goodloe, Laura Titolo, Ivan Perez, Swee Balachandran, Dimitra Giannakopoulou, Anastasia Mavridou, Thomas Pressburger

Proceedings of the Proceedings Second Workshop on Formal Methods for Autonomous Systems, 2020

Automatic generation and verification of test-stable floating-point code.

Laura Titolo, Mariano M. Moscato, César A. Muñoz

CoRR, 2020

A Graphical Toolkit for the Validation of Requirements for Detect and Avoid Systems.

Paolo Masci, César A. Muñoz

Proceedings of the Tests and Proofs - 14th International Conference, 2020

Automatic Generation of Guard-Stable Floating-Point Code.

Laura Titolo, Mariano M. Moscato, Marco A. Feliú, César A. Muñoz

Proceedings of the Integrated Formal Methods - 16th International Conference, 2020

2019

Selected Extended Papers of ITP 2017 - Preface.

Mauricio Ayala-Rincón, César A. Muñoz

J. Autom. Reason., 2019

Selected extended papers of NFM 2018.

Aaron Dutle, César A. Muñoz, Anthony Narkawicz

Innov. Syst. Softw. Eng., 2019

An Integrated Development Environment for the Prototype Verification System.

Paolo Masci, César A. Muñoz

Proceedings of the Proceedings Fifth Workshop on Formal Integrated Development Environment, 2019

A Mixed Real and Floating-Point Solver.

Rocco Salvia, Laura Titolo, Marco A. Feliú, Mariano M. Moscato, César A. Muñoz, Zvonimir Rakamaric

Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

Provably Correct Floating-Point Implementation of a Point-in-Polygon Algorithm.

Mariano M. Moscato, Laura Titolo, Marco A. Feliú, César A. Muñoz

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2018

A Decision Procedure for Univariate Polynomial Systems Based on Root Counting and Interval Subdivision.

César A. Muñoz, Anthony J. Narkawicz, Aaron Dutle

J. Formaliz. Reason., 2018

Selected Extended Papers of NFM 2016: Preface.

César A. Muñoz, Sanjai Rayadurgam, Oksana Tkachuk

J. Autom. Reason., 2018

Formalization of the Undecidability of the Halting Problem for a Functional Language.

Thiago Mendonça Ferreira Ramos, César A. Muñoz, Mauricio Ayala-Rincón, Mariano M. Moscato, Aaron Dutle, Anthony Narkawicz

Proceedings of the Logic, Language, Information, and Computation, 2018

An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs.

Laura Titolo, Marco A. Feliú, Mariano M. Moscato, César A. Muñoz

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

Eliminating Unstable Tests in Floating-Point Programs.

Laura Titolo, César A. Muñoz, Marco A. Feliú, Mariano M. Moscato

Proceedings of the Logic-Based Program Synthesis and Transformation, 2018

Boosting the Reuse of Formal Specifications.

Mariano M. Moscato, Carlos Gustavo López Pombo, César A. Muñoz, Marco A. Feliú

Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

Inspection of electrical transmission structures with UAV path conformance and lidar-based geofences.

Andrew J. Moore, Matthew Schubert, Nicholas Rymer, Swee Balachandran, Maria Consiglio, César A. Muñoz, Joshua Smith, Dexter Lewis, Paul Schneide

Proceedings of the 2018 IEEE Power & Energy Society Innovative Smart Grid Technologies Conference, 2018

A Formally Verified Floating-Point Implementation of the Compact Position Reporting Algorithm.

Laura Titolo, Mariano M. Moscato, César A. Muñoz, Aaron Dutle, François Bobot

Proceedings of the Formal Methods - 22nd International Symposium, 2018

From Formal Requirements to Highly Assured Software for Unmanned Aircraft Systems.

César A. Muñoz, Anthony Narkawicz, Aaron Dutle

Proceedings of the Formal Methods - 22nd International Symposium, 2018

2017

Rewriting modulo SMT and open system analysis.

Camilo Rocha, José Meseguer, César A. Muñoz

J. Log. Algebraic Methods Program., 2017

A Formal Analysis of the Compact Position Reporting Algorithm.

Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2017

Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis.

Mariano M. Moscato, Laura Titolo, Aaron Dutle, César A. Muñoz

Proceedings of the Computer Safety, Reliability, and Security, 2017

The MINERVA Software Development Process.

Anthony Narkawicz, César A. Muñoz, Aaron Dutle

Proceedings of the Automated Formal Methods, 2017

2016

Unmanned aircraft systems in the national airspace system: a formal methods perspective.

César A. Muñoz, Aaron Dutle, Anthony Narkawicz, Jason Upchurch

ACM SIGLOG News, 2016

Formal Analysis of Extended Well-Clear Boundaries for Unmanned Aircraft.

César A. Muñoz, Anthony Narkawicz

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

2015

Formally-Verified Decision Procedures for Univariate Polynomial Computation Based on Sturm's and Tarski's Theorems.

Anthony Narkawicz, César A. Muñoz, Aaron Dutle

J. Autom. Reason., 2015

Software Validation via Model Animation.

Aaron Dutle, César A. Muñoz, Anthony Narkawicz, Ricky W. Butler

Proceedings of the Tests and Proofs - 9th International Conference, 2015

A Rigorous Generic Branch and Bound Solver for Nonlinear Problems.

Andrew P. Smith, César A. Muñoz, Anthony J. Narkawicz, Mantas Markevicius

Proceedings of the 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2015

Affine Arithmetic and Applications to Real-Number Proving.

Mariano M. Moscato, César A. Muñoz, Andrew P. Smith

Proceedings of the Interactive Theorem Proving - 6th International Conference, 2015

Formal Methods in Air Traffic Management: The Case of Unmanned Aircraft Systems (Invited Lecture).

César A. Muñoz

Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015

2014

Synchronous set relations in rewriting logic.

Camilo Rocha, César A. Muñoz

Sci. Comput. Program., 2014

Temporal Precedence Checking for Switched Models and Its Application to a Parallel Landing Protocol.

Parasara Sridhar Duggirala, Le Wang, Sayan Mitra, Mahesh Viswanathan, César A. Muñoz

Proceedings of the FM 2014: Formal Methods, 2014

Automated Real Proving in PVS via MetiTarski.

William Denman, César A. Muñoz

Proceedings of the FM 2014: Formal Methods, 2014

Bifurcation analysis using rigorous branch and bound methods.

Andrew P. Smith, Luis G. Crespo, César A. Muñoz, Mark H. Lowenberg

Proceedings of the 2014 IEEE Conference on Control Applications, 2014

2013

Compositional verification of a communication protocol for a remotely operated aircraft.

Alwyn Goodloe, César A. Muñoz

Sci. Comput. Program., 2013

Formalization of Bernstein Polynomials and Applications to Global Optimization.

César A. Muñoz, Anthony Narkawicz

J. Autom. Reason., 2013

A Formally Verified Generic Branching Algorithm for Global Optimization.

Anthony Narkawicz, César A. Muñoz

Proceedings of the Verified Software: Theories, Tools, Experiments, 2013

Verification of Numerical Programs: From Real Numbers to Floating Point Numbers.

Alwyn Goodloe, César A. Muñoz, Florent Kirchner, Loïc Correnson

Proceedings of the NASA Formal Methods, 2013

2012

Provably correct conflict prevention bands algorithms.

Anthony Narkawicz, César A. Muñoz, Gilles Dowek

Sci. Comput. Program., 2012

Formal Verification of Conflict Detection Algorithms for Arbitrary Trajectories.

Anthony Narkawicz, César A. Muñoz

Reliab. Comput., 2012

Bounding the Range of a Rational Function over a box.

Anthony Narkawicz, Jürgen Garloff, Andrew P. Smith, César A. Muñoz

Reliab. Comput., 2012

A Formal Interactive Verification Environment for the Plan Execution Interchange Language.

Camilo Rocha, Héctor Cadavid, César A. Muñoz, Radu Siminiceanu

Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

2011

A formal library of set relations and its application to synchronous languages.

Camilo Rocha, César A. Muñoz, Gilles Dowek

Theor. Comput. Sci., 2011

Preface: special issue on NASA Formal Methods Symposium 2010.

César A. Muñoz

Innov. Syst. Softw. Eng., 2011

Simulation and Verification of Synchronous Set Relations in Rewriting Logic.

Camilo Rocha, César A. Muñoz

Proceedings of the Formal Methods, Foundations and Applications - 14th Brazilian Symposium, 2011

Advanced Theorem Proving Techniques in PVS and Applications.

César A. Muñoz, Ramiro A. Demasi

Proceedings of the Tools for Practical Software Verification, 2011

2010

The proof monad.

Florent Kirchner, César A. Muñoz

J. Log. Algebraic Methods Program., 2010

How Formal Methods Impels Discovery: A Short History of an Air Traffic Management Project.

Ricky W. Butler, George Hagen, Jeffrey Maddalon, César A. Muñoz, Anthony Narkawicz, Gilles Dowek

Proceedings of the Second NASA Formal Methods Symposium, 2010

2009

Verified Real Number Calculations: A Library for Interval Arithmetic.

Marc Daumas, David R. Lester, César A. Muñoz

IEEE Trans. Computers, 2009

Rewriting Logic Semantics of a Plan Execution Language

Gilles Dowek, César A. Muñoz, Camilo Rocha

Proceedings of the Proceedings Sixth Workshop on Structural Operational Semantics, 2009

Compositional Verification of a Communication Protocol for a Remotely Operated Vehicle.

Alwyn Goodloe, César A. Muñoz

Proceedings of the Formal Methods for Industrial Critical Systems, 2009

2008

Experimental Evaluation of a Planning Language Suitable for Formal Verification.

Radu Siminiceanu, Ricky W. Butler, César A. Muñoz

Proceedings of the Model Checking and Artificial Intelligence, 5th International Workshop, 2008

2007

Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm.

André Luiz Galdino, César A. Muñoz, Mauricio Ayala-Rincón

Proceedings of the Logic, 2007

2006

PVS#: Streamlined Tacticals for PVS.

Florent Kirchner, César A. Muñoz

Proceedings of the 6th International Workshop on Strategies in Automated Deduction, 2006

Preface.

Myla Archer, Thierry Boy de la Tour, César A. Muñoz

Proceedings of the 6th International Workshop on Strategies in Automated Deduction, 2006

Provably faithful evaluation of polynomials.

Sylvie Boldo, César A. Muñoz

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Formal Analysis of the Operational Concept for the Small Aircraft Transportation System.

César A. Muñoz, Victor Carreño, Gilles Dowek

Proceedings of the Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], 2006

Predicate Abstraction of Programs with Non-linear Computation.

Songtao Xia, Ben Di Vito, César A. Muñoz

Proceedings of the Automated Technology for Verification and Analysis, 2006

2005

Real Number Calculations and Theorem Proving.

César A. Muñoz, David R. Lester

Proceedings of the Theorem Proving in Higher Order Logics, 18th International Conference, 2005

Automated test generation for engineering applications.

Songtao Xia, Ben Di Vito, César A. Muñoz

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

Guaranteed Proofs Using Interval Arithmetic.

Marc Daumas, Guillaume Melquiond, César A. Muñoz

Proceedings of the 17th IEEE Symposium on Computer Arithmetic (ARITH-17 2005), 2005

2004

Modeling and verification of an air traffic concept of operations.

César A. Muñoz, Gilles Dowek, Victor Carreño

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2004

2003

Formal verification of conflict detection algorithms.

César A. Muñoz, Victor Carreño, Gilles Dowek, Ricky W. Butler

Int. J. Softw. Tools Technol. Transf., 2003

Simulation and verification I: formal analysis of air traffic management systems: the case of conflict resolution and recovery.

Ricky W. Butler, Jeffrey Maddalon, Alfons Geser, César A. Muñoz

Proceedings of the 35th Winter Simulation Conference: Driving Innovation, 2003

2001

Proof-term synthesis on dependent-type systems via explicit substitutions.

César A. Muñoz

Theor. Comput. Sci., 2001

Dependent types and explicit substitutions: a meta-theoretical development.

César A. Muñoz

Math. Struct. Comput. Sci., 2001

2000

Explicit Substitions and All That.

Mauricio Ayala-Rincón, César A. Muñoz

Rev. Colomb. de Computación, 2000

Aircraft Trajectory Modeling and Altering Algorithm Verification.

Victor Carreño, César A. Muñoz

Proceedings of the Theorem Proving in Higher Order Logics, 13th International Conference, 2000

Absolute Explicit Unification.

Nikolaj S. Bjørner, César A. Muñoz

Proceedings of the Rewriting Techniques and Applications, 11th International Conference, 2000

1999

Structural Embeddings: Mechanization with Method.

César A. Muñoz, John M. Rushby

Proceedings of the FM'99 - Formal Methods, 1999

1996

Dependent Types with Explicit Substitutiuons: A Meta-theoretical development.

César A. Muñoz

Proceedings of the Types for Proofs and Programs, 1996

Confluence and Preservation of Strong Normalisation in an Explicit Substitutions Calculus.

César A. Muñoz

Proceedings of the Proceedings, 1996