| 2006 | Sigref- A Symbolic Bisimulation Tool Box. | Ralf Wimmer, Marc Herbstritt, Holger Hermanns, Kelley Strampp, Bernd Becker |
| 2006 | Whodunit? Causal Analysis for Counterexamples. | Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta |
| 2006 | On the Satisfiability of Modular Arithmetic Formulae. | Bow-Yaw Wang |
| 2006 | Symbolic Semantics for the Verification of Security Properties of Mobile Petri Nets. | Fernando Rosa-Velardo, David de Frutos-Escrig |
| 2006 | On the Membership Problem for Visibly Pushdown Languages. | Salvatore La Torre, Margherita Napoli, Mimmo Parente |
| 2006 | Efficient Algorithms for Alternating Pushdown Systems with an Application to the Computation of Certificate Chains. | Dejvuth Suwimonteerabuth, Stefan Schwoon, Javier Esparza |
| 2006 | Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems. | Hang Su, Graham Hemingway, Kai Chen, Tak-John Koo |
| 2006 | Synthesis for Probabilistic Environments. | Sven Schewe |
| 2006 | The Implementation of Mazurkiewicz Traces in POEM. | Peter Niebert, Hongyang Qu |
| 2006 | Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition. | Wonhong Nam, Rajeev Alur |
| 2006 | Timed Temporal Logics for Abstracting Transient States. | Houda Bel Mokadem, Batrice Brard, Patricia Bouyer, Franois Laroussinie |
| 2006 | On the Construction of Fine Automata for Safety Properties. | Orna Kupferman, Robby Lampert |
| 2006 | Branching-Time Property Preservation Between Real-Time Systems. | Jinfeng Huang, Marc Geilen, Jeroen Voeten, Henk Corporaal |
| 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 | A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement. | Fei He, Xiaoyu Song, Ming Gu, Jia-Guang Sun |
| 2006 | Selective Approaches for Solving Weak Games. | Malte Helmert, Robert Mattmller, Sven Schewe |
| 2006 | Functional Analysis of a Real-Time Protocol for Networked Control Systems. | Colin J. Fidge, Yu-Chu Tian |
| 2006 | Ranked Predicate Abstraction for Branching Time: Complete, Incremental, and Precise. | Harald Fecher, Michael Huth |
| 2006 | Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives. | Alastair F. Donaldson, Alice Miller |
| 2006 | Proactive Leader Election in Asynchronous Shared Memory Systems. | M. C. Dharmadeep, K. Gopinath |
| 2006 | Towards a Model-Checker for Counter Systems. | Stphane Demri, Alain Finkel, Valentin Goranko, Govert van Drimmelen |
| 2006 | Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols. | Giorgio Delzanno, Javier Esparza, Jir Srba |
| 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 | A Fine-Grained Fullness-Guided Chaining Heuristic for Symbolic Reachability Analysis. | Ming-Ying Chung, Gianfranco Ciardo, Andy Jinqing Yu |
| 2006 | Symbolic Unfoldings for Networks of Timed Automata. | Franck Cassez, Thomas Chatain, Claude Jard |