Richard Castanet - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 27 from 27

2012

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

2011

Testing of Web Services: Tools and ExperimentsTien-Dung Cao, Richard Castanet, Patrick Félix, Gerardo Morales. apscc 2011: 78-85 [doi]

2010

2009

Testing Web Services Composition Using the TGSE ToolTien-Dung Cao, Patrick FÃ©lix, Richard Castanet, Ismail Berrada. services 2009: 187-194 [doi]

2007

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

2006

Test Case Minimization for Real-Time Systems Using Timed Bound TracesIsmail Berrada, Richard Castanet, Patrick Félix, Aziz Salah. pts 2006: 289-305 [doi]

2005

Testing Communicating Systems: a Model, a Methodology, and a ToolIsmail Berrada, Richard Castanet, Patrick Félix. pts 2005: 111-128 [doi]

Une plate-forme de validation multi-protocoles et multi-services - résultats d expérimentationPierre Combes, Wei Monin, Ana R. Cavalli, Amel Mederreg, Fatiha Zaïdi, Richard Castanet, Marcien MacKaya, Patrice Laurençot. adt, 60(5-6):588-609, 2005.

2004

From The Feasability Analysis To Real-Time Test GenerationIsmail Berrada, Richard Castanet, Patrick Félix. siu, 3(2):203-230, 2004. [doi]

A Multi-service and Multi-protocol Validation Platform-Experimentation ResultsAna R. Cavalli, Amel Mederreg, Fatiha Zaïdi, Pierre Combes, Wei Monin, Richard Castanet, Marcien MacKaya, Patrice Laurençot. pts 2004: 17-32 [doi]

2002

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

Modelling location operations in UMTS networksMarcien MacKaya, Ousmane Koné, Richard Castanet. mswim 2002: 69-73 [doi]

2000

Test generation for interworking systemsOusmane Koné, Richard Castanet. comcom, 23(7):642-652, 2000. [doi]

1998

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

1997

Integration of time in canonical testers for real-time systemsPatrice Laurençot, Richard Castanet. words 1997: 207-214 [doi]

1995

A Simulation Tool for Distributed Systems Using Test SequencesRichard Castanet, Christine Chevrier. eurosim 1995: 339-344

1993

Deriving Coordinated Testers for InteroperabilityRichard Castanet, Ousmane Koné. pts 1994: 331-346

1986

SDL as a Testing LanguageChakib Chraibi, Omar Rafiq, Richard Castanet. iccc 1986: 502-507

Experimental testing of transport protocolOmar Rafiq, Chakib Chraibi, Richard Castanet. ccr, 16(4):23-34, 1986. [doi]

1985

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

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

1984

Some operational tools in a OSI protocols study environmentJean-Pierre Ansart, Omar Rafiq, Richard Castanet, Pascal Guitton. ccr, 14(2):156-161, 1984. [doi]

An Automatic System for the Study of Protocols: A Presentation and Critique Based on a Worked ExampleRichard Castanet, Pascal Guitton, Omar Rafiq. pstv 1985: 111-125

1974

Sémantique formelle des opérateurs d'un langage de listesRichard Castanet. ita, 8(3):19-36, 1974. [doi]

1973

Traduction automatique en utilisant a une grammaire en ChaineRichard Castanet, Sylvain Vaturi. COLING 1973: 177-182 [doi]

Sign in or sign up to see more results.

runs on WebDSL