Bouyer, P.; Fahrenberg, U.; Guldstrand Larsen, K.; Markey, N.; Ouaknine, J.; Worrell, J.: Model Checking Real-Time Systems. In: Handbook of Model Checking, S. 1001 - 1046 (Hg. Clarke, E. M.; Henzinger, T. A.; Veith, H.; Bloem, R.). Springer, Cham (2018)

Majumdar, R.; Raskin, J.-F.: Symbolic Model Checking in Non-Boolean Domains. In: Handbook of Model Checking, S. 1111 - 1147 (Hg. Clarke, E. M.; Henzinger, T. A.; Veith, H.; Bloem, R.). Springer, Cham (2018)

Darulova, E.; Donaldson, A. F.; Rakamarić, Z.; Rubio-González, C. (Hg.): Analysis and Synthesis of Floating-point Programs (Dagstuhl Reports, 7). Dagstuhl Seminar 17352 "Analysis and Synthesis of Floating-point Programs", Dagstuhl, Germany, 27. August 2017 - 30. August 2017. Schloss Dagstuhl, Wadern (2018), 28 S.

Abbas, H.; Saha, I.; Shoukry, Y.; Ehlers, R.; Fainekos, G.; Gupta, R.; Majumdar, R.; Ulus, D.: Special Session: Embedded Software for Robotics: Challenges and Future Directions. In: Proceedings of the International Conference on Embedded Software. International Conference on Embedded Software, Turin, Italy, 30. September 2018 - 05. Oktober 2018. IEEE, Piscataway, NJ (2018)

Aguirre, A.; Barthe, G.; Birkedal, L.; Bizjak, A.; Gaboardi, M.; Garg, D.: Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus. In: Programming Languages and Systems, S. 214 - 241 (Hg. Ahmed, A.). 27th European Symposium on Programming, Thessaloniki, Greece,, 14. April 2018 - 20. April 2018. Springer, Berlin (2018)

Almagor, S.; Chapman, B.; Hosseini, M.; Ouaknine, J.; Worrell, J.: Effective Divergence Analysis for Linear Recurrence Sequences. In: 29th International Conference on Concurrency Theory, 42, S. 1 - 15 (Hg. Schewe, S.; Zhang, L.). 29th International Conference on Concurrency Theory, Beijing, China, 04. September 2018 - 07. September 2018. Schloss Dagstuhl, Wadern (2018)

Almagor, S.; Chistikov, D.; Ouaknine, J.; Worrell, J.: O-Minimal Invariants for Linear Loops. In: 45th International Colloquium on Automata, Languages, and Programming, 114, S. 1 - 14 (Hg. Chatzigiannakis, I.; Kaklamanis, C.; Marx, D.; Sannella, D.). 45th International Colloquium on Automata, Languages, and Programming, Prague, Czech Republic, 09. Juli 2018 - 13. Juli 2018. Schloss Dagstuhl, Wadern (2018)

Andreou, A.; Venkatadri, G.; Goga, O.; Gummadi, K. P.; Loiseau, P.; Mislove, A.: Investigating Ad Transparency Mechanisms in Social Media: A Case Study of Facebooks Explanations. In: Network and Distributed Systems Security Symposium. Network and Distributed Systems Security Symposium , San Diego, CA, UCA, 18. Februar 2018 - 21. Februar 2018. ndss-symposium.org (2018)

Anevlavis, T.; Philippe, M.; Neider, D.; Tabuada, P.: Verifying rLTL Formulas: Now Faster than Ever Before! In: IEEE Conference on Decision and Control, S. 1556 - 1561. 57th IEEE Conference on Decision and Control, Miami Beach, FL, USA, 17. Dezember 2018 - 19. Dezember 2018. IEEE, Piscataway, NJ (2018)

Babaei, M.; Kulshrestha, J.; Chakraborty, A.; Benevenuto, F.; Gummadi, K. P.; Weller, A.: Purple Feed: Identifying High Consensus News Posts on Social Media. In: AIES'18, S. 10 - 16. AAAI/ACM Conference on AI, Ethics, and Society, New Orleans, LA, USA, 02. Februar 2018 - 03. Februar 2018. ACM, New York, NY (2018)

Backenköhler, M.; Scherzinger, F.; Singla, A.; Wolf, V.: Data-Driven Approach Towards a Personalized Curriculum. In: Proceedings of the 11th International Conference on Educational Data Mining, 31, S. 246 - 251 (Hg. Boyer, K. E.; Yudelson, M.). 11th International Conference on Educational Data Mining, Buffalo, NY, USA, 15. Juli 2018 - 18. Juli 2018. educationaldatamining.org (2018)

Becker, H.; Zyuzin, N.; Monat, R.; Darulova, E.; Myreen, M. O.; Fox, A. C. J.: A Verified Certificate Checker for Finite-Precision Error Bounds in Coq and HOL4. In: Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design, S. 1 - 10 (Hg. Bjørner, N.; Gurfinke, A.). 18th Conference on Formal Methods in Computer-Aided Design, Austin, TX, USA, 30. Oktober 2018 - 02. November 2018. IEEE, Piscataway, NJ (2018)

Becker, H.; Panchekha, P.; Darulova, E.; Tatlock, Z.: Combining Tools for Optimization and Analysis of Floating-Point Computations. In: Formal Methods, S. 355 - 363 (Hg. Havelund, K.; Peleska, J.; Roscoe, B.; de Vink, E.). 22nd International Symposium on Formal Methods, Oxford, UK, 15. Juli 2018 - 17. Juli 2018. Springer, Berlin (2018)

Biega, A. J.; Gummadi, K. P.; Weikum, G.: Equity of Attention: Amortizing Individual Fairness in Rankings. In: SIGIR'18, S. 405 - 414. 41st International ACM SIGIR Conference on Research and Development in Information Retrieval, Ann Arbor, MI, USA, 08. Juli 2018 - 12. Juli 2018. ACM, New York, NY (2018)

Bugariu, A.; Wüstholz, V.; Christakis, M.; Müller, P.: Automatically Testing Implementations of Numerical Abstract Domains. In: ASE'18, S. 768 - 778 (Hg. Huchard, M.; Kästner, C.; Fraser, G.). 33rd ACM/IEEE International Conference on Automated Software Engineering, Montpellier, France, 03. September 2018 - 07. September 2018. ACM, New York, NY (2018)

Cerqueira, F.; Nelissen, G.; Brandenburg, B.: On Strong and Weak Sustainability, with an Application to Self-Suspending Real-Time Tasks. In: 30th Euromicro Conference on Real-Time Systems, 26, S. 1 - 21 (Hg. Altmeyer, S.). 30th Euromicro Conference on Real-Time Systems, Barcelona, Spain, 03. Juli 2018 - 06. Juli 2018. Schloss Dagstuhl, Wadern (2018)

Chatterjee, K.; Henzinger, M.; Loitzenbauer, V.; Oraee, S.; Toman, V.: Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives. In: Computer Aided Verification, S. 178 - 197 (Hg. Chockler, H.; Weissenbacher, G.). 30th International Conference on Computer-Aided Verification, Oxford, UK, 14. Juli 2018 - 17. Juli 2018. Springer, Berlin (2018)

Chen, Y.; Singla, A.; Aodha, O. M.; Perona, P.; Yue, Y.: Understanding the Role of Adaptivity in Machine Teaching: The Case of Version Space Learners. In: Advances in Neural Information Processing Systems 31, S. 1476 - 1486 (Hg. Bengio, S.; Wallach, H.; Larochelle, H.; Graumann, K.; Cesa-Bianchi, N. et al.). Thirty-second Conference on Neural Information Processing Systems, Montréal, Canada, 02. Dezember 2018 - 08. Dezember 2018. Curran Associates (2018)

Czerwinski, W.; Hofman, P.; Zetzsche, G.: Unboundedness Problems for Languages of Vector Addition Systems. In: 45th International Colloquium on Automata, Languages, and Programming, 119, S. 1 - 15 (Hg. Chatzigiannakis, I.; Kaklamanis, C.; Marx, D.; Sannella, D.). 45th International Colloquium on Automata, Languages, and Programming, Prague, Czech Republic, 09. Juli 2018 - 13. Juli 2018. Schloss Dagstuhl, Wadern (2018)

Darulova, E.; Horn, E.; Sharma, S.: Sound Mixed-Precision Optimization with Rewriting. In: 9th ACM/IEEE International Conference on Cyber-Physical Systems, S. 208 - 219. 9th ACM/IEEE International Conference on Cyber-Physical Systems , Porto, Portugal, 11. April 2018 - 13. April 2018. IEEE, Piscataway, NJ (2018)