default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID23rd FORTE 2003: Berlin, Germany
- Hartmut König, Monika Heiner, Adam Wolisz:
Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 - October 2, 2003, Proceedings. Lecture Notes in Computer Science 2767, Springer 2003, ISBN 3-540-20175-0 - Pawel Rychwalski, Jacek Wytrebowicz
:
UNIX STREAMS Generation from a Formal Specification. 1-14 - Kenneth J. Turner:
Specifying and Realising Interactive Voice Services. 15-30 - Reinhard Gotzhein:
Vertical Reuse in the Development of Distributed Systems with FDTs. 31-47 - Manfred Broy:
Service-Oriented Systems Engineering: Modeling Services and Layered Architectures. 48-61 - Paolo Romano, Milton Romero, Bruno Ciciani, Francesco Quaglia:
Validiation of the Sessionless Mode of the HTTPR Protocol. 62-78 - Samik Basu, Diptikalyan Saha, Yow-Jian Lin, Scott A. Smolka:
Generation of All Counter-Examples for Push-Down Systems. 79-94 - Tim Kempster, Colin Stirling:
Modeling and Model Checking Mobile Phone Payment Systems. 95-110 - Cyril Carrez, Alessandro Fantechi, Elie Najm:
Behavioural Contracts for a Sound Assembly of Components. 111-126 - Doron A. Peled, Hongyang Qu:
Automatic Verification of Annotated Code. 127-143 - Peter J. Robinson, Carron Shankland:
Combating Infinite State Using Ergo. 144-159 - Farn Wang, Geng-Dian Hwang, Fang Yu:
Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems. 160-176 - Rodolfo Gómez, Howard Bowman:
Discrete Timed Automata and MONA: Description, Specification and Verification of a Multimedia Stream. 177-192 - Dirk Beyer, Andreas Noack:
Can Decision Diagrams Overcome State Space Explosion in Real-Time Verification? 193-208 - Jonathan Billington, Guy Edward Gallasch:
How Stop and Wait Protocols Can Fail over the Internet. 209-223 - Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano:
Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis. 224-239 - Mana Taghdiri, Daniel Jackson:
A Lightweight Formal Analysis of a Multicast Key Management Scheme. 240-256 - Peter Herrmann:
Formal Security Policy Verification of Distributed Component-Structured Software. 257-272 - Mariusz A. Fecko, M. Ümit Uyar, Ali Y. Duale:
Towards Testing SDL Specifications: Models and Fault Coverage for Concurrent Timers. 273-288 - Robert M. Hierons, Hasan Ural:
Concerning the Ordering of Adaptive Test Sequences. 289-302 - Arun N. Netravali, Krishan K. Sabnani, Ramesh Viswanathan:
Correct Passive Testing Algorithms and Complete Fault Coverage. 303-318 - Tao Sun, Keiichi Yasumoto, Masaaki Mori, Teruo Higashino:
QoS Functional Testing for Multi-media Systems. 319-334 - Manuel Núñez, Ismael Rodríguez:
Towards Testing Stochastic Timed Systems. 335-350 - Jean-Pierre Courtiat:
Formal Design of Interactive Multimedia Documents. 351-366 - Sergey Buffalov, Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann:
Progressive Solutions to a Parallel Automata Equation. 367-382 - Joachim Thees:
Type Abstraction in Formal Protocol Specifications with Container Types. 383-398 - Hirozumi Yamaguchi, Gregor von Bochmann, Teruo Higashino:
Decomposing Service Definition in Predicate/Transition-Nets for Designing Distributed Systems. 399-414 - Hesham Kamal Arafat Mohamed, Bruno Müller-Clostermann:
Towards an Efficient Performance Evaluation of Communication Systems Described by Message Sequence Charts. 415-429
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 2026-04-20 23:53 CEST 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:
