Search the dblp DataBase

Publications of Author

1. Nicolas Marti, Reynald Affeldt, Akinori Yonezawa
   Formal Verification of the Heap Manager of an Operating System Using Separation Logic. [Citation Graph (0, 0)][DBLP]
   ICFEM, 2006, pp:400-419 [Conf]
   
2. Reynald Affeldt, Naoki Kobayashi
   Formalization and Verification of a Mail Server in Coq. [Citation Graph (0, 0)][DBLP]
   ISSS, 2002, pp:217-233 [Conf]
   
3. Reynald Affeldt, Hidehiko Masuhara, Eijiro Sumii, Akinori Yonezawa
   Supporting objects in run-time bytecode specialization. [Citation Graph (0, 0)][DBLP]
   ASIA-PEPM, 2002, pp:50-60 [Conf]
   
4. Reynald Affeldt, Naoki Kobayashi
   Partial Order Reduction for Verification of Spatial Properties of Pi-Calculus Processes. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:128, n:2, pp:151-168 [Journal]
   
5. Reynald Affeldt, Miki Tanaka, Nicolas Marti
   Formal Proof of Provable Security by Game-Playing in a Proof Assistant. [Citation Graph (0, 0)][DBLP]
   ProvSec, 2007, pp:151-168 [Conf]
   
6. 
   An Approach to Formal Verification of Arithmetic Functions in Assembly. [Citation Graph (, )][DBLP]
   
   
7. 
   Verification of Security Protocols with a Bounded Number of Sessions Based on Resolution for Rigid Variables. [Citation Graph (, )][DBLP]
   
   
8. 
   Les espaces d'interaction Vers une géométrie des systèmes d'agents mobiles. [Citation Graph (, )][DBLP]
   
   
9. 
   A Coq Library for Verification of Concurrent Programs. [Citation Graph (, )][DBLP]