The SCEAS System
Navigation Menu

Conferences in DBLP

Protocol Specification, Testing and Verification (pstv)
1989 (conf/pstv/1989)

  1. Ian J. Hayes, M. Mowbray, Gordon A. Rose
    Signalling System No.7, The Network Layer. [Citation Graph (0, 0)][DBLP]
    PSTV, 1989, pp:3-14 [Conf]
  2. Marc Phalippou
    Functional Specification for an ISDN Switching System: an Experience using Estelle. [Citation Graph (0, 0)][DBLP]
    PSTV, 1989, pp:15-24 [Conf]
  3. Mohammed Faci, Luigi Logrippo, Bernard Stepien
    Formal Specifications of Telephone Systems in LOTOS. [Citation Graph (0, 0)][DBLP]
    PSTV, 1989, pp:25-34 [Conf]
  4. Willem P. de Roever, Jozef Hooman
    Design and verification in real-time distributed computing: an introduction to compositional methods. [Citation Graph (0, 0)][DBLP]
    PSTV, 1989, pp:37-56 [Conf]
  5. Norio Shiratori, Hiroaki Kaminaga, Kaoru Takahashi, Shoichi Noguchi
    A Verification Method for LOTOS Specifications and its Application. [Citation Graph (0, 0)][DBLP]
    PSTV, 1989, pp:59-70 [Conf]
  6. Terry Stroup, Norbert Götz, Michael Mendler
    Stepwise Refinement of Layered Protocols by Formal Program Development. [Citation Graph (0, 0)][DBLP]
    PSTV, 1989, pp:71-85 [Conf]
  7. Rom Langerak
    A Testing Theory for LOTOS using Deadlock Detection. [Citation Graph (0, 0)][DBLP]
    PSTV, 1989, pp:87-98 [Conf]
  8. Samuel T. Chanson, B. P. Lee, N. J. Parakh, Hua-Xin Zeng
    Design and Implementation of a Ferry Clip Test System. [Citation Graph (0, 0)][DBLP]
    PSTV, 1989, pp:101-118 [Conf]
  9. Wendy Y. L. Chan, Son T. Vuong, Mabo Robert Ito
    On Test Sequence Generation for Protocols. [Citation Graph (0, 0)][DBLP]
    PSTV, 1989, pp:119-130 [Conf]
  10. Yinan N. Shen, Fabrizio Lombardi, Anton T. Dahbura
    Protocol Conformance Testing Using Multiple UIO Sequences. [Citation Graph (0, 0)][DBLP]
    PSTV, 1989, pp:131-143 [Conf]
  11. Clazien D. Wezeman
    The CO-OP Method for Compositional Derivation of Conformance Testers. [Citation Graph (0, 0)][DBLP]
    PSTV, 1989, pp:145-158 [Conf]
  12. Claude Jard, Jean-Marc Jézéquel
    A Multi-Processor Estelle-to-C Compiler to Prototype Algorithms on Parallel Machines. [Citation Graph (0, 0)][DBLP]
    PSTV, 1989, pp:161-174 [Conf]
  13. Gregor von Bochmann, Michel Deslauriers
    Combining ASN1 Support with the LOTOS Language. [Citation Graph (0, 0)][DBLP]
    PSTV, 1989, pp:175-186 [Conf]
  14. Dietmar Wolz, Paul Boehm
    Compilation of LOTOS Data Type Specifications. [Citation Graph (0, 0)][DBLP]
    PSTV, 1989, pp:187-202 [Conf]
  15. J. J. van Griethuysen
    Open Distributed Processing. [Citation Graph (0, 0)][DBLP]
    PSTV, 1989, pp:205-219 [Conf]
  16. Richard Lai, Tharam S. Dillon, Ken R. Parker
    Verification Results for ISO FTAM Basic Protocol. [Citation Graph (0, 0)][DBLP]
    PSTV, 1989, pp:223-234 [Conf]
  17. Teruo Higashino, Kiyoshi Ninomiya, Tomohisa Kimoto, Kenichi Taniguchi, Masaaki Mori
    Automated Verification of Equivalence of Protocol Machines. [Citation Graph (0, 0)][DBLP]
    PSTV, 1989, pp:235-246 [Conf]
  18. Jan Gustavsson, Harry Rudin
    Including a Queue in a Formal-Description-Driven Protocol Performance Analysis. [Citation Graph (0, 0)][DBLP]
    PSTV, 1989, pp:247-258 [Conf]
  19. Pawel Gburzynski, Piotr Rudnicki
    On Executable Specifications, Validation, and Testing of MAC-Level Protocols. [Citation Graph (0, 0)][DBLP]
    PSTV, 1989, pp:261-273 [Conf]
  20. Peter van Eijk
    LOTOS Tools Based on the Cornell Synthesizer Generator. [Citation Graph (0, 0)][DBLP]
    PSTV, 1989, pp:275-286 [Conf]
  21. Rance Cleaveland, Joachim Parrow, Bernhard Steffen
    A Semantics Based Verification Tool for Finite State Systems. [Citation Graph (0, 0)][DBLP]
    PSTV, 1989, pp:287-302 [Conf]
  22. R. Isaac Chan, Brian R. Smith, Gerald W. Neufeld, Samuel T. Chanson, W. B. Davis, Son T. Vuong, H. L. See, S. Chan
    A Software Environment for OSI Protocol Testing Systems. [Citation Graph (0, 0)][DBLP]
    PSTV, 1989, pp:303-314 [Conf]
  23. Gerard J. Holzmann, Joanna Patti
    Validating SDL Specifications: an Experiment. [Citation Graph (0, 0)][DBLP]
    PSTV, 1989, pp:317-326 [Conf]
  24. Dragomir D. Dimitrijevic, Mon-Song Chen
    Dynamic State Exploration in Quantitative Protocol Analysis. [Citation Graph (0, 0)][DBLP]
    PSTV, 1989, pp:327-338 [Conf]
  25. Maria C. Yuang, Aaron Kershenbaum
    Parallel Protocol Verification: The Two-Phase Algorithm. [Citation Graph (0, 0)][DBLP]
    PSTV, 1989, pp:339-353 [Conf]
  26. Fredrik Orava
    Verifying Safety and Deadlock Properties of Networks of Asynchronously Communicating Processes. [Citation Graph (0, 0)][DBLP]
    PSTV, 1989, pp:357-371 [Conf]
  27. Robert P. Kurshan, Shlomit S. Pinter, Baruch Solomon
    Extensions of Temporal Logic for Counting with Applications to Model Verification. [Citation Graph (0, 0)][DBLP]
    PSTV, 1989, pp:373-386 [Conf]
  28. Brigitte Pradin-Chezalviel, Michel Diaz
    Axioms of Communication Using Temporal Logic with Past. [Citation Graph (0, 0)][DBLP]
    PSTV, 1989, pp:387-399 [Conf]
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002