|
Conferences in DBLP
- Thomas Gehrke, Michaela Huhn, Arend Rensink, Heike Wehrheim
An Algebraic Semantics for Message Sequence Chart Documents. [Citation Graph (0, 0)][DBLP] FORTE, 1998, pp:3-18 [Conf]
- Joachim Thees, Reinhard Gotzhein
Open Estelle - An FDT for Open Distributed Systems. [Citation Graph (0, 0)][DBLP] FORTE, 1998, pp:19-36 [Conf]
- Justin Templemore-Finlayson, Pieter S. Kritzinger, Jean-Luc Raffy, Stanislaw Budkowski
A graphical representation and prototype editor for the Formal Description Technique Estelle. [Citation Graph (0, 0)][DBLP] FORTE, 1998, pp:37-55 [Conf]
- Thomas F. La Porta, David Lee, Yow-Jian Lin, Mihalis Yannakakis
Protocol Feature Interactions. [Citation Graph (0, 0)][DBLP] FORTE, 1998, pp:59-74 [Conf]
- Jürgen Eckerle, Thomas Lais
Limits and possibilities of sequential hashing with supertrace. [Citation Graph (0, 0)][DBLP] FORTE, 1998, pp:75-90 [Conf]
- Ahmed Helmy, Deborah Estrin, Sandeep K. S. Gupta
Fault-oriented Test Generation for Multicast Routing Protocol Design. [Citation Graph (0, 0)][DBLP] FORTE, 1998, pp:93-109 [Conf]
- Mariusz A. Fecko, M. Ümit Uyar, Adarshpal S. Sethi, Paul D. Amer
Issues in conformance testing: multiple semicontrollable interfaces. [Citation Graph (0, 0)][DBLP] FORTE, 1998, pp:111-126 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] FORTE, 1998, pp:127-140 [Conf]
- Paul J. Kühn
Quality of Service in Integrated Networks. [Citation Graph (0, 0)][DBLP] FORTE, 1998, pp:143- [Conf]
- Piotr Dembinski
Enumeration Protocol in Estelle: an exercise in stepwise development. [Citation Graph (0, 0)][DBLP] FORTE, 1998, pp:147-162 [Conf]
- C. A. S. Santos, Jean-Pierre Courtiat, Pierre de Saqui-Sannes
A Design Methodology for the Formal Specification and Verification of Hypermedia Documents. [Citation Graph (0, 0)][DBLP] FORTE, 1998, pp:163-178 [Conf]
- Rolv Broek, Birger Møller-Pedersen
Frameworks by means of virtual types - exemplified by SDL. [Citation Graph (0, 0)][DBLP] FORTE, 1998, pp:181-196 [Conf]
- Birgit Geppert, A. Kuehlmeyer, Frank Rößler, Michael Schneider
SDL-Pattern based Development of a Communication Subsystem for CAN. [Citation Graph (0, 0)][DBLP] FORTE, 1998, pp:197-212 [Conf]
- Huimin Lin
"On-the-fly Instantiation" of Value-passing Processes. [Citation Graph (0, 0)][DBLP] FORTE, 1998, pp:215-230 [Conf]
- Alexandre Petrenko, Nina Yevtushenko
Solving Asynchronous Equations. [Citation Graph (0, 0)][DBLP] FORTE, 1998, pp:231-247 [Conf]
- Sérgio Vale Aguiar Campos
Shared Variables and Efficient Synchronization Primitives for Synchronous Symbolic Verifiers. [Citation Graph (0, 0)][DBLP] FORTE, 1998, pp:249-263 [Conf]
- Maria Törö, Jinsong Zhu, Victor C. M. Leung
SDL specification and verification of universal personal computing: with Object GEODE. [Citation Graph (0, 0)][DBLP] FORTE, 1998, pp:267-282 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] FORTE, 1998, pp:283-307 [Conf]
- Toru Hasegawa, Akira Idoue, Toshihiko Kato, Kenji Suzuki
Full-Automatic Implementation of Protocol Programs for OSI Application Protocols over ROSE. [Citation Graph (0, 0)][DBLP] FORTE, 1998, pp:309-324 [Conf]
- José Meseguer
A Logical Framework for Distributed Systems and Communication Protocols. [Citation Graph (0, 0)][DBLP] FORTE, 1998, pp:327-333 [Conf]
- Judi Romijn, Jan Springintveld
Exploiting Symmetry in Protocol Testing. [Citation Graph (0, 0)][DBLP] FORTE, 1998, pp:337-352 [Conf]
- Claude Jard, Thierry Jéron, Hakim Kahlouche, César Viho
Towards Automatic Distribution of Testers for Distributed Conformance Testing. [Citation Graph (0, 0)][DBLP] FORTE, 1998, pp:353-368 [Conf]
- O. Catrina, A. Nogai
On the Improvement of Estelle Based Automatic Implementations. [Citation Graph (0, 0)][DBLP] FORTE, 1998, pp:371-386 [Conf]
- Nikos S. Voros, S. 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. [Citation Graph (0, 0)][DBLP] FORTE, 1998, pp:387-403 [Conf]
- Keiichi Yasumoto, Akira Kitajima, Teruo Higashino, Kenichi Taniguchi
Hardware synthesis from protocol specifications in LOTOS. [Citation Graph (0, 0)][DBLP] FORTE, 1998, pp:405-420 [Conf]
- Dragan Bosnacki, Dennis Dams
Integrating Real Time into Spin: A Prototype Implementation. [Citation Graph (0, 0)][DBLP] FORTE, 1998, pp:423-438 [Conf]
- François Laroussinie, Kim Guldstrand Larsen
CMC: A Tool for Compositional Model-Checking of Real-Time Systems. [Citation Graph (0, 0)][DBLP] FORTE, 1998, pp:439-456 [Conf]
- Marco Bernardo, Rance Cleaveland, Steve Sims, W. Stewart
TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems. [Citation Graph (0, 0)][DBLP] FORTE, 1998, pp:457-467 [Conf]
|