Abstract is missing.
- Formal Verification of the TTP Group Membership AlgorithmHolger Pfeifer. 3-18
- Verification of a Sliding Window Protocol Using IOA and MONAMark A. Smith, Nils Klarlund. 19-34
- A Priori Verification of Reactive SystemsMila E. Majster-Cederbaum, Frank Salger, Maria Sorea. 35-50
- From Rule-based to Automata-based TestingKousha Etessami, Mihalis Yannakakis. 53-68
- Integrated System Interoperability Testing with Applications to VOIPNancy D. Griffeth, Ruibing Hao, David Lee, Rakesh K. Sinha. 69-84
- On Test Derivation from Partial SpecificationsAlexandre Petrenko, Nina Yevtushenko. 85-102
- Compositionality for Improving Model CheckingAntonella Santone. 105-120
- A Model Checking Method for Partially Symmetric SystemsSerge Haddad, Jean-Michel Ilié, Khalil Ajami. 121-136
- Specification and Verification of Message Sequence ChartsDoron Peled. 139-154
- A State-Exploration Technique for Spi-Calculus Testing Equivalence VerificationLuca Durante, Riccardo Sisto, Adriano Valenzano. 155-170
- Verification of Consistency Protocols via Infinite-Stae Symbolic Model CheckingGiorgio Delzanno. 171-186
- Systematic Performance Evaluation of Multipoint ProtocolsAhmed Helmy, Sandeep K. S. Gupta, Deborah Estrin, Alberto Cerpa, Yan Yu. 189-204
- Simulating Multicast Transport Protocols in EstelleJustin Templemore-Finlayson, Eugen Borcoci. 205-218
- Generation of Realistic Signalling Traffic in an ISDN Load Test System using SDL User ModelsThomas Steinert, Georg Rößler. 219-234
- Satisfaction up to LivenessUlrich Ultes-Nitsche. 237-248
- Testing IP Routing Protocols - From Probabilistic Algorithms to a Software ToolRuibing Hao, David Lee, Rakesh K. Sinha, Dario Vlah. 249-264
- Verifying and Testing Asynchronous Circuits using LOTOSJi He, Kenneth J. Turner. 267-283
- Hardware implementation of Concurrent Periodic EFSM sHisaaki Katagiri, Masayuki Kirimura, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi. 285-300
- Modeling Distributed Embedded Systems in Multiclock ESTERELBasant Rajan, R. K. Shyamasundar. 301-316
- Compact Net Semantics for Process AlgebrasMarco Bernardo, Marina Ribaudo, Nadia Busi. 319-334
- A Concise Compositionalj Statecharts Semantics DefinitionMichael von der Beeck. 335-350
- Implementing CCS in MaudeAlberto Verdejo, Narciso Martí-Oliet. 351-366
- From Refutation to VerificationJohn M. Rushby. 369-374
- Process Algebraic Analysis of Cryptographic ProtocolsMichele Boreale, Rocco De Nicola, Rosario Pugliese. 375-392
- A Logic of Belief and a Model Checking Algorithm for Security ProtocolsMassimo Benerecetti, Fausto Giunchiglia, Maurizio Panti, Luca Spalazzi. 393-408