Conferences in DBLP
Manuel Núñez , Ismael Rodríguez Encoding PAMR into (Timed) EFSMs. [Citation Graph (0, 0)][DBLP ] Conf ] Gregor von Bochmann Submodule Construction for Specifications with Input Assumptions and Output Guarantees. [Citation Graph (0, 0)][DBLP ] Conf ] Ronald W. Brower , Kenneth S. Stevens Congruent Weak Conformance, a Partial Order among Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Farn Wang , Karsten Schmidt Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures. [Citation Graph (0, 0)][DBLP ] Conf ] Dragan Bosnacki A Nested Depth First Search Algorithm for Model Checking with Symmetry Reduction. [Citation Graph (0, 0)][DBLP ] Conf ] Kenneth J. Turner , Qian Bing Protocol Techniques for Testing Radiotherapy Accelerators. [Citation Graph (0, 0)][DBLP ] Conf ] Simon Pickin , Claude Jard , Yves Le Traon , Thierry Jéron , Jean-Marc Jézéquel , Alain Le Guennec System Test Synthesis from UML Models of Distributed Software. [Citation Graph (0, 0)][DBLP ] Conf ] Peter H. Deussen , Stephan Tobies Formal Test Purposes and the Validity of Test Cases. [Citation Graph (0, 0)][DBLP ] Conf ] Stephan Reiff-Marganiec , Kenneth J. Turner Use of Logic to Describe Enhanced Communications Services. [Citation Graph (0, 0)][DBLP ] Conf ] Carolos Livadas , Nancy A. Lynch A Formal Venture into Reliable Multicast Territory. [Citation Graph (0, 0)][DBLP ] Conf ] Kenneth J. Turner Modelling SIP Services Using CRESS. [Citation Graph (0, 0)][DBLP ] Conf ] Teemu Tynjälä , Sari Leppänen , Vesa Luukkala Verifying Reliable Data Transmission over UMTS Radio Interface with High Level Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Marta Z. Kwiatkowska , Gethin Norman Verifying Randomized Byzantine Agreement. [Citation Graph (0, 0)][DBLP ] Conf ] Alessandro Armando , Luca Compagna Automatic SAT-Compilation of Protocol Insecurity Problems via Reduction to Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Nina Amla , E. Allen Emerson , Kedar S. Namjoshi , Richard J. Trefler Visual Specifications for Modular Reasoning about Asynchronous Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Gilles Audemard , Alessandro Cimatti , Artur Kornilowicz , Roberto Sebastiani Bounded Model Checking for Timed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel C. DuVarney , S. Purushothaman Iyer C Wolf - A Toolset for Extracting Models from C Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Hubert Garavel , Frédéric Lang NTIF: A General Symbolic Model for Communicating Sequential Processes with Data. [Citation Graph (0, 0)][DBLP ] Conf ] Alberto Verdejo Building Tools for LOTOS Symbolic Semantics in Maude. [Citation Graph (0, 0)][DBLP ] Conf ] Dimitra Giannakopoulou , Flavio Lerda From States to Transitions: Improving Translation of LTL Formulae to Büchi Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Lars Michael Kristensen , Thomas Mailund A Compositional Sweep-Line State Space Exploration Method. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre-Olivier Ribet , François Vernadat , Bernard Berthomieu On Combining the Persistent Sets Method with the Covering Steps Graph Method. [Citation Graph (0, 0)][DBLP ] Conf ] Victor Melamed , Harry Stuimer , David Wilkins , Lawrence Chang , Kevin Normoyle , Sutikshan Bhutani Innovative Verification Techniques Used in the Implementation of a Third-Generation 1.1GHz 64b Microprocessor. [Citation Graph (0, 0)][DBLP ] Conf ] Andrej Bogdanov , Stephen J. Garland , Nancy A. Lynch Mechanical Translation of I/O Automaton Specifications into First-Order Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Thanyapat Sakunkonchak , Masahiro Fujita Verification of Event-Based Synchronization of SpecC Description Using Difference Decision Diagrams. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Palmer , Ganesh Gopalakrishnan A Distributed Partial Order Reduction Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] 