The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Benoit Parreaux: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

Search in 0.001secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002