Golyanik, V.; Nasri, M.; Stricker, D.: Towards Scheduling Hard Real-Time Image Processing Tasks on a Single GPU. In: IEEE International Conference on Image Processing, pp. 4382 - 4386. IEEE International Conference on Image Processing, Beijing, China, September 17, 2017 - September 20, 2017. IEEE, Piscataway, NJ (2017)

Gomez Rodriguez, M.: Distilling Information Reliability and Source Trustworthiness from Digital Traces. In: WWW '17 Companion, p. 1513 - 1513. 26th International Conference on World Wide Web Companion, Perth, Australia, April 03, 2017 - April 07, 2017. ACM, New York, NY (2017)

Grgić-Hlača, N.; Zafar, M. B.; Gummadi, K.; Weller, A.: On Fairness, Diversity, and Randomness in Algorithmic Decision Making. In: Fairness, Accountability, and Transparency in Machine Learning. 4th Workshop on Fairness, Accountability, and Transparency in Machine Learning , Halifax, Canada, August 14, 2017. (2017)

Gujarati, A.; Elnikety, S.; He, Y.; McKinley, K. S.; Brandenburg, B.: Swayam: Distributed Autoscaling to Meet SLAs of Machine Learning Inference Services with Resource Efficiency. In: Middleware'17, pp. 109 - 120. 18th ACM/IFIP/USENIX Middleware Conference, Las Vegas, NV, USA, December 11, 2017 - December 15, 2017. ACM, New York, NY (2017)

Gujarati, A.; Nasri, M.; Brandenburg, B.: Lower-Bounding the MTTF for Systems with (m,k) Constraints and IID Iteration Failure Probabilities. In: 2nd Workshop on the Security and Dependability of Critical Embedded Real-Time Systems (CERTS) 2017, pp. 22 - 24. 2nd Workshop on the Security and Dependability of Critical Embedded Real-Time Systems, Paris, France, December 05, 2017. (2017)

Hoenicke, J.; Majumdar, R.; Podelski, A.: Thread Modularity at Many Levels: A Pearl in Compositional Verification. In: POPL'17, pp. 473 - 485 (Eds. Castagna, G.; Gordon, A. D.). 44th ACM SIGPLAN Symposium on Principles of Programming Languages, Paris, France, January 15, 2017 - January 21, 2017. ACM, New York, NY (2017)

Izycheva, A.; Darulova, E.: On Sound Relative Error Bounds for Floating-Point Arithmetic. In: Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design, pp. 15 - 22 (Eds. Stewart, D.; Weissenbacher, G.). 17th Conference on Formal Methods in Computer-Aided Design, Vienna, Austria, October 02, 2017 - October 06, 2017. IEEE, Piscataway, NJ (2017)

Jankowiak, M.; Gomez Rodriguez, M.: Uncovering the Spatiotemporal Patterns of Collective Social Activity. In: Proceedings of the Seventeenth SIAM International Conference on Data Mining, pp. 822 - 830 (Ed. Chawla, N.). 17th SIAM International Conference on Data Mining, Houston, TX, USA, April 27, 2017 - April 29, 2017. SIAM, Philadelphia, PA (2017)

Kaiser, J.-O.; Dang, H.-H.; Dreyer, D.; Lahav, O.; Vafeiadis, V.: Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris. In: 29th European Conference on Object-Oriented Programming, 17, pp. 1 - 29 (Ed. Müller, P.). 31st European Conference on Object-Oriented Programming, Barcelona, Spain, June 18, 2017 - June 23, 2017. Schloss Dagstuhl, Wadern (2017)

Kang, J.; Hur, C.-K.; Lahav, O.; Vafeiadis, V.; Dreyer, D.: A Promising Semantics for Relaxed-Memory Concurrency. In: POPL'17, pp. 175 - 189 (Eds. Castagna, G.; Gordon, A. D.). 44th ACM SIGPLAN Symposium on Principles of Programming Languages, Paris, France, January 15, 2017 - January 21, 2017. ACM, New York, NY (2017)

Krebbers, R.; Jung, R.; Bizjak, A.; Jourdan, J.-H.; Dreyer, D.; Birkedal, L.: The Essence of Higher-Order Concurrent Separation Logic. In: Programming Languages and Systems, pp. 696 - 723 (Ed. Yang, H.). 26th European Symposium on Programming, Uppsala, Sweden, April 22, 2017 - April 29, 2017. Springer, Berlin (2017)

Kulshrestha, J.; Eslami, M.; Messias, J.; Zafar, M. B.; Ghosh, S.; Gummadi, K.; Karahalios, K. G.: Quantifying Search Bias: Investigating Sources of Bias for Political Searches in Social Media. In: CSCW '17, pp. 417 - 432. 20th ACM Conference on Computer-Supported Cooperative Work & Social Computing, Portland, OR, USA, February 25, 2017 - March 01, 2017. ACM, New York, NY (2017)

Lahav, O.; Vafeiadis, V.; Kang, J.; Hur, C.-K.; Dreyer, D.: Repairing Sequential Consistency in C/C++11. In: PLDI'17, pp. 618 - 632. 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, Barcelona, Spain, June 18, 2017 - June 23, 2017. ACM, New York, NY (2017)

Lavaei, A.; Soudjani, S.; Majumdar, R.; Zamani, M.: Compositional Abstractions of Interconnected Discrete-time Stochastic Control Systems. In: IEEE 56th Annual Conference on Decision and Control, pp. 3551 - 3556. IEEE 56th Annual Conference on Decision and Control, Melbourne, Australia, December 12, 2017 - December 15, 2017. IEEE, Piscataway, NJ (2017)

Le Blond, S.; Gilbert, C.; Upadhyay, U.; Gomez Rodriguez, M.; Choffnes, D.: A Broad View of the Ecosystem of Socially Engineered Exploit Documents. In: Proceedings of the 24th Annual Symposium on Network and Distributed System Security. 24th Annual Symposium on Network and Distributed System Security, San Diego, CA, USA, February 26, 2017 - March 01, 2017. Internet Society, Reston, VA (2017)

Lengál, O.; Lin, A. W.; Majumdar, R.; Rümmer, P.: Fair Termination for Parameterized Probabilistic Concurrent Systems. In: Tools and Algorithms for the Construction and Analysis of Systems, pp. 499 - 517 (Eds. Legay, A.; Margaria, T.). 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Uppsala, Sweden, April 22, 2017 - April 29, 2017. Springer, Berlin (2017)

Mallik, K.; Soudjani, S.; Schmuck, A.-K.; Majumdar, R.: Compositional Construction of Finite State Abstractions for Stochastic Control Systems. In: IEEE 56th Annual Conference on Decision and Control, pp. 550 - 557. IEEE 56th Annual Conference on Decision and Control, Melbourne, Australia, December 12, 2017 - December 15, 2017. IEEE, Piscataway, NJ (2017)

Mavroforakis, C.; Valera, I.; Gomez Rodriguez, M.: Modeling the Dynamics of Learning Activity on the Web. In: WWW'17, pp. 1421 - 1430. 26th International Conference on World Wide Web , Perth, Australia, April 03, 2017 - April 07, 2017. ACM, New York, NY (2017)

Mehta, A.; Elnikety, E.; Harvey, K.; Garg, D.; Druschel, P.: Qapla: Policy Compliance for Database-backed Systems. In: Proceedings of the 26th USENIX Security Symposium, pp. 1463 - 1479. 26th USENIX Security Symposium , Vancouver, Canada, August 16, 2017 - August 18, 2017. USENIX (2017)

Nasri, M.; Nelissen, G.: Increasing Fixed-Priority Schedulability using Non-periodic Load Shapers. In: Proceedings of the 8th Real-Time Scheduling Open Problems Seminar, pp. 17 - 18 (Eds. Nelis, V.; Chantem, T.). 8th Real-Time Scheduling Open Problems Seminar, Dubrovnik, Croatia, June 27, 2017. CISTER, ISEP (2017)