Working Paper (89)

1101.
Working Paper
Esmaeilsabzal, S.; Majumdar, R.; Wies, T.; Zufferey, D.: A Notion of Dynamic Interface for Depth-Bounded Object-Oriented Packages. (2013)
1102.
Working Paper
Zamani, M.; Esfahani, P. M.; Majumdar, R.; Abate, A.; Lygeros, J.: Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions. (2013), 27 pages, 4 figures pp.
1103.
Working Paper
Majumdar, R.; Render, E.; Tabuada, P.: A theory of robust software synthesis. CoRR abs/1108.3540 (2011), 27 pp.
1104.
Working Paper
Zamani, M.; Majumdar, R.: Coordinate-invariant incremental Lyapunov functions. CoRR abs/1107.2681 (2011), 8 pp.

Report (27)

1105.
Report
Francis, P.: Specification of Diffix Dogwood. Max Planck Institute for Software Systems, Saarbr├╝cken (2021), 45 pp.
1106.
Report
Francis, P.: Procedures and Rules for the 2020 Diffix Bounty Program. Max Planck Institute for Software Systems, Saarbr├╝cken (2021), 8 pp.
1107.
Report
Francis, P.: Customer Documentation for Aircloak's Diffix Dogwood. Max Planck Institute for Software Systems, Saarbr├╝cken (2021), 75 pp.
1108.
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.
1109.
Report
Francis, P.: Dear Differential Privacy: Put Up or Shut Up. Max Planck Institute for Software Systems, Saarbr├╝cken (2020), 15 pp.
1110.
Report
Francis, P.: Specification of Diffix Cedar. Max Planck Institute for Software Systems, Saarbr├╝cken (2020), 34 pp.
1111.
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.
1112.
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.
1113.
Report
Majumdar, R.; Piterman, N.; Schmuck, A.-K.: Environmentally-friendly GR(1) Synthesis. Max Planck Institute for Software Systems, Saarbr├╝cken (2018), 33 pp.
1114.
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.
1115.
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.
1116.
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.
1117.
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.
1118.
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.
1119.
Report
Brandenburg, B.: Virtually Exclusive Resources. MPI for Software Systems, Saarbr├╝cken (2012), 12 pp.
1120.
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.
Go to Editor View