9. FORTE / 16. PSTV 1996: Kaiserslautern, Germany

Reinhard Gotzhein, Jan Bredereke (Eds.): Formal Description Techniques IX: Theory, application and tools, IFIP TC6 WG6.1 International Conference on Formal Description Techniques IX / Protocol Specification, Testing and Verification XVI, Kaiserslautern, Germany, 8-11 October 1996. IFIP Conference Proceedings 69 Chapman & Hall 1996, ISBN 0-412-79490-X

Invited Talk 1

André A. S. Danthine: The Video Dial Tone Service and the ATM Environment. 3-25

Part One - Tools and Tool Support

Tsvetomir P. Petrov, Anna Pogosyants, Stephen J. Garland, Victor Luchangco, Nancy A. Lynch: Computer-Assisted Verification of an Algorithm for Concurrent Timestamps. 29-44
Andreas Mitschele-Thiel, Peter Langendörfer, Ralf Henke: Design and Optimization of High-Performance Protocols with the DO-IT Toolbox. 45-60
Nikolai Mansurov, Alexei S. Ragozin, Andrew V. Chernov, I. V. Mansurov: Tool Support for Algebraic Specifications of Dat in SDL-92. 61-76
Philipp Hoschka: Automating Performance Optimisation by Heuristic Analysis of a Formal Specification. 77-92

Invited Talk 2

Manfred Broy: Formal Description Techniques - How Formal and Descriptive are they? 95-110

Part Two - FDT-Application

Stephan Kleuker: Using Formal Methods in the Development of Protocols for Multi-User Multimedia Systems. 113-128
M. A. S. Smith: Formal Verification of Communication Protocols. 129-144
Ed Brinksma, Arend Rensink, Walter Vogler: Applications of Fair Testing. 145-160

Part Three - FDT-Based System and Protocol Engineering

Alexandre Petrenko, Nina Yevtushenko, Gregor von Bochmann: Fault Models for Testing in Context. 163-178
Hiroki Horiuchi, Tetsuya Kuroki, Sadao Obana, Kenji Suzuki: EPER: Efficient Parallel Encoding Rules for ASN.1. 179-194
Roland Groz, Olivier Charles, Josiane Renévot: Relating Conformance Test Coverage to Formal Specifications. 195-210

Part Four - Performance Modelling and Analysis

M. Bütow, Mark Mestern, C. Schapiro, Pieter S. Kritzinger: Performance Modelling with the Formal Specification Language SDL. 213-228
Marc Diefenbruch, Jörg Hintelmann, Bruno Müller-Clostermann: The QUEST-Approach for the Performance Evaluation of SDL-Systems. 229-244
L. Braga, Roberto Manione, P. Renditore: A Formal Description Language for the Modelling and Simulation of Timed Interaction Diagrams. 245-260

Part Five - Real-Time and Probability Aspects

M. Lawford, Jonathan S. Ostroff, W. Murray Wonham: Model Reduction of Modules for State-Even Temporal Logics. 263-278
Akio Nakata, Teruo Higashino, Kenichi Taniguchi: Time-Action Alternating Model for Timed LOTOS and its Symbolic Verification of Bisimulation Equivalence. 279-294
Simon Mørk, Jens Chr. Godskesen, Michael R. Hansen, Robin Sharp: A Timed Semantics for SDL. 295-309
Stefan Fischer: Implementation of Multimedia Systems based on Real-Time Extensions of Estelle. 310-326

Invited Talk 3 - Abstract

Ed Brinksma: Using Formal Methods: if you're so smart how come you ain't rich? 329

Part Six - Verification and Validation

Ulrich Stern, David L. Dill: A New Scheme for Memory-Efficient Probabilistic Verification. 333-348
Martín Llamas Nistal, Juan Quemada, Manuel J. Fernández Iglesias: Direct Verification of Bisimulations. 349-363
Yves-Marie Quemener, Thierry Jéron: Finitely Representing Infinite Reachability Graphs of CFSMs with Graph Grammars. 364-379
Jean-Michel Couvreur, Denis Poitrenaud: Model Checking Based on Occurrence Net Graph. 380-395

Invited Talk 4 - Abstract

Lothar F. Mackert: Network Computing. 399

Part Seven - Industrial Usage Reports

Samuel Huang, David Lee, Mark G. Staskauskas: Validation-Based Test Sequence Generation for Networks of Extended Finite State Machines. 403-418
Wolfgang Kellerer, Andreas Iselt, R. Riek: Using SDL for the Specification, Simulation and Implementation of an Advanced OSI Data-Link Protocol on an Embedded Microcontroller System. 419-434
Ghassan Chehaibar, Hubert Garavel, Laurent Mounier, Nadia Tawbi, Ferruccio Zulian: Specification and Verification of the PowerScale^TM Bus Arbitration Protocol: An Industrial Experiment with LOTOS. 435-450
Eurico Inocêncio, Manuel Ricardo, Hitoshi Sato, Toshimitsu Kashima: Combined Application of SDL-92, OMT, MSC and TTCN. 451-466

Part Eight - Extensions of FDTs and Semantical Foundations

Hubert Garavel, Mihaela Sighireanu: On the Introduction of Exceptions in E-LOTOS. 469-484
David Larrabeiti, Juan Quemada, Santiago Pavón: From LOTOS to Petri Nets through Iexpansion. 485-500
John Derrick, Howard Bowman, Eerke A. Boiten, Maarten Steen: Comparing LOTOS and Z Refinement Relations. 501-516

Last update Sat May 18 09:20:15 2013 CET by the DBLP Team —

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