activity
20122023
most citedChiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code

5 citations · 10 across the 6 of their papers we have counts for

collaborators

6 papers

cs.OS2023

CoRD: Converged RDMA Dataplane for High-Performance Clouds

Maksym Planeta, Jan Bierbaum, Michael Roitzsch +1

High-performance networking is often characterized by kernel bypass which is considered mandatory in high-performance parallel and distributed applications. But kernel bypass comes…

cs.CR2022★ 2 cited

A Case for Practical Configuration Management Using Hardware-based Security Tokens

Tim Lackorzynski, Max Ostermann, Stefan Köpsell +1

Future industrial networks will consist of a complex mixture of new and legacy components, while new use cases and applications envisioned by Industry 4.0 will demand increased fle…

cs.CR2022

Secure and Efficient Tunneling of MACsec for Modern Industrial Use Cases

Tim Lackorzynski, Sebastian Rehms, Tao Li +2

Trends like Industry 4.0 will pose new challenges for future industrial networks. Greater interconnectedness, higher data volumes as well as new requirements for speeds as well as…

cs.OS2020★ 2 cited

MigrOS: Transparent Operating Systems Live Migration Support for Containerised RDMA-applications

Maksym Planeta, Jan Bierbaum, Leo Sahaya Daphne Antony +2

Major data centre providers are introducing RDMA-based networks for their tenants, as well as for operating the underlying infrastructure. In comparison to traditional socket-based…

cs.DC2014★ 1 cited

Resource-Aware Replication on Heterogeneous Multicores: Challenges and Opportunities

Björn Döbel, Robert Muschner, Hermann Härtig

Decreasing hardware feature sizes and increasing heterogeneity in multicore hardware require software that can adapt to these platforms' properties. We implemented ROMAIN, an OS se…

cs.LO2012★ 5 cited

Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code

Christel Baier, Marcus Daum, Benjamin Engel +6

Reliability in terms of functional properties from the safety-liveness spectrum is an indispensable requirement of low-level operating-system (OS) code. However, with evermore comp…