PSTV

Keyphrases

Publications

volume 38, 1996

Protocol Specification, Testing and Verification XV, Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Warsaw, Poland, June 1995 PSTV 38 (1996)

1995

Hubert Garavel
On the introduction of gate typing in E-LOTOS. PSTV (1995)
Dieter Barnard, Simon Crosby
The specification and verification of an experimental ATM signalling protocol. PSTV (1995)
Q. M. Tan, Alexandre Petrenko, Gregor von Bochmann
Modeling basic LOTOS by FSMs for conformance testing. PSTV (1995)
Mohamed Jmaiel
An algebraic-temporal specification of a CSMA/CD-protocol. PSTV (1995)
Luci Pirmez, Aloysio Pedroza, Antonio Carneiro de Mesquita Filho
A methodology for the implementation of protocols in hardware from a formal description. PSTV (1995)
O. Catrina
Protocol analysis and verification methods, application to the Xpress Transfer protocol 4.0. PSTV (1995)
Steven Bradley, William Henderson, David Kendall, Adrian Robson
Validation, verification and implementation of timed protocols using AORTA. PSTV (1995)
Maria Törö, Katalin Tarnay
Principles for validation of abstract test suites specified in concurrent TTCN. PSTV (1995)
Khalil Drira, Youcef Atamna, Guy Juanole
Quantified reduced views of state graphs using Markovian and timed observational equivalence. PSTV (1995)
Maarten Steen, Howard Bowman, John Derrick
Composition of LOTOS specifications. PSTV (1995)
Peter Herrmann, Heiko Krumm
Re-usable verification elements for high-speed transfer protocol configurations. PSTV (1995)
Leo Cacciari, Omar Rafiq
A temporal reachability analysis. PSTV (1995)
Doron A. Peled, Wojciech Penczek
Using asynchronous Büchi automata for efficient automatic verification of concurrent systems. PSTV (1995)
Michel Diaz, Thierry Villemur, François Vernadat
Formal design of cooperative systems. PSTV (1995)
Andreas Ulrich, Samuel T. Chanson
An approach to testing distributed software systems. PSTV (1995)
Stefan Leue
Specifying real-time requirements for SDL specifications - a temporal logic-based approach. PSTV (1995)
Rob Gerth, Doron A. Peled, Moshe Y. Vardi, Pierre Wolper
Simple on-the-fly automatic verification of linear temporal logic. PSTV (1995)
Gerard J. Holzmann
An analysis of bistate hashing. PSTV (1995)
Riccardo Sisto
A method to build symbolic representations of LOTOS specifications. PSTV (1995)
Antoni W. Mazurkiewicz
True versus artificial concurrency. PSTV (1995)
Nikolay A. Anisimov, Maciej Koutny
On compositionality and Petri nets in protocol engineering. PSTV (1995)
Jacek Wytrebowicz
Hardware specification generated from Estelle. PSTV (1995)
Stefan Fischer
On the suitability of Estelle for multimedia systems. PSTV (1995)
Ralf Plato, Thomas Held, Hartmut König
PARES - a portable parallel Estelle compiler. PSTV (1995)
Lex Heerink, Ed Brinksma
Validation in context. PSTV (1995)
Falko Bause, Heinz Kabutz, Peter Kemper, Pieter S. Kritzinger
SDL and Petri net performance analysis of communicating systems. PSTV (1995)
David de Frutos-Escrig, Manuel Núñez, Juan Quemada
Characterizing termination in LOTOS via testing. PSTV (1995)

volume 1, 1995

Protocol Specification, Testing and Verification XIV, Proceedings of the Fourteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Vancouver, BC, Canada, 1994 PSTV 1 (1995)

1994