| 2006 | A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems. Gordon J. Pace, Gerardo Schneider |
| 2006 | A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes. Malcolm Tyrrell, Joseph M. Morris, Andrew Butterfield, Arthur Hughes |
| 2006 | A New Approach to Determinisation Using Bit-Parallelism. Jan Supol, Borivoj Melichar |
| 2006 | A Petri Net Translation of Raymond Devillers, Hanna Klaudel, Maciej Koutny |
| 2006 | A Topological Approach of the Web Classification. Gabriel Ciobanu, Danut Rusu |
| 2006 | Bisimulation Congruences in the Calculus of Looping Sequences. Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina |
| 2006 | Capture-Avoiding Substitution as a Nominal Algebra. Murdoch Gabbay, Aad Mathijssen |
| 2006 | Decision Procedures for the Formal Analysis of Software. David Déharbe, Pascal Fontaine, Silvio Ranise, Christophe Ringeissen |
| 2006 | Handling Algebraic Properties in Automatic Analysis of Security Protocols. Yohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko |
| 2006 | Interesting Properties of the Real-Time Conformance Relation. Moez Krichen, Stavros Tripakis |
| 2006 | Model Checking Duration Calculus: A Practical Approach. Roland Meyer, Johannes Faber, Andrey Rybalchenko |
| 2006 | Partizan Games in Isabelle/HOLZF. Steven Obua |
| 2006 | Prime Decomposition Problem for Several Kinds of Regular Codes. Kieu Van Hung, Do Long Van |
| 2006 | Proof-Producing Program Analysis. Amine Chaieb |
| 2006 | Proving ATL* Properties of Infinite-State Systems. Matteo Slanina, Henny B. Sipma, Zohar Manna |
| 2006 | Quantitative µ-Calculus Analysis of Power Management in Wireless Networks. Annabelle McIver |
| 2006 | Reachability Analysis of Mobile Ambients in Fragments of AC Term Rewriting. Giorgio Delzanno, Roberto Montagna |
| 2006 | Spatio-temporal Model Checking for Mobile Real-Time Systems. Jan-David Quesel, Andreas Schäfer |
| 2006 | Stronger Reduction Criteria for Local First Search. Marcos E. Kurbán, Peter Niebert, Hongyang Qu, Walter Vogler |
| 2006 | Termination and Divergence Are Undecidable Under a Maximum Progress Multi-step Semantics for LinCa. Mila E. Majster-Cederbaum, Christoph Minnameier |
| 2006 | Theoretical Aspects of Computing - ICTAC 2006, Third International Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone |
| 2006 | Thread-Modular Verification Is Cartesian Abstract Interpretation. Alexander Malkis, Andreas Podelski, Andrey Rybalchenko |
| 2006 | Tutorial on Formal Methods for Distributed and Cooperative Systems. Christine Choppy, Serge Haddad, Hanna Klaudel, Fabrice Kordon, Laure Petrucci, Yann Thierry-Mieg |
| 2006 | Type Safety for FJ and FGJ. Shuling Wang, Quan Long, Zongyan Qiu |
| 2006 | Verification Constraint Problems with Strengthening. Aaron R. Bradley, Zohar Manna |
| 2006 | Verifying a Hotel Key Card System. Tobias Nipkow |
| 2006 | Z/Eves and the Mondex Electronic Purse. Jim Woodcock, Leo Freitas |