Author of the publication

The PreCertification Kit for Operating Systems in Safety Domains.

, , , and . WOSOCER, page 19-24. IEEE Computer Society, (2011)

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

The PreCertification Kit for Operating Systems in Safety Domains., , , and . WOSOCER, page 19-24. IEEE Computer Society, (2011)Characterizing Aging Phenomena of the Java Virtual Machine., , and . SRDS, page 127-136. IEEE Computer Society, (2007)Reliable publish/subscribe middleware for time-sensitive internet-scale applications., , and . DEBS, ACM, (2009)Cost-Benefit Analysis of Virtualizing Batch Systems: Performance-Energy-Dependability Trade-Offs., , , and . UCC, page 264-268. IEEE Computer Society, (2013)Automated Logging of Mobile Phones Failures Data., , and . ISORC, page 520-530. IEEE Computer Society, (2006)A Service Differentiation Scheme for the End-System., , and . IDMS, volume 2158 of Lecture Notes in Computer Science, page 99-109. Springer, (2001)Chapter 1: Software Aging and Rejuvenation: A Genesis - Extended Abstract., , , and . ISSRE Workshops, page 319-320. IEEE, (2020)Analyzing the Context of Bug-Fixing Changes in the OpenStack Cloud Computing Platform., , , , , and . ISSRE, page 334-345. IEEE, (2019)How bad can a bug get? an empirical analysis of software failures in the OpenStack cloud computing platform., , , , and . ESEC/SIGSOFT FSE, page 200-211. ACM, (2019)No PAIN, no gain? the utility of parallel fault injections., , , , and . Software Engineering, volume P-252 of LNI, page 45-46. GI, (2016)