Description: 1. Formal Verification of the TTP Group Membership Algorithm.- 2. Verification of a Sliding Window Protocol Using IOA and MONA.- 3. A Priori Verification of Reactive Systems.- 4. From Rule-based to Automata-based Testing.- 5. Integrated System Interoperability Testing with Applications to VOIP.- 6. On Test Derivation from Partial Specifications.- 7. Compositionality for Improving Model Checking.- 8. A Model Checking Method for Partially Symmetric Systems.- 9. Specification and Verification of Message Sequence Charts.- 10. A State-Exploration Technique for Spi-Calculus Testing Equivalence Verification.- 11. Verification of Consistency Protocols via Infinite-State Symbolic Model Checking.- 12. Systematic Performance Evaluation of Multipoint Protocols.- 13. Simulating Multicast Transport Protocols in Estelle.- 14. Generation of Realistic Signalling Traffic in an ISDN Load Test System using SDL User Models.- 15. Satisfaction up to Liveness.- 16. Testing IP Routing Protocols -- From Probabilistic Algorithms to a Software Tool.- 17. Verifying and Testing Asynchronous Circuits using LOTOS.- 18. Hardware implementation of Concurrent Periodic EFSM's.- 19. Modeling Distributed Embedded Systems in Multiclock ESTEREL.- 20. Compact Net Semantics for Process Algebras.- 21. A Concise Compositional Statecharts Semantics Definition.- 22 Implementing CCS in Maude.- 23. From Refutation to Verification.- 24. Process Algebraic Analysis of Cryptographic Protocols.- 25. A Logic of Belief and a Model Checking Algorithm for Security Protocols.

Please Wait