|
|
Conferences in DBLP
- Tobias Nipkow
Verifying a Hotel Key Card System. [Citation Graph (0, 0)][DBLP]
ICTAC, 2006, pp:1-14 [Conf]
- Jim Woodcock, Leo Freitas
Z/Eves and the Mondex Electronic Purse. [Citation Graph (0, 0)][DBLP]
ICTAC, 2006, pp:15-34 [Conf]
- Aaron R. Bradley, Zohar Manna
Verification Constraint Problems with Strengthening. [Citation Graph (0, 0)][DBLP]
ICTAC, 2006, pp:35-49 [Conf]
- Annabelle McIver
Quantitative µ-Calculus Analysis of Power Management in Wireless Networks. [Citation Graph (0, 0)][DBLP]
ICTAC, 2006, pp:50-64 [Conf]
- Mila E. Majster-Cederbaum, Christoph Minnameier
Termination and Divergence Are Undecidable Under a Maximum Progress Multi-step Semantics for LinCa. [Citation Graph (0, 0)][DBLP]
ICTAC, 2006, pp:65-79 [Conf]
- Gabriel Ciobanu, Danut Rusu
A Topological Approach of the Web Classification. [Citation Graph (0, 0)][DBLP]
ICTAC, 2006, pp:80-92 [Conf]
- Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina
Bisimulation Congruences in the Calculus of Looping Sequences. [Citation Graph (0, 0)][DBLP]
ICTAC, 2006, pp:93-107 [Conf]
- Marcos E. Kurbán, Peter Niebert, Hongyang Qu, Walter Vogler
Stronger Reduction Criteria for Local First Search. [Citation Graph (0, 0)][DBLP]
ICTAC, 2006, pp:108-122 [Conf]
- Malcolm Tyrrell, Joseph M. Morris, Andrew Butterfield, Arthur Hughes
A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes. [Citation Graph (0, 0)][DBLP]
ICTAC, 2006, pp:123-137 [Conf]
- Raymond R. Devillers, Hanna Klaudel, Maciej Koutny
A Petri Net Translation of pi-Calculus Terms. [Citation Graph (0, 0)][DBLP]
ICTAC, 2006, pp:138-152 [Conf]
- Yohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko
Handling Algebraic Properties in Automatic Analysis of Security Protocols. [Citation Graph (0, 0)][DBLP]
ICTAC, 2006, pp:153-167 [Conf]
- Gordon J. Pace, Gerardo Schneider
A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems. [Citation Graph (0, 0)][DBLP]
ICTAC, 2006, pp:168-182 [Conf]
- Alexander Malkis, Andreas Podelski, Andrey Rybalchenko
Thread-Modular Verification Is Cartesian Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
ICTAC, 2006, pp:183-197 [Conf]
- Murdoch Gabbay, Aad Mathijssen
Capture-Avoiding Substitution as a Nominal Algebra. [Citation Graph (0, 0)][DBLP]
ICTAC, 2006, pp:198-212 [Conf]
- Kieu Van Hung, Do Long Van
Prime Decomposition Problem for Several Kinds of Regular Codes. [Citation Graph (0, 0)][DBLP]
ICTAC, 2006, pp:213-227 [Conf]
- Jan Supol, Borivoj Melichar
A New Approach to Determinisation Using Bit-Parallelism. [Citation Graph (0, 0)][DBLP]
ICTAC, 2006, pp:228-241 [Conf]
- Matteo Slanina, Henny B. Sipma, Zohar Manna
Proving ATL* Properties of Infinite-State Systems. [Citation Graph (0, 0)][DBLP]
ICTAC, 2006, pp:242-256 [Conf]
- Shuling Wang, Quan Long, Zongyan Qiu
Type Safety for FJ and FGJ. [Citation Graph (0, 0)][DBLP]
ICTAC, 2006, pp:257-271 [Conf]
- Steven Obua
Partizan Games in Isabelle/HOLZF. [Citation Graph (0, 0)][DBLP]
ICTAC, 2006, pp:272-286 [Conf]
- Amine Chaieb
Proof-Producing Program Analysis. [Citation Graph (0, 0)][DBLP]
ICTAC, 2006, pp:287-301 [Conf]
- Giorgio Delzanno, Roberto Montagna
Reachability Analysis of Mobile Ambients in Fragments of AC Term Rewriting. [Citation Graph (0, 0)][DBLP]
ICTAC, 2006, pp:302-316 [Conf]
- Moez Krichen, Stavros Tripakis
Interesting Properties of the Real-Time Conformance Relation. [Citation Graph (0, 0)][DBLP]
ICTAC, 2006, pp:317-331 [Conf]
- Roland Meyer, Johannes Faber, Andrey Rybalchenko
Model Checking Duration Calculus: A Practical Approach. [Citation Graph (0, 0)][DBLP]
ICTAC, 2006, pp:332-346 [Conf]
- Jan-David Quesel, Andreas Schäfer
Spatio-temporal Model Checking for Mobile Real-Time Systems. [Citation Graph (0, 0)][DBLP]
ICTAC, 2006, pp:347-361 [Conf]
- Christine Choppy, Serge Haddad, Hanna Klaudel, Fabrice Kordon, Laure Petrucci, Yann Thierry-Mieg
Tutorial on Formal Methods for Distributed and Cooperative Systems. [Citation Graph (0, 0)][DBLP]
ICTAC, 2006, pp:362-365 [Conf]
- David Déharbe, Pascal Fontaine, Silvio Ranise, Christophe Ringeissen
Decision Procedures for the Formal Analysis of Software. [Citation Graph (0, 0)][DBLP]
ICTAC, 2006, pp:366-370 [Conf]
|
