Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID14th PSTV 1994: Vancouver, BC, Canada
- Son T. Vuong, Samuel T. Chanson:
Protocol Specification, Testing and Verification XIV, Proceedings of the Fourteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Vancouver, BC, Canada, 1994. IFIP Conference Proceedings 1, Chapman & Hall 1995, ISBN 0-412-63640-9
Full Papers
Session One: FDTs and Enhancements
- Klaus Havelund, Kim Guldstrand Larsen:
A refinement logic for the fork calculus. PSTV 1994: 5-20 - Reinhard Gotzhein, Gregor von Bochmann:
Specialization in Estelle. PSTV 1994: 21-36 - Jean-Pierre Courtiat, Roberto C. de Oliveira:
About time nondeterminism and exception handling in a temporal extension of LOTOS. PSTV 1994: 37-52
Invited Address 1
- Ed Brinksma:
Cache consistency by design. PSTV 1994: 53-67
Session Two: Verification Methodology Based on FDTs
- Bernard Stepien, Luigi Logrippo:
Feature interaction detection using backward reasoning with LOTOS. PSTV 1994: 71-86 - Ajin Jirachiefpattana, Richard Lai:
Verification of the ISO ROSE protocol specified in Estelle. PSTV 1994: 87-102 - Kshirasagar Naik, Behçet Sarikaya:
Protocol conformance test case verification using timed-transitions. PSTV 1994: 103-118
Session Three: Testing - Architecture, Fault Coverage and Interoperability
- Kshirasagar Naik:
Design of reliable architecture for testing timed behavior of OSI protocols. PSTV 1994: 121-136 - Jinsong Zhu, Samuel T. Chanson:
Towards evaluating fault coverage of protocol test sequences. PSTV 1994: 137-151 - Pierre de Saqui-Sannes, Jean-Pierre Courtiat, René Casadessus:
Verification by abstraction as a preamble for interoperability test suite generation. PSTV 1994: 152-166
Session Four: Protocol Specification and Design Methodology
- Jorge Arturo Cobb, Mohamed G. Gouda, Prathima Agrawal:
Protocol synchronization with sparse timestraps. PSTV 1994: 169-184 - Ahmed Khoumsi, Gregor von Bochmann, Rachida Dssouli:
On specifying services and synthesizing protocols for real-time applications. PSTV 1994: 185-200 - Maria Hultström:
Structural decomposition. PSTV 1994: 201-216
Invited Address 2 - Abstract
Session Five: Testing - Theoretical Issues
- Marc Phalippou:
Abstract testing and concrete testers. PSTV 1994: 221-236 - Masaaki Mori, Son T. Vuong:
On finite covering of infinite spaces for protocol test selection. PSTV 1994: 237-251 - Guy Leduc:
Failure-based congruences, unfair divergences and new testing theory. PSTV 1994: 252-267
Session Six: Verification Methods
- Hong Liu, Raymond E. Miller:
Generalized fair reachability analysis for cyclic protocols: part 1. PSTV 1994: 271-286 - Masahiro Higuchi, S. Sugawa, Mamoru Fujii:
A method for verifying liveness of protocols modeled as a class of ECFSM. PSTV 1994: 287-302 - Kenneth L. Calvert:
Specifying and verifying conditional progress. PSTV 1994: 303-318
Short Papers
Session Seven: Modelling and Verification of Realtime Systems
- Jens Chr. Godskesen, Kim Guldstrand Larsen, Arne Skou:
Automatic verification of real-tim systems using epsilon. PSTV 1994: 323-330 - Y. Benkhellat, Jean-Pierre Thomesse:
Validation of timing properties for interoperability in distributed real-time applications. PSTV 1994: 331-338 - Peter Herrmann, Heiko Krumm:
Compositional specification and verification of high-speed transfer protocols. PSTV 1994: 339-346
Invited Address 3 - Abstract
- David L. Tennenhouse:
Putting information infrastructure on the technology curve. PSTV 1994: 347
Session Eight: Testing - Tools and Methods
- Anders Ek, Jan Ellsberger, Anthony Wiles:
Computer supported test generation from SDL specifications. PSTV 1994: 351-358 - Erik Kwast:
Automatic ASN.1 constraint generation for testing purposes. PSTV 1994: 359-366 - Brigitte Bär, Andreas Mann:
A methodology for conformance testing of managed objects. PSTV 1994: 367-375
Session Nine: FDT-Based Design, Specification and Implementation
- Teruo Higashino, Keiichi Yasumoto, Junji Kitamichi, Kenichi Taniguchi:
Hardware synthesis from a restricted class of LOTOS expressions. PSTV 1994: 379-386 - Thomas Held, Hartmut König:
Increasing the efficiency of computer-aided protocol implementations. PSTV 1994: 387-394 - Jakub Bojanowski, Michal Iglewski, Jan Madey, Abdellatif Obaid:
Functional approach to protocols specification. PSTV 1994: 395-402
a service of 
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.
last updated on 2024-04-22 20:01 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
