Volume 135,
Number 1,
5 July 2005
Proceedings of the Second Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA 2005)
- Pierpaolo Degano, Luca Viganò:
Preface.
1-2
- Carlos Caleiro, Luca Viganò, David A. Basin:
Deconstructing Alice and Bob.
3-22
- Cas J. F. Cremers, Sjouke Mauw, Erik P. de Vink:
A Syntactic Criterion for Injectivity of Authentication Protocols.
23-38
- Deepak D'Souza, K. R. Raghavendra, Barbara Sprick:
An Automata Based Approach for Verifying Information Flow Properties.
39-58
- Alexey Gotsman, Fabio Massacci, Marco Pistore:
Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language.
59-77
- Kenji Imamoto, Kouichi Sakurai:
Design and Analysis of Diffie-Hellman-Based Key Exchange Using One-time ID by SVO Logic.
79-94
- Monica Nesi, Giuseppina Rucci:
Formalizing and Analyzing the Needham-Schroeder Symmetric-Key Protocol by Rewriting.
95-114
- Christoffer Rosenkilde Nielsen, Esben Heltoft Andersen, Hanne Riis Nielson:
Static Validation of a Voting Protocol.
115-134
Volume 135,
Number 2,
20 February 2006
Proceedings of the 4th International Workshop on Parallel and Distributed Methods in Verification (PDMC 2005)
- Martin Leucker, Jaco van de Pol:
Preface.
1-2
- Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa:
How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors.
3-18
- Guillaume Guirado, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet:
Distribution, Approximation and Probabilistic Model Checking.
19-30
- Subramanian K. Iyer, Jawahar Jain, Debashis Sahoo, E. Allen Emerson:
Under-approximation Heuristics for Grid-based Bounded Model Checking.
31-46
- Pradeep Kumar Nalla, Roland J. Weiss, Prakash Mohan Peranandam, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel:
Distributed Symbolic Bounded Property Checking.
47-63
- Ming-Ying Chung, Gianfranco Ciardo:
A Pattern Recognition Approach for Speculative Firing Prediction in Distributed Saturation State-Space Generation.
65-80
Volume 135,
Number 3,
3 March 2006
Proceedings of the First International Workshop on Developments in Computational Models (DCM 2005)
- Maribel Fernández, Ian Mackie:
Preface.
1-2
- Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac:
A Generalized Higher-Order Chemical Computation Model.
3-13
- Udi Boker, Nachum Dershowitz:
Abstract Effective Models.
15-23
- Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky:
On Reversible Combinatory Logic.
25-35
- Sophia Drossopoulou, Alexis Petrounias, Alex Buckley, Susan Eisenbach:
SCHOOL: a Small Chorded Object-Oriented Language.
37-47
- Sonia Fagorzi, Elena Zucca:
A Calculus for Reconfiguration: (Extended abstract).
49-59
- Pablo Garralda, Adriana B. Compagnoni:
Splitting Mobility and Communication in Boxed Ambients.
61-71
- Furio Honsell, Marina Lenisa, Rekha Redamalla:
Coalgebraic Description of Generalized Binary Methods.
73-84
- Luigi Liquori:
iRho: the Software: [System Description].
85-94
- Florin Manea, Carlos Martín-Vide, Victor Mitrana:
A Universal Accepting Hybrid Network of Evolutionary Processors.
95-105
- Antonio Cosentino, Marco Pedicini, Francesco Quaglia:
Supporting Function Calls within PELCR.
107-117
- Simon Perdrix, Philippe Jorrand:
Classically-controlled Quantum Computation.
119-128
- François-Régis Sinot:
Token-Passing Nets: Call-by-Need for Free.
129-139
- H. Xu, S. Yu:
Type Theory and Language Constructs for Objects with States.
141-151
Copyright © Mon Mar 15 04:00:57 2010
by Michael Ley (ley@uni-trier.de)
