Conferences in DBLP
Holger Pfeifer Formal Verification of the TTP Group Membership Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Mark A. Smith , Nils Klarlund Verification of a Sliding Window Protocol Using IOA and MONA. [Citation Graph (0, 0)][DBLP ] Conf ] Mila E. Majster-Cederbaum , Frank Salger , Maria Sorea A Priori Verification of Reactive Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Kousha Etessami , Mihalis Yannakakis From Rule-based to Automata-based Testing. [Citation Graph (0, 0)][DBLP ] Conf ] Nancy D. Griffeth , Ruibing Hao , David Lee , Rakesh K. Sinha Integrated System Interoperability Testing with Applications to VOIP. [Citation Graph (0, 0)][DBLP ] Conf ] Alexandre Petrenko , Nina Yevtushenko On Test Derivation from Partial Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Antonella Santone Compositionality for Improving Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Serge Haddad , Jean-Michel Ilié , Khalil Ajami A Model Checking Method for Partially Symmetric Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Doron Peled Specification and Verification of Message Sequence Charts. [Citation Graph (0, 0)][DBLP ] Conf ] Luca Durante , Riccardo Sisto , Adriano Valenzano A State-Exploration Technique for Spi-Calculus Testing Equivalence Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Giorgio Delzanno Verification of Consistency Protocols via Infinite-Stae Symbolic Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Ahmed Helmy , Sandeep K. S. Gupta , Deborah Estrin , Alberto Cerpa , Yan Yu Systematic Performance Evaluation of Multipoint Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Justin Templemore-Finlayson , Eugen Borcoci Simulating Multicast Transport Protocols in Estelle. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Steinert , Georg Rößler Generation of Realistic Signalling Traffic in an ISDN Load Test System using SDL User Models. [Citation Graph (0, 0)][DBLP ] Conf ] Ulrich Ultes-Nitsche Satisfaction up to Liveness. [Citation Graph (0, 0)][DBLP ] Conf ] Ruibing Hao , David Lee , Rakesh K. Sinha , Dario Vlah Testing IP Routing Protocols - From Probabilistic Algorithms to a Software Tool. [Citation Graph (0, 0)][DBLP ] Conf ] Ji He , Kenneth J. Turner Verifying and Testing Asynchronous Circuits using LOTOS. [Citation Graph (0, 0)][DBLP ] Conf ] Hisaaki Katagiri , Masayuki Kirimura , Keiichi Yasumoto , Teruo Higashino , Kenichi Taniguchi Hardware implementation of Concurrent Periodic EFSM's. [Citation Graph (0, 0)][DBLP ] Conf ] Basant Rajan , R. K. Shyamasundar Modeling Distributed Embedded Systems in Multiclock ESTEREL. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Bernardo , Marina Ribaudo , Nadia Busi Compact Net Semantics for Process Algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Michael von der Beeck A Concise Compositionalj Statecharts Semantics Definition. [Citation Graph (0, 0)][DBLP ] Conf ] Alberto Verdejo , Narciso Martí-Oliet Implementing CCS in Maude. [Citation Graph (0, 0)][DBLP ] Conf ] John M. Rushby From Refutation to Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Michele Boreale , Rocco De Nicola , Rosario Pugliese Process Algebraic Analysis of Cryptographic Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Massimo Benerecetti , Fausto Giunchiglia , Maurizio Panti , Luca Spalazzi A Logic of Belief and a Model Checking Algorithm for Security Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] 