| 2006 | A Fine-Grained Fullness-Guided Chaining Heuristic for Symbolic Reachability Analysis. Ming-Ying Chung, Gianfranco Ciardo, Andy Jinqing Yu |
| 2006 | A Fresh Look at Testing for Asynchronous Communication. Puneet Bhateja, Paul Gastin, Madhavan Mukund |
| 2006 | A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement. Fei He, Xiaoyu Song, Ming Gu, Jia-Guang Sun |
| 2006 | A Semantic Framework for Test Coverage. Laura Brandán Briones, Ed Brinksma, Mariëlle Stoelinga |
| 2006 | Analysis of Recursive Probabilistic Models. Mihalis Yannakakis |
| 2006 | Analyzing Security Protocols in Hierarchical Networks. Ye Zhang, Hanne Riis Nielson |
| 2006 | Automated Abstraction of Software. Thomas Ball |
| 2006 | Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Susanne Graf, Wenhui Zhang |
| 2006 | Automatic Verification of Hybrid Systems with Large Discrete State Space. Werner Damm, Stefan Disch, Hardi Hungar, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz |
| 2006 | Branching-Time Property Preservation Between Real-Time Systems. Jinfeng Huang, Marc Geilen, Jeroen Voeten, Henk Corporaal |
| 2006 | Compositional Reasoning for Hardware/Software Co-verification. Fei Xie, Guowu Yang, Xiaoyu Song |
| 2006 | Controller Synthesis and Ordinal Automata. Thierry Cachat |
| 2006 | Eager Markov Chains. Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr, Sven Sandberg |
| 2006 | Effective Contraction of Timed STGs for Decomposition Based Timed Circuit Synthesis. Tomohiro Yoneda, Chris J. Myers |
| 2006 | Efficient Algorithms for Alternating Pushdown Systems with an Application to the Computation of Certificate Chains. Dejvuth Suwimonteerabuth, Stefan Schwoon, Javier Esparza |
| 2006 | Functional Analysis of a Real-Time Protocol for Networked Control Systems. Colin J. Fidge, Yu-Chu Tian |
| 2006 | Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition. Wonhong Nam, Rajeev Alur |
| 2006 | Model Checking Timed Systems with Urgencies. Pao-Ann Hsiung, Shang-Wei Lin, Yean-Ru Chen, Chun-Hsian Huang, Jia-Jen Yeh, Hong-Yu Sun, Chao-Sheng Lin, Hsiao-Win Liao |
| 2006 | Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems. Hang Su, Graham Hemingway, Kai Chen, Tak-John Koo |
| 2006 | Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols. Giorgio Delzanno, Javier Esparza, Jirí Srba |
| 2006 | On the Construction of Fine Automata for Safety Properties. Orna Kupferman, Robby Lampert |
| 2006 | On the Membership Problem for Visibly Pushdown Languages. Salvatore La Torre, Margherita Napoli, Mimmo Parente |
| 2006 | On the Satisfiability of Modular Arithmetic Formulae. Bow-Yaw Wang |
| 2006 | On the Succinctness of Nondeterminism. Benjamin Aminof, Orna Kupferman |
| 2006 | Predicate Abstraction of Programs with Non-linear Computation. Songtao Xia, Ben Di Vito, César A. Muñoz |
| 2006 | Proactive Leader Election in Asynchronous Shared Memory Systems. M. C. Dharmadeep, K. Gopinath |
| 2006 | Ranked Predicate Abstraction for Branching Time: Complete, Incremental, and Precise. Harald Fecher, Michael Huth |
| 2006 | Selective Approaches for Solving Weak Games. Malte Helmert, Robert Mattmüller, Sven Schewe |
| 2006 | Sigref- A Symbolic Bisimulation Tool Box. Ralf Wimmer, Marc Herbstritt, Holger Hermanns, Kelley Strampp, Bernd Becker |
| 2006 | Symbolic Semantics for the Verification of Security Properties of Mobile Petri Nets. Fernando Rosa-Velardo, David de Frutos-Escrig |
| 2006 | Symbolic Unfoldings for Networks of Timed Automata. Franck Cassez, Thomas Chatain, Claude Jard |
| 2006 | Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives. Alastair F. Donaldson, Alice Miller |
| 2006 | Synthesis for Probabilistic Environments. Sven Schewe |
| 2006 | The Implementation of Mazurkiewicz Traces in POEM. Peter Niebert, Hongyang Qu |
| 2006 | Timed Temporal Logics for Abstracting Transient States. Houda Bel Mokadem, Béatrice Bérard, Patricia Bouyer, François Laroussinie |
| 2006 | Timed Unfoldings for Networks of Timed Automata. Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier |
| 2006 | Towards a Model-Checker for Counter Systems. Stéphane Demri, Alain Finkel, Valentin Goranko, Govert van Drimmelen |
| 2006 | Verification Challenges and Opportunities in the New Era of Microprocessor Design. Jin Yang |
| 2006 | Whodunit? Causal Analysis for Counterexamples. Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta |