| 2001 | A Game-Based Verification of Non-repudiation and Fair Exchange Protocols. | Steve Kremer, Jean-Franois Raskin |
| 2001 | Towards an Efficient Algorithm for Unfolding Petri Nets. | Victor Khomenko, Maciej Koutny |
| 2001 | Synchronized Hyperedge Replacement with Name Mobility. | Dan Hirsch, Ugo Montanari |
| 2001 | Performance Evaluation : = (Process Algebra + Model Checking) × Markov Chains. | Holger Hermanns, Joost-Pieter Katoen |
| 2001 | Bounded Reachability Checking with Process Semantics. | Keijo Heljanko |
| 2001 | Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software. | John Hatcliff, Matthew B. Dwyer |
| 2001 | Abstraction-Based Model Checking Using Modal Transition Systems. | Patrice Godefroid, Michael Huth, Radha Jagadeesan |
| 2001 | Extending Memory Consistency of Finite Prefixes to Infinite Computations. | Marcelo Glusman, Shmuel Katz |
| 2001 | Techniques for Smaller Intermediary BDDs. | Jaco Geldenhuys, Antti Valmari |
| 2001 | Unavoidable Configurations of Parameterized Rings of Processes. | Marie Duflot, Laurent Fribourg, Ulf Nilsson |
| 2001 | Logic of Global Synchrony. | Yifeng Chen, Jeff W. Sanders |
| 2001 | Efficient Multiple-Valued Model-Checking Using Lattice Representations. | Marsha Chechik, Benet Devereux, Steve M. Easterbrook, Albert Y. C. Lai, Victor Petrovykh |
| 2001 | Typing Mobility in the Seal Calculus. | Giuseppe Castagna, Giorgio Ghelli, Francesco Zappa Nardelli |
| 2001 | Reasoning about Security in Mobile Ambients. | Michele Bugliesi, Giuseppe Castagna, Silvia Crafa |
| 2001 | An Algorithm for Quantitative Verification of Probabilistic Transition Systems. | Franck van Breugel, James Worrell |
| 2001 | An Algebraic Characterization of Data and Timed Languages. | Patricia Bouyer, Antoine Petit, Denis Thrien |
| 2001 | A Static Analysis Technique for Graph Transformation Systems. | Paolo Baldan, Andrea Corradini, Barbara Knig |
| 2001 | Compositional Modeling of Reactive Systems Using Open Nets. | Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel |
| 2001 | Dynamic Input/Output Automata: A Formal Model for Dynamic Systems. | Paul C. Attie, Nancy A. Lynch |
| 2001 | The Control of Synchronous Systems, Part II. | Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang |
| 2001 | Symbolic Algorithms for Infinite-State Games. | Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar |
| 2001 | Compositional Methods for Probabilistic Systems. | Luca de Alfaro, Thomas A. Henzinger, Ranjit Jhala |
| 2001 | Probabilistic Information Flow in a Process Algebra. | Alessandro Aldini |
| 2001 | Channel Representations in Protocol Verification. | Parosh Aziz Abdulla, Bengt Jonsson |
| 2000 | Process Languages for Rooted Eager Bisimulation. | Irek Ulidowski, Shoji Yuen |