Conferences in DBLP
Chris A. Vissers , Luigi Logrippo The importance of the service concept in the design of data communications protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Bernd Baumgarten , Peter Ochsenschläger , Rainer Prinoth Building blocks for distributed system design. [Citation Graph (0, 0)][DBLP ] Conf ] Otto Haas Formal protocol specification based on attribute grammars. [Citation Graph (0, 0)][DBLP ] Conf ] E. Timothy Morgan , Rami R. Razouk Computer-aided analysis of concurrent systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jonathan Billington , Michael C. Wilbur-Ham , M. Y. Bearman Automated protocol verification. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Claude Fernandez , Jean-Luc Richier , Jacques Voiron Verification of protocol specificaitons using the CESAR system. [Citation Graph (0, 0)][DBLP ] Conf ] Günter Karjoth An interactive system for the analysis of communicating processes. [Citation Graph (0, 0)][DBLP ] Conf ] Elie Najm , Stanislaw Budkowski , Thierry Gilot , Leon Lumbroso General presentation of SCAN. A distributed systems modelling and validation tool. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre Azéma , Giorgos Papapanagiotakis Protocol analysis by using predicate nets. [Citation Graph (0, 0)][DBLP ] Conf ] Gregor von Bochmann , Rachida Dssouli , Wanderley Lopes de Souza , Behçet Sarikaya , Hasan Ural Use of Prolog for building protocol design tools. [Citation Graph (0, 0)][DBLP ] Conf ] N. Choquet , Laurent Fribourg , A. Mauboussin Runnable protocol specifications using the logic interpreter SLOG. [Citation Graph (0, 0)][DBLP ] Conf ] Ed Brinksma A tutorial on LOTOS. [Citation Graph (0, 0)][DBLP ] Conf ] Antonella Di Stefano , Michele Malgeri , Orazio Mirabella A specification of a PROWAY protocol with an Algebraic language. [Citation Graph (0, 0)][DBLP ] Conf ] Guy Leduc Assessing the service provided by a connection-less protocol. [Citation Graph (0, 0)][DBLP ] Conf ] Cécile Roisin Protocol description with the OCCAM language. [Citation Graph (0, 0)][DBLP ] Conf ] Richard Castanet , A. Dupeux , Pascal Guitton ADA, a well suited language for specification and implementation of protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Hans A. Hansson Automatic implementation of formal descriptions of communication protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Richard J. Linn Jr. The features and facilities of ESTELLE: a formal description technique based upon an extended finite state machine model. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Pierre Courtiat , Aloysio Pedroza , Jean-Michel Ayache A simulation environment for protocol specifications described in ESTELLE. [Citation Graph (0, 0)][DBLP ] Conf ] Claude Jard , Jean-François Monin , Roland Groz Experience in implementing ESTELLE-X.250 (a CCITT subset of ESTELLE) in VEDA. [Citation Graph (0, 0)][DBLP ] Conf ] W. Fischer , Klaus Sauer , W. Denzel A simulation technique for communications protocols based on a formal specification by SDL. [Citation Graph (0, 0)][DBLP ] Conf ] Jan R. Engelbrecht , Pieter S. Kritzinger , Harry Rudin Predicting protocol performance from a meta-implementation. [Citation Graph (0, 0)][DBLP ] Conf ] Alain Dupuis , Gérard Hébuterne On the use of quantitative evaluation to assess and study distributed algorithms properties. [Citation Graph (0, 0)][DBLP ] Conf ] C. Murray Woodside , J. R. Montealegre On packet buffering and protocol performance. [Citation Graph (0, 0)][DBLP ] Conf ] Chau Chun Hung CCS used as a proof-assistant tool. [Citation Graph (0, 0)][DBLP ] Conf ] R. C. Venkatraman , Thomas F. Piatkowski A formal comparison of formal protocol specification techniques. [Citation Graph (0, 0)][DBLP ] Conf ] 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. [Citation Graph (0, 0)][DBLP ] Conf ] D. Rayner Towards standardized OSI conformance tests. [Citation Graph (0, 0)][DBLP ] Conf ] Heinz Jürgen Burkhardt , Hans Eckert , Alfred Giessler Testing of protocol implementations. A systematic approach to derivation of test sequences form global protocol specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Rachida Dssouli , Gregor von Bochmann Error detection with multiple observers. [Citation Graph (0, 0)][DBLP ] Conf ] R. Molva , Michel Diaz , Jean-Michel Ayache Observer: a run-time checking tool for local area networks. [Citation Graph (0, 0)][DBLP ] Conf ] Brigitte Lonc GENEPIX: a portable version under UNIX of the OSI protocol tester GENEPI. [Citation Graph (0, 0)][DBLP ] Conf ] H. X. Zeng , D. Rayner The impact of the Ferry concept on protocol testing. [Citation Graph (0, 0)][DBLP ] Conf ] Omar Rafiq , Richard Castanet , Chakib Chraibi , J. P. Goursaud , J. Haddad , X. Perdu Towards an environment for testing OSI protocols. [Citation Graph (0, 0)][DBLP ] Conf ] 