Reynald Affeldt

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 25

Top Topics

Database Software

Subjective Probabilities

Top Venues

J. Autom. Reason.

Publications

Reynald Affeldt, Alessandro Bruni, Ekaterina Komendantskaya, Natalia Slusarz, Kathrin Stark
Taming Differentiable Logics with Coq Formalisation. CoRR (2024)
Reynald Affeldt, Zachary Stone
A Comprehensive Overview of the Lebesgue Differentiation Theorem in Coq. CoRR (2024)
Reynald Affeldt, Cyril Cohen
Measure Construction by Extension in Dependent Type Theory with Application to Integration. J. Autom. Reason. 67 (3) (2023)
Reynald Affeldt, Jacques Garrigue, Takafumi Saikawa
A Practical Formalization of Monadic Equational Reasoning in Dependent-type Theory. CoRR (2023)
Ayumu Saito, Reynald Affeldt
Experimenting with an Intrinsically-Typed Probabilistic Programming Language in Coq. APLAS (2023)
Reynald Affeldt, Cyril Cohen, Ayumu Saito
Semantics of Probabilistic Programs using s-Finite Kernels in Coq. CPP (2023)
Reynald Affeldt, Cyril Cohen
Measure Construction by Extension in Dependent Type Theory with Application to Integration. CoRR (2022)
Ayumu Saito, Reynald Affeldt
Towards a Practical Library for Monadic Equational Reasoning in Coq. MPC (2022)
Reynald Affeldt, Jacques Garrigue, David Nowak, Takafumi Saikawa
A trustful monad for axiomatic reasoning with probability and nondeterminism. J. Funct. Program. 31 (2021)
Reynald Affeldt, David Nowak
Extending Equational Monadic Reasoning with Monad Transformers. TYPES (2020)
Reynald Affeldt, Cyril Cohen, Marie Kerjean, Assia Mahboubi, Damien Rouhling, Kazuhiko Sakaguchi
Competing Inheritance Paths in Dependent Type Theory: A Case Study in Functional Analysis. IJCAR (2) (2020)
Reynald Affeldt, Jacques Garrigue, David Nowak, Takafumi Saikawa
A Trustful Monad for Axiomatic Reasoning with Probability and Nondeterminism. CoRR (2020)
Reynald Affeldt, David Nowak
Extending Equational Monadic Reasoning with Monad Transformers. CoRR (2020)
Reynald Affeldt, Jacques Garrigue, Takafumi Saikawa
A Library for Formalization of Linear Error-Correcting Codes. J. Autom. Reason. 64 (6) (2020)
Reynald Affeldt, Jacques Garrigue, Takafumi Saikawa
Formal Adventures in Convex and Conical Spaces. CoRR (2020)
Reynald Affeldt, Jacques Garrigue, Takafumi Saikawa
Formal Adventures in Convex and Conical Spaces. CICM (2020)
Reynald Affeldt, David Nowak, Takafumi Saikawa
A Hierarchy of Monadic Effects for Program Verification Using Equational Reasoning. MPC (2019)
Reynald Affeldt, Jacques Garrigue, Xuanrui Qi, Kazunari Tanaka
Proving tree algorithms for succinct data structures. CoRR (2019)
Reynald Affeldt, Jacques Garrigue, Xuanrui Qi, Kazunari Tanaka
Proving Tree Algorithms for Succinct Data Structures. ITP (2019)
Reynald Affeldt, Jacques Garrigue, Takafumi Saikawa
Examples of Formal Proofs about Data Compression. ISITA (2018)
Akira Tanaka, Reynald Affeldt, Jacques Garrigue
Safe Low-level Code Generation in Coq Using Monomorphization and Monadification. J. Inf. Process. 26 (2018)
Reynald Affeldt, Cyril Cohen, Damien Rouhling
Formalization Techniques for Asymptotic Reasoning in Classical Analysis. J. Formaliz. Reason. 11 (1) (2018)
Reynald Affeldt, Cyril Cohen
Formal foundations of 3D geometry to model robot manipulators. CPP (2017)
Akira Tanaka, Reynald Affeldt, Jacques Garrigue
Formal Verification of the rank Algorithm for Succinct Data Structures. ICFEM (2016)
Reynald Affeldt, Jacques Garrigue, Takafumi Saikawa
Formalization of Reed-Solomon codes and progress report on formalization of LDPC codes. ISITA (2016)
Reynald Affeldt, Jacques Garrigue
Formalization of Error-Correcting Codes: From Hamming to Modern Coding Theory. ITP (2015)
Ryosuke Obi, Manabu Hagiwara, Reynald Affeldt
Formalization of the variable-length source coding theorem: Direct part. ISITA (2014)
Reynald Affeldt, Kazuhiko Sakaguchi
An Intrinsic Encoding of a Subset of C and its Application to TLS Network Packet Processing. J. Formaliz. Reason. 7 (1) (2014)
Reynald Affeldt, Manabu Hagiwara, Jonas Sénizergues
Formalization of Shannon's Theorems. J. Autom. Reason. 53 (1) (2014)
Yoichi Hirai, Reynald Affeldt
What could Coq do for Database Software? - A Progress Report. JFLA (2014)
Reynald Affeldt
On construction of a library of formally verified low-level arithmetic functions. Innov. Syst. Softw. Eng. 9 (2) (2013)
Reynald Affeldt, Nicolas Marti
Towards formal verification of TLS network packet processing written in C. PLPV (2013)
Reynald Affeldt, David Nowak, Kiyoshi Yamada
Certifying assembly with formal security proofs: The case of BBS. Sci. Comput. Program. 77 (10-11) (2012)
Reynald Affeldt, Manabu Hagiwara
Formalization of Shannon's Theorems in SSReflect-Coq. ITP (2012)
Reynald Affeldt, David Nowak, Yutaka Oiwa
Formal network packet processing with minimal fuss: invertible syntax descriptions at work. PLPV (2012)
Reynald Affeldt
On construction of a library of formally verified low-level arithmetic functions. SAC (2012)
Reynald Affeldt, Hubert Comon-Lundh
Verification of Security Protocols with a Bounded Number of Sessions Based on Resolution for Rigid Variables. Formal to Practical Security (2009)
Reynald Affeldt, David Nowak, Kiyoshi Yamada
Certifying Assembly with Formal Cryptographic Proofs: the Case of BBS. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 23 (2009)
Reynald Affeldt, David Nowak, Kiyoshi Yamada
Certifying Assembly with Formal Cryptographic Proofs: the Case of BBS. IACR Cryptol. ePrint Arch. 2009 (2009)
Reynald Affeldt, Naoki Kobayashi
A Coq Library for Verification of Concurrent Programs. Electron. Notes Theor. Comput. Sci. 199 (2008)
Reynald Affeldt, Miki Tanaka, Nicolas Marti
Formal Proof of Provable Security by Game-Playing in a Proof Assistant. ProvSec (2007)
Reynald Affeldt, Nicolas Marti
An Approach to Formal Verification of Arithmetic Functions in Assembly. ASIAN (2006)
Nicolas Marti, Reynald Affeldt, Akinori Yonezawa
Formal Verification of the Heap Manager of an Operating System Using Separation Logic. ICFEM (2006)
Reynald Affeldt, Naoki Kobayashi
Partial Order Reduction for Verification of Spatial Properties of Pi-Calculus Processes. EXPRESS (2004)
Frédéric Peschanski, Reynald Affeldt, Jean-Pierre Briot
Les espaces d'interaction Vers une géométrie des systèmes d'agents mobiles. Obj. Logiciel Base données Réseaux 10 (2-3) (2004)
Reynald Affeldt, Hidehiko Masuhara, Eijiro Sumii, Akinori Yonezawa
Supporting objects in run-time bytecode specialization. ASIA-PEPM (2002)
Reynald Affeldt, Naoki Kobayashi
Formalization and Verification of a Mail Server in Coq. ISSS (2002)