| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
An Inductive Technique for Parameterised Model Checking of Degenerative Distributed Randomised Protocols
|
Graham, Douglas
|
|
2009
|
250 |
1 |
p. 87-103
17 p.
|
artikel
|
| 2 |
A Semantic Condition for Data Independence and Applications in Hardware Verification
|
Benalycherif, Lyes
|
|
2009
|
250 |
1 |
p. 39-54
16 p.
|
artikel
|
| 3 |
Automated Security Verification for Crypto Protocol Implementations: Verifying the Jessie Project
|
Jürjens, Jan
|
|
2009
|
250 |
1 |
p. 123-136
14 p.
|
artikel
|
| 4 |
Compositional Failure-based Equivalence of Constraint Automata
|
Izadi, Mohammad
|
|
2009
|
250 |
1 |
p. 105-122
18 p.
|
artikel
|
| 5 |
Compositional Model Checking of product-form CTMCs
|
Ballarini, Paolo
|
|
2009
|
250 |
1 |
p. 21-37
17 p.
|
artikel
|
| 6 |
Counter Abstraction in the CSP/FDR setting
|
Mazur, Tomasz
|
|
2009
|
250 |
1 |
p. 171-186
16 p.
|
artikel
|
| 7 |
Improving Translation of Live Sequence Charts to Temporal Logic
|
Kumar, Rahul
|
|
2009
|
250 |
1 |
p. 137-152
16 p.
|
artikel
|
| 8 |
Isabelle Theories for Machine Words
|
Dawson, Jeremy
|
|
2009
|
250 |
1 |
p. 55-70
16 p.
|
artikel
|
| 9 |
On CSP Refinement Tests That Run Multiple Copies of a Process
|
Lowe, Gavin
|
|
2009
|
250 |
1 |
p. 153-170
18 p.
|
artikel
|
| 10 |
On the Complexity of Semantic Self-minimization
|
Antonik, Adam
|
|
2009
|
250 |
1 |
p. 3-19
17 p.
|
artikel
|
| 11 |
Preface
|
Goldsmith, Michael
|
|
2009
|
250 |
1 |
p. 1-2
2 p.
|
artikel
|
| 12 |
Refinement Sensitive Formal Semantics of State Machines With Persistent Choice
|
Fecher, Harald
|
|
2009
|
250 |
1 |
p. 71-86
16 p.
|
artikel
|
Tijdschrift beschrijving