Conchon, S.; Goel, A.; Krstic, S.; Majumdar, R.; Roux, M.: FAR-Cubicle -- A New Reachability Algorithm for Cubicle. In: Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design, S. 172 - 175 (Hg. Stewart, D.; Weissenbacher, G.). 17th Conference on Formal Methods in Computer-Aided Design, Vienna, Austria, 02. Oktober 2017 - 06. Oktober 2017. IEEE, Piscataway, NJ (2017)

Cremers, C.; Horvat, M.; Hoyland, J.; Scott, S.; van der Merwe, T.: A Comprehensive Symbolic Analysis of TLS 1.3. In: CCS'17, S. 1773- - 1788. ACM SIGSAC Conference on Computer and Communications Security , Dallas, TX, USA, 30. Oktober 2017 - 03. November 2017. ACM, New York, NY (2017)

Dimitrova, R.; Gavran, I.; Majumdar, R.; Prabhu, V.; Soudjani, S.: The Robot Routing Problem for Collecting Aggregate Stochastic Rewards. In: 28th International Conference on Concurrency Theory, 13, S. 1 - 17 (Hg. Meyer, R.; Nestmann, U.). 28th International Conference on Concurrency Theory, Berlin, Germany, 05. September 2017 - 08. September 2017. Schloss Dagstuhl, Wadern (2017)

Doko, M.; Vafeiadis, V.: Tackling Real-Life Relaxed Concurrency with FSL++. In: Programming Languages and Systems, S. 448 - 475 (Hg. Yang, H.). 26th European Symposium on Programming, Uppsala, Sweden, 22. April 2017 - 29. April 2017. Springer, Berlin (2017)

Fages, F.; Le Guludec, G.; Bournez, O.; Pouly, A.: Strong Turing Completeness of Continuous Chemical Reaction Networks and Compilation of Mixed Analog-Digital Programs. In: Computational Methods in Systems Biology, S. 108 - 127 (Hg. Feret, J.; Koeppl, H.). 15th Conference on Computational Methods in Systems Biology, Darmstadt, Germany, 27. September 2017 - 29. September 2017. Springer, Berlin (2017)

Farahani, S. S.; Majumdar, R.; Prabhu, V.; Soudjan, S. E. Z.: Shrinking Horizon Model Predictive Control with Chance-Constrained Signal Temporal Logic Specifications. In: American Control Conference (Hg. Sun, J.). American Control Conference, Seattle, WA, USA, 24. Mai 2017 - 26. Mai 2017. IEEE, Piscataway, NJ (2017)

Fijalkow, N.; Ohlmann, P.; Ouaknine, J.; Pouly, A.; Worrell, J.: Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem. In: 34th Symposium on Theoretical Aspects of Computer Science, 29, S. 1 - 13 (Hg. Vollmer, H.; Vallée, B.). 34th Symposium on Theoretical Aspects of Computer Science, Hannover, Germany, 08. März 2017 - 11. März 2017. Schloss Dagstuhl, Wadern (2017)

Fischer, J.; Majumdar, R.: Programming by Composing Filters. In: LPAR-21, S. 1 - 13 (Hg. Eiter, T.; Sands, D.). 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, 08. Mai 2017 - 12. Mai 2017. EasyChair, Manchester, UK (2017)

Francis, P.; Probst Eide, S.; Munz, R.: Diffix: High-Utility Database Anonymization. In: Privacy Technologies and Policy, S. 141 - 158 (Hg. Schweighofer, E.; Leitold, H.; Mitrakas, A.; Rannenberg, K.). 5th Annual Privacy Forum, Vienna, Austria, 07. Juni 2017 - 08. Juni 2017. Springer, Berlin (2017)

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, S. 4382 - 4386. IEEE International Conference on Image Processing, Beijing, China, 17. September 2017 - 20. September 2017. IEEE, Piscataway, NJ (2017)

Gomez Rodriguez, M.: Distilling Information Reliability and Source Trustworthiness from Digital Traces. In: WWW '17 Companion, S. 1513 - 1513. 26th International Conference on World Wide Web Companion, Perth, Australia, 03. April 2017 - 07. April 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, 14. August 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, S. 109 - 120. 18th ACM/IFIP/USENIX Middleware Conference, Las Vegas, NV, USA, 11. Dezember 2017 - 15. Dezember 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, S. 22 - 24. 2nd Workshop on the Security and Dependability of Critical Embedded Real-Time Systems, Paris, France, 05. Dezember 2017. (2017)

Hoenicke, J.; Majumdar, R.; Podelski, A.: Thread Modularity at Many Levels: A Pearl in Compositional Verification. In: POPL'17, S. 473 - 485 (Hg. Castagna, G.; Gordon, A. D.). 44th ACM SIGPLAN Symposium on Principles of Programming Languages, Paris, France, 15. Januar 2017 - 21. Januar 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, S. 15 - 22 (Hg. Stewart, D.; Weissenbacher, G.). 17th Conference on Formal Methods in Computer-Aided Design, Vienna, Austria, 02. Oktober 2017 - 06. Oktober 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, S. 822 - 830 (Hg. Chawla, N.). 17th SIAM International Conference on Data Mining, Houston, TX, USA, 27. April 2017 - 29. April 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, S. 1 - 29 (Hg. Müller, P.). 31st European Conference on Object-Oriented Programming, Barcelona, Spain, 18. Juni 2017 - 23. Juni 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, S. 175 - 189 (Hg. Castagna, G.; Gordon, A. D.). 44th ACM SIGPLAN Symposium on Principles of Programming Languages, Paris, France, 15. Januar 2017 - 21. Januar 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, S. 696 - 723 (Hg. Yang, H.). 26th European Symposium on Programming, Uppsala, Sweden, 22. April 2017 - 29. April 2017. Springer, Berlin (2017)