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 BibTeX
@proceedings{DBLP:conf/tacas/2002,
editor = {Joost-Pieter Katoen and
Perdita Stevens},
title = {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},
booktitle = {TACAS},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2280},
year = {2002},
isbn = {3-540-43419-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Contributions
Real-Time and Probabilistic Systems
Scheduling
Miscellaneous
Software Verification
Infinite-State and Parametic Systems
Model Checking:
Logics and Algorithms
- Patrice Godefroid, Sarfraz Khurshid:
Exploring Very Large State Spaces Using Genetic Algorithms.
266-280
Electronic Edition (Springer LINK) BibTeX
- Radu Mateescu:
Local Model-Checking of Modal Mu-Calculus on Acyclic Labeled Transition Systems.
281-295
Electronic Edition (Springer LINK) BibTeX
- 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
Electronic Edition (Springer LINK) BibTeX
- HoonSang Jin, Andreas Kuehlmann, Fabio Somenzi:
Fine-Grain Conjunction Scheduling for Symbolic Reachability Analysis.
312-326
Electronic Edition (Springer LINK) BibTeX
Model Checking and Testing
Partial-Order and Simulation Techniques
Debugging with Model Checking
Tool Papers
Copyright © Sat May 16 23:43:26 2009
by Michael Ley (ley@uni-trier.de)
