Author of the publication

Sampling-Based Verification of CTMCs with Uncertain Rates.

, , , , and . CAV (2), volume 13372 of Lecture Notes in Computer Science, page 26-47. Springer, (2022)

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

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)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)How much is Big Data? A Classification Framework for IT Projects and Technologies., , , and . AMCIS, Association for Information Systems, (2016)Classifying Big Data Taxonomies: A Systematic Literature Review., , , , , , , , and . IoTBDS, page 267-278. SCITEPRESS, (2020)Adapting the (Big) Data Science Engineering Process to the Application of Test Driven Development., , and . ICSBT, page 120-129. SCITEPRESS, (2022)Towards the Creation of a Holistic Video Analytics Platform for Retail Environments., , , , , , and . ICSBT, page 216-225. SCITEPRESS, (2023)Applying Multi-Criteria Decision-Making for the Selection of Big Data Technologies., , , and . AMCIS, Association for Information Systems, (2021)Following the Digital Thread - A Cloud-Based Observation., , , , , , , , and . ISM, volume 217 of Procedia Computer Science, page 1867-1876. Elsevier, (2023)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)