2026

1. Albin Karlsson Landgren, Philip Perhult Johnsen and Daniel Strüber. Cross-platform edge deployment of machine learning models: a model-driven approach. Softw. Syst. Model., 25, 1, 163-187, 2026, 10.1007/S10270-025-01273-6.
2. Benard Wanjiru, Patrick van Bommel and Djoerd Hiemstra. Clause-Driven Automated Grading of SQL's DDL and DML Statements. Proceedings of the 57th ACM Technical Symposium on Computer Science Education V.1, SIGCSE TS 2026, St. Louis, MO, USA, February 18-21, 2026, 1117-1123, ACM, 2026, 10.1145/3770762.3772599.
3. Benard Wanjiru, Patrick van Bommel and Djoerd Hiemstra. Clause-Driven Automated Grading of SQL's DDL and DML Statements. Proceedings of the 57th ACM Technical Symposium on Computer Science Education V.1, SIGCSE TS 2026, St. Louis, MO, USA, February 18-21, 2026, 1117-1123, ACM, 2026, 10.1145/3770762.3772599.
4. D. Elens, J. Richards, J. Jorna and M. Wessel. Source code for ``LEETAgent: LLM-Based End-to-End Testing for Web Applications''. 2026, 10.5281/ZENODO.17228868.
5. B. Garhewal. Towards Integration of Active Learning and Conformance Testing with L\#. 136, s.n., 2026.
6. T. J. Koopman. On Hardware-Agnostic Programming for Parallel Architectures. VIII,-255, Radboud University Press, 2026.
7. Laila Elbeheiry, Michael Sammler, Robbert Krebbers, Derek Dreyer and Deepak Garg. A Recipe for Modular Verification of Generic Tree Traversals. Kathrin Stark, Yannick Zakowski, Nikhil Swamy and Nicolas Tabareau, Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2026, Rennes, France, January 12-13, 2026, 339-352, ACM, 2026, 10.1145/3779031.3779110.
8. Linus Heck, Filip Macák, Milan Ceska and Sebastian Junges. Constrained and Robust Policy Synthesis with Satisfiability-Modulo-Probabilistic-Model-Checking. Sven Koenig, Chad Jenkins and Matthew E. Taylor, Fortieth AAAI Conference on Artificial Intelligence, Thirty-Eighth Conference on Innovative Applications of Artificial Intelligence, Sixteenth Symposium on Educational Advances in Artificial Intelligence, AAAI 2026, Singapore, January 20-27, 2026, 36253-36261, AAAI Press, 2026, 10.1609/AAAI.V40I43.40944.
9. Linus Heck, Filip Macák, Milan Ceska and Sebastian Junges. Constrained and Robust Policy Synthesis with Satisfiability-Modulo-Probabilistic-Model-Checking. Sven Koenig, Chad Jenkins and Matthew E. Taylor, Fortieth AAAI Conference on Artificial Intelligence, Thirty-Eighth Conference on Innovative Applications of Artificial Intelligence, Sixteenth Symposium on Educational Advances in Artificial Intelligence, AAAI 2026, Singapore, January 20-27, 2026, 36253-36261, AAAI Press, 2026, 10.1609/AAAI.V40I43.40944.
10. Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Daniele Gorla and Jana Wagemaker. Centralized vs. Decentralized Monitors for Hyperproperties. ACM Trans. Comput. Log., 27, 1, 2:1-2:57, 2026, 10.1145/3767738.
11. Mariëlle Stoelinga, Enno Ruijters and Pavel Krcál. Concise Guide to Fault Tree Analysis - Models, Methods and Algorithms. Springer, 2026, 10.1007/978-3-031-78287-9.
12. Niyousha Najmaei, Niels van der Weide, Benedikt Ahrens and Paige Randall North. From Semantics to Syntax: A Type Theory for Comprehension Categories. Proc. ACM Program. Lang., 10, POPL, 2409-2438, 2026, 10.1145/3776725.
13. Paulo Em\'\ilio de Vilhena, Simcha van Collem, Ines Wright and Robbert Krebbers. A Relational Separation Logic for Effect Handlers. Proc. ACM Program. Lang., 10, POPL, 981-1009, 2026, 10.1145/3776676.
14. Pieter J. L. Cuijpers, Jonas Hansen and Kim G. Larsen. Safe and infinite resource scheduling using energy timed automata. Sci. Comput. Program., 247, 103358, 2026, 10.1016/J.SCICO.2025.103358.
15. Pooya Rostami Mazrae, Alexandre Decan, Tom Mens and Mairieli Wessel. An empirical study of the evolution of GitHub actions workflows. J. Syst. Softw., 236, 112824, 2026, 10.1016/J.JSS.2026.112824.
16. Roman Andriushchenko, Alexander Bork, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen and Filip Macák. Search and explore: symbiotic policy synthesis in POMDPs. Formal Methods Syst. Des., 68, 1, 4, 2026, 10.1007/S10703-025-00488-Z.
17. Ruben Turkenburg, Harsh Beohar, Franck van Breugel, Clemens Kupke and Jurriaan Rot. Constructing Witnesses for Lower Bounds on Behavioural Distances. Stefano Guerrini and Barbara König, 34th EACSL Annual Conference on Computer Science Logic, CSL 2026, Paris, France, February 23-28, 2026, LIPIcs, 25:1-25:22, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026, 10.4230/LIPICS.CSL.2026.25.
18. Ruben Turkenburg, Harsh Beohar, Franck van Breugel, Clemens Kupke and Jurriaan Rot. Constructing Witnesses for Lower Bounds on Behavioural Distances. Stefano Guerrini and Barbara König, 34th EACSL Annual Conference on Computer Science Logic, CSL 2026, Paris, France, February 23-28, 2026, LIPIcs, 25:1-25:22, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026, 10.4230/LIPICS.CSL.2026.25.
19. T. Somers, J. K. Hinrichsen, L. Gaher and R. J. Krebbers. Rocq mechanization of ``Building Blocks for Step-Indexed Program Logics''. 2026, 10.5281/zenodo.17809072.
20. Thomas Somers, Jonas Kastberg Hinrichsen, Lennard Gäher and Robbert Krebbers. Building Blocks for Step-Indexed Program Logics. Kathrin Stark, Yannick Zakowski, Nikhil Swamy and Nicolas Tabareau, Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2026, Rennes, France, January 12-13, 2026, 248-263, ACM, 2026, 10.1145/3779031.3779095.
21. Thomas Somers, Jonas Kastberg Hinrichsen, Lennard Gäher and Robbert Krebbers. Building Blocks for Step-Indexed Program Logics. Kathrin Stark, Yannick Zakowski, Nikhil Swamy and Nicolas Tabareau, Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2026, Rennes, France, January 12-13, 2026, 248-263, ACM, 2026, 10.1145/3779031.3779095.
22. Weixing Zhang, Daniel Strüber and Regina Hebig. Development and evolution of Xtext-based DSLs on GitHub: an empirical investigation. Empir. Softw. Eng., 31, 3, 48, 2026, 10.1007/S10664-025-10775-2.