10. TACAS 2004:
Barcelona,
Spain (Part of ETAPS 2004)
Kurt Jensen, Andreas Podelski (Eds.):
Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings.
Lecture Notes in Computer Science 2988 Springer 2004, ISBN 3-540-21299-X BibTeX
@proceedings{DBLP:conf/tacas/2004,
editor = {Kurt Jensen and
Andreas Podelski},
title = {Tools and Algorithms for the Construction and Analysis of Systems,
10th International Conference, TACAS 2004, Held as Part of the
Joint European Conferences on Theory and Practice of Software,
ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings},
booktitle = {TACAS},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2988},
year = {2004},
isbn = {3-540-21299-X},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Theorem Proving
Probabilistic Model Checking
- Håkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study.
46-60
Electronic Edition (link) BibTeX
- Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen:
Efficient Computation of Time-Bounded Reachability Probabilities in Uniform Continuous-Time Markov Decision Processes.
61-76
Electronic Edition (link) BibTeX
- Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga:
Model Checking Discounted Temporal Properties.
77-92
Electronic Edition (link) BibTeX
Testing
Tools
- Karsten Diethers, Michaela Huhn:
Vooduu: Verification of Object-Oriented Designs Using UPPAAL.
139-143
Electronic Edition (link) BibTeX
- Carla Piazza, Enrico Pivato, Sabina Rossi:
CoPS - Checker of Persistent Security.
144-152
Electronic Edition (link) BibTeX
- Heikki Virtanen, Henri Hansen, Antti Valmari, Juha Nieminen, Timo Erkkilä:
Tampere Verification Tool.
153-157
Electronic Edition (link) BibTeX
- Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Masaaki Mizuno:
SyncGen: An Aspect-Oriented Framework for Synchronization.
158-162
Electronic Edition (link) BibTeX
- Markus Müller-Olm, Haiseung Yoo:
MetaGame: An Animation Tool for Model-Checking Games.
163-167
Electronic Edition (link) BibTeX
- Edmund M. Clarke, Daniel Kroening, Flavio Lerda:
A Tool for Checking ANSI-C Programs.
168-176
Electronic Edition (link) BibTeX
Explicite State / Petri Nets
Scheduling
Constraint Solving
Timed Systems
Case Studies
Software
Temporal Logic
Abstraction
Automata Techniques
Copyright © Sat May 16 23:43:27 2009
by Michael Ley (ley@uni-trier.de)
