| * | 2008 |
|---|
| 8 | EE | Reynald Affeldt,
Naoki Kobayashi:
A Coq Library for Verification of Concurrent Programs.
Electr. Notes Theor. Comput. Sci. 199: 17-32 (2008) |
| 2007 |
|---|
| 7 | EE | Reynald Affeldt,
Miki Tanaka,
Nicolas Marti:
Formal Proof of Provable Security by Game-Playing in a Proof Assistant.
ProvSec 2007: 151-168 |
| 2006 |
|---|
| 6 | EE | Reynald Affeldt,
Nicolas Marti:
An Approach to Formal Verification of Arithmetic Functions in Assembly.
ASIAN 2006: 346-360 |
| 5 | 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 |
|---|
| 4 | 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) |
| 2004 |
|---|
| 3 | EE | Frédéric Peschanski,
Reynald Affeldt,
Jean-Pierre Briot:
Les espaces d'interaction Vers une géométrie des systèmes d'agents mobiles.
L'OBJET 10(2-3): 31-45 (2004) |
| 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 |
