Volume 250, Number 1, September 2009
- Michael Goldsmith, Bill Roscoe:
Preface.
1-2
- Adam Antonik, Michael Huth:
On the Complexity of Semantic Self-minimization.
3-19
- Paolo Ballarini, András Horváth:
Compositional Model Checking of product-form CTMCs.
21-37
- Lyes Benalycherif, Anthony McIsaac:
A Semantic Condition for Data Independence and Applications in Hardware Verification.
39-54
- Jeremy Dawson:
Isabelle Theories for Machine Words.
55-70
- Harald Fecher, Michael Huth, Heiko Schmidt, Jens Schönborn:
Refinement Sensitive Formal Semantics of State Machines With Persistent Choice.
71-86
- Douglas Graham, Muffy Calder, Alice Miller:
An Inductive Technique for Parameterised Model Checking of Degenerative Distributed Randomised Protocols.
87-103
- Mohammad Izadi, Ali Movaghar:
Compositional Failure-based Equivalence of Constraint Automata.
105-122
- Jan Jürjens:
Automated Security Verification for Crypto Protocol Implementations: Verifying the Jessie Project.
123-136
- Rahul Kumar, Eric G. Mercer, Annette Bunker:
Improving Translation of Live Sequence Charts to Temporal Logic.
137-152
- Gavin Lowe:
On CSP Refinement Tests That Run Multiple Copies of a Process.
153-170
- Tomasz Mazur, Gavin Lowe:
Counter Abstraction in the CSP/FDR setting.
171-186
Volume 250, Number 2, September 2009
- Alice Miller, Muffy Calder:
Preface.
1-2
- Alastair F. Donaldson:
Vector Symmetry Reduction.
3-18
- Karim Kanso, Faron Moller, Anton Setzer:
Automated Verification of Signalling Principles in Railway Interlocking Systems.
19-31
- Rahul Kumar, Eric G. Mercer:
Verifying Communication Protocols Using Live Sequence Chart Specifications.
33-48
- Toby C. Murray, Gavin Lowe:
On Refinement-Closed Security Properties and Nondeterministic Compositions.
49-68
- Liam O'Reilly, Markus Roggenbach, Yoshinao Isobe:
CSP-CASL-Prover: A Generic Tool for Process and Data Refinement.
69-84
- Silvio Ghilardi, Silvio Ranise, Thomas Valsecchi:
Light-Weight SMT-based Model Checking.
85-102
- Shamim Ripon, Michael J. Butler:
PVS Embedding of cCSP Semantic Models and Their Relationship.
103-118
- D. Gift Samuel, Markus Roggenbach, Yoshinao Isobe:
The Stable Revivals Model in CSP-Prover.
119-134
- Heike Wehrheim, Daniel Wonisch:
Compositional CSP Traces Refinement Checking.
135-151
Last update Sat May 25 20:07:42 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
