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

@proceedings{DBLP:conf/forte/1996,
  editor    = {Reinhard Gotzhein and
               Jan Bredereke},
  title     = {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},
  booktitle = {FORTE},
  publisher = {Chapman {\&} Hall},
  series    = {IFIP Conference Proceedings},
  volume    = {69},
  year      = {1996},
  isbn      = {0-412-79490-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Talk 1

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

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 BibTeX
• Andreas Mitschele-Thiel, Peter Langendörfer, Ralf Henke: Design and Optimization of High-Performance Protocols with the DO-IT Toolbox. 45-60 BibTeX
• Nikolai Mansurov, Alexei S. Ragozin, Andrew V. Chernov, I. V. Mansurov: Tool Support for Algebraic Specifications of Dat in SDL-92. 61-76 BibTeX
• Philipp Hoschka: Automating Performance Optimisation by Heuristic Analysis of a Formal Specification. 77-92 BibTeX

Invited Talk 2

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

Part Two - FDT-Application

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

Part Three - FDT-Based System and Protocol Engineering

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

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 BibTeX
• Marc Diefenbruch, Jörg Hintelmann, Bruno Müller-Clostermann: The QUEST-Approach for the Performance Evaluation of SDL-Systems. 229-244 BibTeX
• L. Braga, Roberto Manione, P. Renditore: A Formal Description Language for the Modelling and Simulation of Timed Interaction Diagrams. 245-260 BibTeX

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 BibTeX
• Akio Nakata, Teruo Higashino, Kenichi Taniguchi: Time-Action Alternating Model for Timed LOTOS and its Symbolic Verification of Bisimulation Equivalence. 279-294 BibTeX
• Simon Mørk, Jens Chr. Godskesen, Michael R. Hansen, Robin Sharp: A Timed Semantics for SDL. 295-309 BibTeX
• Stefan Fischer: Implementation of Multimedia Systems based on Real-Time Extensions of Estelle. 310-326 BibTeX

Invited Talk 3 - Abstract

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

Part Six - Verification and Validation

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

Invited Talk 4 - Abstract

• Lothar F. Mackert: Network Computing. 399 BibTeX

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 BibTeX
• 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 BibTeX
• 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 BibTeX
• Eurico Inocêncio, Manuel Ricardo, Hitoshi Sato, Toshimitsu Kashima: Combined Application of SDL-92, OMT, MSC and TTCN. 451-466 BibTeX

Part Eight - Extensions of FDTs and Semantical Foundations

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