Richard Castanet

Publication Activity (10 Years)

Years Active: 1973-2012
Publications (10 Years): 0

Top Topics

Description Language

Intelligent Systems

Automatic Discovery

Asynchronous Circuits

Top Venues

Publications

Tien-Dung Cao, Richard Castanet, Patrick Félix, Kevin Chiew
An Approach to Automated Runtime Verification for Timed Systems: Applications to Web Services. J. Softw. 7 (6) (2012)
Tien-Dung Cao, Richard Castanet, Patrick Félix, Gerardo Morales
Testing of Web Services: Tools and Experiments. APSCC (2011)
Fares Saad-Khorchef, Ismail Berrada, Antoine Rollet, Richard Castanet
Automated Robustness Testing for Reactive Systems: Application to Communicating Protocols. IICS (2010)
Tien-Dung Cao, Patrick Félix, Richard Castanet, Ismail Berrada
Online Testing Framework for Web Services. ICST (2010)
Tien-Dung Cao, Trung-Tien Phan-Quang, Patrick Félix, Richard Castanet
Automated Runtime Verification for Web Services. ICWS (2010)
Tien-Dung Cao, Patrick Félix, Richard Castanet, Ismail Berrada
Testing Web Services Composition Using the TGSE Tool. SERVICES I (2009)
Fares Saad-Khorchef, Antoine Rollet, Richard Castanet
A framework and a tool for robustness testing of communicating software. SAC (2007)
Ismail Berrada, Richard Castanet, Patrick Félix, Aziz Salah
Test Case Minimization for Real-Time Systems Using Timed Bound Traces. TestCom (2006)
Ismail Berrada, Richard Castanet, Patrick Félix
Testing Communicating Systems: a Model, a Methodology, and a Tool. TestCom (2005)
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. Ann. des Télécommunications 60 (5-6) (2005)
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)
Ismail Berrada, Richard Castanet, Patrick Félix
From The Feasability Analysis To Real-Time Test Generation. Stud. Inform. Univ. 3 (2) (2004)
Marcien MacKaya, Ousmane Koné, Richard Castanet
Modelling location operations in UMTS networks. MSWiM (2002)
Richard Castanet, Davy Rouillard
Generate Certified Test Cases by Combining Theorem Proving and Reachability Analysis. TestCom (2002)
Ousmane Koné, Richard Castanet
Test generation for interworking systems. Comput. Commun. 23 (7) (2000)
Richard Castanet, Ousmane Koné, Patrice Laurençot
On the Fly Test Generation for Real Time Protocols. ICCCN (1998)
Patrice Laurençot, Richard Castanet
Integration of time in canonical testers for real-time systems. WORDS (1997)
Richard Castanet, Christine Chevrier
A Simulation Tool for Distributed Systems Using Test Sequences. EUROSIM (1995)
Richard Castanet, Ousmane Koné
Deriving Coordinated Testers for Interoperability. Protocol Test Systems (1993)
Chakib Chraibi, Omar Rafiq, Richard Castanet
SDL as a Testing Language. ICCC (1986)
Omar Rafiq, Chakib Chraibi, Richard Castanet
Experimental testing of transport protocol. Comput. Commun. Rev. 16 (4) (1986)
Richard Castanet, A. Dupeux, Pascal Guitton
ADA, a well suited language for specification and implementation of protocols. PSTV (1985)
Omar Rafiq, Richard Castanet, Chakib Chraibi, J. P. Goursaud, J. Haddad, X. Perdu
Towards an environment for testing OSI protocols. PSTV (1985)
Jean-Pierre Ansart, Omar Rafiq, Richard Castanet, Pascal Guitton
Some operational tools in a OSI protocols study environment. Comput. Commun. Rev. 14 (2) (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)
Richard Castanet
Sémantique formelle des opérateurs d'un langage de listes. RAIRO Theor. Informatics Appl. 8 (3) (1974)
Richard Castanet, Sylvain Vaturi
Traduction automatique en utilisant a une grammaire en Chaine. COLING (1973)