Reynald Affeldt

Available identifiers

zbMath Open affeldt.reynaldMaRDI QIDQ436403

List of research outcomes

Publication	Date of Publication	Type
Measure construction by extension in dependent type theory with application to integration	2023-09-19	Paper
Towards a practical library for monadic equational reasoning in Coq	2023-06-30	Paper
https://portal.mardi4nfdi.de/entity/Q5875410	2023-02-03	Paper
Competing Inheritance Paths in Dependent Type Theory: A Case Study in Functional Analysis	2022-11-09	Paper
A trustful monad for axiomatic reasoning with probability and nondeterminism	2021-09-24	Paper
Formal adventures in convex and conical spaces	2021-01-20	Paper
A library for formalization of linear error-correcting codes	2020-11-02	Paper
A hierarchy of monadic effects for program verification using equational reasoning	2020-05-05	Paper
An Intrinsic Encoding of a Subset of C and its Application to TLS Network Packet Processing	2019-09-18	Paper
https://portal.mardi4nfdi.de/entity/Q5195290	2019-09-18	Paper
Formalization of Error-Correcting Codes: From Hamming to Modern Coding Theory	2015-09-14	Paper
Formalization of Shannon's theorems	2015-07-02	Paper
A Coq library for verification of concurrent programs	2014-01-10	Paper
Partial order reduction for verification of spatial properties of pi-calculus processes	2013-09-25	Paper
Formalization of Shannon’s Theorems in SSReflect-Coq	2012-09-20	Paper
Certifying assembly with formal security proofs: the case of BBS	2012-07-20	Paper
Verification of Security Protocols with a Bounded Number of Sessions Based on Resolution for Rigid Variables	2009-06-09	Paper
Formal Proof of Provable Security by Game-Playing in a Proof Assistant	2008-06-10	Paper
https://portal.mardi4nfdi.de/entity/Q4418578	2003-08-11	Paper

Research outcomes over time

This page was built for person: Reynald Affeldt