Report (27)
1401.
Report
Autonomous storage management for personal devices with PodBase. Max Planck Institute for Software Systems, Saarbrücken (2011), 20 pp.
1402.
Report
Excalibur: Building Trustworthy Cloud Services. Max Planck Institute for Software Systems, Saarbrücken (2011), 15 pp.
1403.
Report
Privad: Rearchitecting online advertising for privacy. Max Planck Institute for Software Systems, Kaiserlautern (2009), 30 pp.
1404.
Report
The fault detection problem. MPI for Software Systems, Saarbrücken (2009), 20 pp.
1405.
Report
The local and global effects of traffic shaping. Max Planck Institute for Software Systems, Saarbrücken (2009), 40 pp.
1406.
Report
Understanding the design tradeoffs for cooperative streaming multicast. Max Planck Institute for Software Systems, Saarbrücken (2009), 17 pp.
Journal (3)
1407.
Journal
Sound and Complete Proof Rules for Probabilistic Termination.
1408.
Journal
Reward Model Learning vs. Direct Policy Optimization: A Comparative Analysis of Learning from Human Preferences.
1409.
Journal
Towards Reliable Latent Knowledge Estimation in LLMs: In-Context Learning vs. Prompting Based Factual Knowledge Extraction.
Other (2)
1410.
Other
Liu and Layland and Linux: A Blueprint for "Proper" Real-Time Tasks, SIGBED Blog, (2020)
1411.
Other
Anonymity in the Personalized Web, (2008)