He-Yueya, J.; Singla, A.: Quizzing Policy Using Reinforcement Learning for Inferring the Student Knowledge State. In: Proceedings of the 14th International Conference on Educational Data Mining, S. 533 - 539 (Hg. Hsiao, I.-H.; Sahebi, S.; Bouchet, F.; Vie, J.-J.). 14th International Conference on Educational Data Mining, Paris, France (Online), 29. Juni 2021 - 02. Juli 2021. educationaldatamining.org (2021)

Jeangoudoux, C.; Darulova, E.; Lauter, C. Q.: Interval Constraint-Based Mutation Testing of Numerical Specifications. In: ISSTA '21, S. 388 - 399 (Hg. Cadar, C.; Zhang, X.). 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual, Denmark, 11. Juli 2021 - 17. Juli 2021. ACM, New York, NY (2021)

Kenison, G.; Klurman, O.; Lefaucheux, E.; Luca, F.; Moree, P.; Ouaknine, J.; Whiteland, M. A.; Worrell, J.: On Positivity and Minimality for Second-Order Holonomic Sequences. In: 46th International Symposium on Mathematical Foundations of Computer Science (Hg. Bonchi, F.; Puglisi, S. J.). 46th International Symposium on Mathematical Foundations of Computer Science, Tallinn, Estonia, 23. August 2021 - 27. August 2021. Schloss Dagstuhl, Wadern (2021)

Khmelnitsky, I.; Neider, D.; Roy, R.; Xie, X.; Barbot, B.; Bollig, B.; Finkel, A.; Haddad, S.; Leucker, M.; Ye, L.: Property-Directed Verification and Robustness Certification of Recurrent Neural Networks. In: Automated Technology for Verification and Analysis, S. 364 - 380 (Hg. Hou, Z.; Ganesh, V.). 19th International Symposium on Automated Technology for Verification and Analysis, Gold Coast, Australia, 18. Oktober 2021 - 22. Oktober 2021. Springer, Berlin (2021)

Kokologiannakis, M.; Ren, X.; Vafeiadis, V.: Dynamic Partial Order Reductions for Spinloops. In: Formal Methods in Computer Aided Design, S. 163 - 172. 21st International Conference on Formal Methods in Computer Aided Design, New Haven, CT, USA, 20. Oktober 2021 - 22. Oktober 2021. IEEE, Piscataway, NJ (2021)

Kokologiannakis, M.; Vafeiadis, V.: GenMC: A Model Checker for Weak Memory Models. In: Computer Aided Verification, S. 427 - 440 (Hg. Silva, A.; Leino, R. M.). 33rd International Conference on Computer-Aided Verification, Virtual Event, 20. Juli 2021 - 23. Juli 2021. Springer, Berlin (2021)

Kokologiannakis, M.; Vafeiadis, V.: BAM: Efficient Model Checking for Barriers. In: Networked Systems, S. 223 - 239 (Hg. Echihabi, K.; Meyer, R.). 9th International Conference on Networked Systems, Virutal Event, 19. Mai 2021 - 21. Mai 2021. Springer, Berlin (2021)

Kumar, A.; Chen, Y.; Singla, A.: Teaching via Best-Case Counterexamples in the Learning-with-Equivalence-Queries Paradigm. In: Advances in Neural Information Processing Systems 34, S. 26897 - 26910 (Hg. Ranzato, M.; Beygelzimer, A.; Liang, P. S.; Vaughan, J. W.; Dauphin, Y.). 35th Conference on Neural Information Processing Systems, Virtual, 07. Dezember 2021. Curran Associates, Inc. (2021)

Kumar, A.; Zhang, H.; Singla, A.; Chen, Y.: The Teaching Dimension of Kernel Perceptron. In: Proceedings of the 24th International Conference on Artificial Intelligence and Statistics, S. 2071 - 2079 (Hg. Banerjee, A.; Fukumizu, K.). 24th International Conference on Artificial Intelligence and Statistics, Virtual Conference, 13. April 2021 - 15. April 2021. PMLR (2021)

Künnemann, R.; Garg, D.; Backes, M.: Accountability in the Decentralised-Adversary Setting. In: IEEE 34th Computer Security Foundations Symposium, S. 1 - 16. 34th Computer Security Foundations Symposium, Dubrovnik, Croatia, 21. Juni 2021 - 25. Juni 2021. IEEE, Piscataway, NJ (2021)

Lefaucheux, E.: Accurate Approximate Diagnosis of (Controllable) Stochastic Systems. In: Quantitative Evaluation of Systems, S. 413 - 434 (Hg. Abate, A.; Marin, A.). 18th International Conference on Quantitative Evaluation of SysTems, Paris, France, 23. August 2021 - 27. August 2021. Springer, Berlin (2021)

Lefaucheux, E.; Ouaknine, J.; Purser, D.; Worrell, J.: Porous Invariants. In: Computer Aided Verification, S. 172 - 194 (Hg. Silva, A.; Leino, R. M.). 33rd International Conference on Computer-Aided Verification, Virtual Event, 20. Juli 2021 - 23. Juli 2021. Springer, Berlin (2021)

Lohar, D.; Jeangoudoux, C.; Sobel, J.; Darulova, E.; Christakis, M.: A Two-Phase Approach for Conditional Floating-Point Verification. In: Tools and Algorithms for the Construction and Analysis of Systems, S. 43 - 63 (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)

Luca, F.; Ouaknine, J.; Worrell, J.: Universal Skolem Sets. In: 36th Annual ACM/IEEE Symposium on Logic in Computer Science, S. 1 - 6. 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Rome, Italy (Virtual), 29. Juni 2021 - 02. Juli 2021. ACM, New York, NY (2021)

Maida, M.; Bozhko, S.; Brandenburg, B.: Work-in-Progress: Automatically Generated Response-Time Proofs as Evidence of Timeliness. In: IEEE 42nd Real-Time Systems Symposium, S. 512 - 515. IEEE 42nd Real-Time Systems Symposium , Dortmund, Germany (Virtual Conference), 07. Dezember 2021 - 10. Dezember 2021. IEEE, Piscataway, NJ (2021)

Majumdar, R.; Mallik, K.; Salamati, M.; Soudjani, S.; Zareian, M.: Symbolic Reach-Avoid Control of Multi-Agent Systems. In: ICCPS '21, S. 209 - 220. ACM/IEEE 12th International Conference on Cyber-Physical Systems, Neshville, TN, USA, 19. Mai 2021 - 21. Mai 2021. ACM, New York, NY (2021)

Majumdar, R.; Mathur, A. S.; Pirron, M.; Stegner, L.; Zufferey, D.: Paracosm: A Test Framework for Autonomous Driving Simulations. In: Fundamental Approaches to Software Engineering, S. 172 - 195 (Hg. Guerra, E.; Stoelinga, M.). 24th International Conference on Fundamental Approaches to Software Engineering, Luxembourg City, Luxembourg, 27. März 2021 - 01. April 2021. Springer, Berlin (2021)

Majumdar, R.; Mukund, M.; Stutz, F.; Zufferey, D.: Generalising Projection in Asynchronous Multiparty Session Types. In: 32nd International Conference on Concurrency Theory, 35, S. 1 - 24 (Hg. Haddad, S.; Varacca, D.). 32nd International Conference on Concurrency Theory, Virtual Conference, 24. August 2021 - 27. August 2021. Schloss Dagstuhl, Wadern (2021)

Majumdar, R.; Soudjani, S.: The Computability of LQR and LQG Control. In: HSCC2021, 5, S. 1 - 7. 24th International Conference on Hybrid Systems: Computation and Control, Neshville, TN, USA, 19. Mai 2021 - 21. Mai 2021. ACM, New York, NY (2021)

Majumdar, R.; Thinniyam Srinivasan, R.; Zetzsche, G.: General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond. In: Tools and Algorithms for the Construction and Analysis of Systems, S. 449 - 467 (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)