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

A Stochastic Model-Based Approach to Online Event Prediction and Response Scheduling., , , , and . EPEW, volume 9951 of Lecture Notes in Computer Science, page 32-47. Springer, (2016)Rare Event Simulation for non-Markovian repairable Fault Trees., , , , and . CoRR, (2019)Rare Event Simulation for Non-Markovian Repairable Fault Trees., , , , and . TACAS (1), volume 12078 of Lecture Notes in Computer Science, page 463-482. Springer, (2020)Exploiting Non-deterministic Analysis in the Integration of Transient Solution Techniques for Markov Regenerative Processes., , , , and . QEST, volume 10503 of Lecture Notes in Computer Science, page 20-35. Springer, (2017)Hospital Inventory Management Through Markov Decision Processes @runtime., , , and . QEST, volume 11024 of Lecture Notes in Computer Science, page 87-103. Springer, (2018)An Inspection-Based Compositional Approach to the Quantitative Evaluation of Assembly Lines., , , , and . EPEW, volume 10497 of Lecture Notes in Computer Science, page 152-166. Springer, (2017)A Continuous-Time Model-Based Approach for Activity Recognition in Pervasive Environments., , , , and . IEEE Trans. Hum. Mach. Syst., 49 (4): 293-303 (2019)Evaluation of stochastic bounds on the remaining completion time of products in a buffered sequential workflow., , , and . ETFA, page 456-463. IEEE, (2018)The ORIS Tool: Quantitative Evaluation of Non-Markovian Systems, , , and . IEEE Transactions on Software Engineering, 47 (6): 1211-1225 (June 2021)Model-Based Quantitative Evaluation of Repair Procedures in Gas Distribution Networks., , , and . ACM Trans. Cyber Phys. Syst., 3 (2): 19:1-19:26 (2019)