Richard Castanet
According to our database1,
Richard Castanet
authored at least 27 papers
between 1973 and 2012.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2012
An Approach to Automated Runtime Verification for Timed Systems: Applications to Web Services.
J. Softw., 2012
2011
Proceedings of the 2011 IEEE Asia-Pacific Services Computing Conference, 2011
2010
Automated Robustness Testing for Reactive Systems: Application to Communicating Protocols.
Proceedings of the 10th International Conference on Innovative Internet Community Services (I<sup>2</sup>CS), 2010
Proceedings of the IEEE International Conference on Web Services, 2010
Proceedings of the Third International Conference on Software Testing, 2010
2009
Proceedings of the 2009 IEEE Congress on Services, Part I, 2009
2007
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007
2006
Proceedings of the Testing of Communicating Systems, 2006
2005
Une plate-forme de validation multi-protocoles et multi-services - résultats d'expérimentation.
Ann. des Télécommunications, 2005
Proceedings of the Testing of Communicating Systems, 2005
2004
Stud. Inform. Univ., 2004
Proceedings of the Testing of Communicating Systems, 16th IFIP International Conerence, 2004
2002
Generate Certified Test Cases by Combining Theorem Proving and Reachability Analysis.
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
Proceedings of the 5th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, 2002
2000
1998
Proceedings of the International Conference On Computer Communications and Networks (ICCCN 1998), 1998
1997
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.
Proceedings of the EUROSIM'96, 1995
1993
Deriving Coordinated Testers for Interoperability.
Proceedings of the Protocol Test Systems, 1993
1986
SDL as a Testing Language.
Proceedings of the New Communication Services: A Challenge to Computer Technology, 1986
1985
Towards an environment for testing OSI protocols.
Proceedings of the Protocol Specification, 1985
ADA, a well suited language for specification and implementation of protocols.
Proceedings of the Protocol Specification, 1985
1984
Comput. Commun. Rev., 1984
An Automatic System for the Study of Protocols: A Presentation and Critique Based on a Worked Example.
Proceedings of the Protocol Specification, 1984
1974
RAIRO Theor. Informatics Appl., 1974
1973
Proceedings of the Computational And Mathematical Linguistics: Proceedings of the 5th International Conference on Computational Linguistics, 1973