| 2007 |
|---|
| 6 | EE | Reynald Affeldt,
Miki Tanaka,
Nicolas Marti:
Formal Proof of Provable Security by Game-Playing in a Proof Assistant.
ProvSec 2007: 151-168 |
| 2006 |
|---|
| 5 | EE | Reynald Affeldt,
Nicolas Marti:
An Approach to Formal Verification of Arithmetic Functions in Assembly.
ASIAN 2006: 346-360 |
| 4 | EE | Nicolas Marti,
Reynald Affeldt,
Akinori Yonezawa:
Formal Verification of the Heap Manager of an Operating System Using Separation Logic.
ICFEM 2006: 400-419 |
| 2005 |
|---|
| 3 | EE | Reynald Affeldt,
Naoki Kobayashi:
Partial Order Reduction for Verification of Spatial Properties of Pi-Calculus Processes.
Electr. Notes Theor. Comput. Sci. 128(2): 151-168 (2005) |
| 2002 |
|---|
| 2 | EE | Reynald Affeldt,
Hidehiko Masuhara,
Eijiro Sumii,
Akinori Yonezawa:
Supporting objects in run-time bytecode specialization.
ASIA-PEPM 2002: 50-60 |
| 1 | EE | Reynald Affeldt,
Naoki Kobayashi:
Formalization and Verification of a Mail Server in Coq.
ISSS 2002: 217-233 |
