Conferences in DBLP
M. H. Sherif , V. Miller , E. Woo X.25 Protocol Verification Facility for AT&T No. [Citation Graph (0, 0)][DBLP ] Conf ] Roland Groz , Claude Jard , Claire Lassudrie Attacking a Complex Distributed Algorithm from Different Sides: An Experience with Complementary Validation Tools. [Citation Graph (0, 0)][DBLP ] Conf ] Gerard J. Holzmann Backward Symbolic Execution of Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Heiko Krumm , Oswald Drobnik Transformation of Constructive Specifications of Services and Protocols into the Logical Language of CIL. [Citation Graph (0, 0)][DBLP ] Conf ] Mohamed G. Gouda , Ching-Hua Chow , Simon S. Lam On the Decidability of Livelock Detection in Networks of Communicating Finite State Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Ching-Hua Chow , Mohamed G. Gouda , Simon S. Lam On Constructing Multi-Phase Communication Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Schwabe , Ana R. Cavalli Temporal Logic Specification of a Virtual Ring LAN Access Protocol. [Citation Graph (0, 0)][DBLP ] Conf ] Scott A. Smolka , Ariel J. Frank , Saumya K. Debray Testing Protocol Robustness the CCS Way. [Citation Graph (0, 0)][DBLP ] Conf ] Richard Castanet , Pascal Guitton , Omar Rafiq An Automatic System for the Study of Protocols: A Presentation and Critique Based on a Worked Example. [Citation Graph (0, 0)][DBLP ] Conf ] S. Aggarwal , Robert P. Kurshan Automated Implementation from Formal Specification. [Citation Graph (0, 0)][DBLP ] Conf ] Gregor von Bochmann , Eduard Cerny , G. Gerber , Rachida Dssouli , Michel Maksud , B. H. Phan , Behçet Sarikaya , Jean-Marc Serre Use of Formal Specifications for Protocol Design, Implementation and Testing. [Citation Graph (0, 0)][DBLP ] Conf ] Isabelle Valet , Dominique Rerat Formal Description of the Nadir Transport Protocol Using the PDIL Language. [Citation Graph (0, 0)][DBLP ] Conf ] Heinz Jürgen Burkhardt , Hans Eckert , Rainer Prinoth Modelling of OSI-Communication Services and Protocols Using Predicate/Transition Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Marshall T. Rose Modeling of Initial Connection Handling in TCP Using Contour/Transition Nets. [Citation Graph (0, 0)][DBLP ] Conf ] A. Udaya Shankar , Simon S. Lam Specification and Verification of Time-Dependant Communication Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Ed Brinksma , Günter Karjoth A Specification of the OSI Transport Service in LOTOS. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Jürgensen , Son T. Vuong CSP and CSP Nets: A Dual Model for Protocol Specification and Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Luigi Logrippo , Didier Simon , Hasan Ural Executable Description of the OSI Transport Service in Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Elie Najm Verification of Distributed Systems Using Structured Communicating Agents Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Joachim Parrow , Rune Gustavsson Modelling Distributed Systems in an Extension of CCS with Infinite Experiments and Temporal Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Mats Daniels , Hans A. Hansson An ASYL/EFSM Description of the ISO Transport Protocol. [Citation Graph (0, 0)][DBLP ] Conf ] Deepinder P. Sidhu , Thomas P. Blumer Some Problems with the Specification of the Military Standard Transmission Control Protocol. [Citation Graph (0, 0)][DBLP ] Conf ] Björn Pehrson , Michael Yoeli A Communicating System Net Model for Specification and Verification of Distributed Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Giuseppe Scollo , Antonio Anzalone , Paolo Finocchiaro , Francesco Giustolisi , Giovanni Raciti Specification and Implementation of the MONDAN System. [Citation Graph (0, 0)][DBLP ] Conf ] Vincenza Carchiolo , Gesualdo Le Moli , Sergio Palazzo , Giuseppe Pappalardo Modelling and Specifying a Presentation Protocol by Temporal Ordering. [Citation Graph (0, 0)][DBLP ] Conf ] Robert E. Strom , Shaula Yemini Synthesizing Distributed Protocols from Serial Programs. [Citation Graph (0, 0)][DBLP ] Conf ] David P. Anderson , Lawrence H. Landweber Protocol Specification by Real-Time Attribute Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] Stanislaw Budkowski Generation of a Global System Description from the Descriptions of Cooperating Subsystems. [Citation Graph (0, 0)][DBLP ] Conf ] Tommaso Bolognesi , Harry Rudin On the Analysis of Time-Dependent Protocols by Network Flow Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Harry Rudin An Improved Algorithm for Estimating Protocol Performance. [Citation Graph (0, 0)][DBLP ] Conf ] Pieter S. Kritzinger Analyzing the Time Efficiency of a Communication Protocol. [Citation Graph (0, 0)][DBLP ] Conf ] Nihal Nounou , Yechiam Yemini Algebraic Specification-Based Performance Analysis of Communication Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Rami R. Razouk , Charles V. Phelps Performance Analysis Using Timed Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Guy Juanole Reliability of a Data Link Service: Modelling Methodology - Protocols Comparison. [Citation Graph (0, 0)][DBLP ] Conf ] Jürgen Hänle The Teletex Test System PETRUS. [Citation Graph (0, 0)][DBLP ] Conf ] Richard J. Linn Jr. An Evaluation of the ICST Test Architecture after Testing Class 4 Transport. [Citation Graph (0, 0)][DBLP ] Conf ] J. Bremer , G. Mondvai , Kálmám Tarnay , T. Tibor Some Experiences with Test Sequence Generation in Application Layer. [Citation Graph (0, 0)][DBLP ] Conf ] H. X. Zeng , D. Rayner Gateway Testing Technique. [Citation Graph (0, 0)][DBLP ] Conf ] John R. Pavel , Dermot J. Dwyer Some Experiences of Testing Protocol Implementations. [Citation Graph (0, 0)][DBLP ] Conf ] Wojciech Cellary , Maciej Stroinski Performance Parameters of Computer Network Protocols Refered to Their Formal Model. [Citation Graph (0, 0)][DBLP ] Conf ] Michal Sajkowski Protocol Verification Techniques: Status Quo and Perspectives. [Citation Graph (0, 0)][DBLP ] Conf ] 