Chistikov, D.; Majumdar, R.; Niksic, F.: Hitting Families of Schedules for Asynchronous Programs. In: Computer Aided Verification, S. 157 - 176 (Hg. Chaudhuri, S.; Farzan, A.). 28th International Conference on Computer-Aided Verification, Toronto, Canada, 17. Juli 2016 - 23. Juli 2016. Springer, Berlin (2016)

De, A.; Valera, I.; Ganguly, N.; Bhattacharya, S.; Gomez Rodriguez, M.: Learning and Forecasting Opinion Dynamics in Social Networks. In: Advances in Neural Information Processing Systems 29. Thirtieth Annual Conference on Neural Information Processing Systems, Barcelona, Spain, 05. Dezember 2016 - 10. Dezember 2016. (2016)

Deininger, D.; Dimitrova, R.; Majumdar, R.: Symbolic Model Checking for Factored Probabilistic Models. In: Automated Technology for Verification and Analysis, S. 444 - 460 (Hg. Artho, C.; Legay, A.; Peled, D.). 14th International Symposium on Automated Technology for Verification and Analysis, Chiba, Japan, 17. Oktober 2016 - 22. Oktober 2016. Springer, Berlin (2016)

Dimitrova, R.; Ferrer Fioriti, L. M.; Hermanns, H.; Majumdar, R.: Probabilistic CTL*: The Deductive Way. In: Tools and Algorithms for the Construction and Analysis of Systems, S. 280 - 296 (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)

Doko, M.; Vafeiadis, V.: A Program Logic for C11 Memory Fences. In: Verification, Model Checking, and Abstract Interpretation, S. 413 - 430 (Hg. Jobstmann, B.; Leino, K. R. M.). 17th International Conference on Verification, Model Checking, and Abstract Interpretation, St. Petersburg, FL, USA, 17. Januar 2016 - 19. Januar 2016. Springer, Berlin (2016)

Du, N.; Dai, H.; Trivedi, R.; Upadhyay, U.; Gomez Rodriguez, M.; Song, L.: Recurrent Marked Temporal Point Processes: Embedding Event History to Vector. In: KDD'16, S. 1555 - 1564. 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)

Elnikety, E.; Mehta, A.; Vahldiek-Oberwagner, A.; Garg, D.; Druschel, P.: Thoth: Comprehensive Policy Compliance in Data Retrieval Systems. In: Proceedings of the 25th USENIX Security Symposium, S. 637 - 654. 25th USENIX Security Symposium, Austin, TX, USA, 10. August 2016 - 12. August 2016. USENIX Association, Berkeley, CA (2016)

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)