4. ATVA 2006:
Beijing,
China
Susanne Graf, Wenhui Zhang (Eds.):
Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006.
Lecture Notes in Computer Science 4218 Springer 2006, ISBN 3-540-47237-1 BibTeX
Keynote Speeches
Regular Papers
- Alastair F. Donaldson, Alice Miller:
Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives.
9-23
Electronic Edition (link) BibTeX
- Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr, Sven Sandberg:
Eager Markov Chains.
24-38
Electronic Edition (link) BibTeX
- Fei He, Xiaoyu Song, Ming Gu, Jia-Guang Sun:
A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement.
39-50
Electronic Edition (link) BibTeX
- Ming-Ying Chung, Gianfranco Ciardo, Andy Jinqing Yu:
A Fine-Grained Fullness-Guided Chaining Heuristic for Symbolic Reachability Analysis.
51-66
Electronic Edition (link) BibTeX
- Pao-Ann Hsiung, Shang-Wei Lin, Yean-Ru Chen, Chun-Hsian Huang, Jia-Jen Yeh, Hong-Yu Sun, Chao-Sheng Lin, Hsiao-Win Liao:
Model Checking Timed Systems with Urgencies.
67-81
Electronic Edition (link) BibTeX
- Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta:
Whodunit? Causal Analysis for Counterexamples.
82-95
Electronic Edition (link) BibTeX
- Salvatore La Torre, Margherita Napoli, Mimmo Parente:
On the Membership Problem for Visibly Pushdown Languages.
96-109
Electronic Edition (link) BibTeX
- Orna Kupferman, Robby Lampert:
On the Construction of Fine Automata for Safety Properties.
110-124
Electronic Edition (link) BibTeX
- Benjamin Aminof, Orna Kupferman:
On the Succinctness of Nondeterminism.
125-140
Electronic Edition (link) BibTeX
- Dejvuth Suwimonteerabuth, Stefan Schwoon, Javier Esparza:
Efficient Algorithms for Alternating Pushdown Systems with an Application to the Computation of Certificate Chains.
141-153
Electronic Edition (link) BibTeX
- Fei Xie, Guowu Yang, Xiaoyu Song:
Compositional Reasoning for Hardware/Software Co-verification.
154-169
Electronic Edition (link) BibTeX
- Wonhong Nam, Rajeev Alur:
Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition.
170-185
Electronic Edition (link) BibTeX
- Bow-Yaw Wang:
On the Satisfiability of Modular Arithmetic Formulae.
186-199
Electronic Edition (link) BibTeX
- Malte Helmert, Robert Mattmüller, Sven Schewe:
Selective Approaches for Solving Weak Games.
200-214
Electronic Edition (link) BibTeX
- Thierry Cachat:
Controller Synthesis and Ordinal Automata.
215-228
Electronic Edition (link) BibTeX
- Tomohiro Yoneda, Chris J. Myers:
Effective Contraction of Timed STGs for Decomposition Based Timed Circuit Synthesis.
229-244
Electronic Edition (link) BibTeX
- Sven Schewe:
Synthesis for Probabilistic Environments.
245-259
Electronic Edition (link) BibTeX
- Jinfeng Huang, Marc Geilen, Jeroen Voeten, Henk Corporaal:
Branching-Time Property Preservation Between Real-Time Systems.
260-275
Electronic Edition (link) BibTeX
- Werner Damm, Stefan Disch, Hardi Hungar, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz:
Automatic Verification of Hybrid Systems with Large Discrete State Space.
276-291
Electronic Edition (link) BibTeX
- Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier:
Timed Unfoldings for Networks of Timed Automata.
292-306
Electronic Edition (link) BibTeX
- Franck Cassez, Thomas Chatain, Claude Jard:
Symbolic Unfoldings for Networks of Timed Automata.
307-321
Electronic Edition (link) BibTeX
- Harald Fecher, Michael Huth:
Ranked Predicate Abstraction for Branching Time: Complete, Incremental, and Precise.
322-336
Electronic Edition (link) BibTeX
- Houda Bel Mokadem, Béatrice Bérard, Patricia Bouyer, François Laroussinie:
Timed Temporal Logics for Abstracting Transient States.
337-351
Electronic Edition (link) BibTeX
- Songtao Xia, Ben Di Vito, César Muñoz:
Predicate Abstraction of Programs with Non-linear Computation.
352-368
Electronic Edition (link) BibTeX
- Puneet Bhateja, Paul Gastin, Madhavan Mukund:
A Fresh Look at Testing for Asynchronous Communication.
369-383
Electronic Edition (link) BibTeX
- M. C. Dharmadeep, K. Gopinath:
Proactive Leader Election in Asynchronous Shared Memory Systems.
384-398
Electronic Edition (link) BibTeX
- Laura Brandán Briones, Ed Brinksma, Mariëlle Stoelinga:
A Semantic Framework for Test Coverage.
399-414
Electronic Edition (link) BibTeX
- Giorgio Delzanno, Javier Esparza, Jirí Srba:
Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols.
415-429
Electronic Edition (link) BibTeX
- Ye Zhang, Hanne Riis Nielson:
Analyzing Security Protocols in Hierarchical Networks.
430-445
Electronic Edition (link) BibTeX
- Colin J. Fidge, Yu-Chu Tian:
Functional Analysis of a Real-Time Protocol for Networked Control Systems.
446-460
Electronic Edition (link) BibTeX
- Fernando Rosa Velardo, David de Frutos-Escrig:
Symbolic Semantics for the Verification of Security Properties of Mobile Petri Nets.
461-476
Electronic Edition (link) BibTeX
- Ralf Wimmer, Marc Herbstritt, Holger Hermanns, Kelley Strampp, Bernd Becker:
Sigref- A Symbolic Bisimulation Tool Box.
477-492
Electronic Edition (link) BibTeX
- Stéphane Demri, Alain Finkel, Valentin Goranko, Govert van Drimmelen:
Towards a Model-Checker for Counter Systems.
493-507
Electronic Edition (link) BibTeX
- Peter Niebert, Hongyang Qu:
The Implementation of Mazurkiewicz Traces in POEM.
508-522
Electronic Edition (link) BibTeX
- Hang Su, Graham Hemingway, Kai Chen, T. John Koo:
Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems.
523-537
Electronic Edition (link) BibTeX
Copyright © Sat May 16 22:59:05 2009
by Michael Ley (ley@uni-trier.de)
