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

Richard Castanet Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTien-Dung Cao, Richard Castanet, Patrick Félix, Gerardo Morales: Testing of Web Services: Tools and Experiments. APSCC 2011: 78-85
2010
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTien-Dung Cao, Patrick Félix, Richard Castanet, Ismail Berrada: Online Testing Framework for Web Services. ICST 2010: 363-372
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTien-Dung Cao, Trung-Tien Phan-Quang, Patrick Félix, Richard Castanet: Automated Runtime Verification for Web Services. ICWS 2010: 76-82
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFares Saad-Khorchef, Ismail Berrada, Antoine Rollet, Richard Castanet: Automated Robustness Testing for Reactive Systems: Application to Communicating Protocols. IICS 2010: 409-421
2009
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTien-Dung Cao, Patrick Félix, Richard Castanet, Ismail Berrada: Testing Web Services Composition Using the TGSE Tool. SERVICES I 2009: 187-194
2007
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFares Saad-Khorchef, Antoine Rollet, Richard Castanet: A framework and a tool for robustness testing of communicating software. SAC 2007: 1461-1466
2006
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIsmail Berrada, Richard Castanet, Patrick Félix, Aziz Salah: Test Case Minimization for Real-Time Systems Using Timed Bound Traces. TestCom 2006: 289-305
2005
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIsmail Berrada, Richard Castanet, Patrick Félix: Testing Communicating Systems: a Model, a Methodology, and a Tool. TestCom 2005: 111-128
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre 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
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAna 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
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIsmail Berrada, Richard Castanet, Patrick Félix: From The Feasability Analysis To Real-Time Test Generation. Stud. Inform. Univ. 3(2): 203-230 (2004)
2002
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcien MacKaya, Ousmane Koné, Richard Castanet: Modelling location operations in UMTS networks. MSWiM 2002: 69-73
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Castanet, Davy Rouillard: Generate Certified Test Cases by Combining Theorem Proving and Reachability Analysis. TestCom 2002: 249-266
2000
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOusmane Koné, Richard Castanet: Test generation for interworking systems. Computer Communications 23(7): 642-652 (2000)
1998
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Castanet, Ousmane Koné, Patrice Laurençot: On the Fly Test Generation for Real Time Protocols. ICCCN 1998: 378-387
1995
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Castanet, Christine Chevrier: A Simulation Tool for Distributed Systems Using Test Sequences. EUROSIM 1995: 339-344
1993
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Castanet, Ousmane Koné: Deriving Coordinated Testers for Interoperability. Protocol Test Systems 1993: 331-346
1986
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChakib Chraibi, Omar Rafiq, Richard Castanet: SDL as a Testing Language. ICCC 1986: 502-507
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOmar Rafiq, Chakib Chraibi, Richard Castanet: Experimental testing of transport protocol. Computer Communication Review 16(4): 23-34 (1986)
1985
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Castanet, A. Dupeux, Pascal Guitton: ADA, a well suited language for specification and implementation of protocols. PSTV 1985: 247-258
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOmar Rafiq, Richard Castanet, Chakib Chraibi, J. P. Goursaud, J. Haddad, X. Perdu: Towards an environment for testing OSI protocols. PSTV 1985: 533-544
1984
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard 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
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-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] [19] [20] [22]
3Tien-Dung Cao [19] [21] [22] [23]
4Ana R. Cavalli [14] [15]
5Christine Chevrier [8]
6Chakib Chraibi [3] [5] [6]
7Pierre Combes [14] [15]
8A. Dupeux [4]
9Patrick Félix [13] [16] [17] [19] [21] [22] [23]
10J. P. Goursaud [3]
11Pascal Guitton [1] [2] [4]
12J. Haddad [3]
13Ousmane Koné [7] [9] [10] [12]
14Patrice Laurençot [9] [14] [15]
15Marcien MacKaya [12] [14] [15]
16Amel Mederreg [14] [15]
17Wei Monin [14] [15]
18Gerardo Morales [23]
19X. Perdu [3]
20Trung-Tien Phan-Quang [21]
21Omar Rafiq [1] [2] [3] [5] [6]
22Antoine Rollet [18] [20]
23Davy Rouillard [11]
24Fares Saad-Khorchef [18] [20]
25Aziz Salah [17]
26Fatiha Zaïdi [14] [15]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page