Contributors |
Preface |
Programme Committee and Referees |
Acknowledgements |
Verification and Theorem Proving / Part 1: |
Formal Verification of the TTP Group Membership Algorithm / H. Pfeifer1.: |
Verification of a Sliding Window Protocol Using IOA and MONA / M. A. Smith ; N. Klarlund2.: |
A Priori Verification of Reactive Systems / M. Majster-Cederbaum ; F. Salger ; M. Sorea3.: |
Test Generation / Part 2: |
From Rule-based to Automata-based Testing / K. Etessami ; M. Yannakakis4.: |
Integrated System Interoperability Testing with Applications to VOIP / N. Griffeth ; R. Hao ; D. Lee ; R. K. Sinha5.: |
On Test Derivation from Partial Specifications / A. Petrenko ; N. Yevtushenko6.: |
Model Checking - Theory / Part 3: |
Compositionality for Improving Model Checking / A. Santone7.: |
A Model Checking Method for Partially Symmetric Systems / S. Haddad ; J.-M. Ilie ; K. Ajami8.: |
Model Checking - Applications / Part 4: |
Specification and Verification of Message Sequence Charts / D. Peled9.: |
A State-Exploration Technique for Spi-Calculus Testing Equivalence Verification / L. Durante ; R. Sisto ; A. Valenzano10.: |
Verification of Consistency Protocols via Infinite-State Symbolic Model Checking / G. Delzanno11.: |
Multicast Protocol Analysis and Simulation / Part 5: |
Systematic Performance Evaluation of Multipoint Protocols / A. Helmy ; S. Gupta ; D. Estrin ; A. Cerpa ; Y. Yu12.: |
Simulating Multicast Transport Protocols in Estelle / J. Templemore-Finlayson ; E. Borcoci13.: |
Generation of Realistic Signalling Traffic in an ISDN Load Test System using SDL User Models / T. Steinert ; G. Roessler14.: |
Exhaustive and Probabilistic Testing / Part 6: |
Satisfaction up to Liveness / U. Ultes-Nitsche15.: |
Testing IP Routing Protocols - From Probabilistic Algorithms to a Software Tool / D. Vlah16.: |
Hardware Specification, Implementation and Testing / Part 7: |
Verifying and Testing Asynchronous Circuits using LOTOS / J. He ; K. J. Turner17.: |
Hardware implementation of Concurrent Periodic EFSM's / H. Katagiri ; M. Kirimura ; K. Yasumoto ; T. Higashino ; K. Taniguchi18.: |
Modeling Distributed Embedded Systems in Multiclock ESTEREL / B. Rajan ; R. K. Shyamasundar19.: |
Formal Semantics / Part 8: |
Compact Net Semantics for Process Algebras / M. Bernardo ; M. Ribaudo ; N. Busi20.: |
A Concise Compositional Statecharts Semantics Definition / M. von der Beeck21.: |
Implementing CCS in Maude / A. Verdejo ; N. Marti-Oliet22.: |
Invited Papers on Verification and Security / Part 9: |
From Refutation to Verification / J. Rushby23.: |
Process Algebraic Analysis of Cryptographic Protocols / M. Boreale ; R. De Nicola ; R. Pugliese24.: |
A Logic of Belief and a Model Checking Algorithm for Security Protocols / M. Benerecetti ; F. Giunchiglia ; M. Panti ; L. Spalazzi25.: |
Contributors |
Preface |
Programme Committee and Referees |
Acknowledgements |
Verification and Theorem Proving / Part 1: |
Formal Verification of the TTP Group Membership Algorithm / H. Pfeifer1.: |