6. ATVA 2008: Seoul, Korea

Sung Deok Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan (Eds.): Automated Technology for Verification and Analysis, 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings. Lecture Notes in Computer Science 5311 Springer 2008, ISBN 978-3-540-88386-9 BibTeX

Invited Talks

Sriram K. Rajamani:
Tests, Proofs and Refinements. 1-2
Electronic Edition (link) BibTeX
David L. Dill:
Formal Verification and Biology. 3
Electronic Edition (link) BibTeX
Natarajan Shankar:
Trust and Automation in Verification Tools. 4-17
Electronic Edition (link) BibTeX

Alessandro Ferrante, Margherita Napoli, Mimmo Parente:
CTLModel-Checking with Graded Quantifiers. 18-32
Electronic Edition (link) BibTeX
Gal Katz, Doron Peled:
Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms. 33-47
Electronic Edition (link) BibTeX
Radu Mateescu, Pedro T. Monteiro, Estelle Dumas, Hidde de Jong:
Computation Tree Regular Logic for Genetic Regulatory Networks. 48-63
Electronic Edition (link) BibTeX
Saddek Bensalem, Marius Bozga, Joseph Sifakis, Thanh-Hung Nguyen:
Compositional Verification for Component-Based Systems and Application. 64-79
Electronic Edition (link) BibTeX
Jefferson O. Andrade, Yukiyoshi Kameyama:
A Direct Algorithm for Multi-valued Bounded Model Checking. 80-94
Electronic Edition (link) BibTeX

Arie Gurfinkel, Ou Wei, Marsha Chechik:
Model Checking Recursive Programs with Exact Predicate Abstraction. 95-110
Electronic Edition (link) BibTeX
Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger:
Loop Summarization Using Abstract Transformers. 111-125
Electronic Edition (link) BibTeX
Chao Wang, Yu Yang, Aarti Gupta, Ganesh Gopalakrishnan:
Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions. 126-140
Electronic Edition (link) BibTeX

Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif:
Automating Algebraic Specifications of Non-freely Generated Data Types. 141-155
Electronic Edition (link) BibTeX
Christopher Lynch, Yuefeng Tang:
Interpolants for Linear Arithmetic in SMT. 156-170
Electronic Edition (link) BibTeX
Andreas Eggers, Martin Fränzle, Christian Herde:
SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems. 171-185
Electronic Edition (link) BibTeX
Christopher Lynch, Duc-Khanh Tran:
SMELS: Satisfiability Modulo Equality with Lazy Superposition. 186-200
Electronic Edition (link) BibTeX

Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Controllable Test Cases for the Distributed Test Architecture. 201-215
Electronic Edition (link) BibTeX

Ralf Huuck, Ansgar Fehnker, Sean Seefried, Jörg Brauer:
Goanna: Syntactic Software Model Checking. 216-221
Electronic Edition (link) BibTeX
Ansuman Banerjee, Sayak Ray, Pallab Dasgupta, Partha Pratim Chakrabarti, S. Ramesh, P. Vignesh V. Ganesan:
A Dynamic Assertion-Based Verification Platform for Validation of UML Designs. 222-227
Electronic Edition (link) BibTeX
Ansuman Banerjee, Kausik Datta, Pallab Dasgupta:
CheckSpec: A Tool for Consistency and Coverage Analysis of Assertion Specifications. 228-233
Electronic Edition (link) BibTeX
Jiri Barnat, Lubos Brim, Petr Rockai:
DiVinE Multi-Core - A Parallel LTL Model-Checker. 234-239
Electronic Edition (link) BibTeX
Martin De Wulf, Laurent Doyen, Nicolas Maquet, Jean-François Raskin:
Alaska. 240-245
Electronic Edition (link) BibTeX
Elie Bursztein:
NetQi: A Model Checker for Anticipation Game. 246-251
Electronic Edition (link) BibTeX
John Håkansson, Jan Carlson, Aurelien Monot, Paul Pettersson, Davor Slutej:
Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT. 252-257
Electronic Edition (link) BibTeX

Farn Wang:
Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions. 258-273
Electronic Edition (link) BibTeX
Alberto Casagrande, Pietro Corvaja, Carla Piazza, Bud Mishra:
Decidable Compositions of O-Minimal Automata. 274-288
Electronic Edition (link) BibTeX
Nawel Gharbi:
On the Applicability of Stochastic Petri Nets for Analysis of Multiserver Retrial Systems with Different Vacation Policies. 289-302
Electronic Edition (link) BibTeX
Eckard Böde, Thomas Peikenkamp, Jan Rakow, Samuel Wischmeyer:
Model Based Importance Analysis for Minimal Cut Sets. 303-317
Electronic Edition (link) BibTeX

Hiroaki Shimizu, Kiyoharu Hamaguchi, Toshinobu Kashiwabara:
Approximate Invariant Property Checking Using Term-Height Reduction for a Subset of First-Order Logic. 318-331
Electronic Edition (link) BibTeX
Blaise Genest, Anca Muscholl, Olivier Serre, Marc Zeitoun:
Tree Pattern Rewriting Systems. 332-346
Electronic Edition (link) BibTeX
Lingyun Luo:
Deciding Bisimilarity of Full BPA Processes Locally. 347-360
Electronic Edition (link) BibTeX
Florian Horn, Wolfgang Thomas, Nico Wallmeier:
Optimal Strategy Synthesis in Request-Response Games. 361-373
Electronic Edition (link) BibTeX

Guoqiang Li, Mizuhito Ogawa:
Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol. 374-385
Electronic Edition (link) BibTeX
Wei Dong, Martin Leucker, Christian Schallhart:
Impartial Anticipation in Runtime-Verification. 386-396
Electronic Edition (link) BibTeX
Marcel Kyas, Cristian Prisacariu, Gerardo Schneider:
Run-Time Monitoring of Electronic Contracts. 397-407
Electronic Edition (link) BibTeX
Carlo A. Furia, Paola Spoletini:
Practical Efficient Modular Linear-Time Model-Checking. 408-417
Electronic Edition (link) BibTeX
César Andrés, Mercedes G. Merayo, Manuel Núñez:
Passive Testing of Timed Systems. 418-427
Electronic Edition (link) BibTeX