Benoit Parreaux

Publication Activity (10 Years)

Years Active: 1998-2007
Publications (10 Years): 0

Publications

Guillaume Châtelet, Benoit Parreaux, Yves-Marie Quemener
Using Probabilist Models for Studying Realistic Systems: A Case Study of Pastry. SDL Forum (2007)
Emmanuel de Rosière, Claude Jard, Benoit Parreaux
LaTe, a Non-fully Deterministic Testing Language. TestCom (2006)
Aziz Salah, Rabeb Mizouni, Rachida Dssouli, Benoit Parreaux
Formal Composition of Distributed Scenarios. FORTE (2004)
Benoit Parreaux, Daniel Vincent, Gérard Babonneau
RMTP2: Validating the Interval Timed Extension for SDL with an Industrial-Size Multicast Protocol. SDL Forum (2003)
Tong Zheng, Ferhat Khendek, Benoit Parreaux
Refining Timed MSCs. SDL Forum (2003)
Jacques Julliand, Bruno Legeard, Thierry Machicoane, Benoit Parreaux, Bruno Tatibouët
Specification of an Integrated Circuit Card Protocol Application Using the B Method and Linear Temporal Logic. B (1998)