2012
Scalable Stochastic Modelling for Resilience.
Proceedings of the Resilience Assessment and Evaluation of Computing Systems, 2012
2011
Mean-field framework for performance evaluation of push-pull gossip protocols.
Perform. Evaluation, 2011
2010
Performability assessment by model checking of Markov reward models.
Formal Methods Syst. Des., 2010
2009
Mean-Field Analysis for the Evaluation of Gossip Protocols.
Proceedings of the QEST 2009, 2009
2008
MeanField analysis for the evaluation of gossip protocols.
SIGMETRICS Perform. Evaluation Rev., 2008
The Performability Tool P'ility.
Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008
Quantitative Evaluation in Embedded System Design: Predicting Battery Lifetime in Mobile Devices.
Proceedings of the Design, Automation and Test in Europe, 2008
Bottleneck Analysis for Two-Hop IEEE 802.11e Ad Hoc Networks.
Proceedings of the Analytical and Stochastic Modeling Techniques and Applications, 2008
2007
Model Checking Markov Chains with Actions and State Labels.
IEEE Trans. Software Eng., 2007
CSL model checking algorithms for QBDs.
Theor. Comput. Sci., 2007
Computing Battery Lifetime Distributions.
Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007
07101 Working Group Report -- Performance Measures Other Than Time.
Proceedings of the Quantitative Aspects of Embedded Systems, 04.03. - 09.03.2007, 2007
2006
Model checking algorithms for Markov reward models.
PhD thesis, 2006
A versatile infinite-state Markov reward model to study bottlenecks in 2-hop ad hoc networks.
Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006
2005
Model Checking Infinite-State Markov Chains.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005
Model Checking for Survivability.
Proceedings of the Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 2005
Model Checking Markov Reward Models with Impulse Rewards.
Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005
2004
Model Checking Action- and State-Labelled Markov Chains.
Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004
2002
Model Checking Performability Properties.
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002
2001
Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes.
Proceedings of the Process Algebra and Probabilistic Methods, 2001