Richard Castanet

According to our database, Richard Castanet authored at least 27 papers between 1973 and 2012.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2012

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

2011

Testing of Web Services: Tools and Experiments.

Tien-Dung Cao, Richard Castanet, Patrick Félix, Gerardo Morales

Proceedings of the 2011 IEEE Asia-Pacific Services Computing Conference, 2011

2010

Automated Robustness Testing for Reactive Systems: Application to Communicating Protocols.

Fares Saad-Khorchef, Ismail Berrada, Antoine Rollet, Richard Castanet

Proceedings of the 10th International Conference on Innovative Internet Community Services (I²CS), 2010

Automated Runtime Verification for Web Services.

Tien-Dung Cao, Trung-Tien Phan-Quang, Patrick Félix, Richard Castanet

Proceedings of the IEEE International Conference on Web Services, 2010

Online Testing Framework for Web Services.

Tien-Dung Cao, Patrick Félix, Richard Castanet, Ismail Berrada

Proceedings of the Third International Conference on Software Testing, 2010

2009

Testing Web Services Composition Using the TGSE Tool.

Tien-Dung Cao, Patrick Félix, Richard Castanet, Ismail Berrada

Proceedings of the 2009 IEEE Congress on Services, Part I, 2009

2007

A framework and a tool for robustness testing of communicating software.

Fares Saad-Khorchef, Antoine Rollet, Richard Castanet

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

2006

Test Case Minimization for Real-Time Systems Using Timed Bound Traces.

Ismail Berrada, Richard Castanet, Patrick Félix, Aziz Salah

Proceedings of the Testing of Communicating Systems, 2006

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

Testing Communicating Systems: a Model, a Methodology, and a Tool.

Ismail Berrada, Richard Castanet, Patrick Félix

Proceedings of the Testing of Communicating Systems, 2005

2004

From The Feasability Analysis To Real-Time Test Generation.

Ismail Berrada, Richard Castanet, Patrick Félix

Stud. Inform. Univ., 2004

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

Proceedings of the Testing of Communicating Systems, 16th IFIP International Conerence, 2004

2002

Generate Certified Test Cases by Combining Theorem Proving and Reachability Analysis.

Richard Castanet, Davy Rouillard

Proceedings of the Testing of Communicating Systems XIV, Applications to Internet Technologies and Services, Proceedings of the IFIP 14th International Conference on Testing Communicating Systems, 2002

Modelling location operations in UMTS networks.

Marcien MacKaya, Ousmane Koné, Richard Castanet

Proceedings of the 5th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, 2002

2000

Test generation for interworking systems.

Ousmane Koné, Richard Castanet

Comput. Commun., 2000

1998

On the Fly Test Generation for Real Time Protocols.

Richard Castanet, Ousmane Koné, Patrice Laurençot

Proceedings of the International Conference On Computer Communications and Networks (ICCCN 1998), 1998

1997

Integration of time in canonical testers for real-time systems.

Patrice Laurençot, Richard Castanet

Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems (WORDS '97), 1997

1995

A Simulation Tool for Distributed Systems Using Test Sequences.

Richard Castanet, Christine Chevrier

Proceedings of the EUROSIM'96, 1995

1993

Deriving Coordinated Testers for Interoperability.

Richard Castanet, Ousmane Koné

Proceedings of the Protocol Test Systems, 1993

1986

Experimental testing of transport protocol.

Omar Rafiq, Chakib Chraibi, Richard Castanet

Comput. Commun. Rev., 1986

SDL as a Testing Language.

Chakib Chraibi, Omar Rafiq, Richard Castanet

Proceedings of the New Communication Services: A Challenge to Computer Technology, 1986

1985

Towards an environment for testing OSI protocols.

Omar Rafiq, Richard Castanet, Chakib Chraibi, J. P. Goursaud, J. Haddad, X. Perdu

Proceedings of the Protocol Specification, 1985

ADA, a well suited language for specification and implementation of protocols.

Richard Castanet, A. Dupeux, Pascal Guitton

Proceedings of the Protocol Specification, 1985

1984

Some operational tools in a OSI protocols study environment.

Jean-Pierre Ansart, Omar Rafiq, Richard Castanet, Pascal Guitton

Comput. Commun. Rev., 1984

An Automatic System for the Study of Protocols: A Presentation and Critique Based on a Worked Example.

Richard Castanet, Pascal Guitton, Omar Rafiq

Proceedings of the Protocol Specification, 1984

1974

Sémantique formelle des opérateurs d'un langage de listes.

Richard Castanet

RAIRO Theor. Informatics Appl., 1974

1973

Traduction automatique en utilisant a une grammaire en Chaine.

Richard Castanet, Sylvain Vaturi

Proceedings of the Computational And Mathematical Linguistics: Proceedings of the 5th International Conference on Computational Linguistics, 1973