Conferences in DBLP
Richard L. Schwartz , P. M. Melliar-Smith From State Machines to Temporal Logic: Specification Methods for Protocol Standards. [Citation Graph (0, 0)][DBLP ] Conf ] Krishan K. Sabnani , Mischa Schwartz Verification of a Multidestination Protocol Using Temporal Logic. [Citation Graph (0, 0)][DBLP ] Conf ] James F. Kurose The Specification and Verification of a Connection Establishment Protocol Using Temporal Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Friedrich H. Vogt Event-Based Temporal Logic Specifications of Services and Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Jonathan Billington Specification of the Transport Service Using Numerical Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Pierre Ansart , Omar Rafiq , V. Chari PDIL-Protocol Description and Implementation Language. [Citation Graph (0, 0)][DBLP ] Conf ] Gerald A. Simon , David J. Kaufman An Extended Finite State Machine Approach to Protocol Specification. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas F. Piatkowski , Lap-Kin Ip , Dayun He State Architecture Notation and Simulation: A Formal Technique for the Specification and Testing of Protocol Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas P. Blumer , John C. Burruss Generating a Service Specification of a Connection Management Protocol. [Citation Graph (0, 0)][DBLP ] Conf ] Gregor von Bochmann , Eduard Cerny , Michel Gagne , Claude Jard , Alain Léveillé , Clement Lacaille , Michel Maksud , K. S. Raghunathan , Behçet Sarikaya Some Experience with the Use of Formal Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Yechiam Yemini , James F. Kurose Towards the Unification of the Functional and Performance Analysis of Protocols, or is the Alternating-Bit Protocol Really Correct?. [Citation Graph (0, 0)][DBLP ] Conf ] Rami R. Razouk Modeling X.25 Using the Graph Model of Behavior. [Citation Graph (0, 0)][DBLP ] Conf ] A. Udaya Shankar , Simon S. Lam On Time-Dependent Communication Protocols and Their Projections. [Citation Graph (0, 0)][DBLP ] Conf ] Richard W. Watson An Experience in Transport Protocol Specification Using an Algorithmic Programming Language. [Citation Graph (0, 0)][DBLP ] Conf ] Gesualdo Le Moli , Sergio Palazzo , Gaetano Andreoni A Model of Entity for the Definition of Protocols, Services, and Interfaces. [Citation Graph (0, 0)][DBLP ] Conf ] Rainer Prinoth An Algorithm to Construct Distributed Systems from State-Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Deepinder P. Sidhu Protocol Design Rules. [Citation Graph (0, 0)][DBLP ] Conf ] Luigi Logrippo , Robert L. Probert Protocol/Specification-Level Validation. [Citation Graph (0, 0)][DBLP ] Conf ] Yogen K. Dalal Service Specifications for Recursively-Defined Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Rune Gustavsson , Joachim Parrow , Björn Pehrson An Integrated Approach to Protocol Design Research. [Citation Graph (0, 0)][DBLP ] Conf ] Raimo Kujansuu , Leo Ojala , Heikki Tuominen The Development of Tools for Verification and Validation of Communication Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Mohamed G. Gouda , Bijendra N. Jain Necessary and Sufficient Conditions to Detect Message Duplication in Protocol Hierarchies. [Citation Graph (0, 0)][DBLP ] Conf ] Yao-Tin Yu , Mohamed G. Gouda Deadlock Detection for a Class of Communicating Finite State Machine. [Citation Graph (0, 0)][DBLP ] Conf ] Hassan K. Reghbati Performance Analysis of Message-Based Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Gérard Berthelot , Richard Terrat Petri Nets Theory for the Correctness of Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Simon S. Lam , A. Udaya Shankar An Illustration of Protocol Projections. [Citation Graph (0, 0)][DBLP ] Conf ] Colin H. West Applications and Limitations of Automated Protocol Validation. [Citation Graph (0, 0)][DBLP ] Conf ] Carl A. Sunshine Experience with Four Automated Verification Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Gerard J. Holzmann Algebraic Validation Methods-A Comparison of Three Techniques. [Citation Graph (0, 0)][DBLP ] Conf ] Gary Jones The Total Correctness of Communication Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] William T. Overman , Stephen D. Crocker Verification of Concurrent Systems: Function and Timing. [Citation Graph (0, 0)][DBLP ] Conf ] Benedetto L. DiVito Integrated Methods for Protocol Specification and Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Lawrence Yelowitz , Susan L. Gerhart , G. Hilborn Modeling a Network Protocol in AFFIRM and Ada. [Citation Graph (0, 0)][DBLP ] Conf ] Wulf L. Bauerfeld A Hybrid Model for Protocols and Services: Verification and Simulation by a Modified Depth-First Search Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Michel Diaz Modelling and Analysis of Communication and Cooperation Protocols Using Petri Net Based Models. [Citation Graph (0, 0)][DBLP ] Conf ] J. Stephen Nightingale Protocol Testing Using A Reference Implementation. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Pierre Ansart GENEPI/A-A Protocol Independent System for Testing Protocol Implementation. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Pierre Ansart , J. Damidau CERBERE, A Tool to Keep an Eye on High Level Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] David Rayner A System for Testing Protocol Implementations. [Citation Graph (0, 0)][DBLP ] Conf ] Behçet Sarikaya , Gregor von Bochmann Some Experience with Test Sequence Generation for Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] 