Rakhsha, A.; Radanovic, G.; Devidze, R.; Zhu, X.; Singla, A.: Policy Teaching in Reinforcement Learning via Environment Poisoning Attacks. Journal of Machine Learning Research 22, 210, S. 1 - 45 (2021)

Ravishankar, S.; Toneva, M.; Wehbe, L.: Single-Trial MEG Data Can Be Denoised Through Cross-Subject Predictive Modeling. Frontiers in Computational Neuroscience 15, 737324 (2021)

Spies, S.; Krishnaswami, N.; Dreyer, D.: Transfinite Step-indexing for Termination. Proceedings of the ACM on Programming Languages 5, POPL, 13, S. 1 - 29 (2021)

Urabe, N.; Majumdar, R.: Verifying Asymptotic Temporal Properties of Continuous-State Probabilistic Systems. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 40 (9), S. 1934 - 1946 (2021)

Yanovski, J.; Dang, H.-H.; Jung, R.; Dreyer, D.: GhostCell: Separating Permissions from Data in Rust. Proceedings of the ACM on Programming Languages 5, ICFP, 92, S. 1 - 30 (2021)

Zetzsche, G.: The Emptiness Problem for Valence Automata over Graph Monoids. Information and Computation, 104583, S. 1 - 18 (2021)

Bjørner, N. S.; Christakis, M.; Maffei, M.; Rosu, G. (Hg.): Rigorous Methods for Smart Contracts (Dagstuhl Reports, 11). Dagstuhl Seminar 21431 "Rigorous Methods for Smart Contracts", Dagstuhl, Germany, 24. Oktober 2021 - 29. Oktober 2021. Schloss Dagstuhl, Wadern (2021)

Ensuring the Reliability and Robustness of Database Management Systems (Dagstuhl Reports, 11). Dagstuhl Seminar 21442 "Ensuring the Reliability and Robustness of Database Management Systems", Dagstuhl, Germany, 01. November 2021 - 04. November 2021. Schloss Dagstuhl, Wadern (2021)

Georgiou, C.; Majumdar, R. (Hg.): Network Systems (Lecture Notes in Computer Science, 12129). 8th International Conference on Networked Systems, Marrakech, Morocco, 03. Juni 2020 - 05. Juni 2020. Springer, Berlin (2021), XVII, 376 S.

33rd Euromicro Conference on Real-Time Systems. In: 33nd Euromicro Conference on Real-Time Systems, S. 1 - 12. 33nd Euromicro Conference on Real-Time Systems, Virtual Conference, 07. Juli 2020 - 10. Juli 2020. Schloss Dagstuhl, Wadern (2021)

Abbasi, R.; Schiffl, J.; Darulova, E.; Ulbrich, M.; Ahrendt, W.: Deductive Verification of Floating-Point Java Programs in KeY. In: Tools and Algorithms for the Construction and Analysis of Systems, S. 242 - 261 (Hg. Groote, J. F.; Guldstrand Larsen, K.). 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Luxembourg City, Luxembourg, 27. März 2021 - 01. April 2021. Springer, Berlin (2021)

Abdulla, P. A.; Atig, M. F.; Godbole, A.; Krishna, S. N.; Vafeiadis, V.: The Decidability of Verification under PS 2.0. In: Programming Languages and Systems, S. 1 - 29 (Hg. Yoshida, N.). 24th European Joint Conferences on Theory and Practice of Software, Luxembourg City, Luxembourg, 27. März 2021 - 01. April 2021. Springer, Berlin (2021)

Akgul, O.; Abu-Salma, R.; Bai, W.; Redmiles, E. M.; Mazurek, M. L.; Ur, B.: From Secure to Military-Grade: Exploring the Effect of App Descriptions on User Perceptions of Secure Messaging. In: WPES '21, S. 119 - 135 (Hg. Livraga, G.). 20th Workshop on Workshop on Privacy in the Electronic Society, Virtual Event, Republic of Korea, 15. November 2021. ACM, New York, NY (2021)

Ali, J.; Lahoti, P.; Gummadi, K. P.: Accounting for Model Uncertainty in Algorithmic Discrimination. In: AIES '21, S. 336 - 345 (Hg. Fourcade, M.; Kuipers, B.; Lazar, S.; Mulligan, D.). Fourth AAAI/ACM Conference on Artificial Intelligence, Ethics and Society, Virtual Conference, 19. Mai 2021 - 21. Mai 2021. ACM, New York, NY (2021)

Anand, V.; De Viti, R.; Mace, J.: Systems Trivia Night. In: HotOS XVIII, S. 239 - 239. Workshop on Hot Topics in Operating Systems, Ann Arbor, MI, USA (Virtual Conference), 01. Juni 2021 - 03. Juni 2021. ACM, New York, NY (2021)

Baharisangari, N.; Gaglione, J.-R.; Neider, D.; Topcu, U.; Xu, Z.: Uncertainty-Aware Signal Temporal Logic Inference. In: Software Verification, S. 61 - 85 (Hg. Bloem, R.; Dimitrova, R.; Fan, C.; Sharygina, N.). 13th Working Conference on Verified Software: Theories, Tools, and Experiment, New Haven, CT, USA (Virtual), 18. Oktober 2021 - 19. Oktober 2021. Springer, Berlin (2021)

Baier, C.; Christakis, M.; Gros, T. P.; Groß, D.; Gumhold, S.; Hermanns, H.; Hoffmann, J.; Klauck, M.: Lab Conditions for Research on Explainable Automated Decisions. In: Trustworthy AI -- Integrating Learning, Optimization and Reasoning, S. 83 - 90 (Hg. Heintz, F.; Milano, M.; O'Sullivan, M.). 1st TAILOR Workshop, Virtual Event, 04. September 2020 - 05. September 2020. Springer, Berlin (2021)

Baier, C.; Dubslaff, C.; Funke, F.; Jantsch, S.; Majumdar, R.; Piribauer, J.; Ziemek, R.: From Verification to Causality-Based Explications (Invited Talk). In: 48th International Colloquium on Automata, Languages, and Programming, 1, S. 1 - 20 (Hg. Bansal, N.; Merelli, E.; Worrell, J.). 48th International Colloquium on Automata, Languages, and Programming, Glasgow, UK (Virtual Conference), 12. Juli 2021 - 16. Juli 2020. Schloss Dagstuhl, Wadern (2021)

Baier, C.; Funke, F.; Jantsch, S.; Karimov, T.; Lefaucheux, E.; Luca, F.; Ouaknine, J.; Purser, D.; Whiteland, M.; Worrell, J.: The Orbit Problem for Parametric Linear Dynamical Systems. In: 32nd International Conference on Concurrency Theory, 28, S. 1 - 17 (Hg. Haddad, S.; Varacca, D.). 32nd International Conference on Concurrency Theory, Virtual Conference, 24. August 2021 - 27. August 2021. Schloss Dagstuhl, Wadern (2021)

Baier, C.; Funke, F.; Majumdar, R.: Responsibility Attribution in Parameterized Markovian Models. In: AAAI Technical Track on Planning, Routing, and Scheduling, S. 11734 - 11743. Thirty-Fifth AAAI Conference on Artificial Intelligence, Virtual Conference, 02. Februar 2021 - 09. Februar 2021. AAAI, Palo Alto, CA (2021)