default search action

combined dblp search
author search
venue search
publication search

ask others

23rd FORTE 2003: Berlin, Germany

> Home > Conferences and Workshops > FORTE

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

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