Dimitrova, R.; Majumdar, R.: Deductive Control Synthesis for Alternating-time Logics. In: EMSOFT '14, 14, S. 1 - 10. 14th International Conference on Embedded Software , New Delhi, India, 12. Oktober 2014 - 17. Oktober 2014. ACM, New York, NY (2014)

Esmaeilsabzali, S.; Majumdar, R.; Wies, T.; Zufferey, D.: Dynamic Package Interfaces. In: Fundamental Approaches to Software Engineering, S. 261 - 275. 17th International Conference on Fundamental Approaches to Software Engineering, Grenoble, France, 03. April 2014 - 13. April 2014. Springer, Berlin (2014)

Esparza, J.; Ledesma-Garza, R.; Majumdar, R.; Meyer, P.; Niksic, F.: An SMT-based Approach to Coverability Analysis. In: Computer Aided Verification, S. 603 - 619. 26th International Conference on Computer Aided Verification, Vienna, Austria, 18. Juli 2014 - 22. Juli 2014. Springer, Berlin (2014)

Farajtabar, M.; Du, N.; Gomez Rodriguez, M.; Valera, I.; Zha, H.; Song, L.: Shaping Social Activity by Incentivizing Users. In: Advances in Neural Information Processing Systems 27, S. 2474 - 2482. Annual Conference on Neural Information Processing Systems 2014, Montreal, Quebec, Canada, 08. Dezember 2014 - 13. Dezember 2014. (2014)

Figueiredo, F.; Almeida, J. M.; Benevenuto, F.; Gummadi, K.: Does Content Determine Information Popularity in Social Media?: a Case Study of Youtube Videos' Content and their Popularity. In: CHI Conference on Human Factors in Computing Systems, S. 979 - 982. 2014 CHI Conference on Human Factors in Computing Systems, Toronto, ON, Canada, 26. April 2014 - 01. Mai 2014. ACM, New York, NY (2014)

Fonseca, P.; Rodrigues, R.; Brandenburg, B.: SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration. In: Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation. 11th USENIX Symposium on Operating Systems Design and Implementation, Broomfield, CO, USA, 06. Oktober 2014 - 08. Oktober 2014. USENIX Association, Berkeley, CA (2014)

Fu, J.; Dimitrova, R.; Topcu, U.: Abstractions and Sensor Design in Partial-information, Reactive Controller Synthesis. In: American Control Conference, S. 2297 - 2304. American Control Conference, Portland, OR, USA, 04. Juni 2014 - 06. Juni 2014. IEEE, Piscataway, NJ (2014)

Gligoric, M.; Majumdar, R.; Sharma, R.; Eloussi, L.; Marinov, D.: Regression Test Selection for Distributed Software Histories. In: Computer Aided Verification, S. 293 - 309. 26th International Conference on Computer Aided Verification, Vienna, Austria, 18. Juli 2014 - 22. Juli 2014. Springer, Berlin (2014)

Gomez-Rodriguez, M.; Song, L.; Schölkopf, B.: Open Problem: Finding Good Cascade Sampling Processes for the Network Inference Problem. In: Proceedings of The 27th Conference on Learning Theory, S. 1276 - 1279 (Hg. Balcan, M. F.; Feldman, V.; Szepesvári, C.). 27th Conference on Learning Theory, Barcelona, Spain, 13. Juni 2014 - 15. Juni 2014. (2014)

Hadi, D.; Gomez-Rodriguez, M.; Song, L.; Schoelkopf, B.: Estimating Diffusion Network Structures: Recovery Conditions, Sample Complexity Soft-thresholding Algorithm. In: Proceedings of the 31th International Conference on Machine Learning, S. 793 - 801 (Hg. Xing, E. P.; Jebara, T.). 31th International Conference on Machine Learning, Beijing, China, 21. Juni 2014 - 26. Juni 2014. (2014)

Hüchting, R.; Majumdar, R.; Meyer, R.: Bounds on Mobility. In: CONCUR 2014 - Concurrency Theory, S. 357 - 371. 25th International Conference on Concurrency Theory, Rome, Italy, 02. September 2014 - 05. September 2014. Springer, Berlin (2014)

Kilpatrick, S.; Dreyer, D.; Peyton Jones, S.; Marlow, S.: Backpack: Retrofitting Haskell with Interfaces. In: POPL'14, S. 19 - 31. 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, CA, USA, 22. Januar 2014 - 24. Januar 2014. ACM, New York, NY (2014)

Le Blond, S.; Uritesc, A.; Gilbert, C.; Chua, Z. L.; Saxena, P.; Kirda, E.: A Look at Targeted Attacks Through the Lense of an NGO. In: Proceedings of the 23rd USENIX Security Symposium, S. 543 - 558. 23rd USENIX Security Symposium, San Diego, CA, USA, 20. August 2014 - 22. August 2014. USENIX Association, Berkeley, CA (2014)

Lentz, M.; Erdélyi, V.; Aditya, P.; Shi, E.; Druschel, P.; Bhattacharjee, B.: SDDR: Light-weight, Secure Mobile Encounters. In: Proceedings of the 23rd USENIX Security Symposium, S. 925 - 940. 23rd USENIX Security Symposium, San Diego, CA, USA, 20. August 2014 - 22. August 2014. USENIX Association, Berkely, CA (2014)

Li, C.; Leitão, J.; Clement, A.; Preguiça, N.; Rodrigues, R.; Vafeiadis, V.: Automating the Choice of Consistency Levels in Replicated Systems. In: Proceedings of USENIX ATC ’14, S. 281 - 292. 2014 USENIX Annual Technical Conference, Philadelphia, PA, 19. Juni 2014 - 20. Juni 2014. USENIX (2014)

Maiya, P.; Kanade, A.; Majumdar, R.: Race Detection for Android Applications. In: PLDI '14, S. 316 - 325. 35th ACM SIGPLAN Conference on Programming Language Design and Implementation, Edinburgh, UK, 09. Juni 2014 - 11. Juni 2014. ACM, New York, NY (2014)

Majumdar, R.; Tetali, S. D.; Wang, Z.: Kuai: A Model Checker for Software-defined Networks. In: Formal Methods in Computer-Aided Design, FMCAD 2014, Lausanne, Switzerland, October 21-24, 2014, S. 163 - 170. 2014 Formal Methods in Computer-Aided Desig, Lausanne, Switzerland, 21. Oktober 2014 - 24. Oktober 2014. IEEE, Piscataway, NJ (2014)

Manuel, G.; Gummadi, K.; Schoelkopf, B.: Quantifying Information Overload in Social Media and its Impact on Social Contagions. In: ICSWM '14, S. 170 - 179. 8th International AAAI Conference on Weblogs and Social Media, Ann Arbor, MI, USA, 01. Juni 2014 - 04. Juni 2014. AAAI Press, Palo Alto, CA (2014)

Mondal, M.; Druschel, P.; Gummadi, K.; Mislove, A.: Beyond Access Control: Managing Online Privacy via Exposure. In: Workshop on Usable Security, S. 1 - 6. Workshop on Usable Security, San Diego, CA, USA, 23. Februar 2014. Internet Society, Reston, VA (2014)

Mondal, M.; Liu, Y.; Viswanath, B.; Gummadi, K.; Mislove, A.: Understanding and Specifying Social Access Control Lists. In: Tenth Symposium on Usable Privacy and Security, S. 271 - 283. Tenth Symposium on Usable Privacy and Security, Menlo Park, CA, USA, 09. Juli 2014 - 11. Juli 2014. USENIX, Berkeley, CA (2014)