Working Paper (5)

101.
Working Paper
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.
102.
Working Paper
Hong, C.-D.; Lin, A. W.; Majumdar, R.; R├╝mmer, P.: Probabilistic Bisimulation for Parameterized Systems (Technical Report). Technical Report (2020), 24 pp.
103.
Working Paper
Li, H.; Li, J.; Jang, K.; Kaufmann, A.: Enabling End-to-End Simulation for Host Networking Evaluation using SimBricks. (2020), 19 pp.
104.
Working Paper
Majumdar, R.; Schmuck, A.-K.: Supervisory Controller Synthesis for Non-terminating Processes is an Obliging Game. (2020), 12 pp.

Report (5)

105.
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.
106.
Report
Francis, P.: Dear Differential Privacy: Put Up or Shut Up. Max Planck Institute for Software Systems, Saarbr├╝cken (2020), 15 pp.
107.
Report
Francis, P.: Specification of Diffix Cedar. Max Planck Institute for Software Systems, Saarbr├╝cken (2020), 34 pp.
108.
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.
109.
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.

Other (1)

110.
Other
Brandenburg, B.: Liu and Layland and Linux: A Blueprint for "Proper" Real-Time Tasks, SIGBED Blog, (2020)
Go to Editor View