Wieder, A.; Brandenburg, B.: On Spin Locks in AUTOSAR: Blocking Analysis of FIFO, Unordered, and Priority-Ordered Spin Locks. In: Proceedings IEEE 34th Real-Time Systems Symposium, S. 45 - 56. 34th Real-Time Systems Symposium, Vancouver, Canada, 03. Dezember 2013 - 06. Dezember 2013. IEEE, Piscataway, NJ (2013)

Zamani, M.; Esfahani, P. M.; Majumdar, R.; Abate, A.; Lygeros, J.: Bisimilar Finite Abstractions of Stochastic Control Systems. In: 2013 IEEE 52nd Annual Conference on Decision and Control, S. 3926 - 3931. 52nd IEEE Conference on Decision and Control, Firenze, Italy, 10. Dezember 2013 - 13. Dezember 2013. IEEE, Piscataway, NJ (2013)

Zengin, M.; Vafeiadis, V.: A Programming Language Approach to Fault Tolerance for Fork-join Parallelism. In: TASE 2013, S. 105 - 112. International Symposium on Theoretical Aspects of Software Engineering , Birmingham; UK, 01. Juli 2013 - 03. Juli 2013. IEEE, Piscataway, NJ (2013)

Zhao, M.; Aditya, P.; Chen, A.; Lin, Y.; Haeberlen, A.; Druschel, P.; Maggs, B.; Wishon, B.; Ponec, M.: Peer-assisted Content Distribution in Akamai Netsession. In: IMC'13, S. 31 - 42. 13th ACM Internet Measurement Conference, Barcelona, Spain, 23. Oktober 2013 - 25. Oktober 2013. ACM, New York, NY (2013)

Ziliani, B.; Dreyer, D.; Krishnaswami, N.; Nanevski, A.; Vafeiadis, V.: Mtac: A Monad for Typed Tactic Programming in Coq. In: ICFP'13, S. 377 - 390. ACM SIGPLAN International Conference on Functional Programming, Boston, MA, USA, 25. September 2013 - 27. September 2013. ACM, New York, NY (2013)

Acar, U. A.; Ahmed, A.; Cheney, J.; Perera, R.: A Core Calculus for Provenance. In: Principles of Security and Trust: First International Conference, POST 2012, S. 410 - 429 (Hg. Degano, P.; Guttman, J. D.). POST 2012, Tallinn, Estonia, 24. März 2012 - 01. April 2012. Springer, New York, NY (2012)

Aditya, P.; Zhao, M.; Lin, Y.; Haeberlen, A.; Druschel, P.; Maggs, B.; Wishon, B.: Reliable Client Accounting for P2P-Infrastructure Hybrids. In: Proceedings of NSDI ’12: 9th USENIX Symposium on Networked Systems Design and Implementation, S. 1 - 14. NSDI'12, San Jose, CA, 25. April 2012 - 27. April 2012. USENIX, Berkeley, CA (2012)

Akkus, I. E.; Chen, R.; Hardt, M.; Francis, P.; Gehrke, J.: Non-tracking web analytics. In: Proceedings of the 2012 ACM Conference on Computer and Communications Security, S. 687 - 698. CCS'12, Raleigh, North Carolina, USA, 16. Oktober 2012 - 18. Oktober 2012. ACM, New York, NY (2012)

Bhatotia, P.; Rodrigues, R.; Verma, A.: Shredder: GPU-Accelerated Incremental Storage and Computation. In: Proceedings of FAST ’12: 10th USENIX Conference on File and Storage Technologies, S. 1 - 15. FAST'12, San Jose, CA, 15. Februar 2012 - 17. Februar 2012. USENIX, Berkeley, CA (2012)

Brandenburg, B. B.; Bastoni, A.: The Case for Migratory Priority Inheritance in Linux: Bounded Priority Inversions on Multiprocessors. In: Proceedings of the 14th Real-Time Linux Workshop (RTLWS 2012), S. 67 - 86. 14th Real-Time Linux Workshop, Chapel Hill, North Carolina, 16. Oktober 2012 - 20. Oktober 2012. Real-Time Linux Foundation, s.l. (2012)

Carreira, J.; Rodrigues, R.; Candea, G.; Majumdar, R.: Scalable Testing of File System Checkers. In: EuroSys’12: Proceedings of the EuroSys 2012 Conference, S. 239 - 252. EuroSys'12, Bern, Switzerland, 10. April 2012 - 13. April 2012. ACM, New York, NY (2012)

Chatterjee, K.; Chmelik, M.; Majumdar, R.: Equivalence of Games with Probabilistic Uncertainty and Partial-Observation Games. In: Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, S. 385 - 399 (Hg. Chakraborty, S.; Mukund, M.). AVTA 2012, Thiruvananthapuram, India, 03. Oktober 2012 - 06. Oktober 2010. Springer, New York, NY (2012)

Chen, R.; Reznichenko, A.; Francis, P.; Gehrke, J.: Towards Statistical Queries over Distributed Private User Data. In: Proceedings of NSDI ’12: 9th USENIX Symposium on Networked Systems Design and Implementation, S. 1 - 14. NSDI'12, San Jose, CA, 25. April 2012 - 27. April 2012. USENIX, Berkeley, CA (2012)

Chen, Y.; Dunfield, J.; Acar, U. A.: Type-Directed Automatic Incrementalization. In: PLDI’12: Proceedings of the 2012 ACM SIGPLAN Conference on Programming Language Design and Implementation, S. 299 - 310. PLDI'12, Beijing, China, 11. Juni 2012 - 16. Juni 2012. ACM, New York, NY (2012)

Clement, A.; Junqueira, F.; Kate, A.; Rodigues, R.: On the (limited) power of non-equivocation. In: Proceedings of the 2012 ACM Symposium on Principles of Distributed Computing, S. 301 - 308. PODC 2012, Madeira, Portugal. ACM, New York, NY (2012)

Dunfield, J.: Elaborating Intersection and Union Types. In: ICFP’12: Proceedings of the 2012 ACM SIGPLAN International Conference on Functional Programming, S. 17 - 28. ICFP'12, Copenhagen, Denmark, 09. September 2012 - 15. September 2012. ACM, New York, NY (2012)

Esparza, J.; Ganty, P.; Majumdar, R.: A Perfect Model for Bounded Verification. In: LICS 2012: Proceedings of the 2012 27th Annual ACM/IEEE Symposium, S. 285 - 294. LICS 2012, Dubrovnik, Croatio, 25. Juni 2012 - 28. Juni 2012. IEEE Computer Society, Los Alamitos, CA (2012)

Fischer, J.; Majumdar, R.; Esmaeilsabzali, S.: Engage: A Deployment Management System. In: PLDI’12: Proceedings of the 2012 ACM SIGPLAN Conference on Programming Language Design and Implementation, S. 263 - 274. PLDI'12, Beijing, China, 11. Juni 2012 - 16. Juni 2012. ACM, New York, NY (2012)

Garg, D.; Genovese, V.; Negri, S.: Countermodels from Sequent Calculi in Multi-Modal Logics. In: 27th Annual ACM/IEEE Symposium on Logic in Computer Science, S. 315 - 324. LICS 2012, Dubrovnik, Croatia, 25. Juni 2012 - 28. Juni 2012. IEEE Computer Society, Los Alamitos, California (2012)

Genovese, V.; Garg, D.: New Modalities for Access Control Logics: Permission, Control and Ratification. In: Security and Trust Management: 7th International Workshop, S. 56 - 71 (Hg. Meadows, C.; Fernandez-Gago, C.). STM'11, Copenhagen, Denmark, 27. Juni 2011 - 28. Juni 2011. Springer, New York, NY (2012)