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 |