Francis, P.: Procedures and Rules for the 2020 Diffix Bounty Program. Max Planck Institute for Software Systems, Saarbrücken (2021), 8 pp.

Francis, P.: Customer Documentation for Aircloak's Diffix Dogwood. Max Planck Institute for Software Systems, Saarbrücken (2021), 75 pp.

Bozhko, S.; Brandenburg, B. B.: Abstract Response-Time Analysis: A Formal Foundation for the Busy-Window Principle. Max Planck Institute for Software Systems, Saarbrücken (2020), 26 pp.

Francis, P.: Dear Differential Privacy: Put Up or Shut Up. Max Planck Institute for Software Systems, Saarbrücken (2020), 15 pp.

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

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 pp.

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 pp.

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

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 pp.

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 pp.

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 pp.

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 pp.

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 pp.

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

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 pp.

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 pp.

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 pp.

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

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 pp.

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 pp.