Luca, F.; Ouaknine, J.; Worrell, J.: Algebraic Model Checking for Discrete Linear Dynamical Systems. In: Formal Modeling and Analysis of Timed Systems, S. 3 - 15 (Hg. Bogomolov, S.; Parker, D.). 20th International Conference on Formal Modeling and Analysis of Timed Systems, Warsaw, Poland, 13. September 2022 - 15. September 2022. Springer, Berlin (2022)

Luca, F.; Ouaknine, J.; Worrell, J.: A Universal Skolem Set of Positive Lower Density. In: 47th International Symposium on Mathematical Foundations of Computer Science, 73, S. 1 - 12 (Hg. Szeider, S.; Ganian, R.; Silva, A.). 47th International Symposium on Mathematical Foundations of Computer Science, Vienna, Austria, 22. August 2022 - 26. August 2022. Schloss Dagstuhl, Wadern (2022)

Maida, M.; Bozhko, S.; Brandenburg, B.: Foundational Response-Time Analysis as Explainable Evidence of Timeliness. In: 34th Euromicro Conference on Real-Time Systems, 19, S. 1 - 25 (Hg. Maggio, M.). 34th Euromicro Conference on Real-Time Systems, Modena, Italy, 05. Juli 2022 - 08. Juli 2022. Schloss Dagstuhl, Wadern (2022)

Mansouri, F.; Simon, H. U.; Singla, A.; Zilles, S.: On Batch Teaching with Sample Complexity Bounded by VCD. In: Advances in Neural Information Processing Systems 35, S. 15732 - 15742 (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)

Marmanis, I.; Vafeiadis, V.: SMT-Based Verification of Persistency Invariants of Px86 Programs. In: Software Verification, S. 92 - 110 (Hg. Lal, A.; Tonetta, S.). 14th Working Conference on Verified Software: Theories, Tools, and Experiment, Trento, Italy, 17. Oktober 2022 - 18. Oktober 2022. Springer, Berlin (2022)

Matsushita, Y.; Denis, X.; Jourdan, J.-H.; Dreyer, D.: RustHornBelt: A Semantic Foundation for Functional Verification of Rust Programs with Unsafe Code. In: PLDI '22, S. 841 - 856 (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)

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)