Conferences in DBLP

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

1. Alexandre Petrenko, Sergiy Boroday, Roland Groz
   Confirming configurations in EFSM. [Citation Graph (0, 0)][DBLP]
   FORTE, 1999, pp:5-24 [Conf]
   
2. Claude Jard, Thierry Jéron, Lénaick Tanguy, César Viho
   Remote testin can be as powerful as local testing. [Citation Graph (0, 0)][DBLP]
   FORTE, 1999, pp:25-40 [Conf]
   
3. Ana R. Cavalli, David Lee, Christian Rinderknecht, Fatiha Zaïdi
   Hit-or-Jump: An algorithm for embedded testing with applications to IN services. [Citation Graph (0, 0)][DBLP]
   FORTE, 1999, pp:41-56 [Conf]
   
4. Birger Møller-Pedersen, Dagbjørn Nogva
   Scalable and Object Oriented SDL State(chart)s. [Citation Graph (0, 0)][DBLP]
   FORTE, 1999, pp:59-73 [Conf]
   
5. Peter Csurgay
   Prototyping Framework for SDL with Evolving Semantics. [Citation Graph (0, 0)][DBLP]
   FORTE, 1999, pp:75-94 [Conf]
   
6. Dirk Trossen, Christian Cseh, Roman Kogan
   Framework for Automatic SDL to C++ Translation. [Citation Graph (0, 0)][DBLP]
   FORTE, 1999, pp:95-115 [Conf]
   
7. Jian Zhang, Shing-Chi Cheung, Samuel T. Chanson
   Stress Testing of Distributed Multimedia Software Systems. [Citation Graph (0, 0)][DBLP]
   FORTE, 1999, pp:119-133 [Conf]
   
8. Manuel Núñez, David Rupérez
   Fair Testing through Probabilistic Testing. [Citation Graph (0, 0)][DBLP]
   FORTE, 1999, pp:135-150 [Conf]
   
9. Jun Bi, Jianping Wu
   A Formal Approach to Conformance Testing of Distributed Routing Protocols. [Citation Graph (0, 0)][DBLP]
   FORTE, 1999, pp:151-163 [Conf]
   
10. Peter Langendörfer, Hartmut König
    Deriving Activity Thread Implementations from Formal Descriptions Using Transition Reordering. [Citation Graph (0, 0)][DBLP]
    FORTE, 1999, pp:169-184 [Conf]
    
11. Hubert Garavel, Mihaela Sighireanu
    A Graphical Parallel Composition Operator for Process Algebras. [Citation Graph (0, 0)][DBLP]
    FORTE, 1999, pp:185-202 [Conf]
    
12. Elie Najm, Abdelkrim Nimour, Jean-Bernard Stefani
    Guaranteeing liveness in an object calculus through behavioural typing. [Citation Graph (0, 0)][DBLP]
    FORTE, 1999, pp:203-221 [Conf]
    
13. Doron Peled, Moshe Y. Vardi, Mihalis Yannakakis
    Black Box Checking. [Citation Graph (0, 0)][DBLP]
    FORTE, 1999, pp:225-240 [Conf]
    
14. Yifei Dong, C. R. Ramakrishnan
    An Optimizing Compiler for Efficient Model Checking. [Citation Graph (0, 0)][DBLP]
    FORTE, 1999, pp:241-256 [Conf]
    
15. Patrice Godefroid
    Exploiting Symmetry when Model-Checking Software. [Citation Graph (0, 0)][DBLP]
    FORTE, 1999, pp:257-275 [Conf]
    
16. Pao-Ann Hsiung, Farn Wang
    User-Friendly Verification. [Citation Graph (0, 0)][DBLP]
    FORTE, 1999, pp:279-294 [Conf]
    
17. Ji He, Kenneth J. Turner
    Specification and Verification of Synchronous Hardware using LOTOS. [Citation Graph (0, 0)][DBLP]
    FORTE, 1999, pp:295-312 [Conf]
    
18. Michael Schenke, Michael Dossis
    Provably Correct Hardware Compilation using Timing Diagrams. [Citation Graph (0, 0)][DBLP]
    FORTE, 1999, pp:313-331 [Conf]
    
19. Myungchul Kim, Jaehwi Shin, Samuel T. Chanson, Sungwon Kang
    An enhanced model for testing asynchronous communicating systems. [Citation Graph (0, 0)][DBLP]
    FORTE, 1999, pp:337-356 [Conf]
    
20. Soonuk Seol, Myungchul Kim, Sungwon Kang, Yongbum Park, Younghan Choe
    Interoperability Test Suite Derivation for the TCP. [Citation Graph (0, 0)][DBLP]
    FORTE, 1999, pp:357-376 [Conf]
    
21. Jingsong Zhu, Son T. Vuong
    Coverage analysis for embedded testing and an application. [Citation Graph (0, 0)][DBLP]
    FORTE, 1999, pp:377-386 [Conf]
    
22. Wen Li, Ye Xinming, Zhiyong Liu
    A Formal Description Technology: Graphics E-LOTOS. [Citation Graph (0, 0)][DBLP]
    FORTE, 1999, pp:389-400 [Conf]
    
23. David de Frutos-Escrig, Natalia López, Manuel Núñez
    Global Timed Bisimulation: An Introduction. [Citation Graph (0, 0)][DBLP]
    FORTE, 1999, pp:401-416 [Conf]
    
24. Ahmed Khoumsi, Gregor von Bochmann, Rachida Dssouli
    Protocol Synthesis for Real-Time Applications. [Citation Graph (0, 0)][DBLP]
    FORTE, 1999, pp:417-433 [Conf]
    
25. S. J. Creese, A. W. Roscoe
    Verifying an infinite family of inductions simultaneously using data independence and FDR. [Citation Graph (0, 0)][DBLP]
    FORTE, 1999, pp:437-452 [Conf]
    
26. Iulian Ober, Alain Kerbrat
    Specification and execution of tests using tMsc. [Citation Graph (0, 0)][DBLP]
    FORTE, 1999, pp:453-468 [Conf]
    
27. Alan J. Hu, Rui Li, Xizheng Shi, Son T. Vuong
    Model-Checking a Secure Gorup Communication Protocol: A Case Study. [Citation Graph (0, 0)][DBLP]
    FORTE, 1999, pp:469-478 [Conf]
    
28. Gerard J. Holzmann, Margaret H. Smith
    Software Model Checking. [Citation Graph (0, 0)][DBLP]
    FORTE, 1999, pp:481-497 [Conf]