print · login   

Bibtex actions:
  edit    source    raw source    raw html

2025

  1. Proceedings of the 11th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming, ARRAY 2025, Seoul, Republic of Korea, 17 June 2025. Sven-Bodo Scholz and Artjoms Sinkarovs, ACM, 2025, 10.1145/3736112.
  2. Proceedings of the 19th International Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2024, Goi\^ania, Brazil, 18th-20th September 2024. Cynthia Kop and Hélida Salles Santos, EPTCS, 421, 2025, jun, 10.4204/EPTCS.421.
  3. P. Achten and P. W. M. Koopman. Compositional Views in\^A Compositional Images \^a\texteuro`` Category: Research \^a\texteuro``. J. Hemann and S. Chang, 14843, 75-91, Springer Nature Switzerland, 2025, 10.1007/978-3-031-74558-4_4, Cham.
  4. Ameesh Shah, Marcell Vazquez-Chanlatte, Sebastian Junges and Sanjit A. Seshia. Learning Formal Specifications from Membership and Preference Queries. George J. Pappas, Pradeep Ravikumar and Sanjit A. Seshia, International Conference on Neuro-symbolic Systems, 28-30 May 2025, University of Pennsylvania, Philadelphia, Pennsylvania, USA, Proceedings of Machine Learning Research, 288, 365-383, PMLR, 2025.
  5. Ana Maciel, Mairieli Wessel, Igor Wiese and Igor Steinmacher. Investigating the Impact of GitHub Discussions on Maintainers' Workload and Community Dynamics. Leopoldo Teixeira, Silvia R. Vergilio, Edna Dias Canedo, Marcelo de Almeida Maia, Ivan Machado, Monalessa Barcellos, Cleidson R. B. de Souza, Thelma Elita Colanzi, César Fran\cca and Karina Kohl, Proceedings of the 39th Brazilian Symposium on Software Engineering, SBES 2025, Recife, Brazil, September 22-26, 2025, 37-47, SBC, 2025, 10.5753/SBES.2025.9630.
  6. R. Andriushchenko, A. Bork, C. E. Budde, N. Jansen, J. Jeppson, S. Junges, M. Volk, M. Weininger and Z. Zhang. Tools at\^A the\^A Frontiers of\^A Quantitative Verification. D. Beyer, A. Hartmanns and F. Kordon, 14550, 90-146, Springer Nature Switzerland, 2025, 10.1007/978-3-031-67695-6_4, Cham.
  7. Antônio Gomes, Eric Mesquita, Emanuel \'Avila, Carlos Jefté, Arthur Willame Mesquita, Lucas Sousa, Matheus Rabelo, Mairieli Wessel and Anderson G. Uchôa. PeacemakerBot: A LLM-Powered Bot for Identifying and Reducing Signs of Incivility in GitHub Conversations. Leopoldo Teixeira, Silvia R. Vergilio, Edna Dias Canedo, Marcelo de Almeida Maia, Ivan Machado, Monalessa Barcellos, Cleidson R. B. de Souza, Thelma Elita Colanzi, César Fran\cca and Karina Kohl, Proceedings of the 39th Brazilian Symposium on Software Engineering, SBES 2025, Recife, Brazil, September 22-26, 2025, 872-878, SBC, 2025, 10.5753/SBES.2025.10983.
  8. Bálint Kocsis and Jurriaan Rot. Complete Test Suites for Automata in Monoidal Closed Categories. Parosh Aziz Abdulla and Delia Kesner, Foundations of Software Science and Computation Structures - 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Lecture Notes in Computer Science, 15691, 198-219, Springer, 2025, 10.1007/978-3-031-90897-2\_10.
  9. T. S. Badings. Robust Verification of Stochastic Systems: Guarantees in the Presence of Uncertainty. 2025, Radboud University Press, 311.
  10. Bettina Könighofer, Roderick Bloem, Nils Jansen, Sebastian Junges and Stefan Pranger. Shields for Safe Reinforcement Learning. Commun. ACM, 68, 11, 80-90, 2025, 10.1145/3715958.
  11. Patrick van Beurden, Thomas Koopman and Sven-Bodo Scholz. Multi-GPU Code Generation for Out-of-Core Problems. Jeremy Gibbons, Trends in Functional Programming, 2025, Springer Nature Switzerland, Cham, 117-138, 10.1007/978-3-031-99751-8_6.
  12. R. Broekhoff and R. J. Krebbers. Verified Interpreters for Dynamic Languages with Applications to the Nix Expression Language. Proceedings of the ACM on Programming Languages, 9, ICFP, 917-946, 2025, 10.1145/3747537.
  13. Carsten Fuhs, Liye Guo and Cynthia Kop. An Innermost DP Framework for Constrained Higher-Order Rewriting. Maribel Fernández, 10th International Conference on Formal Structures for Computation and Deduction, FSCD 2025, July 14-20, 2025, Birmingham, UK, LIPIcs, 337, 20:1-20:24, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, 10.4230/LIPICS.FSCD.2025.20.
  14. Cass Alexandru, Vikraman Choudhury, Jurriaan Rot and Niels van der Weide. Intrinsically Correct Sorting in Cubical Agda. Kathrin Stark, Amin Timany, Sandrine Blazy and Nicolas Tabareau, Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2025, Denver, CO, USA, January 20-21, 2025, 34-49, ACM, 2025, 10.1145/3703595.3705873.
  15. Cevahir Köprülü, Thiago D. Simão, Nils Jansen and Ufuk Topcu. Safety-Prioritizing Curricula for Constrained Reinforcement Learning. The Thirteenth International Conference on Learning Representations, ICLR 2025, Singapore, April 24-28, 2025, OpenReview.net, 2025.
  16. Dennis Hendriks and Wytse Oortwijn. gLTSdiff: a generalized framework for structural comparison of software behavior. Softw. Syst. Model., 24, 6, 1671-1698, 2025, 10.1007/S10270-024-01239-0.
  17. Djurre van der Wal, Marcus Gerhold, Mariëlle Stoelinga and Arend Rensink. Conformance in the railway industry: Single-Input-Change testing a EULYNX controller. Int. J. Softw. Tools Technol. Transf., 27, 3, 377-395, 2025, 10.1007/S10009-025-00790-5.
  18. J. J. J. Doesburg, B. van Gastel and E. Poll. Pseudonymization as a Service: Compartmentalizing and Controlling Data Processing in Evolving Systems with Micropseudonymization. V. Zaytsev, 53-66, BENEVOL, 2025, S.l..
  19. T. Doorenbosch, M. I. A. Stoelinga, T. S. Badings and B. Dielissen. Van chipmachine tot riool: zo voorkomt voorspellend onderhoud miljoenen aan schade. tw.nl, 2025.
  20. Erik Eriksson, Joel Olausson, Vladislav Indykov, Daniel Strüber and Rebekka Wohlrab. Extracting Design Patterns from Mined Component Models of ML-Enabled Systems. Davide Taibi and Darja Smite, Software Engineering and Advanced Applications - 51st Euromicro Conference, SEAA 2025, Salerno, Italy, September 10-12, 2025, Proceedings, Part I, Lecture Notes in Computer Science, 16081, 113-129, Springer, 2025, 10.1007/978-3-032-04190-6\_8.
  21. Erika \'Abrahám, Nils Jansen and Simon Jantsch. Probabilistic Counterexamples Through the Ages. Nathalie Bertrand, Clemens Dubslaff and Sascha Klüppelholz, Principles of Formal Quantitative Analysis - Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday, Lecture Notes in Computer Science, 15760, 174-196, Springer, 2025, 10.1007/978-3-031-97439-7\_8.
  22. Francisco Souza, Thom S. Badings, Geert J. Postma and Jeroen J. Jansen. Integrating Expert and Physics Knowledge for Modeling Heat Load in District Heating Systems. IEEE Trans. Ind. Informatics, 21, 5, 3955-3965, 2025, 10.1109/TII.2025.3534419.
  23. Frits W. Vaandrager and Ivo Melse. New Fault Domains for Conformance Testing of Finite State Machines. Patricia Bouyer and Jaco van de Pol, 36th International Conference on Concurrency Theory, CONCUR 2025, August 26-29, 2025, Aarhus, Denmark, LIPIcs, 348, 34:1-34:22, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, 10.4230/LIPICS.CONCUR.2025.34.
  24. M. F. L. Galesloot, R. Andriushchenko, M. Ceska, S. Junges and N. Jansen. Robust Finite-Memory Policy Gradients for Hidden-Model POMDPs. J. Kwok, 8518-8526, International Joint Conferences on Artificial Intelligence, 2025, Darmstadt.
  25. M. F. L. Galesloot, M. R. Suilen, T. D. Sim\~A\textsterlingo, S. Carr, M. J. T. Spaan, U. Topcu and N. Jansen. Pessimistic Iterative Planning with RNNs for Robust POMDPs. I. Lynce, 413, 4823-4831, IOS Press, 2025, 10.3233/FAIA251391, S.l..
  26. L. Guo. Higher-Order Termination with Logical Constraints. 2025, s.n., 2025-08, v,-113.
  27. Hanmo You, Zan Wang, Bin Lin and Junjie Chen. Navigating the Testing of Evolving Deep Learning Systems: An Exploratory Interview Study. 47th IEEE/ACM International Conference on Software Engineering, ICSE 2025, Ottawa, ON, Canada, April 26 - May 6, 2025, 2726-2738, IEEE, 2025, 10.1109/ICSE55347.2025.00106.
  28. Hans Zantema and Vincent van Oostrom. Correction: The paint pot problem and common multiples in monoids. Appl. Algebra Eng. Commun. Comput., 36, 2, 365-366, 2025, 10.1007/S00200-023-00613-7.
  29. Hans Zantema and Vincent van Oostrom. The paint pot problem and common multiples in monoids. Appl. Algebra Eng. Commun. Comput., 36, 2, 341-363, 2025, 10.1007/S00200-023-00606-6.
  30. Hanyue Chen, Miaomiao Zhang and Frits W. Vaandrager. Compositional Abstraction for Timed Systems with Broadcast Synchronization. Ruzica Piskac and Zvonimir Rakamaric, Computer Aided Verification - 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I, Lecture Notes in Computer Science, 15931, 162-184, Springer, 2025, 10.1007/978-3-031-98668-0\_8.
  31. Linus Heck, Maximilian Gelbrecht, Michael T. Schaub and Niklas Boers. Improving the noise estimation of latent neural stochastic differential equations. Chaos: An Interdisciplinary Journal of Nonlinear Science, 2025, Jun, 35, 6, 063139, 10.1063/5.0257224.
  32. Herman Geuvers and Komi Golov. Positive Hennessy-Milner Logic for Branching Bisimulation. Log. Methods Comput. Sci., 21, 4, 2025, 10.46298/LMCS-21(4:14)2025.
  33. Janneke H. Bolt, Arjen Hommersom and Silja Renooij. Involving Uncertainty in Bayesian Network Tuning. Kai Sauerwald and Matthias Thimm, Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 18th European Conference, ECSQARU 2025, Hagen, Germany, September 23-26, 2025, Proceedings, Lecture Notes in Computer Science, 16099, 61-74, Springer, 2025, 10.1007/978-3-032-05134-9\_5.
  34. Jiangnan Huang and Bin Lin. Revisiting Security Practices for Github Actions Workflows. 33rd IEEE/ACM International Conference on Program Comprehension, ICPC@ICSE 2025, Ottawa, ON, Canada, April 27-28, 2025, 73-77, IEEE, 2025, 10.1109/ICPC66645.2025.00016.
  35. Jonan Richards and Mairieli Wessel. Bridging HCI and AI Research for the Evaluation of Conversational SE Assistants. IEEE/ACM International Workshop on Bots in Software Engineering, BotSE@ICSE 2025, Ottawa, ON, Canada, April 27, 2025, 6-10, IEEE, 2025, 10.1109/BOTSE67031.2025.00009.
  36. Jordy Aaldering, Bernard van Gastel and Sven-Bodo Scholz. Energy-Aware Dynamic Adaptation of Runtime Systems. Jeremy Gibbons, Trends in Functional Programming - 26th International Symposium, TFP 2025, Oxford, UK, January 14-16, 2025, Revised Selected Papers, Lecture Notes in Computer Science, 15652, 435-458, Springer, 2025, 10.1007/978-3-031-99751-8\_19.
  37. Jules Jacobs, Nate Foster, Tobias Kappé, Dexter Kozen, Lily Saada, Alexandra Silva and Jana Wagemaker. StacKAT: Infinite State Network Verification. Proc. ACM Program. Lang., 9, PLDI, 277-300, 2025, 10.1145/3729257.
  38. Kazuki Watanabe, Sebastian Junges, Jurriaan Rot and Ichiro Hasuo. A Unifying Approach to Product Constructions for Quantitative Temporal Inference. Proc. ACM Program. Lang., 9, OOPSLA1, 1575-1603, 2025, 10.1145/3720501.
  39. Mayuko Kori, Kazuki Watanabe and Jurriaan Rot. Initial Algebra Correspondence under Reachability Conditions. 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2025, 71-83, 10.1109/LICS65433.2025.00013.
  40. M. Krale, E. M. Bovy, M. F. L. Galesloot, T. D. Simao and N. Jansen. On Evaluating Policies for Robust POMDPs. 1-36, openreview.net, 2025, S.l..
  41. R. J. Krebbers. Mechanized Type Soundness for Substructural Types using Iris (Invited Tutorial). C. Di Giusto, 15731, XVII-XX, Springer, 2025, 10.1007/978-3-031-95589-1, Cham.
  42. Laura Brandán Briones, Marcus Gerhold, Petra van den Bos and Mariëlle Stoelinga. Time for Quiescence: Modelling Quiescent Behaviour in Testing via Time-Outs in Timed Automata. Silvia Bonfanti and George Angelos Papadopoulos, Testing Software and Systems - 37th IFIP WG 6.1 International Conference, ICTSS 2025, Limassol, Cyprus, September 17-19, 2025, Proceedings, Lecture Notes in Computer Science, 16107, 35-52, Springer, 2025, 10.1007/978-3-032-05188-2\_3.
  43. P. Leerkes, I. Melse, L. S. Heck, M. Volk and J. S. L. Junges. Stormvogel: Probabilistic Model Checking for Almost Everyone. Radboud University, 2025, Nijmegen.
  44. Lina Gerlach, Tobias Winkler, Erika \'Abrahám, Borzoo Bonakdarpour and Sebastian Junges. Efficient Probabilistic Model Checking for Relational Reachability. Ruzica Piskac and Zvonimir Rakamaric, Computer Aided Verification - 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I, Lecture Notes in Computer Science, 15931, 127-147, Springer, 2025, 10.1007/978-3-031-98668-0\_6.
  45. Linus Heck, Tim Quatmann, Jip Spel, Joost-Pieter Katoen and Sebastian Junges. Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains. Meenakshi D'Souza, Raghavan Komondoor and B. Srivathsan, Automated Technology for Verification and Analysis - 23rd International Symposium, ATVA 2025, Bengaluru, India, October 27-31, 2025, Proceedings, Lecture Notes in Computer Science, 16145, 207-230, Springer, 2025, 10.1007/978-3-032-08707-2\_10.
  46. Lucy Horowitz, Michail Karatarakis, Xuandi Ren and Alejandro Sanchez Ocegueda. Exploring proof autoformalization with Mistral on Herald. Valeria de Paiva and Peter Koepke, Intelligent Computer Mathematics - 18th International Conference, CICM 2025, Brasilia, Brazil, October 6-10, 2025, Proceedings, Lecture Notes in Computer Science, 16136, 279-299, Springer, 2025, 10.1007/978-3-032-07021-0\_16.
  47. Luko van der Maas and Sebastian Junges. Learning Verified Monitors for Hidden Markov Models. Meenakshi D'Souza, Raghavan Komondoor and B. Srivathsan, Automated Technology for Verification and Analysis - 23rd International Symposium, ATVA 2025, Bengaluru, India, October 27-31, 2025, Proceedings, Lecture Notes in Computer Science, 16145, 180-203, Springer, 2025, 10.1007/978-3-032-08707-2\_9.
  48. Marck van der Vegt, Kazuki Watanabe, Ichiro Hasuo and Sebastian Junges. Compositional Verification of Almost-Sure Büchi Objectives in MDPs. Pierre Ganty and Alessio Mansutti, Reachability Problems - 19th International Conference, RP 2025, Madrid, Spain, October 1-3, 2025, Proceedings, Lecture Notes in Computer Science, 16230, 171-185, Springer, 2025, 10.1007/978-3-032-09524-4\_12.
  49. Maris F. L. Galesloot, Roman Andriushchenko, Milan Ceska, Sebastian Junges and Nils Jansen. Robust Finite-Memory Policy Gradients for Hidden-Model POMDPs. Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2025, Montreal, Canada, August 16-22, 2025, 8518-8526, 2025, 10.24963/IJCAI.2025/947.
  50. Markel Zubia, Thiago D. Simão and Nils Jansen. Robust Transfer of Safety-Constrained Reinforcement Learning Agents. The Thirteenth International Conference on Learning Representations, ICLR 2025, Singapore, April 24-28, 2025, OpenReview.net, 2025.
  51. P. Medur, M. Lubbers and G. Mausa. Optimizing Keyword Spotting Classifier based on Tiny Machine Learning for Low-Power Embedded Devices. S. Babic, 186-191, Croatian Society for Information; IEEE, 2025, 10.1109/MIPRO65660.2025.11131906, Rijeka.
  52. Merlijn Krale, Wietze Koops, Sebastian Junges, Thiago D. Simão and Nils Jansen. Tighter Value-Function Approximations for POMDPs. Sanmay Das, Ann Nowé and Yevgeniy Vorobeychik, Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2025, Detroit, MI, USA, May 19-23, 2025, 1200-1208, International Foundation for Autonomous Agents and Multiagent Systems / ACM, 2025, 10.5555/3709347.3743641.
  53. Miki Yonekura, Yutaro Kashiwa, Bin Lin, Kenji Fujiwara and Hajimu Iida. Leveraging Context Information for Self-Admitted Technical Debt Detection. 33rd IEEE/ACM International Conference on Program Comprehension, ICPC@ICSE 2025, Ottawa, ON, Canada, April 27-28, 2025, 1-12, IEEE, 2025, 10.1109/ICPC66645.2025.00018.
  54. I. N. Mulder. Proof Automation for Fine-Grained Concurrent Separation Logic. 2025-02, viii,-163, s.n., 2025.
  55. Nabhan Suwanachote, Yagut Shakizada, Yutaro Kashiwa, Bin Lin and Hajimu Iida. On the Evolution of Unused Dependencies in Java Project Releases: An Empirical Study. 22nd IEEE/ACM International Conference on Mining Software Repositories, MSR@ICSE 2025, Ottawa, ON, Canada, April 28-29, 2025, 324-328, IEEE, 2025, 10.1109/MSR66628.2025.00059.
  56. Niek Janssen, Mart Lubbers and Pieter W. M. Koopman. Communication for Task-Oriented Systems with Edge Devices. Jeremy Gibbons, Trends in Functional Programming - 26th International Symposium, TFP 2025, Oxford, UK, January 14-16, 2025, Revised Selected Papers, Lecture Notes in Computer Science, 15652, 459-482, Springer, 2025, 10.1007/978-3-031-99751-8\_20.
  57. Niels van der Weide. The Formal Theory of Monads, Univalently. Log. Methods Comput. Sci., 21, 1, 2025, 10.46298/LMCS-21(1:16)2025.
  58. Nima Rasekh, Niels van der Weide, Benedikt Ahrens and Paige Randall North. Insights from Univalent Foundations: A Case Study Using Double Categories. Jörg Endrullis and Sylvain Schmitz, 33rd EACSL Annual Conference on Computer Science Logic, CSL 2025, February 10-14, 2025, Amsterdam, Netherlands, LIPIcs, 326, 45:1-45:18, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, 10.4230/LIPICS.CSL.2025.45.
  59. Ornela Dardha, Jorge A. Pérez and Jurriaan Rot. Preface to special issue: EXPRESS/SOS 2019 and EXPRESS/SOS 2020. Inf. Comput., 302, 105154, 2025, 10.1016/J.IC.2024.105154.
  60. Orpheas van Rooij and Robbert Krebbers. Affect: An Affine Type and Effect System. Proc. ACM Program. Lang., 9, POPL, 126-154, 2025, 10.1145/3704841.
  61. Patrick Baillot, Ugo Dal Lago, Cynthia Kop and Deivid Vale. A Characterization of Basic Feasible Functionals Through Higher-Order Rewriting and Tuple Interpretations. Log. Methods Comput. Sci., 21, 4, 2025, 10.46298/LMCS-21(4:19)2025.
  62. Pedro Nora, Jurriaan Rot, Lutz Schröder and Paul Wild. Relational Connectors and Heterogeneous Simulations. Parosh Aziz Abdulla and Delia Kesner, Foundations of Software Science and Computation Structures - 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Lecture Notes in Computer Science, 15691, 111-132, Springer, 2025, 10.1007/978-3-031-90897-2\_6.
  63. Petra van den Bos and Mariëlle Stoelinga. With a little help from your friends: semi-cooperative games via Joker moves. Log. Methods Comput. Sci., 21, 1, 2025, 10.46298/LMCS-21(1:26)2025.
  64. Raghavendran Gunasekaran, Boudewijn Haverkort and Loes Kruger. Behavioral analysis of a digital twin using logging and model learning. J. Object Technol., 24, 2, 2, 2025, 10.5381/JOT.2025.24.2.A7.
  65. Reza Soltani, Matthias Volk, Leonardo Diamonte, Milan Lopuhaä-Zwakenberg and Mariëlle Stoelinga. Optimal spare management via statistical model checking: a case study in research reactors. Int. J. Softw. Tools Technol. Transf., 27, 3, 361-376, 2025, 10.1007/S10009-025-00791-4.
  66. Robbert Krebbers, Luko van der Maas and Enrico Tassi. Inductive Predicates via Least Fixpoints in Higher-Order Separation Logic. Yannick Forster and Chantal Keller, 16th International Conference on Interactive Theorem Proving, ITP 2025, Reykjavik, Iceland, September 28 - October 1, 2025, LIPIcs, 352, 27:1-27:21, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, 10.4230/LIPICS.ITP.2025.27.
  67. Robin van Straeten and Bin Lin. Mining Code Change Patterns in Ada Projects. 33rd IEEE/ACM International Conference on Program Comprehension, ICPC@ICSE 2025, Ottawa, ON, Canada, April 27-28, 2025, 387-397, IEEE, 2025, 10.1109/ICPC66645.2025.00049.
  68. Roman Andriushchenko, Milan Ceska, Debraj Chakraborty, Sebastian Junges, Jan Kret\'\insk\'y and Filip Macák. Symbiotic Local Search for Small Decision Tree Policies in MDPs. Silvia Chiappa and Sara Magliacane, Conference on Uncertainty in Artificial Intelligence, Rio Othon Palace, Rio de Janeiro, Brazil, 21-25 July 2025, Proceedings of Machine Learning Research, 286, 132-148, PMLR, 2025.
  69. Roman Andriushchenko, Milan Ceska, Filip Macák, Sebastian Junges and Joost-Pieter Katoen. An Oracle-Guided Approach to Constrained Policy Synthesis Under Uncertainty. J. Artif. Intell. Res., 82, 433-469, 2025, 10.1613/JAIR.1.16593.
  70. Roman Andriushchenko, Milan Ceska, Sebastian Junges and Filip Macák. Small Decision Trees for MDPs with Deductive Synthesis. Ruzica Piskac and Zvonimir Rakamaric, Computer Aided Verification - 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II, Lecture Notes in Computer Science, 15932, 169-192, Springer, 2025, 10.1007/978-3-031-98679-6\_8.
  71. Ronnie de Souza Santos, Cleyton V. C. de Magalhães, Ann Barcomb and Mairieli Wessel. From Diverse Origins to a DEI Crisis: The Pushback Against Equity, Diversity, and Inclusion in Software Engineering. Davide Taibi and Darja Smite, Software Engineering and Advanced Applications - 51st Euromicro Conference, SEAA 2025, Salerno, Italy, September 10-12, 2025, Proceedings, Part III, Lecture Notes in Computer Science, 16083, 174-190, Springer, 2025, 10.1007/978-3-032-04207-1\_12.
  72. Samuel Humeau, Daniela Petrisan and Jurriaan Rot. Correspondences Between Codensity and Coupling-Based Liftings, a Practical Approach. Jörg Endrullis and Sylvain Schmitz, 33rd EACSL Annual Conference on Computer Science Logic, CSL 2025, February 10-14, 2025, Amsterdam, Netherlands, LIPIcs, 326, 29:1-29:18, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, 10.4230/LIPICS.CSL.2025.29.
  73. Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder and Paul Wild. Identity-Preserving Lax Extensions and Where to Find Them. Olaf Beyersdorff, Michal Pilipczuk, Elaine Pimentel and Kim Thang Nguyen, 42nd International Symposium on Theoretical Aspects of Computer Science, STACS 2025, March 4-7, 2025, Jena, Germany, LIPIcs, 327, 40:1-40:20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, 10.4230/LIPICS.STACS.2025.40.
  74. Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder and Paul Wild. Relators and Notions of Simulation Revisited. 40th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2025, Singapore, June 23-26, 2025, 776-789, IEEE, 2025, 10.1109/LICS65433.2025.00064.
  75. Stefano M. Nicoletti, Ernst Moritz Hahn, Mattia Fumagalli, Giancarlo Guizzardi and Mariëlle Stoelinga. WATCHDOG: an ontology-aWare risk AssessmenT approaCH via object-oriented DisruptiOn Graphs. John Krogstie, Stefanie Rinderle-Ma, Gerti Kappel and Henderik A. Proper, Advanced Information Systems Engineering - 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part II, Lecture Notes in Computer Science, 15702, 314-331, Springer, 2025, 10.1007/978-3-031-94571-7\_18.
  76. Steven Bronsveld, Herman Geuvers and Niels van der Weide. Impredicative Encodings of Inductive and Coinductive Types. Maribel Fernández, 10th International Conference on Formal Structures for Computation and Deduction, FSCD 2025, July 14-20, 2025, Birmingham, UK, LIPIcs, 337, 11:1-11:22, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, 10.4230/LIPICS.FSCD.2025.11.
  77. Reinier Stribos, Roel Bouman, Lisandro Jimenez, Maaike Slot and Marielle Stoelinga. A comparison of anomaly detection algorithms with applications on recoater streaking in an additive manufacturing process. Rapid Prototyping Journal, 31, 10, 2119-2132, 2025, 10.1108/RPJ-03-2024-0125, Gevonden in WoS met onderzoeker 1347574 Stoelinga, M.I.A. (Marielle) Affil. (Radboud OR Nijmegen) 5 auteurs volgens WoS.
  78. M. R. Suilen. Robust and Reliable Decision-Making Under Uncertainty. xiv,-167, Radboud University Press, 2025.
  79. Sven Peldszus, Davide Brugali, Daniel Strüber, Patrizio Pelliccione and Thorsten Berger. Software Reconfiguration in Robotics. Anne Koziolek, Anna-Lena Lamprecht, Thomas Thüm and Erik Burger, Software Engineering 2025, Fachtagung des GI-Fachbereichs Softwaretechnik, Karlsruhe, Germany, February 24-28, 2025, LNI, P-360, 46, Gesellschaft für Informatik e.V., 2025, 10.18420/SE2025-46.
  80. Sven Peldszus, Davide Brugali, Daniel Strüber, Patrizio Pelliccione and Thorsten Berger. Software reconfiguration in robotics. Empir. Softw. Eng., 30, 3, 94, 2025, 10.1007/S10664-024-10596-9.
  81. Thi Kim Nhung Dang, Benedikt Peterseim, Milan Lopuhaä-Zwakenberg and Mariëlle Stoelinga. Fuzzy Fault Trees: the Fast and the Formal. Pavithra Prabhakar and Andrea Vandin, Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - Second International Joint Conference, QEST+FORMATS 2025, Aarhus, Denmark, August 26-28, 2025, Proceedings, Lecture Notes in Computer Science, 16143, 256-274, Springer, 2025, 10.1007/978-3-032-05792-1\_14.
  82. Thom S. Badings, Wietze Koops, Sebastian Junges and Nils Jansen. Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates. Ruzica Piskac and Zvonimir Rakamaric, Computer Aided Verification - 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II, Lecture Notes in Computer Science, 15932, 349-375, Springer, 2025, 10.1007/978-3-031-98679-6\_16.
  83. Thomas Koopman, Sven-Bodo Scholz and Bernard van Gastel. Partitioning In-Place on Massively Parallel Architectures. 31st International European Conference on Parallel and Distributed Computing, EuroPar, 2025, 0.1007/978-3-031-99872-0_7.
  84. Thorsten Wi\ssmann, Bálint Kocsis, Jurriaan Rot and Ruben Turkenburg. Trees in Coalgebra from Generalized Reachability ((Co)algebraic pearl). Corina C\^\irstea and Alexander Knapp, 11th Conference on Algebra and Coalgebra in Computer Science, CALCO 2025, June 16-18, 2025, University of Strathclyde, UK, LIPIcs, 342, 15:1-15:18, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, 10.4230/LIPICS.CALCO.2025.15.
  85. S. C. M. W. Tummers, A. J. Hommersom, L. Lechner, R. Bemelmans and C. A. W. Bolman. Bayesian Network Analysis of Intervention-Induced Physical Activity Behavior Change: Comparative Modeling Study Across Age, Education, and Activity Impairment Subgroups. Online Journal of Public Health Informatics, 17, 1-20, 2025, 10.2196/57977.
  86. S. C. M. W. Tummers, Arjen Hommersom, Catherine Bolman, Lilian Lechner and Roger Bemelmans. A new data science trajectory for analysing multiple studies: a case study in physical activity research \^a˜\textdagger. MethodsX, 2025, 14, 1-11, Gevonden in WoS met onderzoeker 1075461 Hommersom, A.J. (Arjen) WosId D-3156-2012 Affil. (Radboud OR Nijmegen) 5 auteurs volgens WoS, 10.1016/j.mex.2024.103104.
  87. Véronique Bruy\`ere, Bharat Garhewal, Guillermo A. Pérez, Gaëtan Staquet and Frits W. Vaandrager. Active Learning of Mealy Machines with Timers. Pavithra Prabhakar and Andrea Vandin, Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - Second International Joint Conference, QEST+FORMATS 2025, Aarhus, Denmark, August 26-28, 2025, Proceedings, Lecture Notes in Computer Science, 16143, 42-61, Springer, 2025, 10.1007/978-3-032-05792-1\_3.
  88. F. Vaandrager and M. Sanders. L\# for\^A DFAs. N. Jansen, S. Junges, B. L. Kaminski, C. Matheja, T. Noll, T. Quatmann, M. Stoelinga and M. Volk, Lecture Notes in Computer Science; 15262, 155-172, Springer Nature Switzerland, 2025, 10.1007/978-3-031-75778-5_8, Cham, Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III.
  89. Victor Campanello, Shariq Shahbaz, Vladislav Indykov and Daniel Strüber. On the Use of GPT-4 in the Reverse Engineering of Class Diagrams. J. Object Technol., 24, 2, 2, 2025, 10.5381/JOT.2025.24.2.A14.
  90. Vladislav Indykov, Daniel Strüber and Rebekka Wohlrab. Architectural tactics to achieve quality attributes of machine-learning-enabled systems: a systematic literature review. J. Syst. Softw., 223, 112373, 2025, 10.1016/J.JSS.2025.112373.
  91. Vladislav Indykov, Daniel Strüber and Rebekka Wohlrab. MLTradeOps: Embedding Trade-Off Management into the MLOps Workflow. Davide Taibi and Darja Smite, Software Engineering and Advanced Applications - 51st Euromicro Conference, SEAA 2025, Salerno, Italy, September 10-12, 2025, Proceedings, Part I, Lecture Notes in Computer Science, 16081, 97-112, Springer, 2025, 10.1007/978-3-032-04190-6\_7.
  92. Vladislav Indykov, Rebekka Wohlrab and Daniel Strüber. Quality trade-offs in ML-enabled systems: a multiple-case study. Jiman Hong, Sebastiano Battiato, Christian Esposito, Juw Won Park and Adam Przybylek, Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing, SAC 2025, Catania International Airport, Catania, Italy, 31 March 2025 - 4 April 2025, 1730-1737, ACM, 2025, 10.1145/3672608.3707754.
  93. J. Wendland, M. Zubia, R. Andriushchenko, M. F. L. Galesloot, M. Ceska, H. von Kleist, T. D. Simao, M. Weininger and N. Jansen. Missingness-MDPs: Bridging the Theory of Missing Data and POMDPs. 1-22, openreview.nlet, 2025, S.l..
  94. Wenli Zhang, Weixing Zhang, Daniel Strüber and Regina Hebig. An empirical study of manual abstraction between class diagrams and code of open-source systems. Softw. Syst. Model., 24, 6, 1797-1823, 2025, 10.1007/S10270-025-01289-Y.
  95. Wesley de Kraker, Harald Vranken and Arjen Hommersom. MultiGLICE: Combining Graph Neural Networks and Program Slicing for Multiclass Software Vulnerability Detection. Comput., 14, 3, 98, 2025, 10.3390/COMPUTERS14030098.
  96. Wytse Oortwijn, Yuri Blankenstein, Jos Hegge, Dennis Hendriks, Piërre van de Laar, Bram van der Sanden, Laura van Veen and Nan Yang. Towards Synthesis-Based Engineering for Cyber-Physical Production Systems. Federico Ciccozzi, Lu\'\is Ferreira Pires and Francis Bordeleau, Proceedings of the 13th International Conference on Model-Based Software and Systems Engineering, MODELSWARD 2025, Porto, Portugal, February 26-28, 2025, 158-168, SCITEPRESS, 2025, 10.5220/0013103300003896.
  97. Yanni Dong, Milan Lopuhaä-Zwakenberg and Mariëlle Stoelinga. 0-1 Laws for LTL and CTL over Random Transition Systems. Gidon Ernst and Kristin Yvonne Rozier, Model Checking Software - 31st International Symposium, SPIN 2025, Hamilton, ON, Canada, May 7-8, 2025, Proceedings, Lecture Notes in Computer Science, 15945, 66-87, Springer, 2025, 10.1007/978-3-032-06847-7\_4.
  98. Zaharah Allah Bukhsh, Hajo Molegraaf and Nils Jansen. A maintenance planning framework using online and offline deep reinforcement learning. Neural Comput. Appl., 37, 19, 13209-13220, 2025, 10.1007/S00521-023-08560-7.
  99. Kyra de Korte, Sietske Veenman, Maria Kaufmann, Berber Pas, Bernard van Gastel and Arnoud Lagendijk. End-users' capabilities and futures in the Dutch energy transition: the role of data-driven energy technology in social housing. Energy and Climate Change, 6, 1-8, 2025, 10.1016/j.egycc.2025.100225, Gevonden in WoS met onderzoeker 1001862 Pas, B.R. (Berber) Affil. (Radboud OR Nijmegen) 6 auteurs volgens WoS.
  100. Niels van der Weide. The internal languages of univalent categories. 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2025, 112-126, 10.1109/LICS65433.2025.00016.