Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Reynald Affeldt
Observed names:
Affeldt Reynald,
Affeldt, Reynald,
REYNALD AFFELDT,
Reynald Af feldt,
Reynald Affeldt A
Institutions:
Artificial Intelligence Research Center,
National Institute of Advanced Industrial Science and Technology
Observed institutions:
Artificial Intelligence Research Center,
National Institute of Advanced Industrial Science and Technology,
The University of Tokyo
ORCID:
0000-0002-2327-953X
Observed ORCID:
0000-0002-2327-953X
OpenAlex ID:
A5004449937
Works
88
Awards
5
Formal Verification of the Heap Manager of an Operating System Using Separation Logic
2006
·
Nicolas Marti
, Reynald Affeldt
, et al.
·
Lecture notes in computer science
·
54
Formalization of Shannon’s Theorems
2013
·
Reynald Affeldt
, Manabu Hagiwara
, et al.
·
Journal of Automated Reasoning
·
32
Formalization Techniques for Asymptotic Reasoning in Classical Analysis
2018
·
Affeldt, Reynald
, Cohen, Cyril
, et al.
·
HAL
·
31
Competing Inheritance Paths in Dependent Type Theory: A Case Study in Functional Analysis
2020
·
Reynald Affeldt
, Cyril Cohen
, et al.
·
Lecture notes in computer science
·
30
PDF
Certifying assembly with formal security proofs: The case of BBS
2011
·
Reynald Affeldt
, David Nowak
, et al.
·
Science of Computer Programming
·
25
PDF
Formal Proof of Provable Security by Game-Playing in a Proof Assistant
2007
·
Reynald Affeldt
, Miki Tanaka
, et al.
·
Springer eBooks
·
23
A Certified Verifier for a Fragment of Separation Logic
2009
·
Nicolas Marti
, Reynald Affeldt
·
18
A Hierarchy of Monadic Effects for Program Verification Using Equational Reasoning
2019
·
Reynald Affeldt
, David Nowak
, et al.
·
Lecture notes in computer science
·
17
Taming Differentiable Logics with Coq Formalisation
2024
·
Affeldt, Reynald
, Bruni, Alessandro
, et al.
·
arXiv (Cornell University)
·
16
PDF
Measure Construction by Extension in Dependent Type Theory with Application to Integration
2023
·
Reynald Affeldt
, Cyril Cohen
·
Journal of Automated Reasoning
·
16
PDF
On construction of a library of formally verified low-level arithmetic functions
2013
·
Reynald Affeldt
·
Innovations in Systems and Software Engineering
·
16
A Coq Library for Verification of Concurrent Programs
2008
·
Reynald Affeldt
, Naoki Kobayashi
·
Electronic Notes in Theoretical Computer Science
·
16
PDF
Formal foundations of 3D geometry to model robot manipulators
2016
·
Reynald Affeldt
, Cyril Cohen
·
ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP)
·
14
Semantics of Probabilistic Programs using s-Finite Kernels in Coq
2023
·
Reynald Affeldt
, Cyril Cohen
, et al.
·
ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP)
·
13
PDF
A trustful monad for axiomatic reasoning with probability and nondeterminism
2021
·
REYNALD AFFELDT
, JACQUES GARRIGUE
, et al.
·
Journal of Functional Programming
·
13
PDF
Formalization of Error-Correcting Codes: From Hamming to Modern Coding Theory
2015
·
Reynald Affeldt
, Jacques Garrigue
·
Lecture notes in computer science
·
13
Safe Low-level Code Generation in Coq Using Monomorphization and Monadification
2018
·
Akira Tanaka
, Reynald Affeldt
, et al.
·
Journal of Information Processing
·
12
PDF
Formalization of Shannon’s Theorems in SSReflect-Coq
2012
·
Reynald Affeldt
, Manabu Hagiwara
·
Lecture notes in computer science
·
12
An Approach to Formal Verification of Arithmetic Functions in Assembly
2007
·
Reynald Affeldt
, Nicolas Marti
·
Lecture notes in computer science
·
12
Supporting objects in run-time bytecode specialization
2002
·
Reynald Affeldt
, Hidehiko Masuhara
, et al.
·
12
Towards formal verification of TLS network packet processing written in C
2013
·
Reynald Affeldt
, Nicolas Marti
·
Programming Languages meets Program Verification
·
9
Formalization and Verification of a Mail Server in Coq
2003
·
Reynald Affeldt
, Naoki Kobayashi
·
Lecture notes in computer science
·
8
A Library for Formalization of Linear Error-Correcting Codes
2020
·
Reynald Affeldt
, Jacques Garrigue
, et al.
·
Journal of Automated Reasoning
·
6
An Intrinsic Encoding of a Subset of C and its Application to TLS Network Packet Processing
2014
·
Affeldt, Reynald
, Sakaguchi, Kazuhiko
·
DOAJ (DOAJ: Directory of Open Access Journals)
·
6
On construction of a library of formally verified low-level arithmetic functions
2012
·
Reynald Affeldt
·
ACM Symposium on Applied Computing
·
6
Show more works
View as search
Works count:
88
Citation count:
509
H-index:
13
I10-index:
20
Year
Topic
Type
