Esmaeil Zadeh Soudjani, S.; Majumdar, R.; Abate, A.: Safety Verification of Continuous-Space Pure Jump Markov Processes. In: Tools and Algorithms for the Construction and Analysis of Systems, S. 147 - 163 (Hg. Chechik, M.; Raskin, J.-F.). 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Eindhoven, The Netherlands, 02. April 2016 - 08. April 2016. Springer, Berlin (2016)

Esparza, J.; Ganty, P.; Leroux, J.; Majumdar, R.: Model Checking Population Protocols. In: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 27, S. 1 - 14 (Hg. Lal, A.; Akshay, S.; Saurabh, S.; Sen, S.). 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Chennai, India, 13. Dezember 2016 - 15. Dezember 2016. Schloss Dagstuhl, Wadern (2016)

Gao, M.; He, L.; Majumdar, R.; Wang, Z.: LLSPLAT: Improving Concolic Testing by Bounded Model Checking. In: IEEE 16th International Working Conference on Source Code Analysis and Manipulation, S. 127 - 136. IEEE 16th International Working Conference on Source Code Analysis and Manipulation , Raleigh, NC, USA, 02. Oktober 2016 - 03. Oktober 2016. IEEE, Piscataway, NJ (2016)

Götzfried, J.; Müller, T.; Drescher, G.; Nürnberger, S.; Backes, M.: RamCrypt: Kernel-based Address Space Encryption for User-mode Processes. In: ASIA CCS'16, S. 919 - 924. 11th ACM Asia Conference on Computer and Communications Security, Xi’an, China, 30. Mai 2016 - 03. Juni 2016. ACM, New York, NY (2016)

Grabowicz, P.; Babaei, M.; Kulshrestha, J.; Weber, I.: The Road to Popularity: The Dilution of Growing Audience on Twitter. In: Proceedings of the Tenth International AAAI Conference on Web and Social Media, S. 567 - 570. 10th International AAAI Conference on Web and Social Media, Oxford, UK, 25. Mai 2015 - 29. Mai 2015. AAAI, Palo Alto, CA (2016)

Grabowicz, P.; Ganguly, N.; Gummadi, K. P.: Distinguishing between Topical and Non-Topical Information Diffusion Mechanisms in Social Media. In: Proceedings of the Tenth International AAAI Conference on Web and Social Media, S. 151 - 160. 10th International AAAI Conference on Web and Social Media, Oxford, UK, 25. Mai 2015 - 29. Mai 2015. AAAI, Palo Alto, CA (2016)

Grgić-Hlača, N.; Zafar, M. B.; Gummadi, K. P.; Weller, A.: The Case for Process Fairness in Learning: Feature Selection for Fair Decision Making. In: Symposium on Machine Learning and the Law at the 29th Conference on Neural Information Processing Systems. Symposium on Machine Learning and the Law, Barcelona, Spain, 08. Dezember 2016. (2016)

Herbster, R.; DellaTorre, S.; Druschel, P.; Bhattacharjee, B.: Privacy Capsules: Preventing Information Leaks by Mobile Apps. In: MobiSys'16, S. 399 - 411. 4th Annual International Conference on Mobile Systems, Applications, and Services, Singapore, 25. Juni 2016 - 30. Juni 2016. ACM, New York, NY (2016)

Jourdan, J.-H.: Statistically Profiling Memory in OCaml. In: OCaml 2016. The OCaml Users and Developers Workshop, Nara, Japan, 23. September 2016. (2016)

Jung, R.; Krebbers, R.; Birkedal, L.; Dreyer, D.: Higher-order Ghost State. In: ICFP'16, S. 256 - 269 (Hg. Garrigue, J.; Keller, G.; Sumii, E.). 21st ACM SIGPLAN International Conference on Functional Programming, Nara, Japan, 18. September 2016 - 24. September 2016. ACM, New York, NY (2016)

Kang, J.; Kim, Y.; Hur, C.-K.; Dreyer, D.; Vafeiadis, V.: Lightweight Verification of Separate Compilation. In: POPL'16, S. 178 - 190 (Hg. Bodik, R.; Majumdar, R.). 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, St. Petersburg, FL, USA, 20. Januar 2015 - 22. Januar 2015. ACM, New York, NY (2016)

Karimi, M. R.; Tavakoli, E.; Farajtabar, M.; Song, L.; Gomez Rodriguez, M.: Smart Broadcasting: Do You Want to be Seen? In: KDD'16, S. 1635 - 1644. 22nd ACM SIGKDD Conference on Knowledge Discovery and Data Mining, San Francisco, CA, USA, 13. August 2016 - 17. August 2016. ACM, New York, NY (2016)

Krupp, J.; Backes, M.; Rossow, C.: Identifying the Scan and Attack Infrastructures Behind Amplification DDoS Attacks. In: CCS'16, S. 1426 - 1437. 23rd ACM Conference on Computer and Communications Security, Vienna, Austria, 24. Oktober 2016 - 28. Oktober 2016. ACM, New York, NY (2016)

Lahav, O.; Giannarakis, N.; Vafeiadis, V.: Taming Release-acquire Consistency. In: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, S. 649 - 662. 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, St. Petersburg, FL, USA, 20. Januar 2016 - 22. Januar 2016. ACM, New York, NY (2016)

Litton, J.; Vahldiek-Oberwagner, A.; Elnikety, E.; Garg, D.; Bhattacharjee, B.; Druschel, P.: Light-weight Contexts: An OS Abstraction for Safety and Performance. In: 12th USENIX Symposium on Operating Systems Design and Implementation, S. 49 - 64. 12th USENIX Symposium on Operating Systems Design and Implementation, Savannah, GA, USA, 02. November 2016 - 04. November 2016. USENIX, s.l. (2016)

Lu, K.; Backes, M.; Nürnberger, S.; Lee, W.: How to Make ASLR Win the Clone Wars: Runtime Re-Randomization. In: Proceedings of the 23rd Annual Symposium on Network and Distributed System Security. 23rd Annual Symposium on Network and Distributed System Security, San Diego, CA, USA, 21. Februar 2016 - 24. Februar 2016. Internet Society, Reston, VA (2016)

Maisuradze, G.; Backes, M.; Rossow, C.: What Cannot be Read, Cannot be Leveraged? Revisiting Assumptions of JIT-ROP Defenses. In: Proceedings of the 25th USENIX Security Symposium, S. 139 - 156. 25th USENIX Security Symposium, Austin, TX, USA, 10. August 2016 - 12. August 2016. USENIX Association, Berkeley, CA (2016)

Maiya, P.; Gupta, R.; Kanade, A.; Majumdar, R.: Partial Order Reduction for Event-Driven Multi-threaded Programs. In: Tools and Algorithms for the Construction and Analysis of Systems, S. 680 - 697 (Hg. Chechik, M.; Raskin, J.-F.). 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Eindhoven, The Netherlands, 02. April 2016 - 08. April 2016. Springer, Berlin (2016)

Majumdar, R.: Robots at the Edge of the Cloud. In: Tools and Algorithms for the Construction and Analysis of Systems, S. 3 - 13 (Hg. Chechik, M.; Raskin, J.-F.). 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Eindhoven, The Netherlands, 02. April 2016 - 08. April 2016. Springer, Berlin (2016)

Majumdar, R.; Prabhu, V.: Computing Distances between Reach Flowpipes. In: HSCC'16, S. 267 - 276. 19th International Conference on Hybrid Systems: Computation and Control, Vienna, Austria, 12. April 2016 - 14. April 2016. ACM, New York, NY (2016)