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 (B, 1998)

RMTP2: Validating the Interval Timed Extension for SDL with an Industrial-Size Multicast Protocol. - Benoit Parreaux; Daniel Vincent; Gérard Babonneau (SDL Forum, 2003)

Refining Timed MSCs. - Tong Zheng 002; Ferhat Khendek; Benoit Parreaux (SDL Forum, 2003)

Formal Composition of Distributed Scenarios. - Aziz Salah; Rabeb Mizouni; Rachida Dssouli; Benoit Parreaux (FORTE, 2004)

LaTe, a Non-fully Deterministic Testing Language. - Emmanuel de Rosière; Claude Jard; Benoit Parreaux (TestCom, 2006)

Using Probabilist Models for Studying Realistic Systems: A Case Study of Pastry. - Guillaume Châtelet; Benoit Parreaux; Yves-Marie Quemener (SDL Forum, 2007)