2007 |
18 | EE | Fares Saad-Khorchef,
Antoine Rollet,
Richard Castanet:
A framework and a tool for robustness testing of communicating software.
SAC 2007: 1461-1466 |
2006 |
17 | EE | Ismail Berrada,
Richard Castanet,
Patrick Félix,
Aziz Salah:
Test Case Minimization for Real-Time Systems Using Timed Bound Traces.
TestCom 2006: 289-305 |
2005 |
16 | EE | Ismail Berrada,
Richard Castanet,
Patrick Félix:
Testing Communicating Systems: a Model, a Methodology, and a Tool.
TestCom 2005: 111-128 |
15 | | Pierre Combes,
Wei Monin,
Ana R. Cavalli,
Amel Mederreg,
Fatiha Zaïdi,
Richard Castanet,
Marcien MacKaya,
Patrice Laurençot:
Une plate-forme de validation multi-protocoles et multi-services - résultats d'expérimentation.
Annales des Télécommunications 60(5-6): 588-609 (2005) |
2004 |
14 | EE | Ana R. Cavalli,
Amel Mederreg,
Fatiha Zaïdi,
Pierre Combes,
Wei Monin,
Richard Castanet,
Marcien MacKaya,
Patrice Laurençot:
A Multi-service and Multi-protocol Validation Platform-Experimentation Results.
TestCom 2004: 17-32 |
13 | EE | Ismail Berrada,
Richard Castanet,
Patrick Félix:
From The Feasability Analysis To Real-Time Test Generation.
Stud. Inform. Univ. 3(2): 203-230 (2004) |
2002 |
12 | EE | Marcien MacKaya,
Ousmane Koné,
Richard Castanet:
Modelling location operations in UMTS networks.
MSWiM 2002: 69-73 |
11 | | Richard Castanet,
Davy Rouillard:
Generate Certified Test Cases by Combining Theorem Proving and Reachability Analysis.
TestCom 2002: 249-266 |
2000 |
10 | EE | Ousmane Koné,
Richard Castanet:
Test generation for interworking systems.
Computer Communications 23(7): 642-652 (2000) |
1998 |
9 | | Richard Castanet,
Ousmane Koné,
Patrice Laurençot:
On the Fly Test Generation for Real Time Protocols.
ICCCN 1998: 378-387 |
1995 |
8 | | Richard Castanet,
Christine Chevrier:
A Simulation Tool for Distributed Systems Using Test Sequences.
EUROSIM 1995: 339-344 |
1993 |
7 | | Richard Castanet,
Ousmane Koné:
Deriving Coordinated Testers for Interoperability.
Protocol Test Systems 1993: 331-346 |
1986 |
6 | | Chakib Chraibi,
Omar Rafiq,
Richard Castanet:
SDL as a Testing Language.
ICCC 1986: 502-507 |
5 | EE | Omar Rafiq,
Chakib Chraibi,
Richard Castanet:
Experimental testing of transport protocol.
Computer Communication Review 16(4): 23-34 (1986) |
1985 |
4 | | Richard Castanet,
A. Dupeux,
Pascal Guitton:
ADA, a well suited language for specification and implementation of protocols.
PSTV 1985: 247-258 |
3 | | Omar Rafiq,
Richard Castanet,
Chakib Chraibi,
J. P. Goursaud,
J. Haddad,
X. Perdu:
Towards an environment for testing OSI protocols.
PSTV 1985: 533-544 |
1984 |
2 | | Richard Castanet,
Pascal Guitton,
Omar Rafiq:
An Automatic System for the Study of Protocols: A Presentation and Critique Based on a Worked Example.
PSTV 1984: 111-125 |
1 | EE | Jean-Pierre Ansart,
Omar Rafiq,
Richard Castanet,
Pascal Guitton:
Some operational tools in a OSI protocols study environment.
Computer Communication Review 14(2): 156-161 (1984) |