Chistikov, D.; Majumdar, R.; Niksic, F.: Hitting Families of Schedules for Asynchronous Programs. In: Computer Aided Verification, pp. 157 - 176 (Eds. Chaudhuri, S.; Farzan, A.). 28th International Conference on Computer-Aided Verification, Toronto, Canada, July 17, 2016 - July 23, 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, December 05, 2016 - December 10, 2016. (2016)

Deininger, D.; Dimitrova, R.; Majumdar, R.: Symbolic Model Checking for Factored Probabilistic Models. In: Automated Technology for Verification and Analysis, pp. 444 - 460 (Eds. Artho, C.; Legay, A.; Peled, D.). 14th International Symposium on Automated Technology for Verification and Analysis, Chiba, Japan, October 17, 2016 - October 22, 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, pp. 280 - 296 (Eds. Chechik, M.; Raskin, J.-F.). 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Eindhoven, The Netherlands, April 02, 2016 - April 08, 2016. Springer, Berlin (2016)

Doko, M.; Vafeiadis, V.: A Program Logic for C11 Memory Fences. In: Verification, Model Checking, and Abstract Interpretation, pp. 413 - 430 (Eds. Jobstmann, B.; Leino, K. R. M.). 17th International Conference on Verification, Model Checking, and Abstract Interpretation, St. Petersburg, FL, USA, January 17, 2016 - January 19, 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, pp. 1555 - 1564. 22nd ACM SIGKDD Conference on Knowledge Discovery and Data Mining, San Francisco, CA, USA, August 13, 2016 - August 17, 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, pp. 637 - 654. 25th USENIX Security Symposium, Austin, TX, USA, August 10, 2016 - August 12, 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, pp. 147 - 163 (Eds. Chechik, M.; Raskin, J.-F.). 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Eindhoven, The Netherlands, April 02, 2016 - April 08, 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, pp. 1 - 14 (Eds. Lal, A.; Akshay, S.; Saurabh, S.; Sen, S.). 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Chennai, India, December 13, 2016 - December 15, 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, pp. 127 - 136. IEEE 16th International Working Conference on Source Code Analysis and Manipulation , Raleigh, NC, USA, October 02, 2016 - October 03, 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, pp. 919 - 924. 11th ACM Asia Conference on Computer and Communications Security, Xi’an, China, May 30, 2016 - June 03, 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, pp. 567 - 570. 10th International AAAI Conference on Web and Social Media, Oxford, UK, May 25, 2015 - May 29, 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, pp. 151 - 160. 10th International AAAI Conference on Web and Social Media, Oxford, UK, May 25, 2015 - May 29, 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, December 08, 2016. (2016)

Herbster, R.; DellaTorre, S.; Druschel, P.; Bhattacharjee, B.: Privacy Capsules: Preventing Information Leaks by Mobile Apps. In: MobiSys'16, pp. 399 - 411. 4th Annual International Conference on Mobile Systems, Applications, and Services, Singapore, June 25, 2016 - June 30, 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, September 23, 2016. (2016)

Jung, R.; Krebbers, R.; Birkedal, L.; Dreyer, D.: Higher-order Ghost State. In: ICFP'16, pp. 256 - 269 (Eds. Garrigue, J.; Keller, G.; Sumii, E.). 21st ACM SIGPLAN International Conference on Functional Programming, Nara, Japan, September 18, 2016 - September 24, 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, pp. 178 - 190 (Eds. Bodik, R.; Majumdar, R.). 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, St. Petersburg, FL, USA, January 20, 2015 - January 22, 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, pp. 1635 - 1644. 22nd ACM SIGKDD Conference on Knowledge Discovery and Data Mining, San Francisco, CA, USA, August 13, 2016 - August 17, 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, pp. 1426 - 1437. 23rd ACM Conference on Computer and Communications Security, Vienna, Austria, October 24, 2016 - October 28, 2016. ACM, New York, NY (2016)