Volgen
Reynald Affeldt
Reynald Affeldt
Geverifieerd e-mailadres voor aist.go.jp
Titel
Geciteerd door
Geciteerd door
Jaar
Verification of the heap manager of an operating system using separation logic
N Marti, R Affeldt, A Yonezawa
3rd workshop on Semantics, Program Analysis, and Computing Environments For …, 2006
72*2006
Formal verification of the heap manager of an operating system using separation logic
N Marti, R Affeldt, A Yonezawa
8th International Conference on Formal Engineering Methods (ICFEM 2006) 4260 …, 2006
722006
Formal proof of provable security by game-playing in a proof assistant
R Affeldt, M Tanaka, N Marti
1st International Conference on Provable Security (Provsec 2007) 4784, 151-168, 2007
362007
Certifying assembly with formal security proofs: The case of BBS
R Affeldt, D Nowak, K Yamada
Science of Computer Programming 77 (10-11), 1058-1074, 2012
34*2012
Supporting objects in run-time bytecode specialization
R Affeldt, H Masuhara, E Sumii, A Yonezawa
ASIAN symposium on Partial evaluation and semantics-based program …, 2002
332002
Formalization of Shannon’s Theorems
R Affeldt, M Hagiwara, J Sénizergues
Journal of Automated Reasoning 53 (1), 63-103, 2014
312014
A certified verifier for a fragment of separation logic
N Marti, R Affeldt
Computer Software 25 (3), 135-147, 2008
252008
On construction of a library of formally verified low-level arithmetic functions
R Affeldt
Innovations in Systems and Software Engineering 9 (2), 59-77, 2013
242013
On construction of a library of formally verified low-level arithmetic functions
R Affeldt
27th Annual ACM Symposium on Applied Computing, 1326-1331, 2012
242012
An approach to formal verification of arithmetic functions in assembly
R Affeldt, N Marti
11th Annual Asian Computing Science Conference (ASIAN 2006), Focusing on …, 2006
242006
A Coq library for verification of concurrent programs
R Affeldt, N Kobayashi
Electronic Notes in Theoretical Computer Science 199, 17-32, 2008
222008
Formalization Techniques for Asymptotic Reasoning in Classical Analysis
R Affeldt, C Cohen, D Rouhling
Journal of Formalized Reasoning 11 (1), 43-76, 2018
212018
Towards formal verification of TLS network packet processing written in C
R Affeldt, N Marti
7th workshop on Programming languages meets program verification (PLPV 2013 …, 2013
212013
Formalization of Shannon’s Theorems in SSReflect-Coq
R Affeldt, M Hagiwara
3rd Conference on Interactive Theorem Proving (ITP 2012) 7406, 233-249, 2012
212012
A hierarchy of monadic effects for program verification using equational reasoning
R Affeldt, D Nowak, T Saikawa
International Conference on Mathematics of Program Construction, 226-254, 2019
172019
Formalization of Error-Correcting Codes: From Hamming to Modern Coding Theory
R Affeldt, J Garrigue
6th Conference on Interactive Theorem Proving (ITP 2015) 9236, 17-33, 2015
172015
Formalization and verification of a mail server in Coq
R Affeldt, N Kobayashi
International Symposium on Software Security 2609 (Lecture Notes in Computer …, 2002
172002
Towards formal verification of memory properties using separation logic
N Marti, R Affeldt, A Yonezawa
22nd Workshop of the Japan Society for Software Science and Technology …, 2005
142005
Competing inheritance paths in dependent type theory: a case study in functional analysis
R Affeldt, C Cohen, M Kerjean, A Mahboubi, D Rouhling, K Sakaguchi
International Joint Conference on Automated Reasoning, 3-20, 2020
10*2020
Formal foundations of 3D geometry to model robot manipulators
R Affeldt, C Cohen
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and …, 2017
92017
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20