Report (27)
1381.
Report
Procedures and Rules for the 2020 Diffix Bounty Program. Max Planck Institute for Software Systems, Saarbrücken (2021), 8 pp.
1382.
Report
Customer Documentation for Aircloak's Diffix Dogwood. Max Planck Institute for Software Systems, Saarbrücken (2021), 75 pp.
1383.
Report
Abstract Response-Time Analysis: A Formal Foundation for the Busy-Window Principle. Max Planck Institute for Software Systems, Saarbrücken (2020), 26 pp.
1384.
Report
Dear Differential Privacy: Put Up or Shut Up. Max Planck Institute for Software Systems, Saarbrücken (2020), 15 pp.
1385.
Report
Specification of Diffix Cedar. Max Planck Institute for Software Systems, Saarbrücken (2020), 34 pp.
1386.
Report
A Type-theory for Higher-order Amortized Cost Analysis. Max Planck Institute for Software Systems, Saarbrücken (2020), 205 pp.
1387.
Report
Nested, but Separate: Isolating Unrelated Critical Sections in Real-Time Nested Locking. Max Planck Institute for Software Systems, Saarbrücken (2020), 77 pp.
1388.
Report
Environmentally-friendly GR(1) Synthesis. Max Planck Institute for Software Systems, Saarbrücken (2018), 33 pp.
1389.
Report
UniTraX: Protecting Data Privacy with Discoverable Biases. Max Planck Institute for Software Systems, Saarbrücken (2018), 29 pp.
1390.
Report
An Exact Schedulability Test for Non-Preemptive Self-Suspending Real-Time Tasks. Max Planck Institute for Software Systems, Saarbrücken (2018), 8 pp.
1391.
Report
854). Technische Universität Dortmund, Dortmund (2017), 67 pp.
Many Suspensions, Many Problems: A Review of Self-Suspending Tasks in Real-Time Systems (Technical Reports in Computer Science, 1392.
Report
854). Technische Universität Dortmund, Dortmund (2016), 60 pp.
Many Suspensions, Many Problems: A Review of Self-Suspending Tasks in Real-Time Systems (Technical Reports in Computer Science, 1393.
Report
A Logical Step Forward in Parametric Bisimulations. Max Planck Institute for Software Systems, Saarbrücken (2014), 30 pp.
1394.
Report
Virtually Exclusive Resources. MPI for Software Systems, Saarbrücken (2012), 12 pp.
1395.
Report
The Transitive Composability of Relation Transition Systems. Max Planck Institute for Software Systems, Saarbrücken (2012), 64 pp.
1396.
Report
Functional Programs that Explain their Work. Max Planck Institute for Software Systems, Saarbrücken (2012), 16 pp.
1397.
Report
Incoop: MapReduce for Incremental Computations. Max Planck Institute for Software Systems, Saarbrücken (2011), 14 pp.
1398.
Report
Fighting Cybercrime with Packet Attestation. Max Planck Institute for Software Systems, Saarbrücken (2011), 14 pp.
1399.
Report
NetEx: Cost-effective Bulk Data Transfers for Cloud Computing. Max Planck Institute for Software Systems, Saarbrücken (2011), 13 pp.
1400.
Report
Defending against large-scale crawls in online social networks. Max Planck Instutute for Software Systems, Saarbrücken (2011), 14 pp.