11. FORTE / 18. PSTV 1998: Paris, France

Stanislaw Budkowski, Ana R. Cavalli, Elie Najm (Eds.): Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE XI / PSTV XVIII'98, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII), 3-6 November, 1998, Paris, France. IFIP Conference Proceedings 135 Kluwer 1998, ISBN 0-412-84760-4

Part One - FDTs Extensions

Thomas Gehrke, Michaela Huhn, Arend Rensink, Heike Wehrheim: An Algebraic Semantics for Message Sequence Chart Documents. 3-18
Joachim Thees, Reinhard Gotzhein: Open Estelle - An FDT for Open Distributed Systems. 19-36
Justin Templemore-Finlayson, Pieter S. Kritzinger, Jean-Luc Raffy, Stanislaw Budkowski: A graphical representation and prototype editor for the Formal Description Technique Estelle. 37-55

Part Two - Verification 1

Thomas F. La Porta, David Lee, Yow-Jian Lin, Mihalis Yannakakis: Protocol Feature Interactions. 59-74
Jürgen Eckerle, Thomas Lais: Limits and possibilities of sequential hashing with supertrace. 75-90

Part Three - Test 1

Ahmed Helmy, Deborah Estrin, Sandeep K. Gupta: Fault-oriented Test Generation for Multicast Routing Protocol Design. 93-109
Mariusz A. Fecko, M. Ümit Uyar, Adarshpal S. Sethi, Paul D. Amer: Issues in conformance testing: multiple semicontrollable interfaces. 111-126
Tae-Hyong Kim, Ik-Soon Hwang, Chan-Min Park, Jai-Yong Lee, Sang-Bae Lee: Automatic Test Case Generation of Real Protocols: Framework and Methodology. 127-140

Invited Talk 2

Paul J. Kühn: Quality of Service in Integrated Networks. 143

Part Four - Methodology 1

Piotr Dembinski: Enumeration Protocol in Estelle: an exercise in stepwise development. 147-162
C. A. S. Santos, Jean-Pierre Courtiat, Pierre de Saqui-Sannes: A Design Methodology for the Formal Specification and Verification of Hypermedia Documents. 163-178

Part Five - Methodology 2

Rolv Broek, Birger Møller-Pedersen: Frameworks by means of virtual types - exemplified by SDL. 181-196
Birgit Geppert, A. Kuehlmeyer, Frank Rößler, Michael Schneider: SDL-Pattern based Development of a Communication Subsystem for CAN. 197-212

Part Six - Verification 2

Huimin Lin: "On-the-fly Instantiation" of Value-passing Processes. 215-230
Alexandre Petrenko, Nina Yevtushenko: Solving Asynchronous Equations. 231-247
Sérgio Vale Aguiar Campos: Shared Variables and Efficient Synchronization Primitives for Synchronous Symbolic Verifiers. 249-263

Part Seven - Case Studies

Maria Törö, Jinsong Zhu, Victor C. M. Leung: SDL specification and verification of universal personal computing: with Object GEODE. 267-282
Gabriel Huecas, Tomás Robles, L. M. Gonzalez, J. Serrano: Development of a Validation System based on Formal Description Techniques: Application to an Ada Run Time System. 283-307
Toru Hasegawa, Akira Idoue, Toshihiko Kato, Kenji Suzuki: Full-Automatic Implementation of Protocol Programs for OSI Application Protocols over ROSE. 309-324

Invited Talk 3

José Meseguer: A Logical Framework for Distributed Systems and Communication Protocols. 327-333

Part Eight - Test 2

Judi Romijn, Jan Springintveld: Exploiting Symmetry in Protocol Testing. 337-352
Claude Jard, Thierry Jéron, Hakim Kahlouche, César Viho: Towards Automatic Distribution of Testers for Distributed Conformance Testing. 353-368

Part Nine - Hardware/Software Development

O. Catrina, A. Nogai: On the Improvement of Estelle Based Automatic Implementations. 371-386
Nikos S. Voros, S. K. Tsasakou, C. Valderrama, S. Arab, Alexios N. Birbas, Michael K. Birbas, Evaggelinos P. Mariatos, A. Andritsou: Hardware - Software Co-design of embedded telecommunication systems using multiple formalisms for application development. 387-403
Keiichi Yasumoto, Akira Kitajima, Teruo Higashino, Kenichi Taniguchi: Hardware synthesis from protocol specifications in LOTOS. 405-420

Part Ten - Real-Time & Performance

Dragan Bosnacki, Dennis Dams: Integrating Real Time into Spin: A Prototype Implementation. 423-438
François Laroussinie, Kim Guldstrand Larsen: CMC: A Tool for Compositional Model-Checking of Real-Time Systems. 439-456
Marco Bernardo, Rance Cleaveland, Steve Sims, W. Stewart: TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems. 457-467

Last update Sun May 19 22:16:47 2013 CET by the DBLP Team —

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