Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

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

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

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/1998
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/1998
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

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/GehrkeHRW98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/GehrkeHRW98
Thomas Gehrke, Michaela Huhn, Arend Rensink, Heike Wehrheim:
An Algebraic Semantics for Message Sequence Chart Documents. FORTE 1998: 3-18
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/TheesG98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/TheesG98
Joachim Thees, Reinhard Gotzhein:
Open Estelle - An FDT for Open Distributed Systems. FORTE 1998: 19-36
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/Templemore-FinlaysonKRB98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Templemore-FinlaysonKRB98
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

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/PortaLLY98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/PortaLLY98
Thomas F. La Porta, David Lee, Yow-Jian Lin, Mihalis Yannakakis:
Protocol Feature Interactions. FORTE 1998: 59-74
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/EckerleL98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/EckerleL98
Jürgen Eckerle, Thomas Lais:
Limits and possibilities of sequential hashing with supertrace. FORTE 1998: 75-90

Part Three - Test 1

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/HelmyEG98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/HelmyEG98
Ahmed Helmy, Deborah Estrin, Sandeep Gupta:
Fault-oriented Test Generation for Multicast Routing Protocol Design. FORTE 1998: 93-109
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/FeckoUSA98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/FeckoUSA98
Mariusz A. Fecko, M. Ümit Uyar, Adarshpal S. Sethi, Paul D. Amer:
Issues in conformance testing: multiple semicontrollable interfaces. FORTE 1998: 111-126
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/KimHPLL98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/KimHPLL98
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

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/Kuhn98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Kuhn98
Paul J. Kühn:
Quality of Service in Integrated Networks. FORTE 1998: 143

Part Four - Methodology 1

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/Dembinski98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Dembinski98
Piotr Dembinski:
Enumeration Protocol in Estelle: an exercise in stepwise development. FORTE 1998: 147-162
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/SantosCS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/SantosCS98
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

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/BroekM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/BroekM98
Rolv Broek, Birger Møller-Pedersen:
Frameworks by means of virtual types - exemplified by SDL. FORTE 1998: 181-196
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/GeppertKRS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/GeppertKRS98
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

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/Lin98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Lin98
Huimin Lin:
"On-the-fly Instantiation" of Value-passing Processes. FORTE 1998: 215-230
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/PetrenkoY98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/PetrenkoY98
Alexandre Petrenko, Nina Yevtushenko:
Solving Asynchronous Equations. FORTE 1998: 231-247
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/Campos98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Campos98
Sérgio Vale Aguiar Campos:
Shared Variables and Efficient Synchronization Primitives for Synchronous Symbolic Verifiers. FORTE 1998: 249-263

Part Seven - Case Studies

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/ToroZL98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/ToroZL98
Maria Törö, Jinsong Zhu, Victor C. M. Leung:
SDL specification and verification of universal personal computing: with Object GEODE. FORTE 1998: 267-282
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/HuecasRGS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/HuecasRGS98
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
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/HasegawaIKS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/HasegawaIKS98
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

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/Meseguer98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Meseguer98
José Meseguer:
A Logical Framework for Distributed Systems and Communication Protocols. FORTE 1998: 327-333

Part Eight - Test 2

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/RomijnS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/RomijnS98
Judi Romijn, Jan Springintveld:
Exploiting Symmetry in Protocol Testing. FORTE 1998: 337-352
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/JardJKV98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/JardJKV98
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

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/CatrinaN98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/CatrinaN98
O. Catrina, A. Nogai:
On the Improvement of Estelle Based Automatic Implementations. FORTE 1998: 371-386
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/VorosTVABBMA98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/VorosTVABBMA98
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
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/YasumotoKHT98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/YasumotoKHT98
Keiichi Yasumoto, Akira Kitajima, Teruo Higashino, Kenichi Taniguchi:
Hardware synthesis from protocol specifications in LOTOS. FORTE 1998: 405-420

Part Ten - Real-Time & Performance

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/BosnackiD98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/BosnackiD98
Dragan Bosnacki, Dennis Dams:
Integrating Real Time into Spin: A Prototype Implementation. FORTE 1998: 423-438
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/LaroussinieL98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/LaroussinieL98
François Laroussinie, Kim Guldstrand Larsen:
CMC: A Tool for Compositional Model-Checking of Real-Time Systems. FORTE 1998: 439-456
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/BernardoCSS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/BernardoCSS98
Marco Bernardo, Rance Cleaveland, Steve Sims, W. Stewart:
TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems. FORTE 1998: 457-467

a service of

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.