Author of the publication

Scalable Reliability Analysis by Lazy Verification.

, , , and . NFM, volume 12673 of Lecture Notes in Computer Science, page 180-197. Springer, (2021)

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

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)Applying Multi-Criteria Decision-Making for the Selection of Big Data Technologies., , , and . AMCIS, Association for Information Systems, (2021)Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees., , , , and . LADC, page 1-10. IEEE, (2021)Towards the Creation of a Holistic Video Analytics Platform for Retail Environments., , , , , , and . ICSBT, page 216-225. SCITEPRESS, (2023)Adapting the (Big) Data Science Engineering Process to the Application of Test Driven Development., , and . ICSBT, page 120-129. SCITEPRESS, (2022)Following the Digital Thread - A Cloud-Based Observation., , , , , , , , and . ISM, volume 217 of Procedia Computer Science, page 1867-1876. Elsevier, (2023)A Preliminary Overview of the Situation in Big Data Testing., , , , , , and . IoTBDS, page 296-302. SCITEPRESS, (2021)Towards the Application of Test Driven Development in Big Data Engineering., , , and . ICIT, page 163-167. IEEE, (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)