Majumdar, R.; Mallik, K.; Soudjani, S.: Symbolic Controller Synthesis for Büchi Specifications on Stochastic Systems. In: HSCC2020, 14, S. 1 - 11. 23rd International Conference on Hybrid Systems: Computation and Control , Sydney, Australia & Virtual, 21. April 2020 - 24. April 2020. ACM, New York, NY (2020)

Majumdar, R.; Ouaknine, J.; Pouly, A.; Worrell, J.: Algebraic Invariants for Linear Hybrid Automata. In: 31st International Conference on Concurrency Theory, 32, S. 1 - 17 (Hg. Konnov, I.; Kovács, L.). 31st International Conference on Concurrency Theory, Vienna, Austria (Virtual Conference), 01. September 2020 - 04. September 2020. Schloss Dagstuhl, Wadern (2020)

Majumdar, R.; Ozay, N.; Schmuck, A.-K.: On Abstraction-Based Controller Design With Output Feedback. In: HSCC2020, 15, S. 1 - 11. 23rd International Conference on Hybrid Systems: Computation and Control , Sydney, Australia & Virtual, 21. April 2020 - 24. April 2020. ACM, New York, NY (2020)

Majumdar, R.; Salamati, M.; Soudjani, S.: On Decidability of Time-Bounded Reachability in CTMDPs. In: 47th International Colloquium on Automata, Languages, and Programming, 133, S. 1 - 19 (Hg. Czumaj, A.; Dawar, A.; Merelli, E.). 47th International Colloquium on Automata, Languages, and Programming, Saarbrücken, Germany (Virtual Conference), 08. Juli 2020 - 11. Juli 2020. Schloss Dagstuhl, Wadern (2020)

Mansur, M. N.; Christakis, M.; Wüstholz, V.; Zhang, F.: Detecting Critical Bugs in SMT Solvers Using Blackbox Mutational Fuzzing. In: ESEC/FSE '20, S. 701 - 712 (Hg. Devanbu, P.; Cohen, M.; Zimmermann, T.). 28th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Virtual Event, USA, 08. November 2020 - 13. November 2020. ACM, New York, NY (2020)

Markgraf, O.; Hong, C.-D.; Lin, A. W.; Najib, M.; Neider, D.: Parameterized Synthesis with Safety Properties. In: Programming Languages and Systems, S. 273 - 292 (Hg. Oliveira, B. C. d. S.). 18th Asian Symposium on Programming Languages and Systems , Fukuoka, Japan (Online Event), 30. November 2020 - 02. Dezember 2020. Springer, Berlin (2020)

Mascle, C.; Neider, D.; Schwenger, M.; Tabuada, P.; Weinert, A.; Zimmermann, M.: From LTL to rLTL Monitoring: Improved Monitorability through Robust Semantics. In: HSCC2020, 7, S. 1 - 12. 23rd International Conference on Hybrid Systems: Computation and Control , Sydney, Australia & Virtual, 21. April 2020 - 24. April 2020. ACM, New York, NY (2020)

McFarlane, D.; Redmiles, E. M.: Get Paid to Program: Evaluating an Employment-Aware After-School Program for High School Women of Color. In: ITiCSE '20, S. 212 - 218 (Hg. Giannakos, M.; Sindre, G.; Luxton-Reilly, A.; Divitini,, M.). ACM Conference on Innovation and Technology in Computer Science Educationn, Trondheim, Norway, 15. Juni 2020 - 19. Juni 2020. ACM, New York, NY (2020)

Moiseenko, E.; Podkopaev, A.; Lahav, O.; Melkonian, O.; Vafeiadis, V.: Reconciling Event Structures with Modern Multiprocessors. In: 34th European Conference onObject-Oriented Programming, 5, S. 1 - 26 (Hg. Hirschfeld, R.; Pape, T.). 34th European Conference on Object-Oriented Programming, Berlin, Germany (Virtual Event), 15. November 2020 - 17. November 2020. Schloss Dagstuhl, Wadern (2020)

Nandi, C.; Willsey, M.; Anderson, A.; Wilcox, J. R.; Darulova, E.; Grossman, D.; Tatlock, Z.: Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations. In: PLDI '20, S. 31 - 44 (Hg. Donaldson, A. F.; Torlak, E.). 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, London, UK (Virtual Event), 15. Juni 2020 - 20. Juni 2020. ACM, New York, NY (2020)

Natarajan, S.; Nasri, M.; Broman, D.; Brandenburg, B. B.; Nelissen, G.: From Code to Weakly Hard Constraints: A Pragmatic End-to-End Toolchain for Timed C. In: IEEE 40th Real-Time Systems Symposium, S. 167 - 180. IEEE 40th Real-Time Systems Symposium, Hong Kong, China, 03. Dezember 2019 - 06. Dezember 2019. IEEE, Piscataway, NJ (2020)

Neider, D.; Totzke, P.; Zimmermann, M.: Optimally Resilient Strategies in Pushdown Safety Games. In: 45th International Symposium on Mathematical Foundations of Computer Science, 74, S. 1 - 15 (Hg. Esparza, J.; Kràl', D.). 45th International Symposium on Mathematical Foundations of Computer Science, Prague, Czech Republic (Virtual Event), 25. August 2020 - 26. August 2020. Schloss Dagstuhl, Wadern (2020)

Neumann, E.; Ouaknine, J.; Worrell, J.: On Ranking Function Synthesis and Termination for Polynomial Programs. In: 31st International Conference on Concurrency Theory, 15, S. 1 - 15 (Hg. Konnov, I.; Kovács, L.). 31st International Conference on Concurrency Theory, Vienna, Austria (Virtual Conference), 01. September 2020 - 04. September 2020. Schloss Dagstuhl, Wadern (2020)

Nogd, S.; Nelissen, G.; Nasri, M.; Brandenburg, B. B.: Response-Time Analysis for Non-Preemptive Global Scheduling with FIFO Spin Locks. In: IEEE 41st Real-Time Systems Symposium, S. 115 - 127. IEEE 41st Real-Time Systems Symposium , Houston, TX, USA (Virtual Conference), 01. Dezember 2020 - 04. Dezember 2020. IEEE, Piscataway, NJ (2020)

Ouaknine, J.: Holonomic Techniques, Periods, and Decision Problems (Invited Talk). In: 40th IARCS Annual Conferenceon Foundations of SoftwareTechnology and TheoreticalComputer Science, 4, S. 1 - 3 (Hg. Saxena, N.; Simon, S.). 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Goa, India (Virtual Conference), 14. Dezember 2020 - 18. Dezember 2020. Schloss Dagstuhl, Wadern (2020)

Patro, G. K.; Biswas, A.; Ganguly, N.; Gummadi, K. P.; Chakraborty, A.: FairRec: Two-Sided Fairness for Personalized Recommendations in Two-Sided Platforms. In: Proceedings of The World Wide Web Conference, S. 1194 - 1204 (Hg. Huang, Y.; King, I.; Liu, T.-Y.; van Steen, M.). The World Wide Web Conference, Taipei, Taiwan, 20. April 2020 - 24. April 2020. ACM, New York, NY (2020)

Patro, G. K.; Chakraborty, A.; Ganguly, N.; Gummadi, K. P.: Incremental Fairness in Two-Sided Market Platforms: On Smoothly Updating Recommendations. In: AAAI Technical Track: AI and the Web, S. 181 - 188. Thirty-Fourth AAAI Conference on Artificial Intelligence, New York, NY, USA, 07. Februar 2020 - 12. Februar 2020. AAAI, Palo Alto, CA (2020)

Raad, A.; Berdine, J.; Dang, H.-H.; Dreyer, D.; O’Hearn, P.; Villard, J.: Local Reasoning About the Presence of Bugs: Incorrectness Separation Logic. In: Computer Aided Verification, S. 225 - 252 (Hg. Lahiri, S. K.; Wang, C.). 32nd International Conference on Computer-Aided Verification, Los Angeles, CA, USA (Online), 21. Juli 2020 - 24. Juli 2020. Springer, Berlin (2020)

Rakhsha, A.; Radanovic, G.; Devidze, R.; Zhu, X.; Singla, A.: Policy Teaching via Environment Poisoning: Training-time Adversarial Attacks against Reinforcement Learning. In: Proceedings of the 37th International Conference on Machine Learning, S. 7974 - 7984 (Hg. Daumé, H.; Singh, A.). 37th International Conference on Machine Learning, Virtual Conference, 13. Juli 2020 - 18. Juli 2020. MLResearchPress (2020)

Rastegarpanah, B.; Crovella, M.; Gummadi, K. P.: Fair Inputs and Fair Outputs: The Incompatibility of Fairness in Privacy and Accuracy. In: UMAP '20 Adjunct, S. 260 - 267 (Hg. Kuflik, T.; Torre, I.; Burke, R.; Gena, C.). 28th ACM Conference on User Modeling, Adaptation and Personalization, Genoa, Italy, 14. Juli 2020 - 17. Juli 2020. ACM, New York, NY (2020)