Traduction automatique en utilisant a une grammaire en Chaine. - Richard Castanet; Sylvain Vaturi (COLING, 1973)

Sémantique formelle des opérateurs d'un langage de listes. - Richard Castanet (RAIRO Theor. Informatics Appl., 1974)

An Automatic System for the Study of Protocols: A Presentation and Critique Based on a Worked Example. - Richard Castanet; Pascal Guitton; Omar Rafiq (PSTV, 1984)

Some operational tools in a OSI protocols study environment. - Jean-Pierre Ansart; Omar Rafiq; Richard Castanet; Pascal Guitton (Comput. Commun. Rev., 1984)

ADA, a well suited language for specification and implementation of protocols. - Richard Castanet; A. Dupeux; Pascal Guitton (PSTV, 1985)

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

SDL as a Testing Language. - Chakib Chraibi; Omar Rafiq; Richard Castanet (ICCC, 1986)

Experimental testing of transport protocol. - Omar Rafiq; Chakib Chraibi; Richard Castanet (Comput. Commun. Rev., 1986)

Deriving Coordinated Testers for Interoperability. - Richard Castanet; Ousmane Koné (Protocol Test Systems, 1993)

A Simulation Tool for Distributed Systems Using Test Sequences. - Richard Castanet; Christine Chevrier (EUROSIM, 1995)

Integration of time in canonical testers for real-time systems. - Patrice Laurençot; Richard Castanet (WORDS, 1997)

On the Fly Test Generation for Real Time Protocols. - Richard Castanet; Ousmane Koné; Patrice Laurençot (ICCCN, 1998)

Test generation for interworking systems. - Ousmane Koné; Richard Castanet (Comput. Commun., 2000)

Modelling location operations in UMTS networks. - Marcien MacKaya; Ousmane Koné; Richard Castanet (MSWiM, 2002)

Generate Certified Test Cases by Combining Theorem Proving and Reachability Analysis. - Richard Castanet; Davy Rouillard (TestCom, 2002)

A Multi-service and Multi-protocol Validation Platform-Experimentation Results. - Ana R. Cavalli; Amel Mederreg; Fatiha Zaïdi; Pierre Combes; Wei Monin; Richard Castanet; Marcien MacKaya; Patrice Laurençot (TestCom, 2004)

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

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

Une plate-forme de validation multi-protocoles et multi-services - résultats d'expérimentation. - Pierre Combes; Wei Monin; Ana R. Cavalli; Amel Mederreg; Fatiha Zaïdi; Richard Castanet; Marcien MacKaya; Patrice Laurençot (Ann. des Télécommunications, 2005)

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

A framework and a tool for robustness testing of communicating software. - Fares Saad-Khorchef; Antoine Rollet; Richard Castanet (SAC, 2007)

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

Online Testing Framework for Web Services. - Tien-Dung Cao; Patrick Félix; Richard Castanet; Ismail Berrada (ICST, 2010)

Automated Runtime Verification for Web Services. - Tien-Dung Cao; Trung-Tien Phan-Quang; Patrick Félix; Richard Castanet (ICWS, 2010)

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

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

An Approach to Automated Runtime Verification for Timed Systems: Applications to Web Services. - Tien-Dung Cao; Richard Castanet; Patrick Félix; Kevin Chiew (J. Softw., 2012)