| 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 | 77* | 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 | 77 | 2006 |
| 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 | 38 | 2002 |
| Formalization Techniques for Asymptotic Reasoning in Classical Analysis R Affeldt, C Cohen, D Rouhling Journal of Formalized Reasoning 11 (1), 43-76, 2018 | 37 | 2018 |
| 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 | 36* | 2012 |
| 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 | 35 | 2007 |
| Formalization of Shannon’s Theorems R Affeldt, M Hagiwara, J Sénizergues Journal of Automated Reasoning 53 (1), 63-103, 2014 | 34 | 2014 |
| 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 Proceedings (Part II) of the 10th International Joint Conference on …, 2020 | 32 | 2020 |
| 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 | 30 | 2013 |
| A hierarchy of monadic effects for program verification using equational reasoning R Affeldt, D Nowak, T Saikawa International Conference on Mathematics of Program Construction (MPC 2019 …, 2019 | 27 | 2019 |
| 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 | 27* | 2006 |
| A certified verifier for a fragment of separation logic N Marti, R Affeldt Computer Software 25 (3), 135-147, 2008 | 26 | 2008 |
| A Coq library for verification of concurrent programs R Affeldt, N Kobayashi Electronic Notes in Theoretical Computer Science 199, 17-32, 2008 | 24 | 2008 |
| 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 | 23 | 2015 |
| Formalization of Shannon’s Theorems in SSReflect-Coq R Affeldt, M Hagiwara 3rd Conference on Interactive Theorem Proving (ITP 2012) 7406, 233-249, 2012 | 22 | 2012 |
| 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 | 20 | 2013 |
| MathComp-Analysis: Mathematical Components compliant Analysis Library R Affeldt, A Bruni, C Cohen, M Kerjean, A Mahboubi, D Rouhling, ... | 19* | 2023 |
| Formalization and verification of a mail server in Coq R Affeldt, N Kobayashi International Symposium on Software Security 2609 (Lecture Notes in Computer …, 2002 | 18 | 2002 |
| 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 | 15 | 2005 |
| Semantics of Probabilistic Programs using s-Finite Kernels in Coq R Affeldt, C Cohen, A Saito Proceedings of the 12th ACM SIGPLAN International Conference on Certified …, 2023 | 13 | 2023 |
Jacques GarrigueProfessor, Graduate School of Mathematics, Nagoya UniversityGeverifieerd e-mailadres voor math.nagoya-u.ac.jp
