The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Richard Castanet: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Richard Castanet, Christine Chevrier
    A Simulation Tool for Distributed Systems Using Test Sequences. [Citation Graph (0, 0)][DBLP]
    EUROSIM, 1995, pp:339-344 [Conf]
  2. Chakib Chraibi, Omar Rafiq, Richard Castanet
    SDL as a Testing Language. [Citation Graph (0, 0)][DBLP]
    ICCC, 1986, pp:502-507 [Conf]
  3. Richard Castanet, Ousmane Koné, Patrice Laurençot
    On the Fly Test Generation for Real Time Protocols. [Citation Graph (0, 0)][DBLP]
    ICCCN, 1998, pp:378-387 [Conf]
  4. Marcien MacKaya, Ousmane Koné, Richard Castanet
    Modelling location operations in UMTS networks. [Citation Graph (0, 0)][DBLP]
    MSWiM, 2002, pp:69-73 [Conf]
  5. Richard Castanet, A. Dupeux, Pascal Guitton
    ADA, a well suited language for specification and implementation of protocols. [Citation Graph (0, 0)][DBLP]
    PSTV, 1985, pp:247-258 [Conf]
  6. Richard Castanet, Pascal Guitton, Omar Rafiq
    An Automatic System for the Study of Protocols: A Presentation and Critique Based on a Worked Example. [Citation Graph (0, 0)][DBLP]
    PSTV, 1984, pp:111-125 [Conf]
  7. Omar Rafiq, Richard Castanet, Chakib Chraibi, J. P. Goursaud, J. Haddad, X. Perdu
    Towards an environment for testing OSI protocols. [Citation Graph (0, 0)][DBLP]
    PSTV, 1985, pp:533-544 [Conf]
  8. Ismail Berrada, Richard Castanet, Patrick Félix
    Testing Communicating Systems: a Model, a Methodology, and a Tool. [Citation Graph (0, 0)][DBLP]
    TestCom, 2005, pp:111-128 [Conf]
  9. Ismail Berrada, Richard Castanet, Patrick Félix, Aziz Salah
    Test Case Minimization for Real-Time Systems Using Timed Bound Traces. [Citation Graph (0, 0)][DBLP]
    TestCom, 2006, pp:289-305 [Conf]
  10. Richard Castanet, Ousmane Koné
    Deriving Coordinated Testers for Interoperability. [Citation Graph (0, 0)][DBLP]
    Protocol Test Systems, 1993, pp:331-346 [Conf]
  11. Richard Castanet, Davy Rouillard
    Generate Certified Test Cases by Combining Theorem Proving and Reachability Analysis. [Citation Graph (0, 0)][DBLP]
    TestCom, 2002, pp:249-266 [Conf]
  12. 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. [Citation Graph (0, 0)][DBLP]
    TestCom, 2004, pp:17-32 [Conf]
  13. Fares Saad-Khorchef, Antoine Rollet, Richard Castanet
    A framework and a tool for robustness testing of communicating software. [Citation Graph (0, 0)][DBLP]
    SAC, 2007, pp:1461-1466 [Conf]
  14. 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. [Citation Graph (0, 0)][DBLP]
    Annales des Télécommunications, 2005, v:60, n:5-6, pp:588-609 [Journal]
  15. Jean-Pierre Ansart, Omar Rafiq, Richard Castanet, Pascal Guitton
    Some operational tools in a OSI protocols study environment. [Citation Graph (0, 0)][DBLP]
    Computer Communication Review, 1984, v:14, n:2, pp:156-161 [Journal]
  16. Omar Rafiq, Chakib Chraibi, Richard Castanet
    Experimental testing of transport protocol. [Citation Graph (0, 0)][DBLP]
    Computer Communication Review, 1986, v:16, n:4, pp:23-34 [Journal]
  17. Ousmane Koné, Richard Castanet
    Test generation for interworking systems. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 2000, v:23, n:7, pp:642-652 [Journal]
  18. Ismail Berrada, Richard Castanet, Patrick Félix
    From The Feasability Analysis To Real-Time Test Generation. [Citation Graph (0, 0)][DBLP]
    Stud. Inform. Univ., 2004, v:3, n:2, pp:203-230 [Journal]

  19. Automated Runtime Verification for Web Services. [Citation Graph (, )][DBLP]


  20. Automated Robustness Testing for Reactive Systems: Application to Communicating Protocols. [Citation Graph (, )][DBLP]


  21. Online Testing Framework for Web Services. [Citation Graph (, )][DBLP]


  22. Testing Web Services Composition Using the TGSE Tool. [Citation Graph (, )][DBLP]


Search in 0.087secs, Finished in 0.088secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002