Papers accepted for TACAS2002

The order is provisional order of presentation.

Improving the Verification of Timed Systems using Influence Information
Victor Braberman, Diego Garbervetsky and Alfredo Olivero (Universidad de Buenos Aires and Universidad Argentina de la Empresa, Argentina)

Digitisation and Full Abstraction for Dense-Time Model Checking
Joel Ouaknine (Tulane University, USA)

Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach
Marta Kwiatkowska, Gethin Norman and David Parker (University of Birmingham, UK)

Timed Automata with Asynchronous Processes: Schedulability and Decidability
Elena Fersman, Paul Pettersson, Wang Yi (Uppsala University, Sweden)

Validating Timing Constraints of Dependent Jobs with Variable Execution Times in Distributed Real-Time Systems
Hojung Cha and Rhan Ha (Yonsei University and Hongik University, South Korea)

An Analysis of Zero-Clairvoyant Scheduling
K. Subramani (West Virginia University, USA)

Preemptive Job-Shop Scheduling using Stopwatch Automata
Yasmina Abdeddaim and Oded Maler (VERIMAG, Grenoble, France)

Explicit Modeling of Influences, and of Their Absence, in Distributed Systems
Horst F. Wedde and Arnim Wedig (University of Dortmund, Germany)

A Functional Semantics of Attribute Grammars
Kevin Backhouse (Oxford University Computing Laboratory, UK)

Tool:TIMES - A Tool for Modelling and Implementation of Embedded Systems
Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Petterson, and Wang Yi (Uppsala University, Sweden)

Relative Completeness of Abstraction Refinement for Software Model Checking
Thomas Ball, Andreas Podelski, Sriram K. Rajamani (Microsoft Research, USA and Max-Planck Institute, Germany)

Towards the Automated Verification of Multithreaded Java Programs
Giorgio Delzanno, Jean-Francois Raskin and Laurent Van Begin (Universitá di Genova, Italy and Université Libre de Bruxelles, Belgium)

CLPS-B - A Constraint Solver for B
Fabrice Bouquet, Bruno Legeard and Fabien Peureux (Laboratoire d'Informatique Université de Franche-Comté, France)

Formal Verification of Functional Properties of an SCR-style Software Requirements Specification using PVS
Taeho Kim, David Stringer-Calvert, Sungdeok Cha (KAIST, South-Korea and SRI International, USA)

Beyond Parameterized Verification
Marco Bozzano and Giorgio Delzanno (Universitá di Genova, Italy)

Resource-Constrained Model Checking of Recursive Programs
Samik Basu, K. Narayan Kumar, L. Robert Pokorny and C. R. Ramakrishnan (State University of New York at Stony Brook, USA and Chennai Mathematical Institute, India)

Model Checking Large-scale and Parameterized Resource Allocation Systems
Allen Emerson and Vineet Kahlon (The University of Texas at Austin, USA)

Tool: Compositional Verification using SVL Scripts
Frédéric Lang (INRIA Rhône-Alpes, France)

Exploring Very Large State Spaces Using Genetic Algorithms
Patrice Godefroid and Sarfraz Khurshid (Bell Labs, USA and MIT, USA)

Local Model-Checking of Modal Mu-Calculus on Acyclic Labeled Transition Systems
Radu Mateescu (INRIA Rhône-Alpes/VASY, France)

The ForSpec Temporal Logic: A New Temporal Property-Specification Language
R. Armoni, L. Fix, A. Flaisher, R. Gerth, B. Ginsburg, T. Kanza, A. Landver, S. Mador-Haim, E. Singerman, A. Tiemeyer, M.Y. Vardi and Y. Zbar (Rice University, USA, and Intel, USA/Israel)

Fine-Grained Conjunction Scheduling for Symbolic Reachablity Analysis
HoonSang Jin, Andreas Kuehlmann and Fabio Somenzi (University of Colorado at Boulder, USA and Cadence Berkeley Labs, USA)

A Temporal Logic Based Theory of Test Coverage and Generation
Hyoung Seok Hong, Insup Lee, Oleg Sokolsky and Hasan Ural (University of Pennsylvania, USA and University of Ottawa, Canada)

Synthesizing Monitors for Safety Properties
Klaus Havelund and Grigore Rosu (NASA Ames Research Center, USA)

Adaptive Model Checking
Alex Groce, Doron Peled, Mihalis Yannakakis (Carnegie Mellon University, USA, University of Texas at Austin, USA, Avaya Laboratories, USA)

Tool:STG: A Symbolic Test Generation Tool
Duncan Clarke, Thierry Jéron, Vlad Rusu, and Elena Zinovieva (IRISA/INRIA Rennes, France)

Parallelisation of the Petri Net Unfolding Algorithm
Keijo Heljanko, Victor Khomenko and Maciej Koutny (Helsinki University of Technology, Finland and University of Newcastle upon Tyne, UK)

Black Box Unfolding with Local First Search
Sebastien Bornot, Remi Morin, Peter Niebert and Sarah Zennou (Laboratoire d'Informatique Fondamentale de Marseille, France)

Applicability of Fair Simulation
Doran Burstan and Orna Grumberg (Technion Haifa, Israel)

Simulation as Coarsest Partition Problem
Raffaella Gentilini, Carla Piazza and Alberto Policriti (Universitá di Udine, Italy)

Temporal Debugging for Concurrent Systems
Elsa Gunter and Doron Peled (New Jersey Institute of Science, USA and University of Texas at Austin, USA)

Fate and Free Will in Error Traces
HoonSang Jin, Kavita Ravi and Fabio Somenzi (University of Colorado at Boulder, USA, Cadence Design Systems, USA)

Tool:Real-Time Systems Design with PEP
Christian Stehno (University of Oldenburg, Germany)