César A. Muñoz

Available identifiers

zbMath Open munoz.cesar-aWikidataQ102353431 ScholiaQ102353431MaRDI QIDQ1791191

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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