Conferences in DBLP
Rob Gerth , Doron Peled , Moshe Y. Vardi , Pierre Wolper Simple on-the-fly automatic verification of linear temporal logic. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Leue Specifying real-time requirements for SDL specifications - a temporal logic-based approach. [Citation Graph (0, 0)][DBLP ] Conf ] Leo Cacciari , Omar Rafiq A temporal reachability analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Antoni W. Mazurkiewicz True versus artificial concurrency. [Citation Graph (0, 0)][DBLP ] Conf ] Nikolay A. Anisimov , Maciej Koutny On compositionality and Petri nets in protocol engineering. [Citation Graph (0, 0)][DBLP ] Conf ] Maarten Steen , Howard Bowman , John Derrick Composition of LOTOS specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Maria Törö , Katalin Tarnay Principles for validation of abstract test suites specified in concurrent TTCN. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Ulrich , Samuel T. Chanson An approach to testing distributed software systems. [Citation Graph (0, 0)][DBLP ] Conf ] Q. M. Tan , Alexandre Petrenko , Gregor von Bochmann Modeling basic LOTOS by FSMs for conformance testing. [Citation Graph (0, 0)][DBLP ] Conf ] Dieter Barnard , Simon Crosby The specification and verification of an experimental ATM signalling protocol. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Herrmann , Heiko Krumm Re-usable verification elements for high-speed transfer protocol configurations. [Citation Graph (0, 0)][DBLP ] Conf ] Mohamed Jmaiel An algebraic-temporal specification of a CSMA/CD-protocol. [Citation Graph (0, 0)][DBLP ] Conf ] Steven Bradley , William Henderson , David Kendall , Adrian Robson Validation, verification and implementation of timed protocols using AORTA. [Citation Graph (0, 0)][DBLP ] Conf ] Lex Heerink , Ed Brinksma Validation in context. [Citation Graph (0, 0)][DBLP ] Conf ] David de Frutos-Escrig , Manuel Núñez , Juan Quemada Characterizing termination in LOTOS via testing. [Citation Graph (0, 0)][DBLP ] Conf ] Khalil Drira , Youcef Atamna , Guy Juanole Quantified reduced views of state graphs using Markovian and timed observational equivalence. [Citation Graph (0, 0)][DBLP ] Conf ] Falko Bause , Heinz Kabutz , Peter Kemper , Pieter S. Kritzinger SDL and Petri net performance analysis of communicating systems. [Citation Graph (0, 0)][DBLP ] Conf ] Hubert Garavel On the introduction of gate typing in E-LOTOS. [Citation Graph (0, 0)][DBLP ] Conf ] Gerard J. Holzmann An analysis of bistate hashing. [Citation Graph (0, 0)][DBLP ] Conf ] Doron Peled , Wojciech Penczek Using asynchronous Büchi automata for efficient automatic verification of concurrent systems. [Citation Graph (0, 0)][DBLP ] Conf ] Riccardo Sisto A method to build symbolic representations of LOTOS specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Michel Diaz , Thierry Villemur , François Vernadat Formal design of cooperative systems. [Citation Graph (0, 0)][DBLP ] Conf ] S. Fischer On the suitability of Estelle for multimedia systems. [Citation Graph (0, 0)][DBLP ] Conf ] O. Catrina Protocol analysis and verification methods, application to the Xpress Transfer protocol 4.0. [Citation Graph (0, 0)][DBLP ] Conf ] Ralf Plato , Thomas Held , Hartmut König PARES - a portable parallel Estelle compiler. [Citation Graph (0, 0)][DBLP ] Conf ] Luci Pirmez , Aloysio Pedroza , Antônio C. Mesquita A methodology for the implementation of protocols in hardware from a formal description. [Citation Graph (0, 0)][DBLP ] Conf ] Jacek Wytrebowicz Hardware specification generated from Estelle. [Citation Graph (0, 0)][DBLP ] Conf ] 