| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
Asymptotic Behavior and Performance Constraints of Replication Policies
|
Cerotti, Davide
|
|
2015
|
310 |
C |
p. 49-63
15 p.
|
article
|
| 2 |
Energy-efficient Checkpointing in High-throughput Cycle-stealing Distributed Systems
|
Forshaw, Matthew
|
|
2015
|
310 |
C |
p. 65-90
26 p.
|
article
|
| 3 |
Exploiting Bayesian Networks for the Analysis of Combined Attack Trees
|
Gribaudo, Marco
|
|
2015
|
310 |
C |
p. 91-111
21 p.
|
article
|
| 4 |
Finding Optimal Timetables for Edinburgh Bus Routes
|
Vissat, Ludovica Luisa
|
|
2015
|
310 |
C |
p. 179-199
21 p.
|
article
|
| 5 |
Fluid Performability Analysis of Nested Automata Models
|
Bortolussi, Luca
|
|
2015
|
310 |
C |
p. 27-47
21 p.
|
article
|
| 6 |
Model-based Evaluation of Scalability and Security Tradeoffs: a Case Study on a Multi-Service Platform
|
Montecchi, Leonardo
|
|
2015
|
310 |
C |
p. 113-133
21 p.
|
article
|
| 7 |
Obtaining Optimal Thresholds for Processors with Speed-Scaling
|
Polansky, Ronny J.
|
|
2015
|
310 |
C |
p. 135-155
21 p.
|
article
|
| 8 |
Patch-based Modelling of City-centre Bus Movement with Phase-type Distributions
|
Reijsbergen, Daniël
|
|
2015
|
310 |
C |
p. 157-177
21 p.
|
article
|
| 9 |
Preface
|
Bradley, Jeremy
|
|
2015
|
310 |
C |
p. 1-3
3 p.
|
article
|
| 10 |
Survivability Evaluation of Gas, Water and Electricity Infrastructures
|
Avritzer, Alberto
|
|
2015
|
310 |
C |
p. 5-25
21 p.
|
article
|
Journal description