Conferences in DBLP

Formal Techniques for Networked and Distributed Systems / (forte)
2003 (conf/forte/2003)

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