default search action
Richard Castanet
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2012
- [j7]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): 1338-1350 (2012) - 2011
- [c20]Tien-Dung Cao, Richard Castanet, Patrick Félix, Gerardo Morales:
Testing of Web Services: Tools and Experiments. APSCC 2011: 78-85 - 2010
- [c19]Tien-Dung Cao, Patrick Félix, Richard Castanet, Ismail Berrada:
Online Testing Framework for Web Services. ICST 2010: 363-372 - [c18]Tien-Dung Cao, Trung-Tien Phan-Quang, Patrick Félix, Richard Castanet:
Automated Runtime Verification for Web Services. ICWS 2010: 76-82 - [c17]Fares Saad-Khorchef, Ismail Berrada, Antoine Rollet, Richard Castanet:
Automated Robustness Testing for Reactive Systems: Application to Communicating Protocols. IICS 2010: 409-421
2000 – 2009
- 2009
- [c16]Tien-Dung Cao, Patrick Félix, Richard Castanet, Ismail Berrada:
Testing Web Services Composition Using the TGSE Tool. SERVICES I 2009: 187-194 - 2007
- [c15]Fares Saad-Khorchef, Antoine Rollet, Richard Castanet:
A framework and a tool for robustness testing of communicating software. SAC 2007: 1461-1466 - 2006
- [c14]Ismail Berrada, Richard Castanet, Patrick Félix, Aziz Salah:
Test Case Minimization for Real-Time Systems Using Timed Bound Traces. TestCom 2006: 289-305 - 2005
- [j6]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): 588-609 (2005) - [c13]Ismail Berrada, Richard Castanet, Patrick Félix:
Testing Communicating Systems: a Model, a Methodology, and a Tool. TestCom 2005: 111-128 - 2004
- [j5]Ismail Berrada, Richard Castanet, Patrick Félix:
From The Feasability Analysis To Real-Time Test Generation. Stud. Inform. Univ. 3(2): 203-230 (2004) - [c12]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: 17-32 - 2002
- [c11]Marcien MacKaya, Ousmane Koné, Richard Castanet:
Modelling location operations in UMTS networks. MSWiM 2002: 69-73 - [c10]Richard Castanet, Davy Rouillard:
Generate Certified Test Cases by Combining Theorem Proving and Reachability Analysis. TestCom 2002: 249-266 - 2000
- [j4]Ousmane Koné, Richard Castanet:
Test generation for interworking systems. Comput. Commun. 23(7): 642-652 (2000)
1990 – 1999
- 1998
- [c9]Richard Castanet, Ousmane Koné, Patrice Laurençot:
On the Fly Test Generation for Real Time Protocols. ICCCN 1998: 378-387 - 1997
- [c8]Patrice Laurençot, Richard Castanet:
Integration of time in canonical testers for real-time systems. WORDS 1997: 207-214 - 1995
- [c7]Richard Castanet, Christine Chevrier:
A Simulation Tool for Distributed Systems Using Test Sequences. EUROSIM 1995: 339-344 - 1993
- [c6]Richard Castanet, Ousmane Koné:
Deriving Coordinated Testers for Interoperability. Protocol Test Systems 1993: 331-346
1980 – 1989
- 1986
- [j3]Omar Rafiq, Chakib Chraibi, Richard Castanet:
Experimental testing of transport protocol. Comput. Commun. Rev. 16(4): 23-34 (1986) - [c5]Chakib Chraibi, Omar Rafiq, Richard Castanet:
SDL as a Testing Language. ICCC 1986: 502-507 - 1985
- [c4]Richard Castanet, A. Dupeux, Pascal Guitton:
ADA, a well suited language for specification and implementation of protocols. PSTV 1985: 247-258 - [c3]Omar Rafiq, Richard Castanet, Chakib Chraibi, J. P. Goursaud, J. Haddad, X. Perdu:
Towards an environment for testing OSI protocols. PSTV 1985: 533-544 - 1984
- [j2]Jean-Pierre Ansart, Omar Rafiq, Richard Castanet, Pascal Guitton:
Some operational tools in a OSI protocols study environment. Comput. Commun. Rev. 14(2): 156-161 (1984) - [c2]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: 111-125
1970 – 1979
- 1974
- [j1]Richard Castanet:
Sémantique formelle des opérateurs d'un langage de listes. RAIRO Theor. Informatics Appl. 8(3): 19-36 (1974) - 1973
- [c1]Richard Castanet, Sylvain Vaturi:
Traduction automatique en utilisant a une grammaire en Chaine. COLING 1973: 177-182
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: