print · login   

Bibtex actions:
  edit    source    raw source    raw html

2024

  1. Logics and Type Systems in Theory and Practice - Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday. Venanzio Capretta, Robbert Krebbers and Freek Wiedijk, Lecture Notes in Computer Science, 14560, Springer, 2024, 10.1007/978-3-031-61716-4.
  2. Proceedings of the 28th ACM International Systems and Software Product Line Conference - Volume A, SPLC 2024, Dommeldange, Luxembourg, September 2-6, 2024. Maxime Cordy, Daniel Strüber, Mónica Pinto, Iris Groher, Deepak Dhungana, Jacob Krüger, Juliana Alves Pereira, Mathieu Acher, Thomas Thüm, Maurice H. ter Beek, Jessie Galasso-Carbonnel, Paolo Arcaini, Mohammad Reza Mousavi, Xhevahire Tërnava, José A. Galindo, Tao Yue, Lidia Fuentes and José Miguel Horcas, ACM, 2024, 10.1145/3646548.
  3. Proceedings of the 28th ACM International Systems and Software Product Line Conference - Volume B, SPLC 2024, Dommeldange, Luxembourg, September 2-6, 2024. Maxime Cordy, Daniel Strüber, Mónica Pinto, Iris Groher, Deepak Dhungana, Jacob Krüger, Juliana Alves Pereira, Mathieu Acher, Thomas Thüm, Maurice H. ter Beek, Jessie Galasso-Carbonnel, Paolo Arcaini, Mohammad Reza Mousavi, Xhevahire Tërnava, José A. Galindo, Tao Yue, Lidia Fuentes and José Miguel Horcas, ACM, 2024, 10.1145/3646548.
  4. Proceedings of the STAF 2024 Workshops: AgileMDE 2024, LLM4MDE 2024, and MeSS 2024 co-located with the International Conference on Software Technologies: Applications and Foundations (STAF 2024), Enschede, The Netherlands, July 8-11, 2024. Hessa Alfraihi, Francesco Basciani, Georgiana Caltais, Nicolas Ferry, José Antonio Hernández López, Ludovico Iovino, Robbert Jongeling, Stefan Klikovits, Shekoufeh Rahimi, Riccardo Rubei, Sobhan Yassipour Tehrani, Javier Troya, Mairieli Wessel and Vadim Zaytsev, CEUR Workshop Proceedings, 3727, CEUR-WS.org, 2024.
  5. Special Issue: Selected Papers on the Occasion of the 10th Workshop on Rewriting Techniques for Program Transformations and Evaluation. S. Ciobaca and C. Kop, Journal of Logical and Algebraic Methods in Programming, 141, 2024, Elsevier, Special Issue.
  6. Marnix Suilen, Thom Badings, Eline M. Bovy, David Parker and Nils Jansen . Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet. 2024, Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga and Matthias Volk, Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III, Springer Nature Switzerland, 126-154.
  7. Merlijn Krale, Thiago D. Simão, Jana Tumova and Nils Jansen. Robust Active Measuring under Model Uncertainty. AAAI, 2024, https://ojs.aaai.org/index.php/AAAI/article/view/30122/31984.
  8. Jordy Aaldering, Sven-Bodo Scholz and Bernard Van Gastel. Type Patterns: Pattern Matching on Shape-Carrying Array Types. 2024, Association for Computing Machinery, New York, NY, USA, 10.1145/3652561.3652572, Proceedings of the 35th Symposium on Implementation and Application of Functional Languages, IFL '23.
  9. Agnes Nakakawa, Fiona P. M. Tulinayo, Geoffrey Olok Tabo, Patrick van Bommel, Hans B. F. Mulder and Henderik A. Proper. Supplementing the Build Activity in Design Science Research with Soft Systems Methodology: A Technique of Creating Frameworks for Guiding Interventions Against Unstructured Problems. Complex Syst. Informatics Model. Q., 40, 1-35, 2024, 10.7250/CSIMQ.2024-40.01.
  10. Benedikt Ahrens, Ralph Matthes, Niels van der Weide and Kobe Wullaert. Displayed Monoidal Categories for the Semantics of Linear Logic. Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2024, London, UK, January 15-16, 2024, Dmitriy Traytel, Brigitte Pientka and Sandrine Blazy, 2024, 260-273, ACM, 10.1145/3636501.3636956.
  11. Amin Timany, Robbert Krebbers, Derek Dreyer and Lars Birkedal. A Logical Approach to Type Soundness. 2024, Journal of the ACM (JACM).
  12. Aviva Berkovich-Ohana, Kirk Warren Brown, Shaun Gallagher, Henk Barendregt, Prisca Bauer, Fabio Giommi, Ivan Nyklíček, Brian Ostafin, Antonino Raffone, Heleen A. Slagter, Fynn-Mathis Trautwein, David Vago and Ajahn Amaro. Pattern Theory of Selflessness: How Meditation May Transform the Self-Pattern. Mindfulness, 15, 2114-2140, 2024, August, 10.1007/s12671-024-02418-2.
  13. Benard Wanjiru, Patrick Van Bommel and Djoerd Hiemstra. Dynamic and Partial Grading of SQL Queries. 10.55708/js0308001, Journal of Engineering Research and Sciences, 1-14, 3, 2024.
  14. Carolin E. Brandt, Ali Khatami, Mairieli Wessel and Andy Zaidman. Shaken, Not Stirred: How Developers Like Their Amplified Tests. IEEE Trans. Software Eng., 50, 5, 1264-1280, 2024, 10.1109/TSE.2024.3381015.
  15. Christoph Schmidl, Thiago D. Simão and Nils Jansen. A Supervised Learning Approach to Robust Reinforcement Learning for Job Shop Scheduling. Proceedings of the 16th International Conference on Agents and Artificial Intelligence - Volume 3: ICAART, 2024, 1324-1335, SciTePress, INSTICC, 10.5220/0012473600003636.
  16. G. van Cuyck, L. van Arragon and J. Tretmans. Testing Compositionality. D. Marmsoler and M. Sun, Formal Aspects of Component Software, Lecture Notes in Computer Science, 15189, 39-56, 2024, https://doi.org/10.1007/978-3-031-71261-6_3, Springer Nature Switzerland AG.
  17. D. Rodrigues do Vale. On Semantical Methods for Higher-Order Complexity Analysis. Radboud University, 2024, Dissertation, IPA Dissertation Series, 2024-01, Nijmegen, Netherlands, April, xv + 189, Promotor: J.H. Geuvers; Co-promotor: C.L.M. Kop.
  18. Damien Pous and Jana Wagemaker. Completeness Theorems for Kleene algebra with tests and top. Log. Methods Comput. Sci., 20, 3, 2024.
  19. Damien Pous, Jurriaan Rot and Jana Wagemaker. On Tools for Completeness of Kleene Algebra with Hypotheses. Log. Methods Comput. Sci., 20, 2, 2024.
  20. Eline M. Bovy, Marnix Suilen, Sebastian Junges and Nils Jansen. Imprecise Probabilities Meet Partial Observability: Game Semantics for Robust POMDPs. Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, IJCAI 2024, Jeju, South Korea, August 3-9, 2024, 6697-6706, ijcai.org, 2024.
  21. Erik Voogd, Einar Broch Johnsen, Åsmund Aqissiaq Arild Kløvstad, Jurriaan Rot and Alexandra Silva. Correct and Complete Symbolic Execution for Free. IFM, Lecture Notes in Computer Science, 15234, 237-255, Springer, 2024.
  22. Ezra Schoen, Clemens Kupke, Jurriaan Rot and Ruben Turkenburg. A Categorical Approach to Coalgebraic Fixpoint Logic. CMCS, Lecture Notes in Computer Science, 14617, 23-43, Springer, 2024.
  23. Frits W. Vaandrager. A New Perspective on Conformance Testing Based on Apartness. Venanzio Capretta, Robbert Krebbers and Freek Wiedijk, Logics and Type Systems in Theory and Practice - Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday, Lecture Notes in Computer Science, 14560, 225-240, Springer, 2024, 10.1007/978-3-031-61716-4\_15.
  24. S. Gallagher, A. Raffone, Aviva Berkovich-Ohana, H. Barendregt, P. R. Bauer, Kirk Warren Brown, Fynn-Mathis Trautwein and David R. Vago. The Self-Pattern and Buddhist Psychology. Mindfulness, 2024, 15, 4, 795-803, Gevonden in WoS met onderzoeker 1003068 Barendregt, H.P. (Henk) Affil. (Radboud OR Nijmegen) 12 auteurs volgens WoS 1 gecorrigeerde auteur(s): 4 'Barendregt, Henk P.' (1003068) 4 overgeslagen externe auteur(s), 10.1007/s12671-023-02118-3.
  25. Hans Zantema. Playing with Infinity: Turtles, Patterns, and Pictures. 2024, A K Peters/CRC Press, Boca Raton, FL, 10.1201/9781003466000.
  26. Dennis Hendriks. Model Inference and Comparison for Software Evolution in Large Component-Based Systems. 2024, Radboud University, Nijmegen, The Netherlands, 10.54195/9789493296640.
  27. Dennis Hendriks and Wytse Oortwijn. gLTSdiff: a generalized framework for structural comparison of software behavior. Software and Systems Modeling, 1-28, 2024, Springer, 10.1007/s10270-024-01239-0.
  28. Ike Mulder and Robbert Krebbers. Unification for Subformula Linking under Quantifiers. 2024, ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP).
  29. Ivan Kurtev, Jozef Hooman, Mathijs Schuts and Daan van der Munnik. Model based component development and analysis with ComMA. Sci. Comput. Program., 233, 103067, 2024, 10.1016/J.SCICO.2023.103067.
  30. J. Jacobs. Guarantees by Construction. 2024, Radboud University Press, 346.
  31. Jonas Kastberg Hinrichsen, Jules Jacobs and Robbert Krebbers. Multris: Functional Verification of Multiparty Message Passing in Separation Logic. 2024, Proceedings of the ACM on Programming Languages (PACMPL), ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA).
  32. Jules Jacobs, Jonas Kastberg Hinrichsen and Robbert Krebbers. Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-Order Message Passing. Proceedings of the ACM on Programming Languages (PACMPL), 2024, ACM SIGPLAN Symposium on Principles of Programming Languages (POPL).
  33. Jurriaan Rot, Sebastian Junges and Harsh Beohar. Relating Apartness and Branching Bisimulation Games. Logics and Type Systems in Theory and Practice, Lecture Notes in Computer Science, 14560, 203-213, Springer, 2024.
  34. K. Hagens and C. Kop. Matrix invariants for program equivalence in LCTRSs. WPTE 2023: 10th International Workshop on Rewriting Techniques for Program Transformations and Evaluation, 2024, 1-13, Rome, Italy, WPTE.
  35. Michail Karatarakis. A Formalization of All Notions in the Statement of a Theorem by Deligne. International Conference on Intelligent Computer Mathematics, 73-90, 2024, Springer.
  36. Kasper Hagens and Cynthia Kop. Rewriting Induction for Higher-Order Constrained Term Rewriting Systems. 2024, Proceedings of the 34th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2024), 202-219, Springer, LNCS, 10.1007/978-3-031-71294-4_12.
  37. Kazuki Watanabe, Marck van der Vegt, Ichiro Hasuo, Jurriaan Rot and Sebastian Junges. Pareto Curves for Compositionally Model Checking String Diagrams of MDPs. TACAS (2), Lecture Notes in Computer Science, 14571, 279-298, Springer, 2024.
  38. Kazuki Watanabe, Marck van der Vegt, Sebastian Junges and Ichiro Hasuo. Compositional Value Iteration with Pareto Caching. CAV (3), Lecture Notes in Computer Science, 14683, 467-491, Springer, 2024.
  39. Lasse Blaauwbroek, David M. Cerna, Thibault Gauthier, Jan Jakubuv, Cezary Kaliszyk, Martin Suda and Josef Urban. Learning Guided Automated Reasoning: A Brief Survey. Venanzio Capretta, Robbert Krebbers and Freek Wiedijk, Logics and Type Systems in Theory and Practice - Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday, Lecture Notes in Computer Science, 14560, 54-83, Springer, 2024, 10.1007/978-3-031-61716-4\_4.
  40. Lasse Blaauwbroek, Mirek Olsák, Jason Rute, Fidel Ivan Schaposnik Massolo, Jelle Piepenbrock and Vasily Pestun. Graph2Tac: Online Representation Learning of Formal Math Concepts. Forty-first International Conference on Machine Learning, ICML 2024, Vienna, Austria, July 21-27, 2024, OpenReview.net, 2024.
  41. Lasse Blaauwbroek, Miroslav Olsák and Herman Geuvers. Hashing Modulo Context-Sensitive \unicode120572-Equivalence. Proc. ACM Program. Lang., 8, PLDI, 2027-2050, 2024, 10.1145/3656459.
  42. Lennard Gäher, Michael Sammler, Ralf Jung, Robbert Krebbers and Derek Dreyer. RefinedRust: A Type System for High-Assurance Verification of Rust Programs. 2024, Proceedings of the ACM on Programming Languages (PACMPL), ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI).
  43. Solaris Li, Phil Trinder, Christophe De Troyer, Mart Lubbers and Adrian Ramsingh. The Benefits of Tierless Elixir/Potato for Engineering IoT Systems. New York, NY, USA, Erlang 2024, 10.1145/3677995.3678197, Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang, Association for Computing Machinery, 2024, event-place: Milan, Italy, 84-95.
  44. Lisandro Arturo Jimenez-Roa, Nicolae Rusnac, Matthias Volk and Mariëlle Stoelinga. Fault Tree Inference Using Multi-objective Evolutionary Algorithms and Confusion Matrix-Based Metrics. Anne E. Haxthausen and Wendelin Serwe, Formal Methods for Industrial Critical Systems - 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings, Lecture Notes in Computer Science, 14952, 80-96, Springer, 2024, 10.1007/978-3-031-68150-9\_5.
  45. Lisandro Arturo Jimenez-Roa, Thiago D. Simão, Zaharah Allah Bukhsh, Tiedo Tinga, Hajo Molegraaf, Nils Jansen and Mari\“elle Stoelinga. Maintenance Strategies for Sewer Pipes with Multi-State Degradation and Deep Reinforcement Learning. European Conference of the PHM Society, 2024.
  46. Liye Guo and Cynthia Kop. Higher-Order LCTRSs and Their Termination. 2024, Proceedings of the 33rd European Symposium on Programming (ESOP 2024), 331-357, Springer, LNCS, 10.1007/978-3-031-57267-8_13.
  47. Liye Guo, Kasper Hagens, Cynthia Kop and Deivid Vale. Higher-Order Constrained Dependency Pairs for (Universal) Computability. 2024, Proceedings of the 49th International Symposium on Mathematical Foundations of Computer Science (MFCS 2024), 57:1-57:15, Dagstuhl, LIPIcs, 10.4230/LIPIcs.MFCS.2024.57.
  48. Loes Kruger, Sebastian Junges and Jurriaan Rot. Small Test Suites for Active Automata Learning. TACAS (2), Lecture Notes in Computer Science, 14571, 109-129, Springer, 2024.
  49. Loes Kruger, Sebastian Junges and Jurriaan Rot. State Matching and Multiple References in Adaptive Active Automata Learning. FM (1), Lecture Notes in Computer Science, 14933, 267-284, Springer, 2024.
  50. Marc Hermes and Dominik Kirst. An Analysis of Tennenbaum's Theorem in Constructive Type Theory. Log. Methods Comput. Sci., 20, 1, 2024, 10.46298/LMCS-20(1:19)2024.
  51. Marc Hermes and Robbert Krebbers. Modular Verification of Intrusive List and Tree Data Structures in Separation Logic. International Conference on Interactive Theorem Proving (ITP), 2024, LIPIcs.
  52. Mariëlle Stoelinga. No Risk, No Fun - A Tutorial on Risk Management. André Platzer, Kristin Yvonne Rozier, Matteo Pradella and Matteo Rossi, Formal Methods - 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II, Lecture Notes in Computer Science, 14934, 447-468, Springer, 2024, 10.1007/978-3-031-71177-0\_26.
  53. Maris F. L. Galesloot, Thiago D. Simão, Sebastian Junges and Nils Jansen. Factored Online Planning in Many-Agent POMDPs. AAAI, 17407-17415, AAAI Press, 2024.
  54. Marnix Suilen, Marck van der Vegt and Sebastian Junges. A PSPACE Algorithm for Almost-Sure Rabin Objectives in Multi-Environment MDPs. CONCUR, LIPIcs, 311, 40:1-40:17, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
  55. Mayuko Kori, Kazuki Watanabe, Jurriaan Rot and Shin-ya Katsumata. Composing Codensity Bisimulations. LICS, 52:1-52:13, ACM, 2024.
  56. Miku Watanabe, Yutaro Kashiwa, Bin Lin, Toshiki Hirao, Ken-ichi Yamaguchi and Hajimu Iida. On the Use of ChatGPT for Code Review: Do Developers Like Reviews By ChatGPT?. Proceedings of the 28th International Conference on Evaluation and Assessment in Software Engineering, EASE 2024, Salerno, Italy, June 18-21, 2024, 375-380, ACM, 2024, 10.1145/3661167.3661183.
  57. Miriam Fahimi, Petter Falk, Jonathan W. Y. Gray, Juliane Jarke, Katharina Kinder-Kurlanda, Evan Light, Ellouise McGeachey, Itzelle Medina Perea, Nikolaus Poechhacker, Lindsay Poirier, Theo Röhle, Tamar Sharon, Marthe Stevens, Bernard van Gastel, Quinn White and Irina Zakharova. 3 In/visibilities in Data Studies: Methods, Tools, and Interventions. Bristol University Press, Dialogues in Data Power: Shifting Response-abilities in a Datafied World, Juliane Jarke and Jo Bates, Bristol University Press, Bristol, UK, 52-79, doi:10.56687/9781529238327-006, 2024.
  58. Valentina Nicolardi, Luca Simione, Domenico Scaringi, P. Malinowski, Juliana Yordanova, Vasil Kolev, H. Barendregt, Salvatore M. Aglioti and A. Raffone. The Two Arrows of Pain: Mechanisms of Pain Related to Meditation and Mental States of Aversion and Identification. Mindfulness, 2024, 1-22, Openbaar gezet: staat al 2 jaar online first, 10.1007/s12671-021-01797-0.
  59. R. Otto, M. van Eeten and M. I. A. Stoelinga. Robotstofzuiger slurpt niet alleen stof, maar soms ook privacy van eigenaar o. 2024, nu.nl.
  60. Patrick Baillot, Ugo Dal Lago, Cynthia Kop and Deivid Vale. On Basic Feasible Functionals and the Interpretation Method. 2024, Proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2024), 70-91, Springer, LNCS, 14575, 10.1007/978-3-031-57231-9_4.
  61. Pieter J. L. Cuijpers, Jonas Hansen and Kim G. Larsen. Safe and Infinite Resource Scheduling Using Energy Timed Automata. Wei-Ngan Chin and Zhiwu Xu, Theoretical Aspects of Software Engineering - 18th International Symposium, TASE 2024, Guiyang, China, July 29 - August 1, 2024, Proceedings, Lecture Notes in Computer Science, 14777, 73-90, Springer, 2024, 10.1007/978-3-031-64626-3\_5.
  62. Raphaela Butz, Arjen Hommersom, Renée Schulz and Hans van Ditmarsch. Evaluating the Usefulness of Counterfactual Explanations from Bayesian Networks. Hum. Centric Intell. Syst., 4, 2, 286-298, 2024, 10.1007/S44230-024-00066-2.
  63. Renske Weeda, Sjaak Smetsers and Erik Barendsen. Unraveling novices' code composition difficulties. Comput. Sci. Educ., 34, 3, 414-441, 2024, 10.1080/08993408.2023.2169067.
  64. Reza Soltani, Milan Lopuhaä-Zwakenberg and Mariëlle Stoelinga. Safety-Security Analysis via Attack-Fault-Defense Trees: Semantics and Cut Set Metrics. Andrea Ceccarelli, Mario Trapp, Andrea Bondavalli and Friedemann Bitsch, Computer Safety, Reliability, and Security - 43rd International Conference, SAFECOMP 2024, Florence, Italy, September 18-20, 2024, Proceedings, Lecture Notes in Computer Science, 14988, 218-232, Springer, 2024, 10.1007/978-3-031-68606-1\_14.
  65. Jonan Richards and Mairieli Wessel. What You Need is What You Get: Theory of Mind for an LLM-Based Code Understanding Assistant. 2024 IEEE International Conference on Software Maintenance and Evolution (ICSME), 666-671, 2024, IEEE.
  66. Ruben Turkenburg, Harsh Beohar, Clemens Kupke and Jurriaan Rot. Proving Behavioural Apartness. CMCS, Lecture Notes in Computer Science, 14617, 156-173, Springer, 2024.
  67. Samuel Idowu, Osman Osman, Daniel Strüber and Thorsten Berger. Machine learning experiment management tools: a mixed-methods empirical study. Empir. Softw. Eng., 29, 4, 74, 2024, 10.1007/S10664-024-10444-W.
  68. Stefan Schrijvers, Thomas Koopman and Sven-Bodo Scholz. Shray: An Owner-Compute Distributed Shared-Memory System. 2024, Association for Computing Machinery, New York, NY, USA, 10.1145/3652586.3663314, Proceedings of the 10th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming, 25–37, ARRAY 2024.
  69. Sebastian Junges, Erika \'Abrahám, Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann and Matthias Volk. Parameter synthesis for Markov models: covering the parameter space. Formal Methods Syst. Des., 62, 1, 181-259, 2024, 10.1007/S10703-023-00442-X.
  70. Sebastian Junges, Sanjit A. Seshia and Hazem Torfah. Active Learning of Runtime Monitors Under Uncertainty. IFM, Lecture Notes in Computer Science, 15234, 297-306, Springer, 2024.
  71. Sunho Park, Jaewoo Kim, Ike Mulder, Jaehwang Jung, Janggun Lee, Robbert Krebbers and Jeehoon Kang. A Proof Recipe for Linearizability in Relaxed Memory Separation Logic. 2024, Proceedings of the ACM on Programming Languages (PACMPL), ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI).
  72. Thi Kim Nhung Dang, Milan Lopuhaä-Zwakenberg and Mariëlle Stoelinga. Fuzzy Fault Trees Formalized. CoRR, abs/2403.08843, 2024, 10.48550/ARXIV.2403.08843, 2403.08843.
  73. Thi Kim Nhung Dang, Milan Lopuhaä-Zwakenberg and Mariëlle Stoelinga. Fuzzy quantitative attack tree analysis. Dirk Beyer and Ana Cavalcanti, Fundamental Approaches to Software Engineering - 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Lecture Notes in Computer Science, 14573, 210-231, Springer, 2024, 10.1007/978-3-031-57259-3\_10.
  74. Thom Badings, Licio Romao, Alessandro Abate and Nils Jansen. A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions. European Control Conference (ECC), 2024.
  75. Thom S. Badings, Matthias Volk, Sebastian Junges, Mariëlle Stoelinga and Nils Jansen. CTMCs with Imprecisely Timed Observations. TACAS (2), Lecture Notes in Computer Science, 14571, 258-278, Springer, 2024.
  76. Thomas Somers and Robbert Krebbers. Verified Lock-Free Session Channels with Linking. 2024, Proceedings of the ACM on Programming Languages (PACMPL), ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA).
  77. Sander Thuijsman, Dennis Hendriks and Michel Reniers. Reducing the computational effort of symbolic supervisor synthesis. Discrete Event Dynamic Systems, 34, 4, 689-732, 2024, Springer, 10.1007/s10626-024-00403-4.
  78. Twan Bolwerk, Marco Alonso and Mathijs Schuts. Using a Textual DSL With Live Graphical Feedback to Improve the CPS' Design Workflow of Hardware Engineers. Marek Bolanowski, Maria Ganzha, Leszek A. Maciaszek, Marcin Paprzycki and Dominik Slezak, Proceedings of the 19th Conference on Computer Science and Intelligence Systems, FedCSIS 2024, Belgrade, Serbia, September 8-11, 2024, Annals of Computer Science and Information Systems, 39, 301-312, 2024, 10.15439/2024F3931.
  79. Michiel Verloop, Thomas Koopman and Sven-Bodo Scholz. Modulo in high-performance code: strength reduction for modulo-based array indexing in loops. 2024, Association for Computing Machinery, New York, NY, USA, 10.1145/3652561.3652573, Proceedings of the 35th Symposium on Implementation and Application of Functional Languages, IFL '23.
  80. M. Volk, F. Sher, J. P. Katoen and M. Stoelinga. SAFEST: Fault Tree Analysis Via Probabilistic Model Checking. 2024, IEEE, Piscataway, 1-7, 10.1109/RAMS51492.2024.10457719.
  81. Benard Wanjiru, Patrick van Bommel and Djoerd Hiemstra. Sensitivity of Automated SQL Grading in Computer Science Courses. Kevin Daimi and Abeer Al Sadoon, Proceedings of the Third International Conference on Innovations in Computing Research (ICR'24), 2024, Springer Nature Switzerland, Cham, 283-299, 10.1007/978-3-031-65522-7_26.
  82. Wardah Mahmood, Gül Calikli, Daniel Strüber, Ralf Lämmel, Mukelabai Mukelabai and Thorsten Berger. Virtual Platform: Effective and Seamless Variability Management for Software Systems. IEEE Trans. Software Eng., 50, 11, 2753-2785, 2024, 10.1109/TSE.2024.3406224.
  83. Weixing Zhang and Daniel Strüber. Tales from 1002 Repositories: Development and Evolution of Xtext-based DSLs on GitHub. 50th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2024, Paris, France, August 28-30, 2024, 172-179, IEEE, 2024, 10.1109/SEAA64295.2024.00034.
  84. Weixing Zhang, Jörg Holtmann, Daniel Strüber, Regina Hebig and Jan-Philipp Steghöfer. Supporting meta-model-based language evolution and rapid prototyping with automated grammar transformation. J. Syst. Softw., 214, 112069, 2024, 10.1016/J.JSS.2024.112069.
  85. Wietze Koops, Sebastian Junges and Nils Jansen. Approximate Dec-POMDP Solving Using Multi-Agent A*. IJCAI, 2024.
  86. T. Zameni, P. van den Bos, A. Rensink and J. Tretmans. An Intermediate Language to Integrate Behavior-Driven Development Scenarios and Model-Based Testing. C. Macho, M. Pinzger and R. Ramler, 7th Workshop on Validation, Analysis and Evolution of Software Tests - VST 2024, IEEE Int.\ Conf.\ on Software Analysis, Evolution and Reengineering - Companion (SANER-C), 2024, 199-206, http://dx.doi.org/10.1109/SANER-C62648.2024.00033, IEEE CS.
  87. Niels van der Weide. Univalent Enriched Categories and the Enriched Rezk Completion. 9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024), Jakob Rehof, 2024, Leibniz International Proceedings in Informatics (Lipics), 299, 4:1-4:19, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 10.4230/LIPIcs.FSCD.2024.4.
  88. Niels van der Weide and Dan Frumin. The Interval Domain in Homotopy Type Theory. Logics and Type Systems in Theory and Practice - Essays Dedicated to Herman Geuvers on the Occasion of His 60th Birthday, Venanzio Capretta, Robbert Krebbers and Freek Wiedijk, 2024, Lecture Notes in Computer Science, 14560, 241-256, Springer, 10.1007/978-3-031-61716-4\_16.
  89. Niels van der Weide, Nima Rasekh, Benedikt Ahrens and Paige Randall North. Univalent Double Categories. Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2024, London, UK, January 15-16, 2024, Amin Timany, Dmitriy Traytel, Brigitte Pientka and Sandrine Blazy, 2024, 246-259, ACM, 10.1145/3636501.3636955.