| 2002 | A Functional Semantics of Attribute Grammars. Kevin Backhouse |
| 2002 | A Temporal Logic Based Theory of Test Coverage and Generation. Hyoung Seok Hong, Insup Lee, Oleg Sokolsky, Hasan Ural |
| 2002 | Adaptive Model Checking. Alex Groce, Doron A. Peled, Mihalis Yannakakis |
| 2002 | Alloy: A New Technology for Software Modelling. Daniel Jackson |
| 2002 | An Analysis of Zero-Clairvoyant Scheduling. K. Subramani |
| 2002 | Applicability of Fair Simulation. Doron Bustan, Orna Grumberg |
| 2002 | Beyond Parameterized Verification. Marco Bozzano, Giorgio Delzanno |
| 2002 | Black Box Unfolding with Local First Search. Sébastien Bornot, Rémi Morin, Peter Niebert, Sarah Zennou |
| 2002 | CLPS-B - A Constraint Solver for B. Fabrice Bouquet, Bruno Legeard, Fabien Peureux |
| 2002 | Compositional Verification Using SVL Scripts. Frédéric Lang |
| 2002 | Digitisation and Full Abstraction for Dense-Time Model Checking. Joël Ouaknine |
| 2002 | Explicit Modeling of Influences, and of Their Absence, in Distributed Systems. Horst F. Wedde, Arnim Wedig |
| 2002 | Exploring Very Large State Spaces Using Genetic Algorithms. Patrice Godefroid, Sarfraz Khurshid |
| 2002 | Fate and Free Will in Error Traces. HoonSang Jin, Kavita Ravi, Fabio Somenzi |
| 2002 | Fine-Grain Conjunction Scheduling for Symbolic Reachability Analysis. HoonSang Jin, Andreas Kuehlmann, Fabio Somenzi |
| 2002 | Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using PVS. Taeho Kim, David W. J. Stringer-Calvert, Sung Deok Cha |
| 2002 | Improving the Verification of Timed Systems Using Influence Information. Víctor A. Braberman, Diego Garbervetsky, Alfredo Olivero |
| 2002 | Local Model-Checking of Modal Mu-Calculus on Acyclic Labeled Transition Systems. Radu Mateescu |
| 2002 | Model Checking Large-Scale and Parameterized Resource Allocation Systems. E. Allen Emerson, Vineet Kahlon |
| 2002 | Parallelisation of the Petri Net Unfolding Algorithm. Keijo Heljanko, Victor Khomenko, Maciej Koutny |
| 2002 | Preemptive Job-Shop Scheduling Using Stopwatch Automata. Yasmina Abdeddaïm, Oded Maler |
| 2002 | Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach. Marta Z. Kwiatkowska, Gethin Norman, David Parker |
| 2002 | Real-Time Systems Design with PEP. Christian Stehno |
| 2002 | Relative Completeness of Abstraction Refinement for Software Model Checking. Thomas Ball, Andreas Podelski, Sriram K. Rajamani |
| 2002 | Resource-Constrained Model Checking of Recursive Programs. Samik Basu, K. Narayan Kumar, L. Robert Pokorny, C. R. Ramakrishnan |
| 2002 | STG: A Symbolic Test Generation Tool. Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva |
| 2002 | Simulation as Coarsest Partition Problem. Raffaella Gentilini, Carla Piazza, Alberto Policriti |
| 2002 | Software Construction and Analysis Tools for Future Space Missions. Michael R. Lowry |
| 2002 | Synthesizing Monitors for Safety Properties. Klaus Havelund, Grigore Rosu |
| 2002 | TIMES - A Tool for Modelling and Implementation of Embedded Systems. Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi |
| 2002 | Temporal Debugging for Concurrent Systems. Elsa L. Gunter, Doron A. Peled |
| 2002 | The ForSpec Temporal Logic: A New Temporal Property-Specification Language. Roy Armoni, Limor Fix, Alon Flaisher, Rob Gerth, Boris Ginsburg, Tomer Kanza, Avner Landver, Sela Mador-Haim, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar |
| 2002 | Timed Automata with Asynchronous Processes: Schedulability and Decidability. Elena Fersman, Paul Pettersson, Wang Yi |
| 2002 | Tools and Algorithms for the Construction and Analysis of Systems, 8th International Conference, TACAS 2002, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings Joost-Pieter Katoen, Perdita Stevens |
| 2002 | Towards the Automated Verification of Multithreaded Java Programs. Giorgio Delzanno, Jean-François Raskin, Laurent Van Begin |
| 2002 | Validating Timing Constraints of Dependent Jobs with Variable Execution Times in Distributed Real-Time Systems. Hojung Cha, Rhan Ha |