| 2000 | A Priori Verification of Reactive Systems. | Mila E. Majster-Cederbaum, Frank Salger, Maria Sorea |
| 2000 | Hardware implementation of Concurrent Periodic EFSM's. | Hisaaki Katagiri, Masayuki Kirimura, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi |
| 2000 | Verifying and Testing Asynchronous Circuits using LOTOS. | Ji He, Kenneth J. Turner |
| 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 | A Model Checking Method for Partially Symmetric Systems. | Serge Haddad, Jean-Michel Ili, Khalil Ajami |
| 2000 | Integrated System Interoperability Testing with Applications to VOIP. | Nancy D. Griffeth, Ruibing Hao, David Lee, Rakesh K. Sinha |
| 2000 | From Rule-based to Automata-based Testing. | Kousha Etessami, Mihalis Yannakakis |
| 2000 | A State-Exploration Technique for Spi-Calculus Testing Equivalence Verification. | Luca Durante, Riccardo Sisto, Adriano Valenzano |
| 2000 | Verification of Consistency Protocols via Infinite-Stae Symbolic Model Checking. | Giorgio Delzanno |
| 2000 | Process Algebraic Analysis of Cryptographic Protocols. | Michele Boreale, Rocco De Nicola, Rosario Pugliese |
| 2000 | Compact Net Semantics for Process Algebras. | Marco Bernardo, Marina Ribaudo, Nadia Busi |
| 2000 | A Logic of Belief and a Model Checking Algorithm for Security Protocols. | Massimo Benerecetti, Fausto Giunchiglia, Maurizio Panti, Luca Spalazzi |
| 2000 | A Concise Compositionalj Statecharts Semantics Definition. | Michael von der Beeck |
| 1999 | Coverage analysis for embedded testing and an application. | Jinsong Zhu, Son T. Vuong |
| 1999 | Stress Testing of Distributed Multimedia Software Systems. | Jian Zhang, Shing-Chi Cheung, Samuel T. Chanson |
| 1999 | A Formal Description Technology: Graphics E-LOTOS. | Wen Li, Ye Xinming, Zhiyong Liu |
| 1999 | Framework for Automatic SDL to C++ Translation. | Dirk Trossen, Christian Cseh, Roman Kogan |
| 1999 | Interoperability Test Suite Derivation for the TCP. | Soonuk Seol, Myungchul Kim, Sungwon Kang, Yongbum Park, Younghan Choe |
| 1999 | Provably Correct Hardware Compilation using Timing Diagrams. | Michael Schenke, Michael Dossis |
| 1999 | Confirming configurations in EFSM. | Alexandre Petrenko, Sergiy Boroday, Roland Groz |
| 1999 | Black Box Checking. | Doron A. Peled, Moshe Y. Vardi, Mihalis Yannakakis |
| 1999 | Specification and execution of tests using tMsc. | Iulian Ober, Alain Kerbrat |
| 1999 | Fair Testing through Probabilistic Testing. | Manuel Nez, David Ruprez |
| 1999 | Guaranteeing liveness in an object calculus through behavioural typing. | Elie Najm, Abdelkrim Nimour, Jean-Bernard Stefani |