Benoit Parreaux

According to our database, Benoit Parreaux authored at least 6 papers between 1998 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

Using Probabilist Models for Studying Realistic Systems: A Case Study of Pastry.

Guillaume Châtelet, Benoit Parreaux, Yves-Marie Quemener

Proceedings of the SDL 2007: Design for Dependable Systems, 2007

2006

LaTe, a Non-fully Deterministic Testing Language.

Emmanuel de Rosière, Claude Jard, Benoit Parreaux

Proceedings of the Testing of Communicating Systems, 2006

2004

Formal Composition of Distributed Scenarios.

Aziz Salah, Rabeb Mizouni, Rachida Dssouli, Benoit Parreaux

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004

2003

Refining Timed MSCs.

Tong Zheng, Ferhat Khendek, Benoit Parreaux

Proceedings of the SDL 2003: System Design, 2003

RMTP2: Validating the Interval Timed Extension for SDL with an Industrial-Size Multicast Protocol.

Benoit Parreaux, Daniel Vincent, Gérard Babonneau

Proceedings of the SDL 2003: System Design, 2003

1998

Specification of an Integrated Circuit Card Protocol Application Using the B Method and Linear Temporal Logic.

Jacques Julliand, Bruno Legeard, Thierry Machicoane, Benoit Parreaux, Bruno Tatibouët

Proceedings of the B'98: Recent Advances in the Development and Use of the B Method, 1998