15. PSTV 1995: Warsaw, Poland

@proceedings{DBLP:conf/pstv/1995,
  editor    = {Piotr Dembinski and
               Marek Sredniawa},
  title     = {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},
  booktitle = {PSTV},
  publisher = {Chapman {\&} Hall},
  series    = {IFIP Conference Proceedings},
  volume    = {38},
  year      = {1996},
  isbn      = {0-412-71620-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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 BibTeX
• Stefan Leue: Specifying real-time requirements for SDL specifications - a temporal logic-based approach. 19-34 BibTeX
• Leo Cacciari, Omar Rafiq: A temporal reachability analysis. 35-49 BibTeX

Invited Paper

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

Part Two - Specification of Concurrent Systems

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

Part Three - Testing

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

Part Four - Specification and Verification: Temporal Approach

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

Part Five - Validation and Testing

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

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 BibTeX
• Falko Bause, Heinz Kabutz, Peter Kemper, Pieter S. Kritzinger: SDL and Petri net performance analysis of communicating systems. 269-282 BibTeX
• Hubert Garavel: On the introduction of gate typing in E-LOTOS. 283-298 BibTeX

Part Seven - Verification: Model Checking

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

Invited Paper

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

Part Eight - High Speed/Multimedia

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

Part Nine - Towards Implementation

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