Publications

Publications for Anne Remke

2017

[bibtex]
Jannik Hüls, Stefan Schupp, Anne Remke, Erika Abraham. Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro. Proc. of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS'17), , 2017.
2014
Link
[bibtex]
Erika Abraham, Alberto Avritzer, Anne Remke, William H. Sanders editors. Randomized Timed and Hybrid Models for Critical Infrastructures (Dagstuhl Seminar 14031). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Volume 4 of Dagstuhl Reports, 2014.
2011
Download
[bibtex]
Daniel Klink, Anne Remke, Boudewijn R. Haverkort, Joost-Pieter Katoen. Time-Bounded Reachability in Tree-Structured QBDs by Abstraction. Performance Evaluation 68(2), pages 105–125, 2011.
2009
Download
[bibtex]
Daniel Klink, Anne Remke, Boudewijn R. Haverkort, Joost-Pieter Katoen. Time-Bounded Reachability in Tree-Structured QBDs by Abstraction. Quantitative Evaluation of Systems (QEST), pages 133–142, IEEE CS Press, 2009.