default search action

combined dblp search
author search
venue search
publication search

ask others

15th PSTV 1995: Warsaw, Poland

> Home > Conferences and Workshops > PSTV

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/1995
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/1995
Piotr Dembinski, Marek Sredniawa:
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

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/GerthPVW95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/GerthPVW95
Rob Gerth, Doron A. Peled, Moshe Y. Vardi, Pierre Wolper:
Simple on-the-fly automatic verification of linear temporal logic. PSTV 1995: 3-18
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/Leue95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/Leue95
Stefan Leue:
Specifying real-time requirements for SDL specifications - a temporal logic-based approach. PSTV 1995: 19-34
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/CacciariR95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/CacciariR95
Leo Cacciari, Omar Rafiq:
A temporal reachability analysis. PSTV 1995: 35-49

Invited Paper

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/Mazurkiewicz95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/Mazurkiewicz95
Antoni W. Mazurkiewicz:
True versus artificial concurrency. PSTV 1995: 53-68

Part Two - Specification of Concurrent Systems

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/AnisimovK95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/AnisimovK95
Nikolay A. Anisimov, Maciej Koutny:
On compositionality and Petri nets in protocol engineering. PSTV 1995: 71-86
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/SteenBD95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/SteenBD95
Maarten Steen, Howard Bowman, John Derrick:
Composition of LOTOS specifications. PSTV 1995: 87-102

Part Three - Testing

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/ToroT95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/ToroT95
Maria Törö, Katalin Tarnay:
Principles for validation of abstract test suites specified in concurrent TTCN. PSTV 1995: 105-120
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/UlrichC95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/UlrichC95
Andreas Ulrich, Samuel T. Chanson:
An approach to testing distributed software systems. PSTV 1995: 121-136
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/TanPB95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/TanPB95
Q. M. Tan, Alexandre Petrenko, Gregor von Bochmann:
Modeling basic LOTOS by FSMs for conformance testing. PSTV 1995: 137-152

Part Four - Specification and Verification: Temporal Approach

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/BarnardC95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/BarnardC95
Dieter Barnard, Simon Crosby:
The specification and verification of an experimental ATM signalling protocol. PSTV 1995: 155-170
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/HerrmannK95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/HerrmannK95
Peter Herrmann, Heiko Krumm:
Re-usable verification elements for high-speed transfer protocol configurations. PSTV 1995: 171-186
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/Jmaiel95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/Jmaiel95
Mohamed Jmaiel:
An algebraic-temporal specification of a CSMA/CD-protocol. PSTV 1995: 187-202

Part Five - Validation and Testing

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/BradleyHKR95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/BradleyHKR95
Steven Bradley, William Henderson, David Kendall, Adrian Robson:
Validation, verification and implementation of timed protocols using AORTA. PSTV 1995: 205-220
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/HeerinkB95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/HeerinkB95
Lex Heerink, Ed Brinksma:
Validation in context. PSTV 1995: 221-236
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/Frutos-EscrigNQ95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/Frutos-EscrigNQ95
David de Frutos-Escrig, Manuel Núñez, Juan Quemada:
Characterizing termination in LOTOS via testing. PSTV 1995: 237-250

Part Six - Specification and Analysis

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/DriraAJ95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/DriraAJ95
Khalil Drira, Youcef Atamna, Guy Juanole:
Quantified reduced views of state graphs using Markovian and timed observational equivalence. PSTV 1995: 253-268
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/BauseKKK95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/BauseKKK95
Falko Bause, Heinz Kabutz, Peter Kemper, Pieter S. Kritzinger:
SDL and Petri net performance analysis of communicating systems. PSTV 1995: 269-282
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/Garavel95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/Garavel95
Hubert Garavel:
On the introduction of gate typing in E-LOTOS. PSTV 1995: 283-298

Part Seven - Verification: Model Checking

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/Holzmann95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/Holzmann95
Gerard J. Holzmann:
An analysis of bistate hashing. PSTV 1995: 301-314
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/PeledP95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/PeledP95
Doron A. Peled, Wojciech Penczek:
Using asynchronous Büchi automata for efficient automatic verification of concurrent systems. PSTV 1995: 315-330
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/Sisto95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/Sisto95
Riccardo Sisto:
A method to build symbolic representations of LOTOS specifications. PSTV 1995: 331-346

Invited Paper

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/DiazVV95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/DiazVV95
Michel Diaz, Thierry Villemur, François Vernadat:
Formal design of cooperative systems. PSTV 1995: 349-365

Part Eight - High Speed/Multimedia

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/Fischer95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/Fischer95
Stefan Fischer:
On the suitability of Estelle for multimedia systems. PSTV 1995: 369-384
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/Catrina95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/Catrina95
O. Catrina:
Protocol analysis and verification methods, application to the Xpress Transfer protocol 4.0. PSTV 1995: 385-400

Part Nine - Towards Implementation

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/PlatoHK95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/PlatoHK95
Ralf Plato, Thomas Held, Hartmut König:
PARES - a portable parallel Estelle compiler. PSTV 1995: 403-418
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/PirmezPM95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/PirmezPM95
Luci Pirmez, Aloysio Pedroza, Antonio Carneiro de Mesquita Filho:
A methodology for the implementation of protocols in hardware from a formal description. PSTV 1995: 419-434
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/Wytrebowicz95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/Wytrebowicz95
Jacek Wytrebowicz:
Hardware specification generated from Estelle. PSTV 1995: 435-450

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.