Richard Castanet

27 papers A 3B 2C 2Misc 1Journal 7Unranked 12
YearRankTypeTitle / Venue / Authors
2012 J jnl
An Approach to Automated Runtime Verification for Timed Systems: Applications to Web Services.
J. Softw.
Tien-Dung Cao, Richard Castanet, Patrick Félix, Kevin Chiew
2011 C conf
Testing of Web Services: Tools and Experiments.
APSCC
Tien-Dung Cao, Richard Castanet, Patrick Félix, Gerardo Morales
2010 — conf
Automated Robustness Testing for Reactive Systems: Application to Communicating Protocols.
IICS
Fares Saad-Khorchef, Ismail Berrada, Antoine Rollet, Richard Castanet
2010 A conf
Automated Runtime Verification for Web Services.
ICWS
Tien-Dung Cao, Trung-Tien Phan-Quang, Patrick Félix, Richard Castanet
2010 A conf
Online Testing Framework for Web Services.
ICST
Tien-Dung Cao, Patrick Félix, Richard Castanet, Ismail Berrada
2009 — conf
Testing Web Services Composition Using the TGSE Tool.
SERVICES I
Tien-Dung Cao, Patrick Félix, Richard Castanet, Ismail Berrada
2007 Misc conf
A framework and a tool for robustness testing of communicating software.
SAC
Fares Saad-Khorchef, Antoine Rollet, Richard Castanet
2006 — conf
Test Case Minimization for Real-Time Systems Using Timed Bound Traces.
TestCom
Ismail Berrada, Richard Castanet, Patrick Félix, Aziz Salah
2005 — conf
Testing Communicating Systems: a Model, a Methodology, and a Tool.
TestCom
Ismail Berrada, Richard Castanet, Patrick Félix
2005 J jnl
Une plate-forme de validation multi-protocoles et multi-services - résultats d'expérimentation.
Ann. des Télécommunications
Pierre Combes, Wei Monin, Ana R. Cavalli, Amel Mederreg, Fatiha Zaïdi, Richard Castanet, Marcien MacKaya, Patrice Laurençot
2004 — conf
A Multi-service and Multi-protocol Validation Platform-Experimentation Results.
TestCom
Ana R. Cavalli, Amel Mederreg, Fatiha Zaïdi, Pierre Combes, Wei Monin, Richard Castanet, Marcien MacKaya, Patrice Laurençot
2004 J jnl
From The Feasability Analysis To Real-Time Test Generation.
Stud. Inform. Univ.
Ismail Berrada, Richard Castanet, Patrick Félix
2002 — conf
Generate Certified Test Cases by Combining Theorem Proving and Reachability Analysis.
TestCom
Richard Castanet, Davy Rouillard
2002 A conf
Modelling location operations in UMTS networks.
MSWiM
Marcien MacKaya, Ousmane Koné, Richard Castanet
2000 J jnl
Test generation for interworking systems.
Comput. Commun.
Ousmane Koné, Richard Castanet
1998 B conf
On the Fly Test Generation for Real Time Protocols.
ICCCN
Richard Castanet, Ousmane Koné, Patrice Laurençot
1997 — conf
Integration of time in canonical testers for real-time systems.
WORDS
Patrice Laurençot, Richard Castanet
1995 — conf
A Simulation Tool for Distributed Systems Using Test Sequences.
EUROSIM
Richard Castanet, Christine Chevrier
1993 — conf
Deriving Coordinated Testers for Interoperability.
Protocol Test Systems
Richard Castanet, Ousmane Koné
1986 J jnl
Experimental testing of transport protocol.
Comput. Commun. Rev.
Omar Rafiq, Chakib Chraibi, Richard Castanet
1986 C conf
SDL as a Testing Language.
ICCC
Chakib Chraibi, Omar Rafiq, Richard Castanet
1985 — conf
ADA, a well suited language for specification and implementation of protocols.
PSTV
Richard Castanet, A. Dupeux, Pascal Guitton
1985 — conf
Towards an environment for testing OSI protocols.
PSTV
Omar Rafiq, Richard Castanet, Chakib Chraibi, J. P. Goursaud, J. Haddad, X. Perdu
1984 — conf
An Automatic System for the Study of Protocols: A Presentation and Critique Based on a Worked Example.
PSTV
Richard Castanet, Pascal Guitton, Omar Rafiq
1984 J jnl
Some operational tools in a OSI protocols study environment.
Comput. Commun. Rev.
Jean-Pierre Ansart, Omar Rafiq, Richard Castanet, Pascal Guitton
1974 J jnl
Sémantique formelle des opérateurs d'un langage de listes.
RAIRO Theor. Informatics Appl.
Richard Castanet
1973 B conf
Traduction automatique en utilisant a une grammaire en Chaine.
COLING
Richard Castanet, Sylvain Vaturi