César A. Muñoz

According to our database1, César A. Muñoz authored at least 69 papers between 1996 and 2019.

Collaborative distances:



In proceedings 
PhD thesis 



On csauthors.net:


Selected Extended Papers of ITP 2017 - Preface.
J. Autom. Reasoning, 2019

Selected extended papers of NFM 2018.
ISSE, 2019

A Mixed Real and Floating-Point Solver.
Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

Provably Correct Floating-Point Implementation of a Point-in-Polygon Algorithm.
Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

A Decision Procedure for Univariate Polynomial Systems Based on Root Counting and Interval Subdivision.
J. Formalized Reasoning, 2018

Selected Extended Papers of NFM 2016: Preface.
J. Autom. Reasoning, 2018

Eliminating Unstable Tests in Floating-Point Programs.
CoRR, 2018

Formalization of the Undecidability of the Halting Problem for a Functional Language.
Proceedings of the Logic, Language, Information, and Computation, 2018

An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

Eliminating Unstable Tests in Floating-Point Programs.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2018

Boosting the Reuse of Formal Specifications.
Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

A Formally Verified Floating-Point Implementation of the Compact Position Reporting Algorithm.
Proceedings of the Formal Methods - 22nd International Symposium, 2018

From Formal Requirements to Highly Assured Software for Unmanned Aircraft Systems.
Proceedings of the Formal Methods - 22nd International Symposium, 2018

Rewriting modulo SMT and open system analysis.
J. Log. Algebr. Meth. Program., 2017

A Formal Analysis of the Compact Position Reporting Algorithm.
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2017

Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis.
Proceedings of the Computer Safety, Reliability, and Security, 2017

The MINERVA Software Development Process.
Proceedings of the Automated Formal Methods, 2017

Unmanned aircraft systems in the national airspace system: a formal methods perspective.
SIGLOG News, 2016

Formal Analysis of Extended Well-Clear Boundaries for Unmanned Aircraft.
Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

Formally-Verified Decision Procedures for Univariate Polynomial Computation Based on Sturm's and Tarski's Theorems.
J. Autom. Reasoning, 2015

Software Validation via Model Animation.
Proceedings of the Tests and Proofs - 9th International Conference, 2015

A Rigorous Generic Branch and Bound Solver for Nonlinear Problems.
Proceedings of the 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2015

Affine Arithmetic and Applications to Real-Number Proving.
Proceedings of the Interactive Theorem Proving - 6th International Conference, 2015

Formal Methods in Air Traffic Management: The Case of Unmanned Aircraft Systems (Invited Lecture).
Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015

Synchronous set relations in rewriting logic.
Sci. Comput. Program., 2014

Rewriting Modulo SMT and Open System Analysis.
Proceedings of the Rewriting Logic and Its Applications - 10th International Workshop, 2014

Temporal Precedence Checking for Switched Models and Its Application to a Parallel Landing Protocol.
Proceedings of the FM 2014: Formal Methods, 2014

Automated Real Proving in PVS via MetiTarski.
Proceedings of the FM 2014: Formal Methods, 2014

Bifurcation analysis using rigorous branch and bound methods.
Proceedings of the 2014 IEEE Conference on Control Applications, 2014

Compositional verification of a communication protocol for a remotely operated aircraft.
Sci. Comput. Program., 2013

Formalization of Bernstein Polynomials and Applications to Global Optimization.
J. Autom. Reasoning, 2013

A Formally Verified Generic Branching Algorithm for Global Optimization.
Proceedings of the Verified Software: Theories, Tools, Experiments, 2013

Verification of Numerical Programs: From Real Numbers to Floating Point Numbers.
Proceedings of the NASA Formal Methods, 2013

Provably correct conflict prevention bands algorithms.
Sci. Comput. Program., 2012

Formal Verification of Conflict Detection Algorithms for Arbitrary Trajectories.
Reliable Computing, 2012

Bounding the Range of a Rational Function over a box.
Reliable Computing, 2012

A Formal Interactive Verification Environment for the Plan Execution Interchange Language.
Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

A formal library of set relations and its application to synchronous languages.
Theor. Comput. Sci., 2011

Preface: special issue on NASA Formal Methods Symposium 2010.
ISSE, 2011

Simulation and Verification of Synchronous Set Relations in Rewriting Logic.
Proceedings of the Formal Methods, Foundations and Applications - 14th Brazilian Symposium, 2011

Advanced Theorem Proving Techniques in PVS and Applications.
Proceedings of the Tools for Practical Software Verification, 2011

The proof monad.
J. Log. Algebr. Program., 2010

How Formal Methods Impels Discovery: A Short History of an Air Traffic Management Project.
Proceedings of the Second NASA Formal Methods Symposium, 2010

Verified Real Number Calculations: A Library for Interval Arithmetic.
IEEE Trans. Computers, 2009

Rewriting Logic Semantics of a Plan Execution Language
Proceedings of the Proceedings Sixth Workshop on Structural Operational Semantics, 2009

Compositional Verification of a Communication Protocol for a Remotely Operated Vehicle.
Proceedings of the Formal Methods for Industrial Critical Systems, 2009

Experimental Evaluation of a Planning Language Suitable for Formal Verification.
Proceedings of the Model Checking and Artificial Intelligence, 5th International Workshop, 2008

PVS#: Streamlined Tacticals for PVS.
Electr. Notes Theor. Comput. Sci., 2007

Electr. Notes Theor. Comput. Sci., 2007

Verified Real Number Calculations: A Library for Interval Arithmetic
CoRR, 2007

Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm.
Proceedings of the Logic, 2007

Provably faithful evaluation of polynomials.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Formal Analysis of the Operational Concept for the Small Aircraft Transportation System.
Proceedings of the Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], 2006

Predicate Abstraction of Programs with Non-linear Computation.
Proceedings of the Automated Technology for Verification and Analysis, 2006

Real Number Calculations and Theorem Proving.
Proceedings of the Theorem Proving in Higher Order Logics, 18th International Conference, 2005

Automated test generation for engineering applications.
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

Guaranteed Proofs Using Interval Arithmetic.
Proceedings of the 17th IEEE Symposium on Computer Arithmetic (ARITH-17 2005), 2005

Modeling and verification of an air traffic concept of operations.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2004

Formal verification of conflict detection algorithms.
STTT, 2003

Simulation and verification I: formal analysis of air traffic management systems: the case of conflict resolution and recovery.
Proceedings of the 35th Winter Simulation Conference: Driving Innovation, 2003

Proof-term synthesis on dependent-type systems via explicit substitutions.
Theor. Comput. Sci., 2001

Dependent types and explicit substitutions: a meta-theoretical development.
Mathematical Structures in Computer Science, 2001

Formal Verification of Conflict Detection Algorithms.
Proceedings of the Correct Hardware Design and Verification Methods, 2001

Explicit Substitions and All That.
Revista Colombiana de Computación, 2000

Aircraft Trajectory Modeling and Altering Algorithm Verification.
Proceedings of the Theorem Proving in Higher Order Logics, 13th International Conference, 2000

Absolute Explicit Unification.
Proceedings of the Rewriting Techniques and Applications, 11th International Conference, 2000

Structural Embeddings: Mechanization with Method.
Proceedings of the FM'99 - Formal Methods, 1999

Dependent Types with Explicit Substitutiuons: A Meta-theoretical development.
Proceedings of the Types for Proofs and Programs, 1996

Confluence and Preservation of Strong Normalisation in an Explicit Substitutions Calculus.
Proceedings of the Proceedings, 1996