Abstract is missing.
- UNIX STREAMS Generation from a Formal SpecificationPawel Rychwalski, Jacek Wytrebowicz. 1-14 [doi]
- Specifying and Realising Interactive Voice ServicesKenneth J. Turner. 15-30 [doi]
- Vertical Reuse in the Development of Distributed Systems with FDTsReinhard Gotzhein. 31-47 [doi]
- Service-Oriented Systems Engineering: Modeling Services and Layered ArchitecturesManfred Broy. 48-61 [doi]
- Validiation of the Sessionless Mode of the HTTPR ProtocolPaolo Romano, Milton Romero, Bruno Ciciani, Francesco Quaglia. 62-78 [doi]
- Generation of All Counter-Examples for Push-Down SystemsSamik Basu, Diptikalyan Saha, Yow-Jian Lin, Scott A. Smolka. 79-94 [doi]
- Modeling and Model Checking Mobile Phone Payment SystemsTim Kempster, Colin Stirling. 95-110 [doi]
- Behavioural Contracts for a Sound Assembly of ComponentsCyril Carrez, Alessandro Fantechi, Elie Najm. 111-126 [doi]
- Automatic Verification of Annotated CodeDoron Peled, Hongyang Qu. 127-143 [doi]
- Combating Infinite State Using ErgoPeter Robinson, Carron Shankland. 144-159 [doi]
- Numerical Coverage Estimation for the Symbolic Simulation of Real-Time SystemsFarn Wang, Geng-Dian Hwang, Fang Yu. 160-176 [doi]
- Discrete Timed Automata and MONA: Description, Specification and Verification of a Multimedia StreamRodolfo Gómez, Howard Bowman. 177-192 [doi]
- Can Decision Diagrams Overcome State Space Explosion in Real-Time Verification?Dirk Beyer, Andreas Noack. 193-208 [doi]
- How Stop and Wait Protocols Can Fail over the InternetJonathan Billington, Guy Edward Gallasch. 209-223 [doi]
- Introducing Commutative and Associative Operators in Cryptographic Protocol AnalysisIvan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano. 224-239 [doi]
- A Lightweight Formal Analysis of a Multicast Key Management SchemeMana Taghdiri, Daniel Jackson. 240-256 [doi]
- Formal Security Policy Verification of Distributed Component-Structured SoftwarePeter Herrmann. 257-272 [doi]
- Towards Testing SDL Specifications: Models and Fault Coverage for Concurrent TimersMariusz A. Fecko, M. Ümit Uyar, Ali Y. Duale. 273-288 [doi]
- Concerning the Ordering of Adaptive Test SequencesRobert M. Hierons, Hasan Ural. 289-302 [doi]
- Correct Passive Testing Algorithms and Complete Fault CoverageArun N. Netravali, Krishan K. Sabnani, Ramesh Viswanathan. 303-318 [doi]
- QoS Functional Testing for Multi-media SystemsTao Sun, Keiichi Yasumoto, Masaaki Mori, Teruo Higashino. 319-334 [doi]
- Towards Testing Stochastic Timed SystemsManuel Núñez, Ismael Rodríguez. 335-350 [doi]
- Formal Design of Interactive Multimedia DocumentsJean-Pierre Courtiat. 351-366 [doi]
- Progressive Solutions to a Parallel Automata EquationSergey Buffalov, Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann. 367-382 [doi]
- Type Abstraction in Formal Protocol Specifications with Container TypesJoachim Thees. 383-398 [doi]
- Decomposing Service Definition in Predicate/Transition-Nets for Designing Distributed SystemsHirozumi Yamaguchi, Gregor von Bochmann, Teruo Higashino. 399-414 [doi]
- Towards an Efficient Performance Evaluation of Communication Systems Described by Message Sequence ChartsHesham Kamal Arafat Mohamed, Bruno Müller-Clostermann. 415-429 [doi]