Richard Castanet

Tien-Dung Cao, Richard Castanet, Patrick Félix, Kevin Chiew: An Approach to Automated Runtime Verification for Timed Systems: Applications to Web Services. JSW 7(6): 1338-1350 (2012)

Tien-Dung Cao, Richard Castanet, Patrick Félix, Gerardo Morales: Testing of Web Services: Tools and Experiments. APSCC 2011: 78-85

Tien-Dung Cao, Patrick Félix, Richard Castanet, Ismail Berrada: Online Testing Framework for Web Services. ICST 2010: 363-372

Tien-Dung Cao, Trung-Tien Phan-Quang, Patrick Félix, Richard Castanet: Automated Runtime Verification for Web Services. ICWS 2010: 76-82

Fares Saad-Khorchef, Ismail Berrada, Antoine Rollet, Richard Castanet: Automated Robustness Testing for Reactive Systems: Application to Communicating Protocols. IICS 2010: 409-421

Tien-Dung Cao, Patrick Félix, Richard Castanet, Ismail Berrada: Testing Web Services Composition Using the TGSE Tool. SERVICES I 2009: 187-194

Fares Saad-Khorchef, Antoine Rollet, Richard Castanet: A framework and a tool for robustness testing of communicating software. SAC 2007: 1461-1466

Ismail Berrada, Richard Castanet, Patrick Félix, Aziz Salah: Test Case Minimization for Real-Time Systems Using Timed Bound Traces. TestCom 2006: 289-305

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)

Ismail Berrada, Richard Castanet, Patrick Félix: Testing Communicating Systems: a Model, a Methodology, and a Tool. TestCom 2005: 111-128

Ismail Berrada, Richard Castanet, Patrick Félix: From The Feasability Analysis To Real-Time Test Generation. Stud. Inform. Univ. 3(2): 203-230 (2004)

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

Marcien MacKaya, Ousmane Koné, Richard Castanet: Modelling location operations in UMTS networks. MSWiM 2002: 69-73

Richard Castanet, Davy Rouillard: Generate Certified Test Cases by Combining Theorem Proving and Reachability Analysis. TestCom 2002: 249-266

Ousmane Koné, Richard Castanet: Test generation for interworking systems. Computer Communications 23(7): 642-652 (2000)

Richard Castanet, Ousmane Koné, Patrice Laurençot: On the Fly Test Generation for Real Time Protocols. ICCCN 1998: 378-387

Patrice Laurençot, Richard Castanet: Integration of time in canonical testers for real-time systems. WORDS 1997: 207-214

Richard Castanet, Christine Chevrier: A Simulation Tool for Distributed Systems Using Test Sequences. EUROSIM 1995: 339-344

Richard Castanet, Ousmane Koné: Deriving Coordinated Testers for Interoperability. Protocol Test Systems 1993: 331-346

Omar Rafiq, Chakib Chraibi, Richard Castanet: Experimental testing of transport protocol. Computer Communication Review 16(4): 23-34 (1986)

Chakib Chraibi, Omar Rafiq, Richard Castanet: SDL as a Testing Language. ICCC 1986: 502-507

Richard Castanet, A. Dupeux, Pascal Guitton: ADA, a well suited language for specification and implementation of protocols. PSTV 1985: 247-258

Omar Rafiq, Richard Castanet, Chakib Chraibi, J. P. Goursaud, J. Haddad, X. Perdu: Towards an environment for testing OSI protocols. PSTV 1985: 533-544

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)

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

Richard Castanet, Sylvain Vaturi: Traduction automatique en utilisant a une grammaire en Chaine. COLING 1973: 177-182