Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Which battery model to use?, and . IET Softw., 3 (6): 445-457 (2009)Performance and Dependability Evaluation: Successes, Failures and Challenges.. EPEW, volume 5261 of Lecture Notes in Computer Science, page 1. Springer, (2008)Approximate Analysis of Networks of PH|PH|1|K Queues: Theory & Tool Support.. MMB, volume 977 of Lecture Notes in Computer Science, page 239-253. Springer, (1995)Techniques and Tools for Reliability and Performance Evaluation: Problems and Perspectives., , , and . Computer Performance Evaluation, volume 794 of Lecture Notes in Computer Science, page 1-24. Springer, (1994)Analysis of a sewage treatment facility using hybrid Petri nets., , and . VALUETOOLS, page 165-174. ICST/ACM, (2013)Specification techniques for Markov reward models., and . Discrete Event Dynamic Systems, 3 (2-3): 219-247 (1993)Performability Modelling Tools, Evaluation Techniques and Applications.. University of Twente, Enschede, Netherlands, (1990)base-search.net (ftunivtweneemcs:oai:ewi.utwente.nl:7865).Rare event simulation for highly dependable systems with fast repairs., , , and . Perform. Evaluation, 69 (7-8): 336-355 (2012)Performability modelling tools, evaluation techniques, and applications.. University Twente, (1991)In Search of Probability Mass: Probabilistic Evaluation of High-Level Specified Markov Models.. Comput. J., 38 (7): 521-529 (1995)