Nejati, A.; Nayak, S. P.; Schmuck, A.-K.: Context-triggered Games for Reactive Synthesis over Stochastic Systems. In: HSCC '24, 21, S. 1 - 12 (Hg. Ábrahám, E.; Mazo, M.). 27th International Conference on Hybrid Systems: Computation and Control, Hong Kong, SAR, China, 13. Mai 2024 - 16. Mai 2024. ACM, New York, NY (2024)

Nika, A.; Mandal, D.; Singla, A.; Radanovic, G.: Corruption-Robust Offline Two-Player Zero-Sum Markov Games. In: Proceedings of The 27th International Conference on Artificial Intelligence and Statistics, S. 1243 - 1251 (Hg. Dasgupta, S.; Mandt, S.; Li, Y.). 27th International Conference on Artificial Intelligence and Statistics, Valencia, Spain, 02. Mai 2024 - 04. Mai 2024. PMRL (2024)

Phung, T.; Padurean, V. A.; Singh, A.; Brooks, C.; Cambronero, J.; Gulwani, S.; Singla, A.; Soares, G.: Automating Human Tutor-Style Programming Feedback: Leveraging GPT-4 Tutor Model for Hint Generation and GPT-3.5 Student Model for Hint Validation. In: LAK24 Conference Proceedings, S. 12 - 23. The Fourteenth International Conference on Learning Analytics & Knowledge, Kyoto, Japan, 18. März 2024 - 22. März 2024. ACM, New York, NY (2024)

Raha, R.; Roy, R.; Fijalkow, N.; Neider, D.; Pérez, G. A.: Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic. In: Verification, Model Checking, and Abstract Interpretation, S. 264 - 288 (Hg. Dimitrova, R.; Lahav, O.; Wolff, S.). 25th International Conference on Verification, Model Checking, and Abstract Interpretation, London, UK, 15. Januar 2024 - 16. Januar 2024. Springer, Berlin (2024)

Schmuck, A.-K.; Thejaswini, K. S.; Sağlam, I.; Nayak, S. P.: Solving Two-Player Games Under Progress Assumptions. In: Verification, Model Checking, and Abstract Interpretation, S. 208 - 231 (Hg. Dimitrova, R.; Lahav, O.; Wolff, S.). 25th International Conference on Verification, Model Checking, and Abstract Interpretation, London, UK, 15. Januar 2024 - 16. Januar 2024. Springer, Berlin (2024)

Stefanesco, L.; Raad, A.; Vafeiadis, V.: Specifying and Verifying Persistent Libraries. In: Programming Languages and Systems. 33rd European Symposium on Programming, Luxembourg City, Luxembourg , 06. April 2024 - 11. April 2024. (angenommen)

Vombatkere, K.; Mousavi, S.; Zannettou, S.; Roesner, F.; Gummadi, K.: TikTok and the Art of Personalization: Investigating Exploration and Exploitation on Social Media Feeds. In: WWW '24, S. 3789 - 3797 (Hg. Chua, T.-S.; Ngo, C.-W.; Lee, R. K.-W.; Kumar, R.; Lauw, H. W.). ACM Web Conference, Singapore, Singapore, 13. Mai 2024 - 17. Mai 2024. ACM, New York, NY (2024)

Zannettou, S.; Nemeth, O.-N.; Ayalon, O.; Goetzen, A.; Gummadi, K.; Redmiles, E. M.; Roesner, F.: Analyzing User Engagement with TikTok's Short Format Video Recommendations using Data Donations. In: CHI '24, 731, S. 1 - 16 (Hg. Mueller, F. F.; Kyburz, P.; Williamson, J. R.; Sas, C.; Wilson, M. L. et al.). CHI Conference on Human Factors in Computing Sytems, Honolulu, HI, USA, 11. Mai 2024 - 16. Mai 2024. ACM, New York, NY (2024)

Ali, M.; Goetzen, A.; Mislove, A.; Redmiles, E. M.; Sapiezynski, P.: Problematic Advertising and its Disparate Exposure on Facebook. In: 32nd USENIX Security Symposium, S. 5665 - 5682. 32nd USENIX Security Symposium, Anaheim, CA, 09. August 2023 - 11. August 2023. USENIX (2023)

Alzayat, M.; Mace, J.; Druschel, P.; Garg, D.: Groundhog: Efficient Request Isolation in FaaS. In: EuroSys '23, S. 398 - 415 (Hg. Di Luna, G. A.; Querzoni, L.; Fedorova, A.; Narayanan, D.). Eighteenth European Conference on Computer Systems, Rome, Italy, 08. Mai 2023 - 12. Mai 2023. ACM, New York, NY (2023)

Anand, A.; Mallik, K.; Nayak, S. P.; Schmuck, A.-K.: Computing Adequately Permissive Assumptions for Synthesis. In: Tools and Algorithms for the Construction and Analysis of Systems, S. 211 - 228 (Hg. Sankaranarayanan, S.; Sharzgina, N.). 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Paris, France, 22. April 2023 - 27. April 2023. Springer, Berlin (2023)

Anand, A.; Nayak, S. P.; Schmuck, A.-K.: Poster Abstract: Permissiveness for Strategy Adaptation. In: HSCC 2023, 29, S. 1 - 2. 26th ACM International Conference on Hybrid Systems: Computation and Control, San Antonio, TX, USA, 10. Mai 2023 - 12. Mai 2023. ACM, New York, NY (2023)

Anand, A.; Nayak, S. P.; Schmuck, A.-K.: Synthesizing Permissive Winning Strategy Templates for Parity Games. In: Computer Aided Verification, S. 436 - 458 (Hg. Enea, C.; Lal, A.). 35th International Conference on Computer-Aided Verification, Paris, France, 17. Juli 2023 - 22. Juli 2023. Springer, Berlin (2023)

Anand, A.; Zetzsche, G.: Priority Downward Closures. In: 34th International Conference on Concurrency Theory, 39, S. 1 - 18 (Hg. Pérez, G. A.; Raskin, J.-F.). 34th International Conference on Concurrency Theory, Antwerp, Belgium, 18. September 2023 - 23. September 2023. Schloss Dagstuhl, Wadern (2023)

Aw, K. L.; Toneva, M.: Training Language Models to Summarize Narratives Improves Brain Alignment. In: The Eleventh International Conference on Learning Representations. Eleventh International Conference on Learning Representations, Kigali, Rwanda, 01. Mai 2023 - 05. Mai 2023. OpenReview.net (2023)

Baumann, P.; D’Alessandro, F.; Ganardi, M.; Ibarra, O.; McQuillan, I.; Schütze, L.; Zetzsche, G.: Unboundedness Problems for Machines with Reversal-Bounded Counters. In: Foundations of Software Science and Computation Structures, S. 240 - 264 (Hg. Kupferman, O.; Sobocinski, P.). 26th International Conference on Foundations of Software Science and Computation Structures, Paris, France, 22. April 2023 - 27. April 2023. Springer, Berlin (2023)

Baumann, P.; Ganardi, M.; Majumdar, R.; Thinniyam Srinivasan, R.; Zetzsche, G.: Checking Refinement of Asynchronous Programs Against Context-Free Specifications. In: 50th International Colloquium on Automata, Languages, and Programming, 110, S. 1 - 20 (Hg. Etessami, K.; Feige, U.; Puppis, G.). 50th International Colloquium on Automata, Languages, and Programming, Paderborn, Germany, 10. Juli 2023 - 14. Juli 2023. Schloss Dagstuhl, Wadern (2023)

Baumann, P.; Ganardi, M.; Majumdar, R.; Thinniyam Srinivasan, R.; Zetzsche, G.: Context-Bounded Analysis of Concurrent Programs. In: 50th International Colloquium on Automata, Languages, and Programming, 3, S. 1 - 16 (Hg. Etessami, K.; Feige, U.; Puppis, G.). 50th International Colloquium on Automata, Languages, and Programming, Paderborn, Germany, 10. Juli 2023 - 14. Juli 2023. Schloss Dagstuhl, Wadern (2023)

Baumann, P.; Madnani, K.; Mazowiecki, F.; Zetzsche, G.: Monus Semantics in Vector Addition Systems with States. In: 34th International Conference on Concurrency Theory, 10, S. 1 - 18 (Hg. Pérez, G. A.; Raskin, J.-F.). 34th International Conference on Concurrency Theory, Antwerp, Belgium, 18. September 2023 - 23. September 2023. Schloss Dagstuhl, Wadern (2023)

Baumann, P.; Meyer, R.; Zetzsche, G.: Regular Separability in Büchi VASS. In: 40th International Symposium on Theoretical Aspects of Computer Science, 9, S. 1 - 19 (Hg. Berenbrink, P.; Bouyer, P.; Dawar, A.; Kanté, M. M.). 40th International Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, 07. März 2023 - 09. März 2023. Schloss Dagstuhl, Wadern (2023)