Barthe, G.; De Viti, R.; Druschel, P.; Garg, D.; Gomez Rodriguez, M.; Ingo, P.; Lentz, M.; Mehta, A.; Schölkopf, B.: PanCast: Listening to Bluetooth Beacons for Epidemic Risk Mitigation. (2020), 21 pp.

Hong, C.-D.; Lin, A. W.; Majumdar, R.; Rümmer, P.: Probabilistic Bisimulation for Parameterized Systems (Technical Report). Technical Report (2020), 24 pp.

Majumdar, R.; Schmuck, A.-K.: Supervisory Controller Synthesis for Non-terminating Processes is an Obliging Game. (2020), 12 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.

Brandenburg, B.: Liu and Layland and Linux: A Blueprint for "Proper" Real-Time Tasks, SIGBED Blog, (2020)