Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Mohamed G. Gouda |
The Two-Dimensional Window Protocol. |
PSTV |
1992 |
DBLP BibTeX RDF |
|
1 | Cengiz Alaettinoglu, A. Udaya Shankar |
Stepwise Assertional Design of Distance-Vector Routing Algorithms. |
PSTV |
1992 |
DBLP BibTeX RDF |
|
1 | Woojik Chun, Paul D. Amer |
Improvements on UIO Sequence Generation and Partial UIO Sequences. |
PSTV |
1992 |
DBLP BibTeX RDF |
|
1 | Thomas Walter 0001, Jan Ellsberger, Finn Kristoffersen, Paul van den Merkhof |
A Common Semantics Representation for SDL and TTCN. |
PSTV |
1992 |
DBLP BibTeX RDF |
|
1 | Chang-Jia Wang, Ming T. Liu |
A Test Suite Generation Method for Extended Finite State Machines Using Axiomatic Semantics Approach. |
PSTV |
1992 |
DBLP BibTeX RDF |
|
1 | R. C. Sekar 0001, Yow-Jian Lin, Sanjai Narain |
On Modelling and Reasoning About Hybrid Systems. |
PSTV |
1992 |
DBLP BibTeX RDF |
|
1 | Angel Fernández, Carlos Miguel, Leon Vidaller, Juan Quemada |
Development of Satellite Communication Networks Based on LOTOS. |
PSTV |
1992 |
DBLP BibTeX RDF |
|
1 | Juan Quemada, Arturo Azcorra |
Structuring Protocols Using Exceptions in a LOTOS Extension. |
PSTV |
1992 |
DBLP BibTeX RDF |
|
1 | Bengt Jonsson 0001, Joachim Parrow, Björn Pehrson (eds.) |
Protocol Specification, Testing and Verification XI, Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Stockholm, Sweden, 18-20 June 1991 |
PSTV |
1991 |
DBLP BibTeX RDF |
|
1 | Udo Bär, Martin Strecker, Willi Stoll, Wolfgang Effelsberg |
Presentation Layer Conformance Testing with TTCN. |
PSTV |
1991 |
DBLP BibTeX RDF |
|
1 | To-Yat Cheung, Youwen Wu, Xinming Ye |
Generating Test Sequences and their Degrees of Indeterminism for Protocols. |
PSTV |
1991 |
DBLP BibTeX RDF |
|
1 | Russil Wvong |
LAPB Conformance Testin Using Trace Analysis. |
PSTV |
1991 |
DBLP BibTeX RDF |
|
1 | Simon S. Lam, A. Udaya Shankar |
A Composition Theorem for Layered Systems. |
PSTV |
1991 |
DBLP BibTeX RDF |
|
1 | Do Y. Lee, Jai-Yong Lee |
Test Generation for the Specification Written in Estelle. |
PSTV |
1991 |
DBLP BibTeX RDF |
|
1 | Yow-Jian Lin, Gene T. J. Wuu |
A Constrained Approach for Temporal Intervals in the Analysis of Timed Transitions. |
PSTV |
1991 |
DBLP BibTeX RDF |
|
1 | Nathalie Rico, Gregor von Bochmann |
Performance Description and Analysis for Distributed Systems Using a Variant of LOTOS. |
PSTV |
1991 |
DBLP BibTeX RDF |
|
1 | Ian F. Akyildiz, Giovanni Chiola, Daniel Kofman, Hayri Korezlioglu |
Stochastic Petri Net Modeling of the FDDI Network Protocol. |
PSTV |
1991 |
DBLP BibTeX RDF |
|
1 | Pierre de Saqui-Sannes, Jean-Pierre Courtiat |
An Extension of the Multi-Way Synchronization Mechanism Concealed by Estelle. |
PSTV |
1991 |
DBLP BibTeX RDF |
|
1 | S. Gallouzi, Luigi Logrippo, Abdellatif Obaid |
An expressive trace theory for LOTOS. |
PSTV |
1991 |
DBLP BibTeX RDF |
|
1 | Antti Valmari, Martti Tienari |
An Improved Failures Equivalence for Finite-State Systems with a Reduction Algorithm. |
PSTV |
1991 |
DBLP BibTeX RDF |
|
1 | Ed Brinksma, Jan Tretmans, Louis Verhaard |
A Framework for Test Selection. |
PSTV |
1991 |
DBLP BibTeX RDF |
|
1 | Xiao Sun 0002, Yinan N. Shen, Fabrizio Lombardi, Donatella Sciuto |
Protocol Conformance Testing by Discriminating UIO Sequences. |
PSTV |
1991 |
DBLP BibTeX RDF |
|
1 | Younes Souissi |
A Modular Approach for the Validation of Communication Protocols Using FIFO Nets. |
PSTV |
1991 |
DBLP BibTeX RDF |
|
1 | Kaisa Sere |
Stepwise Refinement of Reactive Processor Farms. |
PSTV |
1991 |
DBLP BibTeX RDF |
|
1 | Roelof Jan Velthuys, Lothar F. Mackert, Jürgen M. Schneider, Georg Zörntlein |
Structuring Mechanisms for the Formal Description Technique CRS. |
PSTV |
1991 |
DBLP BibTeX RDF |
|
1 | Alistair Cockburn |
A Formalization of Temporal Message-Flow Diagrams. |
PSTV |
1991 |
DBLP BibTeX RDF |
|
1 | Juan Quemada |
Compressed State Space Representation in LOTOS with the Interleaved Expansion. |
PSTV |
1991 |
DBLP BibTeX RDF |
|
1 | Enrique Vázquez, Pedro Sandoval, Marifeli Sedano, Juan Vinyes |
Automatic Implementation of TP4/IP with an Estelle Workstation. Development Methodology and Performance Evaluation. |
PSTV |
1991 |
DBLP BibTeX RDF |
|
1 | Erik Kwast |
Towards Automatic Test Generation for Protocol Data Aspects. |
PSTV |
1991 |
DBLP BibTeX RDF |
|
1 | Guy Leduc |
Conformance Relation, Associated Equivalence, and New Canonical Tester in LOTOS. |
PSTV |
1991 |
DBLP BibTeX RDF |
|
1 | Tommaso Bolognesi, Ferdinando Lucidi, Sebastiano Trigila |
From timed Petri nets to timed LOTOS. |
PSTV |
1990 |
DBLP BibTeX RDF |
|
1 | Reinhard Gotzhein |
Specifying communication services with temporal logic. |
PSTV |
1990 |
DBLP BibTeX RDF |
|
1 | Alistair Cockburn, Wayne Citrin, Rainer Hauser, Jürg von Känel |
An environment for interactive design of communications architectures. |
PSTV |
1990 |
DBLP BibTeX RDF |
|
1 | N. P. Alfano, B. Kanungo |
Development of an international standard for conformance testing X.25 DTEs January 1988 - May 1989. |
PSTV |
1990 |
DBLP BibTeX RDF |
|
1 | Alessandro Fantechi, Stefania Gnesi, Gioia Ristori |
Compositional logic semantics and LOTOS. |
PSTV |
1990 |
DBLP BibTeX RDF |
|
1 | Srinivas Eswara, Tom Berriman, Philip VanHoutte, Behçet Sarikaya |
Towards execution of TTCN test cases. |
PSTV |
1990 |
DBLP BibTeX RDF |
|
1 | Frank A. Stomp |
A derivation of a broadcasting protocol using sequentially phased reasoning. |
PSTV |
1990 |
DBLP BibTeX RDF |
|
1 | Mon-Song Chen, Yanghee Choi, Aaron Kershenbaum |
Approaches utilizing segment overlap to minimize test sequences. |
PSTV |
1990 |
DBLP BibTeX RDF |
|
1 | Haruhisa Ichikawa, Kenjiroh Yamanaka, June Kato |
Incremental specification in LOTOS. |
PSTV |
1990 |
DBLP BibTeX RDF |
|
1 | Richard L. Tenney |
Modelling flow control in Estelle. |
PSTV |
1990 |
DBLP BibTeX RDF |
|
1 | Peter van Eijk, Harro Kremer, Marten van Sinderen |
On the use of specification styles for automated protocol implementation from LOTOS to C. |
PSTV |
1990 |
DBLP BibTeX RDF |
|
1 | Jan K. Pachl |
A notation for specifying test selection criteria. |
PSTV |
1990 |
DBLP BibTeX RDF |
|
1 | Jan Friso Groote |
Specification and verification of real time systems in ACP. |
PSTV |
1990 |
DBLP BibTeX RDF |
|
1 | Shingo Nomura, Toru Hasegawa, Takashi Takizuka |
A LOTOS compiler and process synchronization manager. |
PSTV |
1990 |
DBLP BibTeX RDF |
|
1 | Hubert Garavel, Joseph Sifakis |
Compilation and verification of LOTOS specifications. |
PSTV |
1990 |
DBLP BibTeX RDF |
|
1 | Paul King, Graeme Smith 0001 |
Formalisation of behavioural and structural concepts for communication systems. |
PSTV |
1990 |
DBLP BibTeX RDF |
|
1 | Colin H. West |
The first ten years, the next ten years. |
PSTV |
1990 |
DBLP BibTeX RDF |
|
1 | Luigi Logrippo, Robert L. Probert, Hasan Ural (eds.) |
Protocol Specification, Testing and Verification X, Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990 |
PSTV |
1990 |
DBLP BibTeX RDF |
|
1 | Rom Langerak |
Decomposition of functionality: a correctness-preserving LOTOS transformation. |
PSTV |
1990 |
DBLP BibTeX RDF |
|
1 | Chris A. Vissers |
FDTs for open distributed systems, a retrospective and a prospective view. |
PSTV |
1990 |
DBLP BibTeX RDF |
|
1 | Fredrik Orava, Joachim Parrow |
Algebraic descriptions of mobile networks: An example. |
PSTV |
1990 |
DBLP BibTeX RDF |
|
1 | Roger Duke, Gordon A. Rose, Anthony Lee |
Object-oriented protocol specification. |
PSTV |
1990 |
DBLP BibTeX RDF |
|
1 | Murat Bilgic, Behçet Sarikaya |
An ASN.1 encoder/decoder and its performance. |
PSTV |
1990 |
DBLP BibTeX RDF |
|
1 | Karen Rudie, Walter Murray Wonham |
Supervisory control of communicating processes. |
PSTV |
1990 |
DBLP BibTeX RDF |
|
1 | Einar Snekkenes |
Authentication in Open Systems. |
PSTV |
1990 |
DBLP BibTeX RDF |
|
1 | Raymond E. Miller |
Protocol verification: the first ten years, the next ten years; some personal observations. |
PSTV |
1990 |
DBLP BibTeX RDF |
|
1 | Deepinder P. Sidhu |
The first ten years, the next ten years. |
PSTV |
1990 |
DBLP BibTeX RDF |
|
1 | Ed Brinksma, Giuseppe Scollo, Chris A. Vissers (eds.) |
Protocol Specification, Testing and Verification IX, Proceedings of the IFIP WG6.1 Ninth International Symposium on Protocol Specification, Testing and Verification, Enschede, The Netherlands, 6-9 June, 1989 |
PSTV |
1990 |
DBLP BibTeX RDF |
|
1 | Wendy Y. L. Chan, Son T. Vuong, Mabo Robert Ito |
On Test Sequence Generation for Protocols. |
PSTV |
1989 |
DBLP BibTeX RDF |
|
1 | Clazien D. Wezeman |
The CO-OP Method for Compositional Derivation of Conformance Testers. |
PSTV |
1989 |
DBLP BibTeX RDF |
|
1 | Rom Langerak |
A Testing Theory for LOTOS using Deadlock Detection. |
PSTV |
1989 |
DBLP BibTeX RDF |
|
1 | Willem P. de Roever, Jozef Hooman |
Design and verification in real-time distributed computing: an introduction to compositional methods. |
PSTV |
1989 |
DBLP BibTeX RDF |
|
1 | Gregor von Bochmann, Michel Deslauriers |
Combining ASN1 Support with the LOTOS Language. |
PSTV |
1989 |
DBLP BibTeX RDF |
|
1 | Norio Shiratori, Hiroaki Kaminaga, Kaoru Takahashi, Shoichi Noguchi |
A Verification Method for LOTOS Specifications and its Application. |
PSTV |
1989 |
DBLP BibTeX RDF |
|
1 | Robert P. Kurshan, Shlomit S. Pinter, Baruch Solomon |
Extensions of Temporal Logic for Counting with Applications to Model Verification. |
PSTV |
1989 |
DBLP BibTeX RDF |
|
1 | Peter van Eijk |
LOTOS Tools Based on the Cornell Synthesizer Generator. |
PSTV |
1989 |
DBLP BibTeX RDF |
|
1 | Jan Gustavsson, Harry Rudin |
Including a Queue in a Formal-Description-Driven Protocol Performance Analysis. |
PSTV |
1989 |
DBLP BibTeX RDF |
|
1 | Pawel Gburzynski, Piotr Rudnicki |
On Executable Specifications, Validation, and Testing of MAC-Level Protocols. |
PSTV |
1989 |
DBLP BibTeX RDF |
|
1 | Dietmar Wolz, Paul Boehm |
Compilation of LOTOS Data Type Specifications. |
PSTV |
1989 |
DBLP BibTeX RDF |
|
1 | J. J. van Griethuysen |
Open Distributed Processing. |
PSTV |
1989 |
DBLP BibTeX RDF |
|
1 | Brigitte Pradin-Chezalviel, Michel Diaz |
Axioms of Communication Using Temporal Logic with Past. |
PSTV |
1989 |
DBLP BibTeX RDF |
|
1 | Dragomir D. Dimitrijevic, Mon-Song Chen |
Dynamic State Exploration in Quantitative Protocol Analysis. |
PSTV |
1989 |
DBLP BibTeX RDF |
|
1 | Fredrik Orava |
Verifying Safety and Deadlock Properties of Networks of Asynchronously Communicating Processes. |
PSTV |
1989 |
DBLP BibTeX RDF |
|
1 | Marc Phalippou |
Functional Specification for an ISDN Switching System: an Experience using Estelle. |
PSTV |
1989 |
DBLP BibTeX RDF |
|
1 | Maria C. Yuang, Aaron Kershenbaum |
Parallel Protocol Verification: The Two-Phase Algorithm. |
PSTV |
1989 |
DBLP BibTeX RDF |
|
1 | Terry Stroup, Norbert Götz, Michael Mendler |
Stepwise Refinement of Layered Protocols by Formal Program Development. |
PSTV |
1989 |
DBLP BibTeX RDF |
|
1 | Samuel T. Chanson, B. P. Lee, N. J. Parakh, Hua-Xin Zeng |
Design and Implementation of a Ferry Clip Test System. |
PSTV |
1989 |
DBLP BibTeX RDF |
|
1 | Richard Lai 0001, Tharam S. Dillon, Ken R. Parker |
Verification Results for ISO FTAM Basic Protocol. |
PSTV |
1989 |
DBLP BibTeX RDF |
|
1 | Ian J. Hayes, M. Mowbray, Gordon A. Rose |
Signalling System No.7, The Network Layer. |
PSTV |
1989 |
DBLP BibTeX RDF |
|
1 | Teruo Higashino, Kiyoshi Ninomiya, Tomohisa Kimoto, Kenichi Taniguchi, Masaaki Mori |
Automated Verification of Equivalence of Protocol Machines. |
PSTV |
1989 |
DBLP BibTeX RDF |
|
1 | Gerard J. Holzmann, Joanna Patti |
Validating SDL Specifications: an Experiment. |
PSTV |
1989 |
DBLP BibTeX RDF |
|
1 | Claude Jard, Jean-Marc Jézéquel |
A Multi-Processor Estelle-to-C Compiler to Prototype Algorithms on Parallel Machines. |
PSTV |
1989 |
DBLP BibTeX RDF |
|
1 | R. Isaac Chan, Brian R. Smith, Gerald W. Neufeld, Samuel T. Chanson, W. B. Davis, Son T. Vuong, H. L. See, S. Chan |
A Software Environment for OSI Protocol Testing Systems. |
PSTV |
1989 |
DBLP BibTeX RDF |
|
1 | Mohammed Faci, Luigi Logrippo, Bernard Stepien |
Formal Specifications of Telephone Systems in LOTOS. |
PSTV |
1989 |
DBLP BibTeX RDF |
|
1 | Rance Cleaveland, Joachim Parrow, Bernhard Steffen |
A Semantics Based Verification Tool for Finite State Systems. |
PSTV |
1989 |
DBLP BibTeX RDF |
|
1 | Yinan N. Shen, Fabrizio Lombardi, Anton T. Dahbura |
Protocol Conformance Testing Using Multiple UIO Sequences. |
PSTV |
1989 |
DBLP BibTeX RDF |
|
1 | Piotr Dembinski, Stanislaw Budkowski |
Simulating Estelle Specifications with Time Parameters. |
PSTV |
1987 |
DBLP BibTeX RDF |
|
1 | Hasan Ural |
A Test Derivation Method for Protocol Conformance Testing. |
PSTV |
1987 |
DBLP BibTeX RDF |
|
1 | Ian C. Davidson |
OSI Protocol Testing at the Corporation for Open Systems. |
PSTV |
1987 |
DBLP BibTeX RDF |
|
1 | Guy Leduc |
The Intertwining of Data Types and Processes in LOTOS. |
PSTV |
1987 |
DBLP BibTeX RDF |
|
1 | Juan Quemada, Angel Fernández |
Introduction of Quantitative Relative Time into LOTOS. |
PSTV |
1987 |
DBLP BibTeX RDF |
|
1 | Kenneth J. Turner |
An Architectural Semantics for LOTOS. |
PSTV |
1987 |
DBLP BibTeX RDF |
|
1 | Jan K. Pachl |
Protocol Description and Analysis Based on a State Transition Model with Channel Expressions. |
PSTV |
1987 |
DBLP BibTeX RDF |
|
1 | David R. Gilbert |
Executable LOTOS: Using PARLOG to Implement an FDT. |
PSTV |
1987 |
DBLP BibTeX RDF |
|
1 | Branislav Meandzija, William P.-C. Ho |
Towards Truly Open Systems. |
PSTV |
1987 |
DBLP BibTeX RDF |
|
1 | Giuseppe Pappalardo |
Experiences with a Verification and Simulation Tool for Behavioural Languages. |
PSTV |
1987 |
DBLP BibTeX RDF |
|
1 | Sudhir Aggarwal, Daniel Barbará, Costas Courcoubetis |
LAN Broadcast Protocols for Implementing the CCA Model. |
PSTV |
1987 |
DBLP BibTeX RDF |
|
1 | Tommaso Bolognesi, Scott A. Smolka |
Fundamental Results for the Verification of Observational Equivalence: A Survey. |
PSTV |
1987 |
DBLP BibTeX RDF |
|
1 | Nicholas F. Maxemchuk, Krishan K. Sabnani |
Probabilistic Verification of Communication Protocols. |
PSTV |
1987 |
DBLP BibTeX RDF |
|
1 | Gregor von Bochmann |
Usage of Protocol Development Tools: The Results of a Survey. |
PSTV |
1987 |
DBLP BibTeX RDF |
|