| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
About Fast and TReX Accelerations
|
Darlot, Christophe
|
|
2005
|
128 |
6 |
p. 87-103
17 p.
|
article
|
| 2 |
A Generic Cost Model for Concurrent and Data-parallel Meta-computing
|
Merlin, Armelle
|
|
2005
|
128 |
6 |
p. 3-19
17 p.
|
article
|
| 3 |
Combining the Box Structure Development Method and CSP for Software Development
|
Hopcroft, Philippa J.
|
|
2005
|
128 |
6 |
p. 127-144
18 p.
|
article
|
| 4 |
CTL-Property Transformations Along an Incremental Design Process
|
Braunstein, Cécile
|
|
2005
|
128 |
6 |
p. 263-278
16 p.
|
article
|
| 5 |
Efficient Model Checking of Hardware Using Conditioned Slicing
|
Vasudevan, Shobha
|
|
2005
|
128 |
6 |
p. 279-294
16 p.
|
article
|
| 6 |
Finding Extremal Models of Discrete Duration Calculus formulae using Symbolic Search
|
Pandya, Paritosh K.
|
|
2005
|
128 |
6 |
p. 247-262
16 p.
|
article
|
| 7 |
Finding Symmetry in Models of Concurrent Systems by Static Channel Diagram Analysis
|
Donaldson, Alastair F.
|
|
2005
|
128 |
6 |
p. 161-177
17 p.
|
article
|
| 8 |
Formal Verification of the NASA Runway Safety Monitor
|
Siminiceanu, Radu I.
|
|
2005
|
128 |
6 |
p. 179-194
16 p.
|
article
|
| 9 |
Games for Counting Abstractions
|
Raskin, J.-F.
|
|
2005
|
128 |
6 |
p. 69-85
17 p.
|
article
|
| 10 |
Model Checking Functional and Performability Properties of Stochastic Fluid Models
|
Gribaudo, Marco
|
|
2005
|
128 |
6 |
p. 295-310
16 p.
|
article
|
| 11 |
Model-checking the Preservation of Temporal Properties upon Feature Integration
|
Guelev, Dimitar P.
|
|
2005
|
128 |
6 |
p. 311-324
14 p.
|
article
|
| 12 |
Preface
|
Huth, Michael R.A.
|
|
2005
|
128 |
6 |
p. 1-2
2 p.
|
article
|
| 13 |
Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC
|
Duflot, Marie
|
|
2005
|
128 |
6 |
p. 195-214
20 p.
|
article
|
| 14 |
Regularity Results for FIFO Channels
|
Klarlund, Nils
|
|
2005
|
128 |
6 |
p. 21-36
16 p.
|
article
|
| 15 |
Simplifying Itai-Rodeh Leader Election for Anonymous Rings
|
Fokkink, Wan
|
|
2005
|
128 |
6 |
p. 53-68
16 p.
|
article
|
| 16 |
Software Model Checking Based on Game Semantics and CSP
|
Dimovski, Aleksandar
|
|
2005
|
128 |
6 |
p. 105-125
21 p.
|
article
|
| 17 |
Structural Translation from Time Petri Nets to Timed Automata
|
Cassez, Franck
|
|
2005
|
128 |
6 |
p. 145-160
16 p.
|
article
|
| 18 |
Towards a Small Model Theorem for Data Independent Systems in Alloy
|
Momtahan, Lee
|
|
2005
|
128 |
6 |
p. 37-52
16 p.
|
article
|
| 19 |
Towards a Unifying CSP approach to Hierarchical Verification of Asynchronous Hardware
|
Wang, X.
|
|
2005
|
128 |
6 |
p. 231-246
16 p.
|
article
|
| 20 |
Truly Concurrent Logic via In-Between Specification
|
Fecher, Harald
|
|
2005
|
128 |
6 |
p. 215-230
16 p.
|
article
|
Journal description