Banusić, G. B.; Majumdar, R.; Pirron, M.; Schmuck, A.-K.; Zufferey, D.: PGCD: Robot Programming and Verification with Geometry, Concurrency, and Dynamics. In: ICCPS'19, S. 57 - 66. ACM/IEEE International Conference on Cyber-Physical Systems, Montreal, Canada, 16. April 2019 - 18. April 2019. ACM, New York, NY (2019)

Bard, J.; Becker, H.; Darulova, E.: Formally Verified Roundoff Errors Using SMT-based Certificates and Subdivisions. In: Formal Methods - The Next 30 Years, S. 38 - 44 (Hg. ter Beek, M. H.; McIver, A.; Oliveira, J. N.). 23rd Symposium on Formal Method, Porto, Portugal, 07. Oktober 2019 - 11. Oktober 2019. Springer, Cham (2019)

Becker, H.; Darulova, E.; Myreen, M. O.; Tatlock, Z.: Icing: Supporting Fast-Math Style Optimizations in a Verified Compiler. In: Computer Aided Verification, S. 155 - 173 (Hg. Dillig, I.; Tasiran, S.). 31st International Conference on Computer Aided Verification, New York City, NY, USA, 15. Juli 2019 - 18. Juli 2019. Springer, Berlin (2019)

Brahmakshatriya, A.; Kedia, P.; McKee, D. P.; Garg, D.; Lal, A.; Rastogi, A.; Nemati, H.; Panda, A.; Bhatu, P.: ConfLLVM: A Compiler for Enforcing Data Confidentiality in Low-Level Code. In: Proceedings of the Fourteenth EuroSys Conference 2019, 4. Fourteenth EuroSys Conference, Dresden, Germany, 25. März 2019 - 28. März 2019. ACM, New York, NY (2019)

Brandenburg, B.: The Case for an Opinionated, Theory-Oriented Real-Time Operating System. In: 1st International Workshop on Next-Generation Operating Systems for Cyber-Physical Systems. 1st International Workshop on Next-Generation Operating Systems for Cyber-Physical Systems, Montreal, Canada, 15. April 2019. (2019)

Casini, D.; Blaß, T.; Lütkebohle, I.; Brandenburg, B.: Response-Time Analysis of ROS 2 Processing Chains Under Reservation-Based Scheduling. In: 31st Euromicro Conference on Real-Time Systems, 6, S. 1 - 23 (Hg. Quinton, S.). 31st Euromicro Conference on Real-Time Systems, Stuttgart, Germany, 09. Juli 2019 - 12. Juli 2019. Schloss Dagstuhl, Wadern (2019)

Chakraborty, S.; Vafeiadis, V.: Grounding Thin-Air Reads with Event Structures. 46th ACM SIGPLAN Symposium on Principles of Programming Languages, Cascais, Portugal, 13. Januar 2019 - 19. Januar 2019. Proceedings of the ACM on Programming Languages 3, POPL, 70, (2019)

Chakraborty, A.; Mota, N.; Biega, A. J.; Gummadi, K.; Heidari, H.: On the Impact of Choice Architectures on Inequality in Online Donation Platforms. In: Proceedings of The World Wide Web Conference, S. 2623 - 2629 (Hg. McAuley, J.). The Web Conference, San Francisco, CA, USA, 13. Mai 2019 - 17. Mai 2019. ACM, New York, NY (2019)

Chakraborty, A.; Patro, G. K.; Ganguly, N.; Gummadi, K.; Loiseau, P.: Equality of Voice: Towards Fair Representation in Crowdsourced Top-K Recommendations. In: Proceedings of the 2019 Conference on Fairness, Accountability, and Transparency, S. 129 - 138. Conference on Fairness, Accountability, and Transparency, Atlanta, GA, USA, 29. Januar 2019 - 31. Januar 2019. ACM, New York, NY (2019)

Christakis, M.; Heizmann, M.; Mansur, M. N.; Schilling, C.; Wüstholz, V.: Semantic Fault Localization and Suspiciousness Ranking. In: Tools and Algorithms for the Construction and Analysis of Systems, S. 226 - 243 (Hg. Vojnar, T.; Zhang, L.). 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Prague, Czech Republic, 06. April 2019 - 11. April 2019. Springer, New York, NY (2019)

Çiçek, E.; Qu, W.; Barthe, G.; Gaboardi, M.; Garg, D.: Bidirectional Type Checking for Relational Properties. In: PLDI'19, S. 533 - 547 (Hg. McKinlez, K. S.; Fisher, K.). 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, Phoenix, AZ, USA , 22. Juni 2019 - 26. Juni 2019. ACM, New York, NY (2019)

Colcombet, T.; Ouaknine, J.; Semukhin, P.; Worrell, J.: On Reachability Problems for Low-Dimensional Matrix Semigroups. In: 46th International Colloquium on Automata, Languages, and Programming, 44 (Hg. Baier, C.; Chaztigiannakis, I.; Flocchini, P.; Leonardi, S.). 46th International Colloquium on Automata, Languages, and Programming, Patras, Greece, 09. Juli 2019 - 12. Juli 2019. Schloss Dagstuhl, Wadern (2019)

Darulova, E.; Volkova, A.: Sound Approximation of Programs with Elementary Functions. In: Computer Aided Verification, S. 174 - 183 (Hg. Dillig, I.; Tasiran, S.). 31st International Conference on Computer-Aided Verification, York City, NY, USA, 15. Juli 2019 - 18. Juli 2019. Springer, Berlin (2019)

Dash, A.; Shandilya, A.; Biswas, A.; Ghosh, K.; Ghosh, S.; Chakraborty, A.: Summarizing User-generated Textual Content: Motivation and Methods for Fairness in Algorithmic Summaries. 22nd ACM Conference on Computer-Supported Cooperative Work and Social Computing, Austin, TX, USA, 09. November 2019 - 13. November 2019. Proceedings of the ACM Human-Computer Interaction 3, CSCW, 172, (2019)

Dimitrakakis, C.; Liu, Y.; Parkes, D. C.; Radanovic, G.: Bayesian Fairness. In: Proceedings of the AAAI Conference on Artificial Intelligence, S. 509 - 516. Thirty-Third AAAI Conference on Artificial Intelligence, Honolulu, HI, USA, 27. Januar 2019 - 01. Februar 2019. AAAI Press, Palo Alto, CA (2019)

Dimitrova, R.; Majumdar, R.; Prabhu, V.: Causality Analysis for Concurrent Reactive Systems (Extended Abstract). In: Proceedings 3rd Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology, S. 31 - 33 (Hg. Finkbeiner, B.; Kleinberg, S.). 3rd Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology , Thessaloniki, Greece, 21. April 2018. Open Publishing Association (2019)

Dörfler, J.; Ikenmeyer, C.; Panova, G.: On Geometric Complexity Theory: Multiplicity Obstructions Are Stronger Than Occurrence Obstructions. In: 46th International Colloquium on Automata, Languages, and Programming, 51, S. 1 - 14 (Hg. Baier, C.; Chaztigiannakis, I.; Flocchini, P.; Leonardi, S.). 46th International Colloquium on Automata, Languages, and Programming, Patras, Greece, 09. Juli 2019 - 12. Juli 2019. Schloss Dagstuhl, Wadern (2019)

Emelianov, V.; Arvanitakis, G.; Gast, N.; Gummadi, K.; Loiseau, P.: The Price of Local Fairness in Multistage Selection. In: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, S. 5836 - 5842 (Hg. Krais, S.). Twenty-Eighth International Joint Conference on Artificial Intelligence, Macao, 10. August 2019 - 16. August 2019. IJCAI (2019)

Fijalkow, N.; Lefaucheux, E.; Ohlmann, P.; Ouaknine, J.; Pouly, A.; Worrell, J.: On the Monniaux Problem in Abstract Interpretation. In: Static Analysis, S. 162 - 180 (Hg. Chang, B.-Y. E.). 26th International Static Analysis Symposium, Porto, Portugal, 08. Oktober 2019 - 11. Oktober 2019. Springer, Berlin (2019)

Fijalkow, N.; Ouaknine, J.; Pouly, A.; Sousa-Pinto, J.; Worrell, J.: On the Decidability of Reachability in Linear Time-invariant Systems. In: HSCC'19, S. 77 - 86. 22nd ACM International Conference on Hybrid Systems: Computation and Control, Montreal, Canada, 16. April 2019 - 18. April 2019. ACM, New York, NY (2019)