Lehrstuhl für Informatik 4 (Systemsoftware)

Vampire Bats that Cooperate in the Lab Maintain Their Social Networks in the Wild (2019) Ripperger S, Carter G, Duda N, Kölpin A, Cassens B, Josic D, Berrío-Martínez J, et al. Journal article, Original article Cocoon: Custom-fitted kernel compiled on demand (2019) Heinloth B, Ammon M, Nguyen DT, Hönig T, Sieh V, Schröder-Preikschat W Conference contribution Bloxy: Providing Transparent and Generic BFT-Based Ordering Services for Blockchains (2019) Schwarz-Rüsch S, Bleeke K, Kapitza R Conference contribution, Conference Contribution Bloxy: Providing transparent and generic BFT-based ordering services for blockchains (2019) Ruesch S, Bleeke K, Kapitza R Conference contribution Trusted computing meets blockchain: Rollback attacks and a solution for hyperledger fabric (2019) Brandenburger M, Cachin C, Sorniotti A, Kapitza R Conference contribution Protecting secrets of persistent systems with volatility (2019) Sartakov VA, Kapitza R, Kapitza R Conference contribution Worst-case energy-consumption analysis by microarchitecture-aware timing analysis for device-driven cyber-physical systems (2019) Raffeck P, Eichler C, Wägemann P, Schröder-Preikschat W Conference contribution Asynchronous Abstract Machines: Anti-noise System Software for Many-core Processors (2019) Maier S, Hönig T, Wägemann P, Schröder-Preikschat W Conference contribution Combining Automated Measurement-Based Cost Modeling With Static Worst-Case Execution-Time and Energy-Consumption Analyses (2019) Sieh V, Burlacu R, Hönig T, Janker H, Raffeck P, Wägemann P, Schröder-Preikschat W Journal article GenEE: A Benchmark Generator for Static Analysis Tools of Energy-Constrained Cyber-Physical Systems (2019) Eichler C, Wägemann P, Schröder-Preikschat W Conference contribution