Reynald Affeldt

Publications

147

Citations

H-Index

2002

Active since

Affiliations

National Institute of Advanced Industrial Science and Technology(Current)

The University of Tokyo

Reynald Affeldt is an author at National Institute of Advanced Industrial Science and Technology specializing in engineering, formal methods, and computer science.

ORCID

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationVerificationProgram AnalysisSoftware AnalysisAutomated ReasoningSystems EngineeringFormal Specification

Publications per year

2002–2020

Publications

Formalization of Shannon’s Theorems

Reynald Affeldt, Manabu Hagiwara, Jonas Sénizergues · Journal of Automated Reasoning · 2013 · 27 citations

Information Theory, Engineering, Entropy +3

Certifying assembly with formal security proofs: The case of BBS

Reynald Affeldt, David Nowak, Kiyoshi Yamada · Science of Computer Programming · 2011 · 21 citations

Formal Security Proofs, Engineering, Information Security +12

Formalization Techniques for Asymptotic Reasoning in Classical Analysis

Reynald Affeldt, Cyril Cohen, Damien Rouhling · HAL (Le Centre pour la Communication Scientifique Directe) · 2018 · 20 citations · Full text

Reasoning, Formal Logic, Formalization Techniques +15

A Certified Verifier for a Fragment of Separation Logic

Nicolas Marti, Reynald Affeldt · Journal of information processing · 2009 · 17 citations

Applied Logic, Engineering, Verification +21

A Coq Library for Verification of Concurrent Programs

Reynald Affeldt, Naoki Kobayashi · Electronic Notes in Theoretical Computer Science · 2008 · 15 citations · Full text

Engineering, Verification, Automated Proof +16

Rows per page

1–5 of 9