default search action
9th FORTE / 16th PSTV 1996: Kaiserslautern, Germany
- 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
- André A. S. Danthine:
The Video Dial Tone Service and the ATM Environment. FORTE 1996: 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. FORTE 1996: 29-44 - Andreas Mitschele-Thiel, Peter Langendörfer, Ralf Henke:
Design and Optimization of High-Performance Protocols with the DO-IT Toolbox. FORTE 1996: 45-60 - 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 - Philipp Hoschka:
Automating Performance Optimisation by Heuristic Analysis of a Formal Specification. FORTE 1996: 77-92
Invited Talk 2
- Manfred Broy:
Formal Description Techniques - How Formal and Descriptive are they? FORTE 1996: 95-110
Part Two - FDT-Application
- Stephan Kleuker:
Using Formal Methods in the Development of Protocols for Multi-User Multimedia Systems. FORTE 1996: 113-128 - M. A. S. Smith:
Formal Verification of Communication Protocols. FORTE 1996: 129-144 - Ed Brinksma, Arend Rensink, Walter Vogler:
Applications of Fair Testing. FORTE 1996: 145-160
Part Three - FDT-Based System and Protocol Engineering
- Alexandre Petrenko, Nina Yevtushenko, Gregor von Bochmann:
Fault Models for Testing in Context. FORTE 1996: 163-178 - Hiroki Horiuchi, Tetsuya Kuroki, Sadao Obana, Kenji Suzuki:
EPER: Efficient Parallel Encoding Rules for ASN.1. FORTE 1996: 179-194 - Roland Groz, Olivier Charles, Josiane Renévot:
Relating Conformance Test Coverage to Formal Specifications. FORTE 1996: 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. FORTE 1996: 213-228 - Marc Diefenbruch, Jörg Hintelmann, Bruno Müller-Clostermann:
The QUEST-Approach for the Performance Evaluation of SDL-Systems. FORTE 1996: 229-244 - 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
- Mark Lawford, Jonathan S. Ostroff, Walter Murray Wonham:
Model Reduction of Modules for State-Even Temporal Logics. FORTE 1996: 263-278 - Akio Nakata, Teruo Higashino, Kenichi Taniguchi:
Time-Action Alternating Model for Timed LOTOS and its Symbolic Verification of Bisimulation Equivalence. FORTE 1996: 279-294 - Simon Mørk, Jens Chr. Godskesen, Michael R. Hansen, Robin Sharp:
A Timed Semantics for SDL. FORTE 1996: 295-309 - Stefan Fischer:
Implementation of Multimedia Systems based on Real-Time Extensions of Estelle. FORTE 1996: 310-326
Invited Talk 3 - Abstract
- Ed Brinksma:
Using Formal Methods: if you're so smart how come you ain't rich? FORTE 1996: 329
Part Six - Verification and Validation
- Ulrich Stern, David L. Dill:
A New Scheme for Memory-Efficient Probabilistic Verification. FORTE 1996: 333-348 - Martín Llamas Nistal, Juan Quemada, Manuel J. Fernández-Iglesias:
Direct Verification of Bisimulations. FORTE 1996: 349-363 - Yves-Marie Quemener, Thierry Jéron:
Finitely Representing Infinite Reachability Graphs of CFSMs with Graph Grammars. FORTE 1996: 364-379 - Jean-Michel Couvreur, Denis Poitrenaud:
Model Checking Based on Occurrence Net Graph. FORTE 1996: 380-395
Invited Talk 4 - Abstract
- Lothar F. Mackert:
Network Computing. FORTE 1996: 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. FORTE 1996: 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. FORTE 1996: 419-434 - Ghassan Chehaibar, Hubert Garavel, Laurent Mounier, Nadia Tawbi, Ferruccio Zulian:
Specification and Verification of the PowerScaleTM Bus Arbitration Protocol: An Industrial Experiment with LOTOS. FORTE 1996: 435-450 - 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
- Hubert Garavel, Mihaela Sighireanu:
On the Introduction of Exceptions in E-LOTOS. FORTE 1996: 469-484 - David Larrabeiti, Juan Quemada, Santiago Pavón:
From LOTOS to Petri Nets through Iexpansion. FORTE 1996: 485-500 - John Derrick, Howard Bowman, Eerke A. Boiten, Maarten Steen:
Comparing LOTOS and Z Refinement Relations. FORTE 1996: 501-516
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.
last updated on 2024-12-26 01:01 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: