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. 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.
  3. T. S. Badings. Robust Verification of Stochastic Systems: Guarantees in the Presence of Uncertainty. 2025, Radboud University Press, 311.
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. 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.
  9. 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.
  10. L. Guo. Higher-Order Termination with Logical Constraints. 2025, s.n., 2025-08, v,-113.
  11. 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.
  12. 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.
  13. 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.
  14. 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.
  15. 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.
  16. Job Doesburg, Pascal van Gastel, Bernard van Gastel and Erik Poll. Data Processing Diagrams - A Modeling Technique for Privacy in Complex Data Processing Systems. Felix Bieker, Silvia De Conca, José M. del \'Alamo and Yod Samuel Mart\'\in, Privacy and Identity Management. Generating Futures - 19th IFIP WG 9.6/11.7 and IFIP WG 11.6 International Summer School, Privacy and Identity 2024, Madrid, Spain, September 10-13, 2024, Revised Selected Papers, IFIP Advances in Information and Communication Technology, 705, 115-131, Springer, 2025, 10.1007/978-3-031-91054-8\_6.
  17. 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.
  18. 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.
  19. 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.
  20. 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.
  21. 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.
  22. 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.
  23. 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.
  24. 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.
  25. Niels van der Weide. The Formal Theory of Monads, Univalently. Log. Methods Comput. Sci., 21, 1, 2025, 10.46298/LMCS-21(1:16)2025.
  26. 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.
  27. 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.
  28. 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.
  29. 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.
  30. 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.
  31. 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.
  32. 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.
  33. 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.
  34. 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.
  35. 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.
  36. 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.
  37. 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.
  38. 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.
  39. 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.
  40. 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.
  41. 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.
  42. 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.
  43. 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.
  44. 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.
  45. 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.
  46. 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.
  47. 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.
  48. 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.
  49. 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.
  50. 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.