dblp.uni-trier.dewww.uni-trier.de

Richard Castanet

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
18EEFares Saad-Khorchef, Antoine Rollet, Richard Castanet: A framework and a tool for robustness testing of communicating software. SAC 2007: 1461-1466
2006
17EEIsmail Berrada, Richard Castanet, Patrick Félix, Aziz Salah: Test Case Minimization for Real-Time Systems Using Timed Bound Traces. TestCom 2006: 289-305
2005
16EEIsmail 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
14EEAna 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
13EEIsmail Berrada, Richard Castanet, Patrick Félix: From The Feasability Analysis To Real-Time Test Generation. Stud. Inform. Univ. 3(2): 203-230 (2004)
2002
12EEMarcien 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
10EEOusmane 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
5EEOmar 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
1EEJean-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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)