Working Paper (105)

1161.
Working Paper
Majumdar, R.; Mallik, K.; Schmuck, A.-K.: Compositional Synthesis of Finite State Abstractions. (2016), 10 pp.
1162.
Working Paper
Majumdar, R.; Prabhu, V.: Computing Distances between Reach Flowpipes. (2016), 12 pp.
1163.
Working Paper
Mavroforakis, C.; Valera, I.; Gomez Rodriguez, M.: Modeling the Dynamics of Online Learning Activity. (2016), 14 pp.
1164.
Working Paper
Shirazi, F.; Simeonovski, M.; Asghar, M. R.; Backes, M.; Diaz, C.: A Survey on Routing in Anonymous Communication Protocols. (2016), 24 pp.
1165.
Working Paper
Tabibian, B.; Valera, I.; Farajtabar, M.; Song, L.; Schölkopf, B.; Gomez Rodriguez, M.: Distilling Information Reliability and Source Trustworthiness from Digital Traces. (2016), 15 pp.
1166.
Working Paper
Upadhyay, U.; Valera, I.; Gomez Rodriguez, M.: Uncovering the Dynamics of Crowdlearning and the Value of Knowledge. (2016), 17 pp.
1167.
Working Paper
Zafar, M. B.; Valera, I.; Gomez Rodriguez, M.; Gummadi, K. P.: Fairness Beyond Disparate Treatment & Disparate Impact: Learning Classification without Disparate Mistreatment. Fairness, Accountability, and Transparency in Machine Learning (2016), 10 pp.
1168.
Working Paper
Zarezade, A.; Upadhyay, U.; Rabiee, H.; Gomez Rodriguez, M.: RedQueen: An Online Algorithm for Smart Broadcasting in Social Networks. (2016), 17 pp.
1169.
Working Paper
Schmuck, A.-K.; Tabuada, P.; Raisch, J.: Comparing Asynchronous l-Complete Approximations and Quotient Based Abstractions. (2015), 22 pp.
1170.
Working Paper
Calin, G.; Derevenetc, E.; Majumdar, R.; Meyer, R.: A Theory of Partitioned Global Address Spaces. (2013)
1171.
Working Paper
Esmaeilsabzal, S.; Majumdar, R.; Wies, T.; Zufferey, D.: Dynamic Package Interfaces - Extended Version. (2013)
1172.
Working Paper
Esmaeilsabzal, S.; Majumdar, R.; Wies, T.; Zufferey, D.: A Notion of Dynamic Interface for Depth-Bounded Object-Oriented Packages. (2013)
1173.
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.
1174.
Working Paper
Majumdar, R.; Render, E.; Tabuada, P.: A theory of robust software synthesis. CoRR abs/1108.3540 (2011), 27 pp.
1175.
Working Paper
Zamani, M.; Majumdar, R.: Coordinate-invariant incremental Lyapunov functions. CoRR abs/1107.2681 (2011), 8 pp.

Report (27)

1176.
Report
Francis, P.: Specification of Diffix Dogwood. Max Planck Institute for Software Systems, Saarbrücken (2021), 45 pp.
1177.
Report
Francis, P.: Procedures and Rules for the 2020 Diffix Bounty Program. Max Planck Institute for Software Systems, Saarbrücken (2021), 8 pp.
1178.
Report
Francis, P.: Customer Documentation for Aircloak's Diffix Dogwood. Max Planck Institute for Software Systems, Saarbrücken (2021), 75 pp.
1179.
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.
1180.
Report
Francis, P.: Dear Differential Privacy: Put Up or Shut Up. Max Planck Institute for Software Systems, Saarbrücken (2020), 15 pp.
Go to Editor View