ask others

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

> Home > Conferences and Workshops > FORTE
> Home > Conferences and Workshops > PSTV

- no documents available
- export record
  dblp key:
  - conf/forte/1996
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/forte/1996
Reinhard Gotzhein, Jan Bredereke:
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

- no documents available
- export record
  dblp key:
  - conf/forte/Danthine96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/forte/Danthine96
André A. S. Danthine:
The Video Dial Tone Service and the ATM Environment. FORTE 1996: 3-25

Part One - Tools and Tool Support

- no documents available
- export record
  dblp key:
  - conf/forte/PetrovPGLL96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/forte/PetrovPGLL96
Tsvetomir P. Petrov, Anna Pogosyants, Stephen J. Garland, Victor Luchangco, Nancy A. Lynch:
Computer-Assisted Verification of an Algorithm for Concurrent Timestamps. FORTE 1996: 29-44
- no documents available
- export record
  dblp key:
  - conf/forte/Mitschele-ThielLH96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/forte/Mitschele-ThielLH96
Andreas Mitschele-Thiel, Peter Langendörfer, Ralf Henke:
Design and Optimization of High-Performance Protocols with the DO-IT Toolbox. FORTE 1996: 45-60
- no documents available
- export record
  dblp key:
  - conf/forte/MansurovRCM96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/forte/MansurovRCM96
Nikolai Mansurov, Alexei S. Ragozin, Andrew V. Chernov, I. V. Mansurov:
Tool Support for Algebraic Specifications of Dat in SDL-92. FORTE 1996: 61-76
- no documents available
- export record
  dblp key:
  - conf/forte/Hoschka96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/forte/Hoschka96
Philipp Hoschka:
Automating Performance Optimisation by Heuristic Analysis of a Formal Specification. FORTE 1996: 77-92

Invited Talk 2

- no documents available
- export record
  dblp key:
  - conf/forte/Broy96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/forte/Broy96
Manfred Broy:
Formal Description Techniques - How Formal and Descriptive are they? FORTE 1996: 95-110

Part Two - FDT-Application

- no documents available
- export record
  dblp key:
  - conf/forte/Kleuker96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/forte/Kleuker96
Stephan Kleuker:
Using Formal Methods in the Development of Protocols for Multi-User Multimedia Systems. FORTE 1996: 113-128
- no documents available
- export record
  dblp key:
  - conf/forte/Smith96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/forte/Smith96
M. A. S. Smith:
Formal Verification of Communication Protocols. FORTE 1996: 129-144
- no documents available
- export record
  dblp key:
  - conf/forte/BrinksmaRV96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/forte/BrinksmaRV96
Ed Brinksma, Arend Rensink, Walter Vogler:
Applications of Fair Testing. FORTE 1996: 145-160

Part Three - FDT-Based System and Protocol Engineering

- no documents available
- export record
  dblp key:
  - conf/forte/PetrenkoYB96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/forte/PetrenkoYB96
Alexandre Petrenko, Nina Yevtushenko, Gregor von Bochmann:
Fault Models for Testing in Context. FORTE 1996: 163-178
- no documents available
- export record
  dblp key:
  - conf/forte/HoriuchiKOS96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/forte/HoriuchiKOS96
Hiroki Horiuchi, Tetsuya Kuroki, Sadao Obana, Kenji Suzuki:
EPER: Efficient Parallel Encoding Rules for ASN.1. FORTE 1996: 179-194
- no documents available
- export record
  dblp key:
  - conf/forte/GrozCR96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/forte/GrozCR96
Roland Groz, Olivier Charles, Josiane Renévot:
Relating Conformance Test Coverage to Formal Specifications. FORTE 1996: 195-210

Part Four - Performance Modelling and Analysis

- no documents available
- export record
  dblp key:
  - conf/forte/ButowMSK96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/forte/ButowMSK96
M. Bütow, Mark Mestern, C. Schapiro, Pieter S. Kritzinger:
Performance Modelling with the Formal Specification Language SDL. FORTE 1996: 213-228
- no documents available
- export record
  dblp key:
  - conf/forte/DiefenbruchHM96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/forte/DiefenbruchHM96
Marc Diefenbruch, Jörg Hintelmann, Bruno Müller-Clostermann:
The QUEST-Approach for the Performance Evaluation of SDL-Systems. FORTE 1996: 229-244
- no documents available
- export record
  dblp key:
  - conf/forte/BragaMR96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/forte/BragaMR96
L. Braga, Roberto Manione, P. Renditore:
A Formal Description Language for the Modelling and Simulation of Timed Interaction Diagrams. FORTE 1996: 245-260

Part Five - Real-Time and Probability Aspects

- no documents available
- export record
  dblp key:
  - conf/forte/LawfordOW96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/forte/LawfordOW96
Mark Lawford, Jonathan S. Ostroff, Walter Murray Wonham:
Model Reduction of Modules for State-Even Temporal Logics. FORTE 1996: 263-278
- no documents available
- export record
  dblp key:
  - conf/forte/NakataHT96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/forte/NakataHT96
Akio Nakata, Teruo Higashino, Kenichi Taniguchi:
Time-Action Alternating Model for Timed LOTOS and its Symbolic Verification of Bisimulation Equivalence. FORTE 1996: 279-294
- no documents available
- export record
  dblp key:
  - conf/forte/MorkGHS96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/forte/MorkGHS96
Simon Mørk, Jens Chr. Godskesen, Michael R. Hansen, Robin Sharp:
A Timed Semantics for SDL. FORTE 1996: 295-309
- no documents available
- export record
  dblp key:
  - conf/forte/Fischer96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/forte/Fischer96
Stefan Fischer:
Implementation of Multimedia Systems based on Real-Time Extensions of Estelle. FORTE 1996: 310-326

Invited Talk 3 - Abstract

- no documents available
- export record
  dblp key:
  - conf/forte/Brinksma96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/forte/Brinksma96
Ed Brinksma:
Using Formal Methods: if you're so smart how come you ain't rich? FORTE 1996: 329

Part Six - Verification and Validation

- no documents available
- export record
  dblp key:
  - conf/forte/SternD96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/forte/SternD96
Ulrich Stern, David L. Dill:
A New Scheme for Memory-Efficient Probabilistic Verification. FORTE 1996: 333-348
- no documents available
- export record
  dblp key:
  - conf/forte/NistalQI96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/forte/NistalQI96
Martín Llamas Nistal, Juan Quemada, Manuel J. Fernández Iglesias:
Direct Verification of Bisimulations. FORTE 1996: 349-363
- no documents available
- export record
  dblp key:
  - conf/forte/QuemenerJ96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/forte/QuemenerJ96
Yves-Marie Quemener, Thierry Jéron:
Finitely Representing Infinite Reachability Graphs of CFSMs with Graph Grammars. FORTE 1996: 364-379
- no documents available
- export record
  dblp key:
  - conf/forte/CouvreurP96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/forte/CouvreurP96
Jean-Michel Couvreur, Denis Poitrenaud:
Model Checking Based on Occurrence Net Graph. FORTE 1996: 380-395

Invited Talk 4 - Abstract

- no documents available
- export record
  dblp key:
  - conf/forte/Mackert96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/forte/Mackert96
Lothar F. Mackert:
Network Computing. FORTE 1996: 399

Part Seven - Industrial Usage Reports

- no documents available
- export record
  dblp key:
  - conf/forte/HuangLS96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/forte/HuangLS96
Samuel Huang, David Lee, Mark G. Staskauskas:
Validation-Based Test Sequence Generation for Networks of Extended Finite State Machines. FORTE 1996: 403-418
- no documents available
- export record
  dblp key:
  - conf/forte/KellererIR96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/forte/KellererIR96
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. FORTE 1996: 419-434
- no documents available
- export record
  dblp key:
  - conf/forte/ChehaibarGMTZ96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/forte/ChehaibarGMTZ96
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. FORTE 1996: 435-450
- no documents available
- export record
  dblp key:
  - conf/forte/InocencioRSK96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/forte/InocencioRSK96
Eurico Inocêncio, Manuel Ricardo, Hitoshi Sato, Toshimitsu Kashima:
Combined Application of SDL-92, OMT, MSC and TTCN. FORTE 1996: 451-466

Part Eight - Extensions of FDTs and Semantical Foundations

- no documents available
- export record
  dblp key:
  - conf/forte/GaravelS96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/forte/GaravelS96
Hubert Garavel, Mihaela Sighireanu:
On the Introduction of Exceptions in E-LOTOS. FORTE 1996: 469-484
- no documents available
- export record
  dblp key:
  - conf/forte/LarrabeitiQP96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/forte/LarrabeitiQP96
David Larrabeiti, Juan Quemada, Santiago Pavón:
From LOTOS to Petri Nets through Iexpansion. FORTE 1996: 485-500
- no documents available
- export record
  dblp key:
  - conf/forte/DerrickBBS96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/forte/DerrickBBS96
John Derrick, Howard Bowman, Eerke A. Boiten, Maarten Steen:
Comparing LOTOS and Z Refinement Relations. FORTE 1996: 501-516

maintained by

, founded at