23. FORTE 2003: Berlin, Germany

@proceedings{DBLP:conf/forte/2003,
  editor    = {Hartmut K{\"o}nig and
               Monika Heiner and
               Adam Wolisz},
  title     = {Formal Techniques for Networked and Distributed Systems - FORTE
               2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany,
               September 29 - October 2, 2003, Proceedings},
  booktitle = {FORTE},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2767},
  year      = {2003},
  isbn      = {3-540-20175-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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