Mehta, A.; Alzayat, M.; De Viti, R.; Brandenburg, B.; Druschel, P.; Garg, D.: Pacer: Comprehensive Network Side-Channel Mitigation in the Cloud. In: 31st USENIX Security Symposium, S. 2819 - 2838. 31st USENIX Security Symposium, Boston, MA, USA, 10. August 2022 - 12. August 2022. USENIX Association (2022)

Morris, C.; Rattan, G.; Kiefer, S.; Ravanbakhsh, S.: SpeqNets: Sparsity-aware Permutation-equivariant Graph Networks. In: Proceedings of the 39th International Conference on Machine Learning, S. 16017 - 16042 (Hg. Chaudhuri, K.; Jegelka, S.; Le, S.; Csaba, S.; Gang, N. et al.). 39th International Conference on Machine Learning, Baltimore, MA, USA, 17. Juli 2022 - 23. Juli 2022. (2022)

Nanda, V.; Speicher, T.; Kolling, C.; Dickerson, J. P.; Gummadi, K.; Weller, A.: Measuring Representational Robustness of Neural Networks Through Shared Invariances. In: Proceedings of the 39th International Conference on Machine Learning, S. 16368 - 16382 (Hg. Chaudhuri, K.; Jegelka, S.; Song, L.; Szepesvari, C.; Niu, G. et al.). 39th International Conference on Machine Learning, Baltimore, MA, USA, 17. Juli 2022 - 23. Juli 2022. (2022)

Nayak, S. P.; Neider, D.; Roy, R.; Zimmermann, M.: Robust Computation Tree Logic. In: NASA Formal Methods, S. 538 - 556 (Hg. Deshmukh, J. V.; Havelund, K.; Perez, I.). 14th NASA Formal Methods Symposium, Pasadena, CA, USA, 24. Mai 2022 - 27. Mai 2022. Springer, Berlin (2022)

Nayak, S. P.; Neider, D.; Zimmermann, M.: Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime. In: Leveraging Applications of Formal Methods, Verification and Validation, S. 149 - 173 (Hg. Margaria, T.; Steffen, B.). 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Rhodes, Greece, 22. Oktober 2022 - 30. Oktober 2022. Springer, Berlin (2022)

Neider, D.; Roy, R.: Expanding the Horizon of Linear Temporal Logic Inference for Explainability. In: REW 2022, S. 103 - 107 (Hg. Knauss, E.; Mussbacher, G.; Arora, C.; Bano, M.; Schneider, J.-G.). 30th International Requirements Engineering Conference Workshops, Online Event, 15. August 2022 - 19. August 2022. IEEE Computer Society, Los Alamitos, CA (2022)

Noorbakhsh, K.; Gomez Rodriguez, M.: Counterfactual Temporal Point Processes. In: Advances in Neural Information Processing Systems 35, S. 24810 - 24823 (Hg. Koyejo, S.; Mohamed, S.; Agarwal, A.; Belgrave, D.; Cho, K. et al.). 36th Conference on Neural Information Processing Systems, New Orleans, LA, USA, 28. November 2022 - 09. Dezember 2022. Curran Associates, Inc (2022)

Patro, G. K.; Jana, P.; Chakraborty, A.; Gummadi, K.; Ganguly, N.: Scheduling Virtual Conferences Fairly: Achieving Equitable Participant and Speaker Satisfaction. In: WWW '22, S. 2646 - 2656 (Hg. Laforest, F.; Troncy, R.; Simperl, E.; Agarwal, D.; Gionis, A. et al.). 31st ACM Web Conference , Lyon, France (Virtual Event), 25. April 2022 - 29. April 2022. ACM, New York, NY (2022)

Perronet, M.; Maida, M.; Courtaud, C.; Brandenburg, B.: Work in Progress: Automatic Response-Time Analysis for Arbitrary Real-Time Linux Workloads. In: 28th IEEE Real-Time and Embedded Technology and Applications Symposium, S. 317 - 320. 28th IEEE Real-Time and Embedded Technology and Applications Symposium, Milan, Italy, 04. Mai 2022 - 06. Mai 2022. IEEE, Piscataway, NJ (2022)

Raha, R.; Roy, R.; Fijalkow, N.; Neider, D.: Scalable Anytime Algorithms for Learning Fragments. In: Tools and Algorithms for the Construction and Analysis of Systems, S. 263 - 280 (Hg. Fisman, D.; Rosu, G.). 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Munich, Germany, 02. April 2022 - 07. April 2022. Springer, Berlin (2022)

Rateike, M.; Majumdar, A.; Mineeva, O.; Gummadi, K.; Valera, I.: Don’t Throw it Away! The Utility of Unlabeled Data in Fair Decision Making. In: FAccT 2022, S. 1421 - 1433. 5th ACM Conference on Fairness, Accountability, and Transparency, Seoul, South Korea , 21. Juni 2022 - 24. Juni 2022. ACM, New York, NY (2022)

Sammler, M.; Hammond, A.; Lepigre, R.; Campbell, B.; Pichon-Pharabod, J.; Dreyer, D.; Garg, D.; Sewell, P.: Islaris: Verification of Machine Code Against Authoritative ISA Semantics. In: PLDI '22, S. 825 - 840 (Hg. Jhala, R.). 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, 13. Juni 2022 - 17. Juni 2022. ACM, New York, NY (2022)

Shashidhara, R.; Stamler, T.; Kaufmann, A.; Peter, S.: FlexTOE: Flexible TCP Offload with Fine-Grained Parallelism. In: 19th USENIX Symposium on Networked Systems Design and Implementation, S. 87 - 102. 19th USENIX Symposium on Networked Systems Design and Implementation, Renton, WA, USA, 04. April 2022 - 06. April 2022. USENIX (2022)

Singla, A.; Theodoropoulos, N.: From Solution Synthesis to Student Attempt Synthesis for Block-Based Visual Programming Tasks. In: Proceedings of the 15th International Conference on Educational Data Mining, S. 454 - 461 (Hg. Mitrovic, A.; Bosch, N.). 15th International Conference on Educational Data Mining, Durham, UK, 24. Juli 2022 - 27. Juli 2022. International Educational Data Mining Society (2022)

Steinmetz, M.; Fiser, D.; Eniser, H. F.; Ferber, P.; Gros, T. P.; Heim, P.; Höller, D.; Schuler, X.; Wüstholz, V.; Christakis, M. et al.; Hoffmann, J.: Debugging a Policy: Automatic Action-Policy Testing in AI Planning. In: Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, S. 353 - 361 (Hg. Kumar, A.; Thiébaux, S.; Varakantham, P.; Yeoh, W.). Proceedings of the 32nd International Conference on Automated Planning and Scheduling , Singapore (Virtually), 13. Juni 2022 - 24. Juni 2022. AAAI Press, Palo Alto, CA (2022)

Struppek, L.; Hintersdorf, D.; Neider, D.; Kersting, K.: Learning to Break Deep Perceptual Hashing: The Use Case NeuralHash. In: FAccT 2022, S. 58 - 69. 5th ACM Conference on Fairness, Accountability, and Transparency, Seoul, South Korea , 21. Juni 2022 - 24. Juni 2022. ACM, New York, NY (2022)

Toneva, M.; Williams, J.; Bollu, A.; Dann, C.; Wehbe, L.: Same Cause; Different Effects in the Brain. In: Proceedings of the First Conference on Causal Learning and Reasoning, S. 787 - 825 (Hg. Schölkopf, B.; Uhler, C.; Zhang, K.). First Conference on Causal Learning and Reasoning, Eureka, CA, USA, 11. April 2022 - 13. April 2022. MLR Press (2022)

Triantafyllou, S.; Singla, A.; Radanovic, G.: Actual Causality and Responsibility Attribution in Decentralized Partially Observable Markov Decision Processes. In: AIES '22, S. 739 - 752 (Hg. Conitzer, V.; Tasioulas, J.; Scheutz, M.; Calo, R.; Mara, M. et al.). AAAI/ACM Conference on AI, Ethics, and Society, Oxford, UK, 01. August 2022 - 03. August 2022. ACM, New York, NY (2022)

Tschiatschek, S.; Knobelsdorf, M.; Singla, A.: Equity and Fairness of Bayesian Knowledge Tracing. In: Proceedings of the 15th International Conference on Educational Data Mining, S. 578 - 582 (Hg. Mitrovic, A.; Bosch, N.). 15th International Conference on Educational Data Mining, Durham, UK, 24. Juli 2022 - 27. Juli 2022. International Educational Data Mining Society (2022)

Wang, L.; Joachims, T.; Gomez Rodriguez, M.: Improving Screening Processes via Calibrated Subset Selection. In: Proceedings of the 39th International Conference on Machine Learning, S. 22702 - 22726 (Hg. Chaudhuri, K.; Jegelka, S.; Le, S.; Csaba, S.; Gang, N. et al.). 39th International Conference on Machine Learning, Baltimore, MA, USA, 17. Juli 2022 - 23. Juli 2022. (2022)