Reynald Affeldt (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

8 Reynald Affeldt, Naoki Kobayashi: A Coq Library for Verification of Concurrent Programs. Electr. Notes Theor. Comput. Sci. 199: 17-32 (2008)

4 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)

1 Reynald Affeldt, Naoki Kobayashi: Formalization and Verification of a Mail Server in Coq. ISSS 2002: 217-233

Selection of 3 from 8 records - Reynald Affeldt has 8 coauthors

8		Reynald Affeldt, Naoki Kobayashi: A Coq Library for Verification of Concurrent Programs. Electr. Notes Theor. Comput. Sci. 199: 17-32 (2008)
4		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)
1		Reynald Affeldt, Naoki Kobayashi: Formalization and Verification of a Mail Server in Coq. ISSS 2002: 217-233