default search action

combined dblp search
author search
venue search
publication search

ask others

12th FORTE / 19th PSTV 1999: Beijing, China

> Home > Conferences and Workshops > FORTE
> Home > Conferences and Workshops > PSTV

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/1999
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/1999
Jianping Wu, Samuel T. Chanson, Qiang Gao:
Formal Methods for Protocol Engineering and Distributed Systems, FORTE XII / PSTV XIX'99, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX), October 5-8, 1999, Beijing, China. IFIP Conference Proceedings 156, Kluwer 1999, ISBN 0-7923-8646-9

Invited Talk 1

Invited Talk 2

Part Four - FDTs 2

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/LangendorferK99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/LangendorferK99
Peter Langendörfer, Hartmut König:
Deriving Activity Thread Implementations from Formal Descriptions Using Transition Reordering. FORTE 1999: 169-184
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/GaravelS99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/GaravelS99
Hubert Garavel, Mihaela Sighireanu:
A Graphical Parallel Composition Operator for Process Algebras. FORTE 1999: 185-202
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/NajmNS99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/NajmNS99
Elie Najm, Abdelkrim Nimour, Jean-Bernard Stefani:
Guaranteeing liveness in an object calculus through behavioural typing. FORTE 1999: 203-221

Part Five - Model Checking

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/PeledVY99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/PeledVY99
Doron A. Peled, Moshe Y. Vardi, Mihalis Yannakakis:
Black Box Checking. FORTE 1999: 225-240
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/DongR99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/DongR99
Yifei Dong, C. R. Ramakrishnan:
An Optimizing Compiler for Efficient Model Checking. FORTE 1999: 241-256
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/Godefroid99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Godefroid99
Patrice Godefroid:
Exploiting Symmetry when Model-Checking Software. FORTE 1999: 257-275

Part Six - Verification

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/HsiungW99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/HsiungW99
Pao-Ann Hsiung, Farn Wang:
User-Friendly Verification. FORTE 1999: 279-294
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/HeT99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/HeT99
Ji He, Kenneth J. Turner:
Specification and Verification of Synchronous Hardware using LOTOS. FORTE 1999: 295-312
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/SchenkeD99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/SchenkeD99
Michael Schenke, Michael F. Dossis:
Provably Correct Hardware Compilation using Timing Diagrams. FORTE 1999: 313-331

Invited Talk 3

Part Seven - Test 3

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/KimSCK99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/KimSCK99
Myungchul Kim, Jaehwi Shin, Samuel T. Chanson, Sungwon Kang:
An enhanced model for testing asynchronous communicating systems. FORTE 1999: 337-356
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/SeolKKPC99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/SeolKKPC99
Soonuk Seol, Myungchul Kim, Sungwon Kang, Yongbum Park, Younghan Choe:
Interoperability Test Suite Derivation for the TCP. FORTE 1999: 357-376
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/ZhuV99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/ZhuV99
Jinsong Zhu, Son T. Vuong:
Coverage analysis for embedded testing and an application. FORTE 1999: 377-386

Part Eight - FDTs 3

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/WenXL99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/WenXL99
Wen Li, Ye Xinming, Zhiyong Liu:
A Formal Description Technology: Graphics E-LOTOS. FORTE 1999: 389-400
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/Frutos-EscrigLN99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Frutos-EscrigLN99
David de Frutos-Escrig, Natalia López, Manuel Núñez:
Global Timed Bisimulation: An Introduction. FORTE 1999: 401-416
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/KhoumsiBD99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/KhoumsiBD99
Ahmed Khoumsi, Gregor von Bochmann, Rachida Dssouli:
Protocol Synthesis for Real-Time Applications. FORTE 1999: 417-433

Part Nine - Case Studies

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/CreeseR99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/CreeseR99
S. J. Creese, A. W. Roscoe:
Verifying an infinite family of inductions simultaneously using data independence and FDR. FORTE 1999: 437-452
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/OberK99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/OberK99
Iulian Ober, Alain Kerbrat:
Specification and execution of tests using tMsc. FORTE 1999: 453-468
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/HuLSV99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/HuLSV99
Alan J. Hu, Rui Li, Xizheng Shi, Son T. Vuong:
Model-Checking a Secure Gorup Communication Protocol: A Case Study. FORTE 1999: 469-478

Part Ten - Invited Papers

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/HolzmannS99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/HolzmannS99
Gerard J. Holzmann, Margaret H. Smith:
Software Model Checking. FORTE 1999: 481-497

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.