|
|
|
Accepted Papers
|
|
Tutorial Programme (20-21/11/2006) |
Wednesday 22/11/2006 |
Thursday 23/11/2006 |
Friday 24/11/2006
|
|
Keynote Speakers |
List of Accepted Papers
|
|
- Quantitative mu-calculus analysis of power management
in wireless networks
by Annabelle McIver
- Termination and Divergence are undecidable under a
Maximum Progress Multi-Step Semantics for LinCa
by Mila Majster-Cederbaum, Christoph Minnameier
- Reachability Analysis of Mobile Ambients in Fragments
of AC Term Rewriting
by Giorgio Delzanno, Roberto Montagna
- A Petri Net Translation of pi-calculus Terms
by Raymond Devillers, Hanna Klaudel, Maciej Koutny
- Interesting Properties of the Real-Time Conformance
Relation tioco
by Moez Krichen, Stavros Tripakis
- Bisimulation Congruences in the Calculus of Looping
Sequences
by Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina
- Proving ATL* Properties of Infinite-State Systems
by Matteo Slanina, Henny B. Sipma, Zohar Mann
- Capture-avoiding substitution as a nominal algebra
by Murdoch J. Gabbay, Aad Mathijssen
- Handling Algebraic Properties in Automatic Analysis of
Security Protocols
by Yohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko
- Model Checking Duration Calculus:
A Practical Approach
by Roland Meyer, Johannes Faber, Andrey Rybalchenko
- Compositional Algorithm for Parallel Model Checking
Polygonal Hybrid Systems
by Gordon Pace, Gerardo Schneider
- Prime Decomposition Problem for Several Kinds of
Regular Codes
by Kieu Van Hung, Do Long Van
- Stronger Reduction Criteria for Local First Search
by Marcos Kurban, Peter Niebert, HongYang Qu, Walter Vogler
- Spatio-Temporal Model Checking for Mobile Real-Time
Systems
by Jan-David Quesel, Andreas Schaefer
- Thread-Modular Verification is Cartesian Abstract
Interpretation
by Alexander Malkis, Andreas Podelski, Andrey Rybalchenko
- Type safety for FJ and FGJ
by Wang Shuling, Quan Long, Qiu Zongyan
- A Lattice-Theoretic Model for an Algebra of
Communicating Sequential Processes
by Malcolm Tyrrell, Joseph M. Morris, Andrew Butterfield, Arthur Hughes
- Proof-producing program analysis
by Chaieb Amine
- A New Approach to Determinisation Using
Bit-Parallelism
by Jan Supol, Borivoj Melichar
- A Topological Approach of the Web Classification
by Gabriel Ciobanu, Danut Rusu
- Partizan Games in Isabelle/HOL
by Steven Obua
|
|