Author of the publication

On hypothesis testing for statistical model checking.

, , , and . Int. J. Softw. Tools Technol. Transf., 17 (4): 377-395 (2015)

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

On hypothesis testing for statistical model checking., , , and . Int. J. Softw. Tools Technol. Transf., 17 (4): 377-395 (2015)LaKSA: A Probabilistic Proof-of-Stake Protocol., , , , and . NDSS, The Internet Society, (2021)Protecting the Integrity of IoT Sensor Data and Firmware With A Feather-Light Blockchain Infrastructure., , , , , and . ICBC, page 1-9. IEEE, (2022)Optimality Despite Chaos in Fee Markets., , , and . FC, volume 13951 of Lecture Notes in Computer Science, page 346-362. Springer, (2023)Decentralized Lightweight Detection of Eclipse Attacks on Bitcoin Clients., , , and . Blockchain, page 337-342. IEEE, (2020)PREStO: A Systematic Framework for Blockchain Consensus Protocols., , and . CoRR, (2019)A spatial algorithm for the analysis of transportation systems using statistical model checking., and . CoRR, (2020)Rare event simulation for highly dependable systems with fast repairs., , , and . Perform. Evaluation, 69 (7-8): 336-355 (2012)Transparent Electricity Pricing with Privacy., , , , and . ESORICS (2), volume 12973 of Lecture Notes in Computer Science, page 439-460. Springer, (2021)TAP: Transparent and Privacy-Preserving Data Services., , , , and . USENIX Security Symposium, page 6489-6506. USENIX Association, (2023)