César Muñoz

Available identifiers

zbMath Open munoz.cesar-aWikidataQ102353431 ScholiaQ102353431MaRDI QIDQ1791191

List of research outcomes

Publication	Date of Publication	Type
Provably correct floating-point implementation of a point-in-polygon algorithm	2024-03-14	Paper
Formal verification of termination criteria for first-order recursive functions	2024-02-06	Paper
Eliminating unstable tests in floating-point programs	2023-11-09	Paper
https://portal.mardi4nfdi.de/entity/Q6099621	2023-06-20	Paper
Automatic Generation of Guard-Stable Floating-Point Code	2023-03-21	Paper
A formally verified floating-point implementation of the compact position reporting algorithm	2021-05-04	Paper
https://portal.mardi4nfdi.de/entity/Q5150132	2021-02-09	Paper
An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs	2020-07-07	Paper
A Decision Procedure for Univariate Polynomial Systems Based on Root Counting and Interval Subdivision.	2019-09-18	Paper
A formal analysis of the compact position reporting algorithm	2018-12-07	Paper
Formalization of the undecidability of the halting problem for a functional language	2018-10-18	Paper
Boosting the reuse of formal specifications	2018-10-04	Paper
Verified Real Number Calculations: A Library for Interval Arithmetic	2017-08-08	Paper
Rewriting modulo SMT and open system analysis	2016-11-30	Paper
Formally-verified decision procedures for univariate polynomial computation based on Sturm's and Tarski's theorems	2016-05-26	Paper
Affine Arithmetic and Applications to Real-Number Proving	2015-09-14	Paper
Rewriting Modulo SMT and Open System Analysis	2015-09-09	Paper
Formalization of Bernstein polynomials and applications to global optimization	2015-06-23	Paper
Compositional verification of a communication protocol for a remotely operated aircraft	2014-04-02	Paper
PVS\#: streamlined tacticals for PVS	2013-12-06	Paper
Provably correct conflict prevention bands algorithms	2012-07-20	Paper
A formal library of set relations and its application to synchronous languages	2011-12-23	Paper
Simulation and verification of synchronous set relations in rewriting logic	2011-11-11	Paper
The proof monad	2010-05-27	Paper
Improving Cutting-Stock Plans with Multi-objective Genetic Algorithm	2009-03-11	Paper
Predicate Abstraction of Programs with Non-linear Computation	2008-09-04	Paper
Theorem Proving in Higher Order Logics	2006-07-06	Paper
https://portal.mardi4nfdi.de/entity/Q4787249	2003-01-09	Paper
Dependent types and explicit substitutions: A meta-theoretical development	2001-12-21	Paper
https://portal.mardi4nfdi.de/entity/Q2754035	2001-11-11	Paper
Architecture and performance of Java-based distributed object models: CORBA vs RMI	2001-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q2723889	2001-07-08	Paper
https://portal.mardi4nfdi.de/entity/Q4246951	1999-06-16	Paper

Research outcomes over time

This page was built for person: César Muñoz