15. PSTV 1995: Warsaw, Poland

Piotr Dembinski, Marek Sredniawa (Eds.): 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. IFIP Conference Proceedings 38 Chapman & Hall 1996, ISBN 0-412-71620-8

Part One - Specification and Verification: Time-dependent Analysis

Rob Gerth, Doron Peled, Moshe Y. Vardi, Pierre Wolper: Simple on-the-fly automatic verification of linear temporal logic. 3-18
Stefan Leue: Specifying real-time requirements for SDL specifications - a temporal logic-based approach. 19-34
Leo Cacciari, Omar Rafiq: A temporal reachability analysis. 35-49

Invited Paper

Antoni W. Mazurkiewicz: True versus artificial concurrency. 53-68

Part Two - Specification of Concurrent Systems

Nikolay A. Anisimov, Maciej Koutny: On compositionality and Petri nets in protocol engineering. 71-86
Maarten Steen, Howard Bowman, John Derrick: Composition of LOTOS specifications. 87-102

Part Three - Testing

Maria Törö, Katalin Tarnay: Principles for validation of abstract test suites specified in concurrent TTCN. 105-120
Andreas Ulrich, Samuel T. Chanson: An approach to testing distributed software systems. 121-136
Q. M. Tan, Alexandre Petrenko, Gregor von Bochmann: Modeling basic LOTOS by FSMs for conformance testing. 137-152

Part Four - Specification and Verification: Temporal Approach

Dieter Barnard, Simon Crosby: The specification and verification of an experimental ATM signalling protocol. 155-170
Peter Herrmann, Heiko Krumm: Re-usable verification elements for high-speed transfer protocol configurations. 171-186
Mohamed Jmaiel: An algebraic-temporal specification of a CSMA/CD-protocol. 187-202

Part Five - Validation and Testing

Steven Bradley, William Henderson, David Kendall, Adrian Robson: Validation, verification and implementation of timed protocols using AORTA. 205-220
Lex Heerink, Ed Brinksma: Validation in context. 221-236
David de Frutos-Escrig, Manuel Núñez, Juan Quemada: Characterizing termination in LOTOS via testing. 237-250

Part Six - Specification and Analysis

Khalil Drira, Youcef Atamna, Guy Juanole: Quantified reduced views of state graphs using Markovian and timed observational equivalence. 253-268
Falko Bause, Heinz Kabutz, Peter Kemper, Pieter S. Kritzinger: SDL and Petri net performance analysis of communicating systems. 269-282
Hubert Garavel: On the introduction of gate typing in E-LOTOS. 283-298

Part Seven - Verification: Model Checking

Gerard J. Holzmann: An analysis of bistate hashing. 301-314
Doron Peled, Wojciech Penczek: Using asynchronous Büchi automata for efficient automatic verification of concurrent systems. 315-330
Riccardo Sisto: A method to build symbolic representations of LOTOS specifications. 331-346

Invited Paper

Michel Diaz, Thierry Villemur, François Vernadat: Formal design of cooperative systems. 349-365

Part Eight - High Speed/Multimedia

S. Fischer: On the suitability of Estelle for multimedia systems. 369-384
O. Catrina: Protocol analysis and verification methods, application to the Xpress Transfer protocol 4.0. 385-400

Part Nine - Towards Implementation

Ralf Plato, Thomas Held, Hartmut König: PARES - a portable parallel Estelle compiler. 403-418
Luci Pirmez, Aloysio Pedroza, Antônio C. Mesquita: A methodology for the implementation of protocols in hardware from a formal description. 419-434
Jacek Wytrebowicz: Hardware specification generated from Estelle. 435-450

Last update Tue May 21 00:03:46 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page