| 2008 |
|---|
| 6 | EE | Anne Remke,
Boudewijn R. Haverkort,
Geert J. Heijenk,
Lucia Cloth:
Bottleneck Analysis for Two-Hop IEEE 802.11e Ad Hoc Networks.
ASMTA 2008: 279-294 |
| 5 | EE | Anne Remke,
Boudewijn R. Haverkort:
A Uniformization-Based Algorithm for Model Checking the CSL Until Operator on Labeled Queueing Networks.
FORMATS 2008: 188-202 |
| 2007 |
|---|
| 4 | EE | Anne Remke,
Boudewijn R. Haverkort:
CSL Model Checking Algorithms for Infinite-State Structured Markov Chains.
FORMATS 2007: 336-351 |
| 3 | EE | Anne Remke,
Boudewijn R. Haverkort,
Lucia Cloth:
CSL model checking algorithms for QBDs.
Theor. Comput. Sci. 382(1): 24-41 (2007) |
| 2006 |
|---|
| 2 | EE | Anne Remke,
Boudewijn R. Haverkort,
Lucia Cloth:
A versatile infinite-state Markov reward model to study bottlenecks in 2-hop ad hoc networks.
QEST 2006: 63-72 |
| 2005 |
|---|
| 1 | EE | Anne Remke,
Boudewijn R. Haverkort,
Lucia Cloth:
Model Checking Infinite-State Markov Chains.
TACAS 2005: 237-252 |
