Brandenburg, B.: The FMLP+: An Asymptotically Optimal Real-time Locking Protocol for Suspension-aware Analysis. In: ECRTS 2014, S. 61 - 71. 26th Euromicro Conference on Real-Time Systems, Madrid, Spain, 08. Juli 2014 - 11. Juli 2014. IEEE Computer Society, Los Alamitos, CA (2014)

Cerqueira, F.; Gujarati, A.; Brandenburg, B.: Linux’s Processor Affinity API, Refined: Shifting Real-Time Tasks towards Higher Schedulability. In: IEEE 35th Real-Time Systems Symposium, S. 249 - 259. IEEE 35th Real-Time Systems Symposium, Rome, Italy, 02. Dezember 2014 - 05. Dezember 2014. IEEE Computer Society, Los Alamitos, CA (2014)

Cerqueira, F.; Vanga, M.; Brandenburg, B.: Scaling Global Scheduling with Message Passing. In: IEEE 20th Real-Time and Embedded Technology and Applications Symposium, S. 263 - 274. 20th Real Time and Embedded Technology and Applications Symposium, Berlin, Germany, 15. April 2014 - 17. April 2014. IEEE, Piscataway, NJ (2014)

Chatterjee, K.; Ibsen-Jensen, R.; Majumdar, R.: Edit Distance for Timed Automata. In: HSCC'14, S. 302 - 312. 17th International Conference on Hybrid Systems, Berlin, Germany, 15. April 2014 - 17. April 2014. ACM, New York, NY (2014)

Chistikov, D.; Majumdar, R.: Unary Pushdown Automata and Straight-line Programs. In: Automata, Languages, and Programming, S. 146 - 157. 41st International Colloquium on Automata, Languages, and Programming, Copenhagen, Denmark, 08. Juli 2014 - 11. Juli 2014. Springer, Berlin (2014)

Chowdhury, O.; Jia, L.; Garg, D.; Datta, A.: Temporal Mode-checking for Runtime Monitoring of Privacy Policies. In: Computer Aided Verification, S. 131 - 149 (Hg. Biere, A.; Bloem, R.). 26th International Conference on Computer Aided Verification, Vienna, Austria, 18. Juli 2014 - 22. Juli 2014. Springer, Berlin (2014)

Cui, P.; Wang, F.; Tong, H.; Gomez Rodriguez, M.: 1st Workshop on Diffusion Networks and Cascade Analytics. In: Proceedings of the 7th ACM International Conference on Web Search and Data Mining,, S. 689 - 690. 7th ACM International Conference on Web Search and Data Mining, New York, NY, USA, 24. Februar 2014 - 28. Februar 2014. ACM, New York, NY (2014)

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)