EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Author: Hartmanns, A.
Home Policy Brochure Browse Search User Area Contact Help

2016

D'Argenio, P.R. and Hartmanns, A. and Legay, A. and Sedwards, S. (2016) Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata. In: Proceedings of the 12th International Conference on Integrated Formal Methods (IFM 2016), 1-5 June 2016, Reykjavík, Iceland. pp. 99-114. Lecture Notes in Computer Science 9681. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-33692-3
Hahn, E. M. and Hartmanns, A. (2016) A Comparison of Time- and Reward-Bounded Probabilistic Model Checking Techniques. In: Proceedings of the Second International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA 2016), 09-11 Nov 2016, Beijing, China. pp. 85-100. Lecture Notes in Computer Science 9984. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-47676-6
Hartmanns, A. and Hermanns, H. and Bungert, M. (2016) Flexible support for time and costs in scenario-aware dataflow. In: Proceedings of the 13th International Conference on Embedded Software (EMSOFT 2016), 01-07 Oct 2016, Pittsburgh, Pennsylvania, USA. 3. ACM. ISBN 978-1-4503-4485-2
Hartmanns, A. and Hermanns, H. and Krčál, J. (2016) Schedulers are no Prophets. In: Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays, 8 Jan 2016, Kongens Lyngby, Denmark. pp. 214-235. Lecture Notes in Computer Science 9560. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-27809-4

2015

van den Berg, F.G.B. and Hooman, Jozef and Hartmanns, A. and Haverkort, B.R.H.M. and Remke, A.K.I. (2015) Computing Response Time Distributions Using Iterative Probabilistic Model Checking. In: Proceedings of the 12th European Workshop on Computer Performance Engineering, EPEW 2015, 31 Aug - 1 Sep 2015, Madrid, Spain. pp. 208-224. Lecture notes in computer science 9272. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-23266-9
Hartmanns, A. and Timmer, M. (2015) Sound statistical model checking for MDP using partial order and confluence reduction. International Journal on Software Tools for Technology Transfer, 17 (4). pp. 429-456. ISSN 1433-2779

2013

Hartmanns, A. and Timmer, M. (2013) On-the-fly confluence detection for statistical model checking (extended version). Technical Report TR-CTIT-13-04, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Hartmanns, A. and Timmer, M. (2013) On-the-fly confluence detection for statistical model checking. In: Proceedings of the 11th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2013), 23-24 Mar 2013, Rome, Italy. 19. University of Trieste. ISBN not assigned
Hartmanns, A. and Timmer, M. (2013) On-the-Fly Confluence Detection for Statistical Model Checking. In: Proceedings of the 5th International Symposium on NASA Formal Methods (NFM 2013), 14-16 May 2013, Moffett Field, CA, USA. pp. 337-351. Lecture Notes in Computer Science 7871. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-38087-7