Author of the publication

Automated Reliability Prediction from Formal Architectural Descriptions.

, , and . WICSA/ECSA, page 302-309. IEEE, (2012)

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

Toward dependability benchmarking of partitioning operating systems., , , and . DSN, page 422-429. IEEE Compute Society, (2011)Implementation of a Flexible Membership Protocol on a Real-Time Ethernet Prototype., , and . PRDC, page 342-347. IEEE Computer Society, (2007)Improving self-adaptation planning through software architecture-based stochastic modeling., , , , , and . Journal of Systems and Software, (2016)A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence., , , , , and . SAFECOMP Workshops, volume 11699 of Lecture Notes in Computer Science, page 391-397. Springer, (2019)On the Emulation of Vulnerabilities through Software Fault Injection., , , and . EDCC, page 73-78. IEEE Computer Society, (2017)Practical Emulation of Software Defects in Source Code., , and . EDCC, page 130-140. IEEE Computer Society, (2016)Recovery for Virtualized Environments., , , and . EDCC, page 25-36. IEEE Computer Society, (2015)Automated Reliability Prediction from Formal Architectural Descriptions., , and . WICSA/ECSA, page 302-309. IEEE, (2012)A layered framework for root cause diagnosis of microservices., , , , , , , , and . NCA, page 1-8. IEEE, (2021)Shared Data from a Study of Measurement Uncertainty in Fault Injection., , and . ICDCS Workshops, page 284-285. IEEE Computer Society, (2010)