Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Willem Hengeveld, Jan Kroon |
Using Checking Sequences for OSI Session Layer Conformance Testing. |
PSTV |
1987 |
DBLP BibTeX RDF |
|
1 | Johannes Freudenmann |
Development of Communication Software by Stepwise Refinement. |
PSTV |
1987 |
DBLP BibTeX RDF |
|
1 | Harry Rudin |
Note on the Early History of Layered Architecture. |
PSTV |
1987 |
DBLP BibTeX RDF |
|
1 | Pieter S. Kritzinger |
Protocol Performance Using Image Protocols. |
PSTV |
1987 |
DBLP BibTeX RDF |
|
1 | Ana R. Cavalli, François Horn |
Proof of Specification Properties by Using Finite State Machines and Temporal Logic. |
PSTV |
1987 |
DBLP BibTeX RDF |
|
1 | Jean-Luc Richier, Carlos Rodriguez, Joseph Sifakis, Jacques Voiron |
Verification in XESAR of the Sliding Window Protocol. |
PSTV |
1987 |
DBLP BibTeX RDF |
|
1 | Erwin P. Rathgeb, Christian Homann, Hong Linh Truong 0002, Gerd Waldmann |
Protocol Testing for the ISDN D-Channel Network Layer. |
PSTV |
1987 |
DBLP BibTeX RDF |
|
1 | Yasuhiro Ohara, Shizuo Yoshitake, Tsukasa Kawaoka |
Protocol Conversion Method for Heterogeneous Systems Interconnection in Multi-Profile Environment. |
PSTV |
1987 |
DBLP BibTeX RDF |
|
1 | Gerard J. Holzmann |
On Limits and Possibilities of Automated Protocol Analysis. |
PSTV |
1987 |
DBLP BibTeX RDF |
|
1 | Lothar F. Mackert, Iris B. Neumeier-Mackert |
Communicating Rule Systems. |
PSTV |
1987 |
DBLP BibTeX RDF |
|
1 | K. H. Muralidhar |
Network Management and Directory Services Test System. |
PSTV |
1987 |
DBLP BibTeX RDF |
|
1 | Abdellatif Obaid, Luigi Logrippo |
An Atomic Calculus of Communicating Systems. |
PSTV |
1987 |
DBLP BibTeX RDF |
|
1 | Jean-Pierre Courtiat |
How Could Estelle Become a Better FDT? |
PSTV |
1987 |
DBLP BibTeX RDF |
|
1 | Harry Rudin, Colin H. West (eds.) |
Protocol Specification, Testing and Verification VII, Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification, Zurich, Switzerland, 5-8 May, 1987 |
PSTV |
1987 |
DBLP BibTeX RDF |
|
1 | A. S. Krishnakumar, B. Krishnamurthy, Krishan K. Sabnani |
Translation of Formal Protocol Specifications to VLSI Designs. |
PSTV |
1987 |
DBLP BibTeX RDF |
|
1 | Elie Najm |
A Verification Oriented Specification in LOTOS of the Transport Protocol. |
PSTV |
1987 |
DBLP BibTeX RDF |
|
1 | Albert Fleischmann |
PASS - A Technique for Specifying Communication Protocols. |
PSTV |
1987 |
DBLP BibTeX RDF |
|
1 | Bernd Baumgarten, Peter Ochsenschläger, Rainer Prinoth |
Building blocks for distributed system design. |
PSTV |
1985 |
DBLP BibTeX RDF |
|
1 | Richard Castanet, A. Dupeux, Pascal Guitton |
ADA, a well suited language for specification and implementation of protocols. |
PSTV |
1985 |
DBLP BibTeX RDF |
|
1 | R. Molva, Michel Diaz, Jean-Michel Ayache |
Observer: a run-time checking tool for local area networks. |
PSTV |
1985 |
DBLP BibTeX RDF |
|
1 | Omar Rafiq, Richard Castanet, Chakib Chraibi, J. P. Goursaud, J. Haddad, X. Perdu |
Towards an environment for testing OSI protocols. |
PSTV |
1985 |
DBLP BibTeX RDF |
|
1 | R. C. Venkatraman, Thomas F. Piatkowski |
A formal comparison of formal protocol specification techniques. |
PSTV |
1985 |
DBLP BibTeX RDF |
|
1 | Michel Diaz (eds.) |
Protocol Specification, Testing and Verification V, Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification, Toulouse-Moissac, France, June 10-13, 1985 |
PSTV |
1985 |
DBLP BibTeX RDF |
|
1 | Chau Chun Hung |
CCS used as a proof-assistant tool. |
PSTV |
1985 |
DBLP BibTeX RDF |
|
1 | Yechiam Yemini, Robert E. Strom, Shaula Yemini (eds.) |
Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984 |
PSTV |
1985 |
DBLP BibTeX RDF |
|
1 | N. Choquet, Laurent Fribourg, Anne Mauboussin |
Runnable protocol specifications using the logic interpreter SLOG. |
PSTV |
1985 |
DBLP BibTeX RDF |
|
1 | Jonathan Billington, Michael C. Wilbur-Ham, M. Y. Bearman |
Automated protocol verification. |
PSTV |
1985 |
DBLP BibTeX RDF |
|
1 | Jean-Claude Fernandez, Jean-Luc Richier, Jacques Voiron |
Verification of protocol specificaitons using the CESAR system. |
PSTV |
1985 |
DBLP BibTeX RDF |
|
1 | E. Timothy Morgan, Rami R. Razouk |
Computer-aided analysis of concurrent systems. |
PSTV |
1985 |
DBLP BibTeX RDF |
|
1 | Jean-Pierre Courtiat, Aloysio Pedroza, Jean-Michel Ayache |
A simulation environment for protocol specifications described in ESTELLE. |
PSTV |
1985 |
DBLP BibTeX RDF |
|
1 | Pierre Azéma, Giorgos Papapanagiotakis |
Protocol analysis by using predicate nets. |
PSTV |
1985 |
DBLP BibTeX RDF |
|
1 | Ed Brinksma |
A tutorial on LOTOS. |
PSTV |
1985 |
DBLP BibTeX RDF |
|
1 | H. X. Zeng, D. Rayner |
The impact of the Ferry concept on protocol testing. |
PSTV |
1985 |
DBLP BibTeX RDF |
|
1 | Brigitte Lonc |
GENEPIX: a portable version under UNIX of the OSI protocol tester GENEPI. |
PSTV |
1985 |
DBLP BibTeX RDF |
|
1 | Gregor von Bochmann, Rachida Dssouli, Wanderley Lopes de Souza, Behçet Sarikaya, Hasan Ural |
Use of Prolog for building protocol design tools. |
PSTV |
1985 |
DBLP BibTeX RDF |
|
1 | Ari Ahtiainen, S. Alfonzetti, V. Chari, Mats Daniels, Michel Diaz, Alberto Faro, Hans A. Hansson, Guy Juanole, Ulla Karjalainen, Gesualdo Le Moli, Juhani Malka, Sergio Palazzo, Orlando Pereda |
An approach for evaluating formal description techniques. |
PSTV |
1985 |
DBLP BibTeX RDF |
|
1 | C. Murray Woodside, J. R. Montealegre |
On packet buffering and protocol performance. |
PSTV |
1985 |
DBLP BibTeX RDF |
|
1 | Elie Najm, Stanislaw Budkowski, Thierry Gilot, Leon Lumbroso |
General presentation of SCAN. A distributed systems modelling and validation tool. |
PSTV |
1985 |
DBLP BibTeX RDF |
|
1 | Cécile Roisin |
Protocol description with the OCCAM language. |
PSTV |
1985 |
DBLP BibTeX RDF |
|
1 | Heinz Jürgen Burkhardt, Hans Eckert, Alfred Giessler |
Testing of protocol implementations. A systematic approach to derivation of test sequences form global protocol specifications. |
PSTV |
1985 |
DBLP BibTeX RDF |
|
1 | Claude Jard, Jean-François Monin, Roland Groz |
Experience in implementing ESTELLE-X.250 (a CCITT subset of ESTELLE) in VEDA. |
PSTV |
1985 |
DBLP BibTeX RDF |
|
1 | Hans A. Hansson |
Automatic implementation of formal descriptions of communication protocols. |
PSTV |
1985 |
DBLP BibTeX RDF |
|
1 | Antonella Di Stefano, Michele Malgeri, Orazio Mirabella |
A specification of a PROWAY protocol with an Algebraic language. |
PSTV |
1985 |
DBLP BibTeX RDF |
|
1 | Günter Karjoth |
An interactive system for the analysis of communicating processes. |
PSTV |
1985 |
DBLP BibTeX RDF |
|
1 | Jan R. Engelbrecht, Pieter S. Kritzinger, Harry Rudin |
Predicting protocol performance from a meta-implementation. |
PSTV |
1985 |
DBLP BibTeX RDF |
|
1 | Richard J. Linn Jr. |
The features and facilities of ESTELLE: a formal description technique based upon an extended finite state machine model. |
PSTV |
1985 |
DBLP BibTeX RDF |
|
1 | Otto Haas |
Formal protocol specification based on attribute grammars. |
PSTV |
1985 |
DBLP BibTeX RDF |
|
1 | Guy Leduc |
Assessing the service provided by a connection-less protocol. |
PSTV |
1985 |
DBLP BibTeX RDF |
|
1 | Chris A. Vissers, Luigi Logrippo |
The importance of the service concept in the design of data communications protocols. |
PSTV |
1985 |
DBLP BibTeX RDF |
|
1 | Alain Dupuis, Gérard Hébuterne |
On the use of quantitative evaluation to assess and study distributed algorithms properties. |
PSTV |
1985 |
DBLP BibTeX RDF |
|
1 | D. Rayner |
Towards standardized OSI conformance tests. |
PSTV |
1985 |
DBLP BibTeX RDF |
|
1 | Rachida Dssouli, Gregor von Bochmann |
Error detection with multiple observers. |
PSTV |
1985 |
DBLP BibTeX RDF |
|
1 | Wolfgang Fischer 0002, Klaus Sauer, W. Denzel |
A simulation technique for communications protocols based on a formal specification by SDL. |
PSTV |
1985 |
DBLP BibTeX RDF |
|
1 | David P. Anderson, Lawrence H. Landweber |
Protocol Specification by Real-Time Attribute Grammars. |
PSTV |
1984 |
DBLP BibTeX RDF |
|
1 | John R. Pavel, Dermot J. Dwyer |
Some Experiences of Testing Protocol Implementations. |
PSTV |
1984 |
DBLP BibTeX RDF |
|
1 | Giuseppe Scollo, Antonio Anzalone, Paolo Finocchiaro, Francesco Giustolisi, Giovanni Raciti |
Specification and Implementation of the MONDAN System. |
PSTV |
1984 |
DBLP BibTeX RDF |
|
1 | Robert E. Strom, Shaula Yemini |
Synthesizing Distributed Protocols from Serial Programs. |
PSTV |
1984 |
DBLP BibTeX RDF |
|
1 | J. Bremer, G. Mondvai, Katalin Tarnay, J. Tibor |
Some Experiences with Test Sequence Generation in Application Layer. |
PSTV |
1984 |
DBLP BibTeX RDF |
|
1 | Luigi Logrippo, Didier Simon, Hasan Ural |
Executable Description of the OSI Transport Service in Prolog. |
PSTV |
1984 |
DBLP BibTeX RDF |
|
1 | H. X. Zeng, D. Rayner |
Gateway Testing Technique. |
PSTV |
1984 |
DBLP BibTeX RDF |
|
1 | A. Udaya Shankar, Simon S. Lam |
Specification and Verification of Time-Dependant Communication Protocols. |
PSTV |
1984 |
DBLP BibTeX RDF |
|
1 | Stanislaw Budkowski |
Generation of a Global System Description from the Descriptions of Cooperating Subsystems. |
PSTV |
1984 |
DBLP BibTeX RDF |
|
1 | Wolfgang Jürgensen, Son T. Vuong |
CSP and CSP Nets: A Dual Model for Protocol Specification and Verification. |
PSTV |
1984 |
DBLP BibTeX RDF |
|
1 | Harry Rudin |
An Improved Algorithm for Estimating Protocol Performance. |
PSTV |
1984 |
DBLP BibTeX RDF |
|
1 | Richard Castanet, Pascal Guitton, Omar Rafiq |
An Automatic System for the Study of Protocols: A Presentation and Critique Based on a Worked Example. |
PSTV |
1984 |
DBLP BibTeX RDF |
|
1 | S. Aggarwal, Robert P. Kurshan |
Automated Implementation from Formal Specification. |
PSTV |
1984 |
DBLP BibTeX RDF |
|
1 | Marshall T. Rose |
Modeling of Initial Connection Handling in TCP Using Contour/Transition Nets. |
PSTV |
1984 |
DBLP BibTeX RDF |
|
1 | Nihal Nounou, Yechiam Yemini |
Algebraic Specification-Based Performance Analysis of Communication Protocols. |
PSTV |
1984 |
DBLP BibTeX RDF |
|
1 | Heinz Jürgen Burkhardt, Hans Eckert, Rainer Prinoth |
Modelling of OSI-Communication Services and Protocols Using Predicate/Transition Nets. |
PSTV |
1984 |
DBLP BibTeX RDF |
|
1 | Joachim Parrow, Rune Gustavsson |
Modelling Distributed Systems in an Extension of CCS with Infinite Experiments and Temporal Logic. |
PSTV |
1984 |
DBLP BibTeX RDF |
|
1 | Tommaso Bolognesi, Harry Rudin |
On the Analysis of Time-Dependent Protocols by Network Flow Algorithms. |
PSTV |
1984 |
DBLP BibTeX RDF |
|
1 | Daniel Schwabe, Ana R. Cavalli |
Temporal Logic Specification of a Virtual Ring LAN Access Protocol. |
PSTV |
1984 |
DBLP BibTeX RDF |
|
1 | Gregor von Bochmann, Eduard Cerny, George Walter Gerber, Rachida Dssouli, Michel Maksud, B. H. Phan, Behçet Sarikaya, Jean-Marc Serre |
Use of Formal Specifications for Protocol Design, Implementation and Testing. |
PSTV |
1984 |
DBLP BibTeX RDF |
|
1 | Elie Najm |
Verification of Distributed Systems Using Structured Communicating Agents Nets. |
PSTV |
1984 |
DBLP BibTeX RDF |
|
1 | Wojciech Cellary, Maciej Stroinski |
Performance Parameters of Computer Network Protocols Refered to Their Formal Model. |
PSTV |
1984 |
DBLP BibTeX RDF |
|
1 | Gerard J. Holzmann |
Backward Symbolic Execution of Protocols. |
PSTV |
1984 |
DBLP BibTeX RDF |
|
1 | Richard J. Linn Jr. |
An Evaluation of the ICST Test Architecture after Testing Class 4 Transport. |
PSTV |
1984 |
DBLP BibTeX RDF |
|
1 | Vincenza Carchiolo, Gesualdo Le Moli, Sergio Palazzo, Giuseppe Pappalardo |
Modelling and Specifying a Presentation Protocol by Temporal Ordering. |
PSTV |
1984 |
DBLP BibTeX RDF |
|
1 | Heiko Krumm, Oswald Drobnik |
Transformation of Constructive Specifications of Services and Protocols into the Logical Language of CIL. |
PSTV |
1984 |
DBLP BibTeX RDF |
|
1 | Rami R. Razouk, Charles V. Phelps |
Performance Analysis Using Timed Petri Nets. |
PSTV |
1984 |
DBLP BibTeX RDF |
|
1 | Jürgen Hänle |
The Teletex Test System PETRUS. |
PSTV |
1984 |
DBLP BibTeX RDF |
|
1 | Scott A. Smolka, Ariel J. Frank, Saumya K. Debray |
Testing Protocol Robustness the CCS Way. |
PSTV |
1984 |
DBLP BibTeX RDF |
|
1 | Björn Pehrson, Michael Yoeli |
A Communicating System Net Model for Specification and Verification of Distributed Nets. |
PSTV |
1984 |
DBLP BibTeX RDF |
|
1 | Deepinder P. Sidhu, Thomas P. Blumer |
Some Problems with the Specification of the Military Standard Transmission Control Protocol. |
PSTV |
1984 |
DBLP BibTeX RDF |
|
1 | Ed Brinksma, Günter Karjoth |
A Specification of the OSI Transport Service in LOTOS. |
PSTV |
1984 |
DBLP BibTeX RDF |
|
1 | Mohamed G. Gouda, Ching-Hua Chow, Simon S. Lam |
On the Decidability of Livelock Detection in Networks of Communicating Finite State Machines. |
PSTV |
1984 |
DBLP BibTeX RDF |
|
1 | Mats Daniels, Hans A. Hansson |
An ASYL/EFSM Description of the ISO Transport Protocol. |
PSTV |
1984 |
DBLP BibTeX RDF |
|
1 | Mostafa Hashem Sherif, V. Miller, E. Woo |
X.25 Protocol Verification Facility for AT&T No.1 Packet Switching System (No. 1 PSS). |
PSTV |
1984 |
DBLP BibTeX RDF |
|
1 | Michal Sajkowski |
Protocol Verification Techniques: Status Quo and Perspectives. |
PSTV |
1984 |
DBLP BibTeX RDF |
|
1 | Isabelle Valet, Dominique Rerat |
Formal Description of the Nadir Transport Protocol Using the PDIL Language. |
PSTV |
1984 |
DBLP BibTeX RDF |
|
1 | Ching-Hua Chow, Mohamed G. Gouda, Simon S. Lam |
On Constructing Multi-Phase Communication Protocols. |
PSTV |
1984 |
DBLP BibTeX RDF |
|
1 | Pieter S. Kritzinger |
Analyzing the Time Efficiency of a Communication Protocol. |
PSTV |
1984 |
DBLP BibTeX RDF |
|
1 | Roland Groz, Claude Jard, Claire Lassudrie |
Attacking a Complex Distributed Algorithm from Different Sides: An Experience with Complementary Validation Tools. |
PSTV |
1984 |
DBLP BibTeX RDF |
|
1 | Guy Juanole |
Reliability of a Data Link Service: Modelling Methodology - Protocols Comparison. |
PSTV |
1984 |
DBLP BibTeX RDF |
|
1 | Harry Rudin, Colin H. West (eds.) |
Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983 |
PSTV |
1983 |
DBLP BibTeX RDF |
|
1 | A. Udaya Shankar, Simon S. Lam |
On Time-Dependent Communication Protocols and Their Projections. |
PSTV |
1982 |
DBLP BibTeX RDF |
|
1 | Simon S. Lam, A. Udaya Shankar |
An Illustration of Protocol Projections. |
PSTV |
1982 |
DBLP BibTeX RDF |
|
1 | Wulf L. Bauerfeld |
A Hybrid Model for Protocols and Services: Verification and Simulation by a Modified Depth-First Search Algorithm. |
PSTV |
1982 |
DBLP BibTeX RDF |
|
1 | Gérard Berthelot, Richard Terrat |
Petri Nets Theory for the Correctness of Protocols. |
PSTV |
1982 |
DBLP BibTeX RDF |
|
1 | Jonathan Billington |
Specification of the Transport Service Using Numerical Petri Nets. |
PSTV |
1982 |
DBLP BibTeX RDF |
|