|
|
Conferences in DBLP
- Klaus Havelund, Kim Guldstrand Larsen
A refinement logic for the fork calculus. [Citation Graph (0, 0)][DBLP]
PSTV, 1994, pp:5-20 [Conf]
- Reinhard Gotzhein, Gregor von Bochmann
Specialization in Estelle. [Citation Graph (0, 0)][DBLP]
PSTV, 1994, pp:21-36 [Conf]
- Jean-Pierre Courtiat, Roberto C. de Oliveira
About time nondeterminism and exception handling in a temporal extension of LOTOS. [Citation Graph (0, 0)][DBLP]
PSTV, 1994, pp:37-52 [Conf]
- Ed Brinksma
Cache consistency by design. [Citation Graph (0, 0)][DBLP]
PSTV, 1994, pp:53-67 [Conf]
- Bernard Stepien, Luigi Logrippo
Feature interaction detection using backward reasoning with LOTOS. [Citation Graph (0, 0)][DBLP]
PSTV, 1994, pp:71-86 [Conf]
- Ajin Jirachiefpattana, Richard Lai
Verification of the ISO ROSE protocol specified in Estelle. [Citation Graph (0, 0)][DBLP]
PSTV, 1994, pp:87-102 [Conf]
- Kshirasagar Naik, Behçet Sarikaya
Protocol conformance test case verification using timed-transitions. [Citation Graph (0, 0)][DBLP]
PSTV, 1994, pp:103-118 [Conf]
- Kshirasagar Naik
Design of reliable architecture for testing timed behavior of OSI protocols. [Citation Graph (0, 0)][DBLP]
PSTV, 1994, pp:121-136 [Conf]
- Jinsong Zhu, Samuel T. Chanson
Towards evaluating fault coverage of protocol test sequences. [Citation Graph (0, 0)][DBLP]
PSTV, 1994, pp:137-151 [Conf]
- Pierre de Saqui-Sannes, Jean-Pierre Courtiat, René Casadessus
Verification by abstraction as a preamble for interoperability test suite generation. [Citation Graph (0, 0)][DBLP]
PSTV, 1994, pp:152-166 [Conf]
- Jorge Arturo Cobb, Mohamed G. Gouda, Prathima Agrawal
Protocol synchronization with sparse timestraps. [Citation Graph (0, 0)][DBLP]
PSTV, 1994, pp:169-184 [Conf]
- Ahmed Khoumsi, Gregor von Bochmann, Rachida Dssouli
On specifying services and synthesizing protocols for real-time applications. [Citation Graph (0, 0)][DBLP]
PSTV, 1994, pp:185-200 [Conf]
- Maria Hultström
Structural decomposition. [Citation Graph (0, 0)][DBLP]
PSTV, 1994, pp:201-216 [Conf]
- Raj Jain
ATM Networks: Issues and Challenges Ahead. [Citation Graph (0, 0)][DBLP]
PSTV, 1994, pp:217- [Conf]
- Marc Phalippou
Abstract testing and concrete testers. [Citation Graph (0, 0)][DBLP]
PSTV, 1994, pp:221-236 [Conf]
- Masaaki Mori, Son T. Vuong
On finite covering of infinite spaces for protocol test selection. [Citation Graph (0, 0)][DBLP]
PSTV, 1994, pp:237-251 [Conf]
- Guy Leduc
Failure-based congruences, unfair divergences and new testing theory. [Citation Graph (0, 0)][DBLP]
PSTV, 1994, pp:252-267 [Conf]
- Hong Liu, Raymond E. Miller
Generalized fair reachability analysis for cyclic protocols: part 1. [Citation Graph (0, 0)][DBLP]
PSTV, 1994, pp:271-286 [Conf]
- Masahiro Higuchi, S. Sugawa, Mamoru Fujii
A method for verifying liveness of protocols modeled as a class of ECFSM. [Citation Graph (0, 0)][DBLP]
PSTV, 1994, pp:287-302 [Conf]
- Kenneth L. Calvert
Specifying and verifying conditional progress. [Citation Graph (0, 0)][DBLP]
PSTV, 1994, pp:303-318 [Conf]
- Jens Chr. Godskesen, Kim Guldstrand Larsen, Arne Skou
Automatic verification of real-tim systems using epsilon. [Citation Graph (0, 0)][DBLP]
PSTV, 1994, pp:323-330 [Conf]
- Y. Benkhellat, Jean-Pierre Thomesse
Validation of timing properties for interoperability in distributed real-time applications. [Citation Graph (0, 0)][DBLP]
PSTV, 1994, pp:331-338 [Conf]
- Peter Herrmann, Heiko Krumm
Compositional specification and verification of high-speed transfer protocols. [Citation Graph (0, 0)][DBLP]
PSTV, 1994, pp:339-346 [Conf]
- David L. Tennenhouse
Putting information infrastructure on the technology curve. [Citation Graph (0, 0)][DBLP]
PSTV, 1994, pp:347- [Conf]
- Anders Ek, Jan Ellsberger, Anthony Wiles
Computer supported test generation from SDL specifications. [Citation Graph (0, 0)][DBLP]
PSTV, 1994, pp:351-358 [Conf]
- Erik Kwast
Automatic ASN.1 constraint generation for testing purposes. [Citation Graph (0, 0)][DBLP]
PSTV, 1994, pp:359-366 [Conf]
- Brigitte Bär, Andreas Mann
A methodology for conformance testing of managed objects. [Citation Graph (0, 0)][DBLP]
PSTV, 1994, pp:367-375 [Conf]
- Teruo Higashino, Keiichi Yasumoto, Junji Kitamichi, Kenichi Taniguchi
Hardware synthesis from a restricted class of LOTOS expressions. [Citation Graph (0, 0)][DBLP]
PSTV, 1994, pp:379-386 [Conf]
- Thomas Held, Hartmut König
Increasing the efficiency of computer-aided protocol implementations. [Citation Graph (0, 0)][DBLP]
PSTV, 1994, pp:387-394 [Conf]
- Jakub Bojanowski, Michal Iglewski, Jan Madey, Abdellatif Obaid
Functional approach to protocols specification. [Citation Graph (0, 0)][DBLP]
PSTV, 1994, pp:395-402 [Conf]
|
