| 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
Journal of Automated Reasoning | 2024-02-06 | Paper |
Eliminating unstable tests in floating-point programs
Logic-Based Program Synthesis and Transformation | 2023-11-09 | Paper |
scientific article; zbMATH DE number 7699444 (Why is no real title available?)
| 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 |
Rewriting logic semantics of a plan execution language
| 2021-02-09 | Paper |
An abstract interpretation framework for the round-off error analysis of floating-point programs
Lecture Notes in Computer Science | 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
IEEE Transactions on Computers | 2017-08-08 | Paper |
Rewriting modulo SMT and open system analysis
Journal of Logical and Algebraic Methods in Programming | 2016-11-30 | Paper |
Formally-verified decision procedures for univariate polynomial computation based on Sturm's and Tarski's theorems
Journal of Automated Reasoning | 2016-05-26 | Paper |
Affine arithmetic and applications to real-number proving
Interactive Theorem Proving | 2015-09-14 | Paper |
Rewriting modulo SMT and open system analysis
Rewriting Logic and Its Applications | 2015-09-09 | Paper |
Formalization of Bernstein polynomials and applications to global optimization
Journal of Automated Reasoning | 2015-06-23 | Paper |
Compositional verification of a communication protocol for a remotely operated aircraft
Science of Computer Programming | 2014-04-02 | Paper |
PVS\#: streamlined tacticals for PVS
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
Provably correct conflict prevention bands algorithms
Science of Computer Programming | 2012-07-20 | Paper |
A formal library of set relations and its application to synchronous languages
Theoretical Computer Science | 2011-12-23 | Paper |
Simulation and verification of synchronous set relations in rewriting logic
Formal Methods, Foundations and Applications | 2011-11-11 | Paper |
The proof monad
The Journal of Logic and Algebraic Programming | 2010-05-27 | Paper |
Improving Cutting-Stock Plans with Multi-objective Genetic Algorithm
Communications in Computer and Information Science | 2009-03-11 | Paper |
Predicate Abstraction of Programs with Non-linear Computation
Automated Technology for Verification and Analysis | 2008-09-04 | Paper |
Theorem Proving in Higher Order Logics
Lecture Notes in Computer Science | 2006-07-06 | Paper |
scientific article; zbMATH DE number 1852171 (Why is no real title available?)
| 2003-01-09 | Paper |
Dependent types and explicit substitutions: A meta-theoretical development
MSCS. Mathematical Structures in Computer Science | 2001-12-21 | Paper |
scientific article; zbMATH DE number 1670737 (Why is no real title available?)
| 2001-11-11 | Paper |
Architecture and performance of Java-based distributed object models: CORBA vs RMI
Real-Time Systems | 2001-10-10 | Paper |
scientific article; zbMATH DE number 1615228 (Why is no real title available?)
| 2001-07-08 | Paper |
scientific article; zbMATH DE number 1301738 (Why is no real title available?)
| 1999-06-16 | Paper |
