| 111 | -- | 166 | Howard Bowman, Maarten Steen, Eerke Boiten, John Derrick. A Formal Framework for Viewpoint Consistency |
| 167 | -- | 191 | Janett Mohnke, Paul Molitor, Sharad Malik. Limits of Using Signatures for Permutation Independent Boolean Comparison |
| 193 | -- | 224 | Adnan Aziz, Thomas R. Shiple, Vigyan Singhal, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli. Formula-Dependent Equivalence for Compositional CTL Model Checking |
| 225 | -- | 244 | Gerd Behrmann, Kim Guldstrand Larsen, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen. Verification of Hierarchical State/Event Systems using Reusability and Compositionality |