Author of the publication

Accelerating Parametric Probabilistic Verification.

, , , , , , and . QEST, volume 8657 of Lecture Notes in Computer Science, page 404-420. Springer, (2014)

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

How much is Big Data? A Classification Framework for IT Projects and Technologies., , , and . AMCIS, Association for Information Systems, (2016)Advancing Dynamic Fault Tree Analysis., , and . CoRR, (2016)Classifying Big Data Taxonomies: A Systematic Literature Review., , , , , , , , and . IoTBDS, page 267-278. SCITEPRESS, (2020)An Inventory-Based Mobile Application for Warehouse Management to Digitize Very Small Enterprises., , , , , and . BIS (2), volume 354 of Lecture Notes in Business Information Processing, page 257-268. Springer, (2019)The probabilistic model checker Storm., , , , and . Int. J. Softw. Tools Technol. Transf., 24 (4): 589-610 (2022)Examining the Interplay Between Big Data and Microservices - A Bibliometric Review., , , , and . Complex Syst. Informatics Model. Q., (2021)Discussing Relations Between Dynamic Business Environments and Big Data Analytics., , , and . Complex Syst. Informatics Model. Q., (2020)Safety analysis for vehicle guidance systems with dynamic fault trees., , , , and . Reliab. Eng. Syst. Saf., (2019)Optimal Spare Management via Statistical Model Checking: A Case Study in Research Reactors., , , , and . FMICS, volume 14290 of Lecture Notes in Computer Science, page 205-223. Springer, (2023)Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees., , , , and . LADC, page 1-10. IEEE, (2021)