Haeberlen, A.; Kuznetsov, P.: The fault detection problem. MPI for Software Systems, Saarbrücken (2009), 20 pp.

Marcon, M.; Dischinger, M.; Gummadi, K. P.; Vahdat, A.: The local and global effects of traffic shaping. Max Planck Institute for Software Systems, Saarbrücken (2009), 40 pp.

Nandi, A.; Bhattacharjee, B.; Druschel, P.: Understanding the design tradeoffs for cooperative streaming multicast. Max Planck Institute for Software Systems, Saarbrücken (2009), 17 pp.

Sound and Complete Proof Rules for Probabilistic Termination.

Reward Model Learning vs. Direct Policy Optimization: A Comparative Analysis of Learning from Human Preferences.

Brandenburg, B.: Liu and Layland and Linux: A Blueprint for "Proper" Real-Time Tasks, SIGBED Blog, (2020)

Santos, N.; Mislove, A.; Dischinger, M.; Gummadi, K.: Anonymity in the Personalized Web, (2008)