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