| 2007 |
|---|
| 6 | EE | Guillaume Châtelet,
Benoit Parreaux,
Yves-Marie Quemener:
Using Probabilist Models for Studying Realistic Systems: A Case Study of Pastry.
SDL Forum 2007: 242-257 |
| 2006 |
|---|
| 5 | EE | Emmanuel de Rosière,
Claude Jard,
Benoit Parreaux:
LaTe, a Non-fully Deterministic Testing Language.
TestCom 2006: 71-86 |
| 2004 |
|---|
| 4 | EE | Aziz Salah,
Rabeb Mizouni,
Rachida Dssouli,
Benoit Parreaux:
Formal Composition of Distributed Scenarios.
FORTE 2004: 213-228 |
| 2003 |
|---|
| 3 | EE | Benoit Parreaux,
Daniel Vincent,
Gérard Babonneau:
RMTP2: Validating the Interval Timed Extension for SDL with an Industrial-Size Multicast Protocol.
SDL Forum 2003: 218-233 |
| 2 | EE | Tong Zheng,
Ferhat Khendek,
Benoit Parreaux:
Refining Timed MSCs.
SDL Forum 2003: 234-250 |
| 1998 |
|---|
| 1 | EE | 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: 273-292 |
