| 2001 | First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders. | Theo C. Ruys, Rom Langerak, Joost-Pieter Katoen, Diego Latella, Mieke Massink |
| 2001 | Building a Tool for the Analysis and Testing of Web Applications: Problems and Solutions. | Filippo Ricca, Paolo Tonella |
| 2001 | Automatic Deductive Verification with Invisible Invariants. | Amir Pnueli, Sitvanit Ruah, Lenore D. Zuck |
| 2001 | Finding Feasible Counter-examples when Model Checking Abstracted Java Programs. | Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser |
| 2001 | Model Checking CTL*[DC]. | Paritosh K. Pandya |
| 2001 | The Erlang Verification Tool. | Thomas Noll, Lars-ke Fredlund, Dilian Gurov |
| 2001 | Automated Test Generation from Timed Automata. | Brian Nielsen, Arne Skou |
| 2001 | Hardware/Software Co-Design Using Functional Languages. | Alan Mycroft, Richard Sharp |
| 2001 | Incremental Verification by Abstraction. | Yassine Lakhnech, Saddek Bensalem, Sergey Berezin, Sam Owre |
| 2001 | An Automata Based Interpretation of Live Sequence Charts. | Jochen Klose, Hartmut Wittke |
| 2001 | Testing an Intentional Naming Scheme Using Genetic Algorithms. | Sarfraz Khurshid |
| 2001 | Linear Parametric Model Checking of Timed Automata. | Thomas Hune, Judi Romijn, Marille Stoelinga, Frits W. Vaandrager |
| 2001 | Compositional Message Sequence Charts. | Elsa L. Gunter, Anca Muscholl, Doron A. Peled |
| 2001 | Verification of Vortex Workflows. | Xiang Fu, Tevfik Bultan, Richard Hull, Jianwen Su |
| 2001 | Propositional Reasoning. | Michael P. Fourman |
| 2001 | Is There a Best Symbolic Cycle-Detection Algorithm? | Kathi Fisler, Ranan Fraer, Gila Kamhi, Moshe Y. Vardi, Zijiang Yang |
| 2001 | Language Containment Checking with Nondeterministic BDDs. | Bernd Finkbeiner |
| 2001 | Synthesis of Linear Ranking Functions. | Michael Coln, Henny Sipma |
| 2001 | Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking. | Alessandro Cimatti, Marco Roveri, Piergiorgio Bertoli |
| 2001 | Saturation: An Efficient Iteration Strategy for Symbolic State-Space Generation. | Gianfranco Ciardo, Gerald Lttgen, Radu Siminiceanu |
| 2001 | A Sweep-Line Method for State Space Exploration. | Sren Christensen, Lars Michael Kristensen, Thomas Mailund |
| 2001 | Coverage Metrics for Temporal Logic Model Checking. | Hana Chockler, Orna Kupferman, Moshe Y. Vardi |
| 2001 | Implementing a Multi-valued Symbolic Model Checker. | Marsha Chechik, Benet Devereux, Steve M. Easterbrook |
| 2001 | The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models Tool Demonstration. | Giuseppe Del Castillo |
| 2001 | Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets. | Rubn Carvajal-Schiaffino, Giorgio Delzanno, Giovanni Chiola |