Author of the publication

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

Execution synthesis: a technique for automated software debugging., and . EuroSys, page 321-334. ACM, (2010)A Microrebootable System - Design, Implementation, and Evaluation., , , , and . CoRR, (2004)Predictable Software - A Shortcut to Dependable Computing?. CoRR, (2004)Discover deeper bugs with dynamic symbolic execution and coverage-based fuzz testing., , , , , and . IET Softw., 12 (6): 507-519 (2018)Combining Visualization and Statistical Analysis to Improve Operator Confidence and Efficiency for Failure Detection and Localization., , , , , , , , , and 1 other author(s). ICAC, page 89-100. IEEE Computer Society, (2005)Safe Low-Level Code Without Overhead is Practical., and . ICSE, page 2173-2184. IEEE, (2023)S2E: a platform for in-vivo multi-path analysis of software systems., , and . ASPLOS, page 265-278. ACM, (2011)Workshop on Hot Topics in System Depend - Workshop Abstract., and . DSN, page 826-827. IEEE Computer Society, (2005)Reducing Recovery Time in a Small Recursively Restartable System., , , , , and . DSN, page 605-614. IEEE Computer Society, (2002)Exterminating bugs via collective information recycling.. DSN Workshops, page 200-204. IEEE Computer Society, (2011)