8. TACAS 2002: Grenoble, France (Part of ETAPS 2002)

Joost-Pieter Katoen, Perdita Stevens (Eds.): 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. Lecture Notes in Computer Science 2280 Springer 2002, ISBN 3-540-43419-4

Invited Contributions

Michael R. Lowry:
Software Construction and Analysis Tools for Future Space Missions. 1-19
Daniel Jackson:
Alloy: A New Technology for Software Modelling. 20

Real-Time and Probabilistic Systems

Víctor A. Braberman, Diego Garbervetsky, Alfredo Olivero:
Improving the Verification of Timed Systems Using Influence Information. 21-36
Joël Ouaknine:
Digitisation and Full Abstraction for Dense-Time Model Checking. 37-51
Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach. 52-66

Scheduling

Elena Fersman, Paul Pettersson, Wang Yi:
Timed Automata with Asynchronous Processes: Schedulability and Decidability. 67-82
Hojung Cha, Rhan Ha:
Validating Timing Constraints of Dependent Jobs with Variable Execution Times in Distributed Real-Time Systems. 83-97
K. Subramani:
An Analysis of Zero-Clairvoyant Scheduling. 98-112
Yasmina Abdeddaïm, Oded Maler:
Preemptive Job-Shop Scheduling Using Stopwatch Automata. 113-126

Miscellaneous

Horst Wedde, Arnim Wedig:
Explicit Modeling of Influences, and of Their Absence, in Distributed Systems. 127-141
Kevin Backhouse:
A Functional Semantics of Attribute Grammars. 142-157

Software Verification

Thomas Ball, Andreas Podelski, Sriram K. Rajamani:
Relative Completeness of Abstraction Refinement for Software Model Checking. 158-172
Giorgio Delzanno, Jean-François Raskin, Laurent Van Begin:
Towards the Automated Verification of Multithreaded Java Programs. 173-187
Fabrice Bouquet, Bruno Legeard, Fabien Peureux:
CLPS-B - A Constraint Solver for B. 188-204
Taeho Kim, David W. J. Stringer-Calvert, Sung Deok Cha:
Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using PVS. 205-220

Infinite-State and Parametic Systems

Marco Bozzano, Giorgio Delzanno:
Beyond Parameterized Verification. 221-235
Samik Basu, K. Narayan Kumar, L. Robert Pokorny, C. R. Ramakrishnan:
Resource-Constrained Model Checking of Recursive Programs. 236-250
E. Allen Emerson, Vineet Kahlon:
Model Checking Large-Scale and Parameterized Resource Allocation Systems. 251-265

Model Checking: Logics and Algorithms

Patrice Godefroid, Sarfraz Khurshid:
Exploring Very Large State Spaces Using Genetic Algorithms. 266-280
Radu Mateescu:
Local Model-Checking of Modal Mu-Calculus on Acyclic Labeled Transition Systems. 281-295
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:
The ForSpec Temporal Logic: A New Temporal Property-Specification Language. 296-211
HoonSang Jin, Andreas Kuehlmann, Fabio Somenzi:
Fine-Grain Conjunction Scheduling for Symbolic Reachability Analysis. 312-326

Model Checking and Testing

Hyoung Seok Hong, Insup Lee, Oleg Sokolsky, Hasan Ural:
A Temporal Logic Based Theory of Test Coverage and Generation. 327-341
Klaus Havelund, Grigore Rosu:
Synthesizing Monitors for Safety Properties. 342-356
Alex Groce, Doron Peled, Mihalis Yannakakis:
Adaptive Model Checking. 357-370

Partial-Order and Simulation Techniques

Keijo Heljanko, Victor Khomenko, Maciej Koutny:
Parallelisation of the Petri Net Unfolding Algorithm. 371-385
Sébastien Bornot, Rémi Morin, Peter Niebert, Sarah Zennou:
Black Box Unfolding with Local First Search. 386-400
Doron Bustan, Orna Grumberg:
Applicability of Fair Simulation. 401-414
Raffaella Gentilini, Carla Piazza, Alberto Policriti:
Simulation as Coarsest Partition Problem. 415-430

Debugging with Model Checking

Elsa L. Gunter, Doron Peled:
Temporal Debugging for Concurrent Systems. 431-444
HoonSang Jin, Kavita Ravi, Fabio Somenzi:
Fate and Free Will in Error Traces. 445-459

Tool Papers

Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi:
TIMES - A Tool for Modelling and Implementation of Embedded Systems. 460-464
Frédéric Lang:
Compositional Verification Using SVL Scripts. 465-469
Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva:
STG: A Symbolic Test Generation Tool. 470-475
Christian Stehno:
Real-Time Systems Design with PEP. 476-480

Last update Sun May 19 23:38:25 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page