Report (27)

1141.
Report
Francis, P.: Specification of Diffix Dogwood. Max Planck Institute for Software Systems, Saarbrücken (2021), 45 pp.
1142.
Report
Francis, P.: Procedures and Rules for the 2020 Diffix Bounty Program. Max Planck Institute for Software Systems, Saarbrücken (2021), 8 pp.
1143.
Report
Francis, P.: Customer Documentation for Aircloak's Diffix Dogwood. Max Planck Institute for Software Systems, Saarbrücken (2021), 75 pp.
1144.
Report
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.
1145.
Report
Francis, P.: Dear Differential Privacy: Put Up or Shut Up. Max Planck Institute for Software Systems, Saarbrücken (2020), 15 pp.
1146.
Report
Francis, P.: Specification of Diffix Cedar. Max Planck Institute for Software Systems, Saarbrücken (2020), 34 pp.
1147.
Report
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.
1148.
Report
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.
1149.
Report
Majumdar, R.; Piterman, N.; Schmuck, A.-K.: Environmentally-friendly GR(1) Synthesis. Max Planck Institute for Software Systems, Saarbrücken (2018), 33 pp.
1150.
Report
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.
1151.
Report
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.
1152.
Report
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.
1153.
Report
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.
1154.
Report
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.
1155.
Report
Brandenburg, B.: Virtually Exclusive Resources. MPI for Software Systems, Saarbrücken (2012), 12 pp.
1156.
Report
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.
1157.
Report
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.
1158.
Report
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.
1159.
Report
Haeberlen, A.; Fonseca, P.; Rodrigues, R.; Druschel, P.: Fighting Cybercrime with Packet Attestation. Max Planck Institute for Software Systems, Saarbrücken (2011), 14 pp.
1160.
Report
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.
Go to Editor View