Forschungspapier (64)

841.
Forschungspapier
Esmaeilsabzal, S.; Majumdar, R.; Wies, T.; Zufferey, D.: A Notion of Dynamic Interface for Depth-Bounded Object-Oriented Packages. (2013)
842.
Forschungspapier
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 S.
843.
Forschungspapier
Majumdar, R.; Render, E.; Tabuada, P.: A theory of robust software synthesis. CoRR abs/1108.3540 (2011), 27 S.
844.
Forschungspapier
Zamani, M.; Majumdar, R.: Coordinate-invariant incremental Lyapunov functions. CoRR abs/1107.2681 (2011), 8 S.

Bericht (18)

845.
Bericht
Majumdar, R.; Piterman, N.; Schmuck, A.-K.: Environmentally-friendly GR(1) Synthesis. Max Planck Institute for Software Systems, Saarbrücken (2018), 33 S.
846.
Bericht
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 S.
847.
Bericht
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 S.
848.
Bericht
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 S.
849.
Bericht
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 S.
850.
Bericht
Brandenburg, B.: Virtually Exclusive Resources. MPI for Software Systems, Saarbrücken (2012), 12 S.
851.
Bericht
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 S.
852.
Bericht
Perera, R.; Acar, U. A.; Cheney, J.; Levy, P. B.: Functional Programs that Explain their Work. Max Planck Institute for Software Systems, Saarbrücken (2012), 16 S.
853.
Bericht
Bhatotia, P.; Wieder, A.; Rodrigues, R.; Acar, U. A.; Pasquini, R.: Incoop: MapReduce for Incremental Computations. Max Planck Institute for Software Systems, Saarbrücken (2011), 14 S.
854.
Bericht
Haeberlen, A.; Fonseca, P.; Rodrigues, R.; Druschel, P.: Fighting Cybercrime with Packet Attestation. Max Planck Institute for Software Systems, Saarbrücken (2011), 14 S.
855.
Bericht
Marcon, M.; Santos, N.; Gummadi, K. P.; Laoutaris, N.; Rodriguez, P.; Vahdat, A.: NetEx: Cost-effective Bulk Data Transfers for Cloud Computing. Max Planck Institute for Software Systems, Saarbrücken (2011), 13 S.
856.
Bericht
Mondal, M.; Viswanath, B.; Clement, A.; Druschel, P.; Gummadi, K.; Mislove, A.; Post, A.: Defending against large-scale crawls in online social networks. Max Planck Instutute for Software Systems, Saarbrücken (2011), 14 S.
857.
Bericht
Post, A.; Navarro, J.; Kuznetsov, P.; Druschel, P.: Autonomous storage management for personal devices with PodBase. Max Planck Institute for Software Systems, Saarbrücken (2011), 20 S.
858.
Bericht
Santos, N.; Rodrigues, R.; Gummadi, K. P.; Saroiu, S.: Excalibur: Building Trustworthy Cloud Services. Max Planck Institute for Software Systems, Saarbrücken (2011), 15 S.
859.
Bericht
Guha, S.; Cheng, B.; Reznichenko, A.; Haddadi, H.; Francis, P.: Privad: Rearchitecting online advertising for privacy. Max Planck Institute for Software Systems, Kaiserlautern (2009), 30 S.
860.
Bericht
Haeberlen, A.; Kuznetsov, P.: The fault detection problem. MPI for Software Systems, Saarbrücken (2009), 20 S.
Zur Redakteursansicht