Prof. Dr.-Ing. Rüdiger Kapitza

Lehrstuhl für Informatik 4 (Systemsoftware) Lehrstuhl für Informatik 4 (Verteilte Systeme und Betriebssysteme)

Automatic OS Kernel TCB Reduction by Leveraging Compile-Time Configurability (2012) Tartler R, Kurmus A, Heinloth B, Rothberg V, Ruprecht A, Dorneanu D, Kapitza R, et al. Conference contribution, Conference Contribution DQMP: A Decentralized Protocol to Enforce Global Quotas in Cloud Environments (2012) Behl J, Distler T, Kapitza R Conference contribution Enhancing Coordination in Cloud Infrastructures with an Extendable Coordination Service (2012) Distler T, Fischer F, Kapitza R, Ling S Conference contribution Eliminating Single Points of Failure in Software-Based Redundancy (2012) Ulbrich P, Hoffmann M, Kapitza R, Lohmann D, Schröder-Preikschat W, Schmid R Conference contribution, Original article SEEP: Exploiting Symbolic Execution for Energy-Aware Programming (2012) Hönig T, Eibel C, Kapitza R, Schröder-Preikschat W Book chapter / Article in edited volumes Providing Fault-tolerant Execution of Web-service-based Workflows within Clouds (2012) Behl J, Distler T, Heisig F, Kapitza R, Schunter M Conference contribution ProSEEP: A Proactive Approach to Energy-Aware Programming (2012) Hönig T, Kapitza R, Schröder-Preikschat W Conference contribution FAIL*: Towards a Versatile Fault-Injection Experiment Framework (2012) Schirmeier H, Hoffmann M, Kapitza R, Lohmann D, Spinczyk O Conference contribution CheapBFT: Resource-efficient Byzantine Fault Tolerance (2012) Kapitza R, Behl J, Cachin C, Distler T, Kuhnle S, Mohammadi SV, Schröder-Preikschat W, Stengel K Conference contribution Attack surface reduction for commodity OS kernels: Trimmed garden plants may attract less bugs (2011) Kurmus A, Sorniotti A, Kapitza R Conference contribution