3. ICTAC 2006: Tunis, Tunisia

Invited Papers

• Tobias Nipkow:
  Verifying a Hotel Key Card System. 1-14
  Electronic Edition (link) BibTeX
• Jim Woodcock, Leo Freitas:
  Z/Eves and the Mondex Electronic Purse. 15-34
  Electronic Edition (link) BibTeX
• Aaron R. Bradley, Zohar Manna:
  Verification Constraint Problems with Strengthening. 35-49
  Electronic Edition (link) BibTeX

Semantics

• Annabelle McIver:
  Quantitative µ-Calculus Analysis of Power Management in Wireless Networks. 50-64
  Electronic Edition (link) BibTeX
• Mila E. Majster-Cederbaum, Christoph Minnameier:
  Termination and Divergence Are Undecidable Under a Maximum Progress Multi-step Semantics for LinCa. 65-79
  Electronic Edition (link) BibTeX
• Gabriel Ciobanu, Danut Rusu:
  A Topological Approach of the Web Classification. 80-92
  Electronic Edition (link) BibTeX

Concurrency

• Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina:
  Bisimulation Congruences in the Calculus of Looping Sequences. 93-107
  Electronic Edition (link) BibTeX
• Marcos E. Kurbán, Peter Niebert, Hongyang Qu, Walter Vogler:
  Stronger Reduction Criteria for Local First Search. 108-122
  Electronic Edition (link) BibTeX
• Malcolm Tyrrell, Joseph M. Morris, Andrew Butterfield, Arthur Hughes:
  A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes. 123-137
  Electronic Edition (link) BibTeX
• Raymond R. Devillers, Hanna Klaudel, Maciej Koutny:
  A Petri Net Translation of pi-Calculus Terms. 138-152
  Electronic Edition (link) BibTeX

Model Checking

• Yohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko:
  Handling Algebraic Properties in Automatic Analysis of Security Protocols. 153-167
  Electronic Edition (link) BibTeX
• Gordon J. Pace, Gerardo Schneider:
  A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems. 168-182
  Electronic Edition (link) BibTeX
• Alexander Malkis, Andreas Podelski, Andrey Rybalchenko:
  Thread-Modular Verification Is Cartesian Abstract Interpretation. 183-197
  Electronic Edition (link) BibTeX

Formal Languages

• Murdoch Gabbay, Aad Mathijssen:
  Capture-Avoiding Substitution as a Nominal Algebra. 198-212
  Electronic Edition (link) BibTeX
• Kieu Van Hung, Do Long Van:
  Prime Decomposition Problem for Several Kinds of Regular Codes. 213-227
  Electronic Edition (link) BibTeX
• Jan Supol, Borivoj Melichar:
  A New Approach to Determinisation Using Bit-Parallelism. 228-241
  Electronic Edition (link) BibTeX

Logic and Type Theory

• Matteo Slanina, Henny B. Sipma, Zohar Manna:
  Proving ATL* Properties of Infinite-State Systems. 242-256
  Electronic Edition (link) BibTeX
• Shuling Wang, Quan Long, Zongyan Qiu:
  Type Safety for FJ and FGJ. 257-271
  Electronic Edition (link) BibTeX
• Steven Obua:
  Partizan Games in Isabelle/HOLZF. 272-286
  Electronic Edition (link) BibTeX
• Amine Chaieb:
  Proof-Producing Program Analysis. 287-301
  Electronic Edition (link) BibTeX

Real-Time and Mobility

• Giorgio Delzanno, Roberto Montagna:
  Reachability Analysis of Mobile Ambients in Fragments of AC Term Rewriting. 302-316
  Electronic Edition (link) BibTeX
• Moez Krichen, Stavros Tripakis:
  Interesting Properties of the Real-Time Conformance Relation. 317-331
  Electronic Edition (link) BibTeX
• Roland Meyer, Johannes Faber, Andrey Rybalchenko:
  Model Checking Duration Calculus: A Practical Approach. 332-346
  Electronic Edition (link) BibTeX
• Jan-David Quesel, Andreas Schäfer:
  Spatio-temporal Model Checking for Mobile Real-Time Systems. 347-361
  Electronic Edition (link) BibTeX

Tutorials: Extended Abstracts

• Christine Choppy, Serge Haddad, Hanna Klaudel, Fabrice Kordon, Laure Petrucci, Yann Thierry-Mieg:
  Tutorial on Formal Methods for Distributed and Cooperative Systems. 362-365
  Electronic Edition (link) BibTeX
• David Déharbe, Pascal Fontaine, Silvio Ranise, Christophe Ringeissen:
  Decision Procedures for the Formal Analysis of Software. 366-370
  Electronic Edition (link) BibTeX