default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11th FORTE / 18th PSTV 1998: Paris, France
- Stanislaw Budkowski, Ana R. Cavalli, Elie Najm:
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. FORTE 1998: 3-18 - Joachim Thees, Reinhard Gotzhein:
Open Estelle - An FDT for Open Distributed Systems. FORTE 1998: 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. FORTE 1998: 37-55
Part Two - Verification 1
- Thomas F. La Porta, David Lee, Yow-Jian Lin, Mihalis Yannakakis:
Protocol Feature Interactions. FORTE 1998: 59-74 - Jürgen Eckerle, Thomas Lais:
Limits and possibilities of sequential hashing with supertrace. FORTE 1998: 75-90
Part Three - Test 1
- Ahmed Helmy, Deborah Estrin, Sandeep Gupta:
Fault-oriented Test Generation for Multicast Routing Protocol Design. FORTE 1998: 93-109 - Mariusz A. Fecko, M. Ümit Uyar, Adarshpal S. Sethi, Paul D. Amer:
Issues in conformance testing: multiple semicontrollable interfaces. FORTE 1998: 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. FORTE 1998: 127-140
Invited Talk 2
- Paul J. Kühn:
Quality of Service in Integrated Networks. FORTE 1998: 143
Part Four - Methodology 1
- Piotr Dembinski:
Enumeration Protocol in Estelle: an exercise in stepwise development. FORTE 1998: 147-162 - Celso A. S. Santos, Jean-Pierre Courtiat, Pierre de Saqui-Sannes:
A Design Methodology for the Formal Specification and Verification of Hypermedia Documents. FORTE 1998: 163-178
Part Five - Methodology 2
- Rolv Broek, Birger Møller-Pedersen:
Frameworks by means of virtual types - exemplified by SDL. FORTE 1998: 181-196 - Birgit Geppert, A. Kuehlmeyer, Frank Rößler, Michael Schneider:
SDL-Pattern based Development of a Communication Subsystem for CAN. FORTE 1998: 197-212
Part Six - Verification 2
- Huimin Lin:
"On-the-fly Instantiation" of Value-passing Processes. FORTE 1998: 215-230 - Alexandre Petrenko, Nina Yevtushenko:
Solving Asynchronous Equations. FORTE 1998: 231-247 - Sérgio Vale Aguiar Campos:
Shared Variables and Efficient Synchronization Primitives for Synchronous Symbolic Verifiers. FORTE 1998: 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. FORTE 1998: 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. FORTE 1998: 283-307 - Toru Hasegawa, Akira Idoue, Toshihiko Kato, Kenji Suzuki:
Full-Automatic Implementation of Protocol Programs for OSI Application Protocols over ROSE. FORTE 1998: 309-324
Invited Talk 3
- José Meseguer:
A Logical Framework for Distributed Systems and Communication Protocols. FORTE 1998: 327-333
Part Eight - Test 2
- Judi Romijn, Jan Springintveld:
Exploiting Symmetry in Protocol Testing. FORTE 1998: 337-352 - Claude Jard, Thierry Jéron, Hakim Kahlouche, César Viho:
Towards Automatic Distribution of Testers for Distributed Conformance Testing. FORTE 1998: 353-368
Part Nine - Hardware/Software Development
- O. Catrina, A. Nogai:
On the Improvement of Estelle Based Automatic Implementations. FORTE 1998: 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. FORTE 1998: 387-403 - Keiichi Yasumoto, Akira Kitajima, Teruo Higashino, Kenichi Taniguchi:
Hardware synthesis from protocol specifications in LOTOS. FORTE 1998: 405-420
Part Ten - Real-Time & Performance
- Dragan Bosnacki, Dennis Dams:
Integrating Real Time into Spin: A Prototype Implementation. FORTE 1998: 423-438 - François Laroussinie, Kim Guldstrand Larsen:
CMC: A Tool for Compositional Model-Checking of Real-Time Systems. FORTE 1998: 439-456 - Marco Bernardo, Rance Cleaveland, Steve Sims, W. Stewart:
TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems. FORTE 1998: 457-467
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 2025-01-21 20:23 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:
