Author of the publication

High Availability and Scalability Support for Web Applications.

, , and . SAINT, page 5. IEEE Computer Society, (2007)

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

Reactive and Adaptive Security Monitoring in Cloud Computing., , and . FAS*W@SASO/ICAC, page 5-7. IEEE, (2018)Fighting N-day vulnerabilities with automated CVSS vector prediction at disclosure., , and . ARES, page 26:1-26:10. ACM, (2020)Tame Your Annotations with MetAcsl: Specifying, Testing and Proving High-Level Properties., , , , and . TAP, volume 11823 of Lecture Notes in Computer Science, page 167-185. Springer, (2019)MetAcsl: Specification and Verification of High-Level Properties., , , , and . CoRR, (2018)Vigne: Towards a Self-healing Grid Operating System.. Euro-Par, volume 4128 of Lecture Notes in Computer Science, page 437-447. Springer, (2006)Towards Enforcement of the EU GDPR: Enabling Data Erasure., , , and . iThings/GreenCom/CPSCom/SmartData, page 222-229. IEEE, (2018)Blockchain as a Trusted Component in Cloud SLA Verification., , , and . UCC Companion, page 93-100. ACM, (2019)Simulating the Network Environment of Sandboxes to Hide Virtual Machine Introspection Pauses., , , and . EuroSec@EUROSYS, page 1-7. ACM, (2024)MetAcsl: Specification and Verification of High-Level Properties., , , , and . TACAS (1), volume 11427 of Lecture Notes in Computer Science, page 358-364. Springer, (2019)Methodology for Specification and Verification of High-Level Requirements with MetAcsl., , , , and . FormaliSE@ICSE, page 54-67. IEEE, (2021)