9. TACAS 2003:
Warsaw,
Poland (Part of ETAPS 2003)
Hubert Garavel, John Hatcliff (Eds.):
Tools and Algorithms for the Construction and Analysis of Systems, 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings.
Lecture Notes in Computer Science 2619 Springer 2003, ISBN 3-540-00898-5 
@proceedings{DBLP:conf/tacas/2003,
editor = {Hubert Garavel and
John Hatcliff},
title = {Tools and Algorithms for the Construction and Analysis of Systems,
9th International Conference, TACAS 2003, Held as Part of the
Joint European Conferences on Theory and Practice of Software,
ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings},
booktitle = {TACAS},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2619},
year = {2003},
isbn = {3-540-00898-5},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Contributions
- Peter Lee:
What Are We Trying to Prove? Reflections on Experiences with Proof-Carrying Code.
1
Bounded Model Checking and SAT-Based Methods
Mu-Calculus and Temporal Logics
Verification of Parameterized Systems
Abstractions and Counter-Examples
- Arie Gurfinkel, Marsha Chechik:
Proof-Like Counter-Examples.
160-175
- Marcelo Glusman, Gila Kamhi, Sela Mador-Haim, Ranan Fraer, Moshe Y. Vardi:
Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation.
176-191
- Edmund M. Clarke, Ansgar Fehnker, Zhi Han, Bruce H. Krogh, Olaf Stursberg, Michael Theobald:
Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement.
192-207
- Rajeev Alur, Thao Dang, Franjo Ivancic:
Counter-Example Guided Predicate Abstraction of Hybrid Systems.
208-223
Real-Time and Scheduling
- Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi:
Schedulability Analysis Using Two Clocks.
224-239
- Yasmina Abdeddaïm, Eugene Asarin, Oded Maler:
On Optimal Scheduling under Uncertainty.
240-253
- Gerd Behrmann, Patricia Bouyer, Emmanuel Fleury, Kim Guldstrand Larsen:
Static Guard Analysis in Timed Automata Verification.
254-277
- Piotr Dembinski, Agata Janowska, Pawel Janowski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Bozena Wozna, Andrzej Zbrzezny:
Verics: A Tool for Verifying Timed Automata and Estelle Specifications.
278-283
Security and Cryptography
Modules and Compositional Verification
Symbolic State Spaces and Decision Diagrams
Performance and Mobility
- Oleg Sokolsky, Anna Philippou, Insup Lee, Kyriakos Christou:
Modeling and Analysis of Power-Aware Systems.
409-425
- Holger Hermanns, Christophe Joubert:
A Set of Performance and Dependability Analysis Components for CADP.
425-430
- Dezhuang Zhang, Rance Cleaveland, Eugene W. Stark:
The Integrated CWB-NC/PIOATool for Functional Verification and Performance Analysis of Concurrent Systems.
431-436
- Chiara Braghin, Agostino Cortesi, Stefano Filippone, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza:
BANANA - A Tool for Boundary Ambients Nesting ANAlysis.
437-441
State Space Reductions
Constraint-Solving and Decision Procedures
Testing and Verification
- Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser:
Generalized Symbolic Execution for Model Checking and Testing.
553-568
- Fabrice Baray, Philippe Codognet, Daniel Diaz, Henri Michel:
Code-Based Test Generation for Validation of Functional Processor Descriptions.
569-584
- Jan Friso Groote, Frank van Ham:
Large State Space Visualization.
585-590
- Céline Bigot, Alain Faivre, Jean-Pierre Gallois, Arnault Lapitre, David Lugato, Jean-Yves Pierron, Nicolas Rapin:
Automatic Test Generation with AGATHA.
591-596
- Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee:
LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios.
597-601
Copyright © Sun Nov 8 03:05:49 2009
by Michael Ley (ley@uni-trier.de)
