Brandenburg, B.: The FMLP+: An Asymptotically Optimal Real-time Locking Protocol for Suspension-aware Analysis. In: ECRTS 2014, pp. 61 - 71. 26th Euromicro Conference on Real-Time Systems, Madrid, Spain, July 08, 2014 - July 11, 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, pp. 249 - 259. IEEE 35th Real-Time Systems Symposium, Rome, Italy, December 02, 2014 - December 05, 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, pp. 263 - 274. 20th Real Time and Embedded Technology and Applications Symposium, Berlin, Germany, April 15, 2014 - April 17, 2014. IEEE, Piscataway, NJ (2014)

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

Chistikov, D.; Majumdar, R.: Unary Pushdown Automata and Straight-line Programs. In: Automata, Languages, and Programming, pp. 146 - 157. 41st International Colloquium on Automata, Languages, and Programming, Copenhagen, Denmark, July 08, 2014 - July 11, 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, pp. 131 - 149 (Eds. Biere, A.; Bloem, R.). 26th International Conference on Computer Aided Verification, Vienna, Austria, July 18, 2014 - July 22, 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,, pp. 689 - 690. 7th ACM International Conference on Web Search and Data Mining, New York, NY, USA, February 24, 2014 - February 28, 2014. ACM, New York, NY (2014)

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

Esmaeilsabzali, S.; Majumdar, R.; Wies, T.; Zufferey, D.: Dynamic Package Interfaces. In: Fundamental Approaches to Software Engineering, pp. 261 - 275. 17th International Conference on Fundamental Approaches to Software Engineering, Grenoble, France, April 03, 2014 - April 13, 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, pp. 603 - 619. 26th International Conference on Computer Aided Verification, Vienna, Austria, July 18, 2014 - July 22, 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, pp. 2474 - 2482. Annual Conference on Neural Information Processing Systems 2014, Montreal, Quebec, Canada, December 08, 2014 - December 13, 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, pp. 979 - 982. 2014 CHI Conference on Human Factors in Computing Systems, Toronto, ON, Canada, April 26, 2014 - May 01, 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, October 06, 2014 - October 08, 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, pp. 2297 - 2304. American Control Conference, Portland, OR, USA, June 04, 2014 - June 06, 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, pp. 293 - 309. 26th International Conference on Computer Aided Verification, Vienna, Austria, July 18, 2014 - July 22, 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, pp. 1276 - 1279 (Eds. Balcan, M. F.; Feldman, V.; Szepesvári, C.). 27th Conference on Learning Theory, Barcelona, Spain, June 13, 2014 - June 15, 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, pp. 793 - 801 (Eds. Xing, E. P.; Jebara, T.). 31th International Conference on Machine Learning, Beijing, China, June 21, 2014 - June 26, 2014. (2014)

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

Kilpatrick, S.; Dreyer, D.; Peyton Jones, S.; Marlow, S.: Backpack: Retrofitting Haskell with Interfaces. In: POPL'14, pp. 19 - 31. 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, CA, USA, January 22, 2014 - January 24, 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, pp. 543 - 558. 23rd USENIX Security Symposium, San Diego, CA, USA, August 20, 2014 - August 22, 2014. USENIX Association, Berkeley, CA (2014)