Francis, P.: Specification of Diffix Cedar. Max Planck Institute for Software Systems, Saarbrücken (2020), 34 S.

Rajani, V.; Gaboardi, M.; Garg, D.; Hoffmann, J.: A Type-theory for Higher-order Amortized Cost Analysis. Max Planck Institute for Software Systems, Saarbrücken (2020), 205 S.

Robb, J.; Brandenburg, B. B.: Nested, but Separate: Isolating Unrelated Critical Sections in Real-Time Nested Locking. Max Planck Institute for Software Systems, Saarbrücken (2020), 77 S.

Majumdar, R.; Piterman, N.; Schmuck, A.-K.: Environmentally-friendly GR(1) Synthesis. Max Planck Institute for Software Systems, Saarbrücken (2018), 33 S.

Munz, R.; Eigner, F.; Maffei, M.; Francis, P.; Garg, D.: UniTraX: Protecting Data Privacy with Discoverable Biases. Max Planck Institute for Software Systems, Saarbrücken (2018), 29 S.

Yalcinkaya, B.; Nasri, M.; Brandenburg, B.: An Exact Schedulability Test for Non-Preemptive Self-Suspending Real-Time Tasks. Max Planck Institute for Software Systems, Saarbrücken (2018), 8 S.

Chen, J.-J.; Nelissen, G.; Huang, W.-H.; Yang, M.; Brandenburg, B.; Bletsas, K.; Liu, C.; Richard, P.; Ridouard, F.; Audsley, N. et al.; Rajkumar, R.; de Niz, D.: Many Suspensions, Many Problems: A Review of Self-Suspending Tasks in Real-Time Systems (Technical Reports in Computer Science, 854). Technische Universität Dortmund, Dortmund (2017), 67 S.

Chen, J.-J.; Nelissen, G.; Huang, W.-H.; Yang, M.; Brandenburg, B.; Bletsas, K.; Liu, C.; Richard, P.; Ridouard, F.; Audsley, N. et al.; Rajkumar, R.; de Niz, D.: Many Suspensions, Many Problems: A Review of Self-Suspending Tasks in Real-Time Systems (Technical Reports in Computer Science, 854). Technische Universität Dortmund, Dortmund (2016), 60 S.

Hur, C.-K.; Neis, G.; Dreyer, D.; Vafeiadis, V.: A Logical Step Forward in Parametric Bisimulations. Max Planck Institute for Software Systems, Saarbrücken (2014), 30 S.

Brandenburg, B.: Virtually Exclusive Resources. MPI for Software Systems, Saarbrücken (2012), 12 S.

Hur, C.-K.; Neis, G.; Dreyer, D.; Vafeiadis, V.: The Transitive Composability of Relation Transition Systems. Max Planck Institute for Software Systems, Saarbrücken (2012), 64 S.

Perera, R.; Acar, U. A.; Cheney, J.; Levy, P. B.: Functional Programs that Explain their Work. Max Planck Institute for Software Systems, Saarbrücken (2012), 16 S.

Bhatotia, P.; Wieder, A.; Rodrigues, R.; Acar, U. A.; Pasquini, R.: Incoop: MapReduce for Incremental Computations. Max Planck Institute for Software Systems, Saarbrücken (2011), 14 S.

Haeberlen, A.; Fonseca, P.; Rodrigues, R.; Druschel, P.: Fighting Cybercrime with Packet Attestation. Max Planck Institute for Software Systems, Saarbrücken (2011), 14 S.

Marcon, M.; Santos, N.; Gummadi, K. P.; Laoutaris, N.; Rodriguez, P.; Vahdat, A.: NetEx: Cost-effective Bulk Data Transfers for Cloud Computing. Max Planck Institute for Software Systems, Saarbrücken (2011), 13 S.

Mondal, M.; Viswanath, B.; Clement, A.; Druschel, P.; Gummadi, K.; Mislove, A.; Post, A.: Defending against large-scale crawls in online social networks. Max Planck Instutute for Software Systems, Saarbrücken (2011), 14 S.

Post, A.; Navarro, J.; Kuznetsov, P.; Druschel, P.: Autonomous storage management for personal devices with PodBase. Max Planck Institute for Software Systems, Saarbrücken (2011), 20 S.

Santos, N.; Rodrigues, R.; Gummadi, K. P.; Saroiu, S.: Excalibur: Building Trustworthy Cloud Services. Max Planck Institute for Software Systems, Saarbrücken (2011), 15 S.

Guha, S.; Cheng, B.; Reznichenko, A.; Haddadi, H.; Francis, P.: Privad: Rearchitecting online advertising for privacy. Max Planck Institute for Software Systems, Kaiserlautern (2009), 30 S.

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