Bollig, B.; Leucker, M.; Neider, D.: A Survey of Model Learning Techniques for Recurrent Neural Networks. In: A Journey from Process Algebra via Timed Automata to Model Learning, pp. 81 - 97 (Eds. Jansen, N.; Stoelinga, M.; van den Bos, P.). Springer, Berlin (2022)

Brandenburg, B.: Multiprocessor Real-Time Locking Protocols. In: Handbook of Real-Time Computing, pp. 347 - 446 (Eds. Tian, Y.-C.; Levy, D. C.). Springer, Singapore (2022)

Karimov, T.; Kelmendi, E.; Ouaknine, J.; Warrell, J.: What's Decidable About Discrete Linear Dynamical Systems? In: Principles of Systems Design, pp. 21 - 38 (Eds. Raskin, J.-F.; Chatterjee, K.; Doyen, L.; Majumdar, R.). Springer, Berlin (2022)

Redmiles, E. M.: The Need for Respectful Technologies: Going Beyond Privacy. In: Perspectives on Digital Humanism, pp. 309 - 313 (Eds. Werthner, H.; Prem, E.; Lee, E. A.; Ghezzi, C.). Springer, Cham (2022)

Chisnall, D.; Garg, D.; Hriţcu, C.; Payer, M. (Eds.): Secure Compilation (Dagstuhl Reports, 11). Dagstuhl Seminar 21481 "Secure Compilation", Dagstuhl, Germany, November 28, 2021 - December 03, 2021. Schloss Dagstuhl, Wadern (2022)

Lin, A. W.; Zetzsche, G.; Potapov, I. (Eds.): Reachability Problems (Lecture Notes in Computer Science, 13608). 16th International Conference on Reachability Problems, Kaiserslautern, Germany, October 17, 2022 - October 21, 2022. Springer, Berlin (2022)

Ali, J.; Babaei, M.; Chakraborty, A.; Mirzasoleiman, B.; Gummadi, K.; Singla, A.: On the Fairness of Time-Critical Influence Maximization in Social Networks. In: ICDE 2022, pp. 1541 - 1542. 38th IEEE International Conference on Data Engineering, Kuala Lumpur, Malaysia (Virtual Event), May 09, 2022 - May 12, 2022. IEEE, Piscataway, NJ (2022)

Baier, C.; Funke, F.; Jantsch, S.; Karimov, T.; Lefaucheux, E.; Ouaknine, J.; Purser, D.; Whiteland, M. A.; Worrell, J.: Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications. In: 33rd International Conference on Concurrency Theory, 10, pp. 1 - 16 (Eds. Klin, B.; Lasota, S.; Muscholl, A.). 33rd International Conference on Concurrency Theory, Warsaw, Poland, September 12, 2022 - September 16, 2022. Schloss Dagstuhl, Wadern (2022)

Banerjee, T.; Majumdar, R.; Mallik, K.; Schmuck, A.-K.; Soudjani, S.: A Direct Symbolic Algorithm for Solving Stochastic Rabin Games. In: Tools and Algorithms for the Construction and Analysis of Systems, pp. 81 - 98 (Eds. Fisman, D.; Rosu, G.). 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Munich, Germany, April 02, 2022 - April 07, 2022. Springer, Berlin (2022)

Banihashem, K.; Singla, A.; Gan, J.; Radanovic, G.: Admissible Policy Teaching through Reward Design. In: Proceedings of the 36th AAAI Conference on Artificial Intelligence, pp. 6037 - 6045. 36th AAAI Conference on Artificial Intelligence, Virtual Conference, February 22, 2022 - March 01, 2022. AAAI, Palo Alto, CA (2022)

Barakat, H.; Redmiles, E. M.: Community Under Surveillance: Impacts of Marginalization on an Online Labor Forum. In: Proceedings of the Sixteenth International Conference on Web and Social Media, pp. 12 - 21. 16h International Conference on Web and Social Media, Atlanta, GA, USA, June 06, 2021 - June 09, 2021. AAAI (2022)

Baumann, P.; Ganardi, M.; Thinniyam Srinivasan, R.; Zetzsche, G.: Existential Definability over the Subword Ordering. In: 39th International Symposium on Theoretical Aspects of Computer Science, 7, pp. 1 - 15 (Eds. Berenbrink, P.; Monmege, B.). 39th International Symposium on Theoretical Aspects of Computer Science, Marseille, France (Virtual Conference), March 15, 2022 - March 18, 2022. Schloss Dagstuhl, Wadern (2022)

Becker, H.; Rabe, R.; Darulova, E.; Myreen, M. O.; Tatlock, Z.; Kumar, R.; Tan, Y. K.; Fox, A.: Verified Compilation and Optimization of Floating-Point Programs in CakeML. In: 36th European Conference on Object-Oriented Programming, 1, pp. 1 - 28 (Eds. Ali, K.; Vitek, J.). 36th European Conference on Object-Oriented Programming, Berlin, Germany, June 06, 2022 - June 10, 2022. Schloss Dagstuhl, Wadern (2022)

Bedarkar, K.; Vardishvili, M.; Bozhko, S.; Maida, M.; Brandenburg, B.: From Intuition to Coq: A Case Study in Verified Response-Time Analysis 1 of FIFO Scheduling. In: RTSS 2022, pp. 197 - 210. 43rd IEEE Real-Time Systems Symposium, Houston, TX, USA , December 05, 2022 - December 08, 2022. IEEE, Piscataway, NJ (2022)

Bergsträßer, P.; Ganardi, M.; Lin, A. W.; Zetzsche, G.: Ramsey Quantifiers over Automatic Structures: Complexity and Applications to Verification. In: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 28, pp. 1 - 14 (Eds. Baier, C.; Fisman, D.). 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 02, 2022 - August 05, 2022. ACM, New York, NY (2022)

Bhalerao, R.; Hamilton, V.; McDonald, A.; Redmiles, E. M.; Strohmayer, A.: Ethical Practices for Security Research with At-Risk Populations. In: 7th IEEE European Symposium on Security and Privacy Workshops, pp. 546 - 553. 7th IEEE European Symposium on Security and Privacy Workshops, Genoa, Italy, June 06, 2022 - June 10, 2022. IEEE, Piscataway, NJ (2022)

Bharti, S.; Zhang, X.; Singla, A.; Zhu, J.: Provable Defense against Backdoor Policies in Reinforcement Learning. In: Advances in Neural Information Processing Systems 35, pp. 14704 - 14714 (Eds. Koyejo, S.; Mohamed, S.; Agarwal, A.; Belgrave, D.; Cho, K. et al.). 36th Conference on Neural Information Processing Systems, New Orleans, LA, USA, November 28, 2022 - December 09, 2022. Curran Associates, Inc. (2022)

Bilu, Y. F.; Luca, F.; Nieuwveld, J.; Ouaknine, J.; Purser, D.; Worrell, J.: Skolem Meets Schanuel. In: 47th International Symposium on Mathematical Foundations of Computer Science, 20, pp. 1 - 15 (Eds. Szeider, S.; Ganian, R.; Silva, A.). 47th International Symposium on Mathematical Foundations of Computer Science, Vienna, Austria, August 22, 2022 - August 26, 2022. Schloss Dagstuhl, Wadern (2022)

Breen, C.; Herley, C.; Redmiles, E. M.: A Large-Scale Measurement of Cybercrime Against Individuals. In: CHI '22, 122, pp. 1 - 41 (Eds. Barbosa, S.; Lampe, C.; Appert, C.; Shamma, D. A.; Drucker, S. et al.). CHI Conference on Human Factors in Computing Systems, New Orleans, LA, USA, April 30, 2022 - May 05, 2022. ACM, New York, NY (2022)

Chhabra, A.; Singla, A.; Mohapatra, P.: Fair Clustering Using Antidote Data. In: Proceedings of The Algorithmic Fairness through the Lens of Causality and Robustness, pp. 19 - 39 (Eds. Schrouf, J.; Dieng, A.; Rateike, M.; Kwegyir-Aggrey, K.; Farnadi, G.). Algorithmic Fairness through the Lens of Causality and Robustness Workshop, Virtual, December 13, 2021. PMLR (2022)