Richard Castanet

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)

Coauthor Index

1	Jean-Pierre Ansart	[1]
2	Ismail Berrada	[13] [16] [17]
3	Ana R. Cavalli	[14] [15]
4	Christine Chevrier	[8]
5	Chakib Chraibi	[3] [5] [6]
6	Pierre Combes	[14] [15]
7	A. Dupeux	[4]
8	Patrick Félix	[13] [16] [17]
9	J. P. Goursaud	[3]
10	Pascal Guitton	[1] [2] [4]
11	J. Haddad	[3]
12	Ousmane Koné	[7] [9] [10] [12]
13	Patrice Laurençot	[9] [14] [15]
14	Marcien MacKaya	[12] [14] [15]
15	Amel Mederreg	[14] [15]
16	Wei Monin	[14] [15]
17	X. Perdu	[3]
18	Omar Rafiq	[1] [2] [3] [5] [6]
19	Antoine Rollet	[18]
20	Davy Rouillard	[11]
21	Fares Saad-Khorchef	[18]
22	Aziz Salah	[17]
23	Fatiha Zaïdi	[14] [15]

Colors in the list of coauthors