print · login   

Bibtex actions:
  edit    source    raw source    raw html

2023

  1. Alberto Castellini, Federico Bianchi, Edoardo Zorzi, Thiago D. Simão, Alessandro Farinelli and Matthijs T. J. Spaan . Scalable Safe Policy Improvement via Monte Carlo Tree Search. ICML, 2023.
  2. Cevahir Koprulu, Thiago D. Simão, Nils Jansen and Ufuk Topcu . Risk-aware Curriculum Generation for Heavy-tailed Task Distributions. UAI, 2023.
  3. Dennis Gross, Thiago D. Simão, Nils Jansen and Guillermo A. Pérez . Targeted Adversarial Attacks on Deep Reinforcement Learning Policies via Model Checking. ICAART, 501-508, 2023, 10.5220/0011693200003393.
  4. Yannick Hogewind, Thiago D. Simão, Tal Kachman and Nils Jansen . Safe Reinforcement Learning From Pixels Using a Stochastic Latent Representation. ICLR, 2023.
  5. Merlijn Krale, Thiago D. Simão and Nils Jansen . Act-Then-Measure: Reinforcement Learning for Partially Observable Environments with Active Measuring. 2023, ICAPS.
  6. Qisong Yang, Thiago D. Simão, Nils Jansen, Simon H. Tindemans and Matthijs T. J. Spaan . Reinforcement Learning by Guided Safe Exploration. ECAI, 2023.
  7. Wietze Koops, Nils Jansen, Sebastian Junges and Thiago D. Simão. Recursive Small-Step Multi-Agent A* for Dec-POMDPs. IJCAI, 2023.
  8. Leonore Winterer, Ralf Wimmer, Nils Jansen and Bernd Becker. Strong Simple Policies for POMDPs. Int. J. Softw. Tools Technol. Transf., 2023.
  9. Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann and Matthias Volk. Parameter Synthesis for Markov Models Covering the Parameter Space. Formal Methods in System Design, 2023.
  10. Zaharah Allah Bukhsh, Hajo Molegraaf and Nils Jansen. A Maintenance Planning Framework using Online and Offline Deep Reinforcement Learning. Neural Computing and Applications, 2023.
  11. Arnd Hartmanns, Sebastian Junges, Tim Quatmann and Maximilian Weininger. A Practitioner's Guide to MDP Model Checking Algorithms. TACAS, Springer, LNCS, 13993, 469-488, 2023, 10.1007/978-3-031-30823-9_24.
  12. Lars van Arragon, Carlos Diego N Damasceno and Daniel Strüber. Model-Driven Optimization: Towards Performance-Enhancing Low-Level Encodings. MODELS'23: ACM/IEEE International Conference on Model Driven Engineering Languages and Systems. Workshop on Artifical Intelligence and Model-Driven Engineering, 2023, IEEE, 571-579.
  13. Benedikt Ahrens, Paige Randall North and Niels Van Der Weide. Bicategorical type theory: Semantics and syntax. 2023, 10.1017/S0960129523000312, Mathematical Structures in Computer Science, Cambridge University Press.
  14. Pv Beurden and Sven-Bodo Scholz. On Generating Out-Of-Core GPU Code for Multi-Dimensional Array Operations. 2023, New York: ACM.
  15. Bharat Garhewal and Carlos Diego Nascimento Damasceno. An Experimental Evaluation of Conformance Testing Techniques in Active Automata Learning. 26th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2023, Väster\aas, Sweden, October 1-6, 2023, 217-227, IEEE, 2023, 10.1109/MODELS58315.2023.00012.
  16. Caz Saaltink, Stefano M. Nicoletti, Matthias Volk, Ernst Moritz Hahn and Mariëlle Stoelinga. Solving Queries for Boolean Fault Tree Logic via Quantified SAT. Cyrille Artho and Peter Csaba \"Olveczky, Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2023, Cascais, Portugal, 22 October 2023, 48-59, ACM, 2023, 10.1145/3623503.3623535.
  17. Murat Cubuktepe, Nils Jansen and Ufuk Topcu. Shared Control with Human Trust and Workload Models. Cyber-Physical-Human Systems: Fundamentals and Applications,, 2023, 125-143, 10.1002/9781119857433.ch6.
  18. Cynthia Kop and Deivid Vale. Cost-Size Semantics for Call-By-Value Higher-Order Rewriting. Marco Gaboardi and Femke van Raamsdonk, 8th International Conference on Formal Structures for Computation and Deduction, FSCD 2023, July 3-6, 2023, Rome, Italy, LIPIcs, 260, 15:1-15:19, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, 10.4230/LIPICS.FSCD.2023.15.
  19. Wesley De Kraker, Harald Vranken and Arjen Hommmersom. GLICE: Combining Graph Neural Networks and Program Slicing to Improve Software Vulnerability Detection. 2023 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW), 34-41, 2023, IEEE.
  20. Dennis Gross. Turn-based Multi-Agent Reinforcement Learning Model Checking. ICAART, 2023, 980-987, 10.5220/0011872800003393.
  21. Dennis Groß, Christoph Schmidl, Nils Jansen and Guillermo Perez. Model Checking for Adversarial Multi-Agent Reinforcement Learning with Reactive Defense Methods. 2023, ICAPS.
  22. Christoph Derks, Daniel Strüber and Thorsten Berger. A benchmark generator framework for evolving variant-rich software. JSS'23: Journal of Systems and Software, 203, 111736:1-16, 2023, Elsevier.
  23. W. J. Fokkink, M. A. Goorden, D. Hendriks, D. A. van Beek, A. T. Hofkamp, F. F. H. Reijnen, L. F. P. Etman, L. Moormann, J. M. van de Mortel-Fronczak, M. A. Reniers, J. E. Rooda, L. J. van der Sanden, R. R. H. Schiffelers, S. B. Thuijsman, J. J. Verbakel and J. A. Vogel. Eclipse ESCET\texttrademark: The Eclipse Supervisory Control Engineering Toolkit. Sriram Sankaranarayanan and Natasha Sharygina, Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2023, Springer Nature Switzerland, Cham, 44-52, 10.1007/978-3-031-30820-8_6.
  24. Wan Fokkink, Martijn Goorden, Dennis Hendriks, Asia van de Mortel-Fronczak, Wytse Oortwijn and Koos Rooda. Synthesis-based engineering of supervisory controllers. Mironiek, 22-26, 2023.
  25. Frits Vaandrager, Masoud Ebrahimi and Roderick Bloem. Learning Mealy machines with one timer. Information and Computation, 295, 105013, 2023, Special Issue: Selected papers of the 15th International Conference on Language and Automata Theory and Applications, LATA 2021, https://doi.org/10.1016/j.ic.2023.105013.
  26. Frits W. Vaandrager and Thorsten Wi\ssmann. Action Codes. Kousha Etessami, Uriel Feige and Gabriele Puppis, 50th International Colloquium on Automata, Languages, and Programming, ICALP 2023, July 10-14, 2023, Paderborn, Germany, LIPIcs, 261, 137:1-137:20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, 10.4230/LIPICS.ICALP.2023.137.
  27. Shun Fujita, Yutaro Kashiwa, Bin Lin and Hajimu Iida. An Empirical Study on the Use of Snapshot Testing. 2023 IEEE International Conference on Software Maintenance and Evolution (ICSME), 2023, , , 335-340, 10.1109/ICSME58846.2023.00041.
  28. Shaun Gallagher, Antonino Raffone, Berkovich-Ohana, Aviva, Henk P Barendregt, Prisca R Bauer, Kirk Warren Brown, Fabio Giommi, Ivan Nykl\'\i\vcek, Brian D Ostafin, Heleen Slagter and others. The Self-Pattern and Buddhist Psychology. Mindfulness, 1-9, 2023, Springer.
  29. Sergio Garc\ia, Daniel Strüber, Davide Brugali, Alessandro Di Fava, Patrizio Pelliccione and Thorsten Berger. Software Variability in Service Robotics (Summary). SPLC'23: International Systems and Software Product Line Conference. Summary of our journal paper in Empirical Software Engineering, 2023, 268.
  30. Herman Geuvers and Tonny Hurkens. Classical Natural Deduction from Truth Tables. 28th International Conference on Types for Proofs and Programs (TYPES 2022), 2:1-2:27, Leibniz International Proceedings in Informatics (LIPIcs), 2023, 269, Delia Kesner and Pierre-Marie Pédrot, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 10.4230/LIPIcs.TYPES.2022.2, Keywords: Natural deduction, classical proposition logic, multiple conclusion natural deduction, proof terms, formulas-as-types, proof normalization, subformula property, Curry-Howard isomorphism.
  31. Fabio Giommi, Prisca R Bauer, Aviva Berkovich-Ohana, Henk Barendregt, Kirk Warren Brown, Shaun Gallagher, Ivan Nykl\'\i\vcek, Brian Ostafin, Antonino Raffone, Slagter, Heleen A and others. The (In) flexible self: Psychopathology, mindfulness, and neuroscience. International Journal of Clinical and Health Psychology, 23, 4, 100381, 2023, https://doi.org/10.1016/j.ijchp.2023.100381, Elsevier.
  32. Liye Guo and Deivid Vale. Analyzing Innermost Runtime Complexity Through Tuple Interpretations. 376, 10.4204/eptcs.376.5, Electronic Proceedings in Theoretical Computer Science, Open Publishing Association, 2023, March, 34–48.
  33. Dennis Hendriks and Wytse Oortwijn. gLTSdiff: A Generalized Framework for Structural Comparison of Software Behavior. Proceedings of the 26th International Conference on Model Driven Engineering Languages and Systems (MODELS), 285-295, 2023, IEEE, 10.1109/MODELS58315.2023.00025.
  34. Henk Barendregt. Combining Computation and Deduction. A Century since Principia’s Substitution Bedazzled Haskell Curry. In Honour of Jonathan Seldin’s 80th Anniversary, College Publications, 2023, F. Kamareddine, 9-27.
  35. Jiangnan Huang and Bin Lin. CIGAR: Contrastive Learning for GitHub Action Recommendation. Proceedings of the 23rd IEEE International Working Conference on Source Code Analysis and Manipulation, 61-71, SCAM '23, 2023.
  36. Jérémy Dubut and Thorsten Wi\ssmann. Weighted and Branching Bisimilarities from Generalized Open Maps. Orna Kupferman and Pawel Sobocinski, Foundations of Software Science and Computation Structures - 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Lecture Notes in Computer Science, 13992, 308-327, Springer, 2023, 10.1007/978-3-031-30829-1\_15.
  37. Jules Jacobs. A Simple Concurrent Lambda Calculus for Session Types. 2023, Sl: TYPES.
  38. José Miguel Horcas, Daniel Strüber, Alexandru Burdusel, Jabier Martinez and Steffen Zschaler. We're Not Gonna Break It! Consistency-Preserving Operators for Efficient Product Line Configuration. IEEE Trans. Software Eng., 49, 3, 1102-1117, 2023, 10.1109/TSE.2022.3171404.
  39. Jules Jacobs, Jonas Kastberg Hinrichsen and Robbert Krebbers. Dependent Session Protocols in Separation Logic from First Principles (Functional Pearl). PACMPL, 7, ICFP, 768-795, 2023, 10.1145/3607856.
  40. Jules Jacobs and Stephanie Balzer. Higher-Order Leak and Deadlock Free Locks. Proc. ACM Program. Lang., 7, POPL, 1027-1057, 2023, 10.1145/3571229.
  41. Jules Jacobs and Thorsten Wi\ssmann. Fast Coalgebraic Bisimilarity Minimization. Proc. ACM Program. Lang., 7, POPL, 1514-1541, 2023, 10.1145/3571245.
  42. Jurriaan Rot and Thorsten Wi\ssmann. Bisimilar States in Uncertain Structures. CALCO, LIPIcs, 270, 12:1-12:17, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
  43. Katja Tuma, Sven Peldszus, Daniel Strüber, Riccardo Scandariato and Jan Jürjens. Checking security compliance between models and code. Softw. Syst. Model., 22, 1, 273-296, 2023, 10.1007/S10270-022-00991-5.
  44. Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen and Christoph Matheja. Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants. TACAS, Springer, LNCS, 410-429, 2023, 10.1007/978-3-031-30820-8_25.
  45. Pieter Koopman and Mart Lubbers. Strongly-Typed Multi-View Stack-Based Computations. New York, NY, USA, PPDP '23, 10.1145/3610612.3610623, Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming, Association for Computing Machinery, 2023, event-place: Lisboa, Portugal, 1-12.
  46. Thomas Koopman and Rob H. Bisseling. Minimizing Communication in the Multidimensional FFT. SIAM Journal on Scientific Computing, 45, 6, C330-C347, 2023, 10.1137/22M1487242.
  47. Cynthia Kop, Deivid Vale and NM van der Weide. Nijn/ONijn: A New Certification Engine for Higher-Order Termination. 2023, Sl: sn.
  48. Jens Kosiol, Daniel Strüber, Gabriele Taentzer and Steffen Zschaler. Finding the Right Way to Rome: Effect-oriented Graph Transformations,. ICGT'23: International Conference on Graph Transformation, 2023, 43-63.
  49. Ruben E Laukkonen, Matthew D Sacchet, Barendregt, Henk, Kathryn J Devaney, Avijit Chowdhury and Heleen A Slagter. Cessations of consciousness in meditation: Advancing a scientific understanding of nirodha sam\=apatti. Progress in Brain Research, 280, 61-87, 2023, Elsevier.
  50. Lisandro Arturo Jimenez-Roa, Tom Heskes, Tiedo Tinga and Mariëlle Stoelinga. Automatic Inference of Fault Tree Models Via Multi-Objective Evolutionary Algorithms. IEEE Trans. Dependable Secur. Comput., 20, 4, 3317-3327, 2023, 10.1109/TDSC.2022.3203805.
  51. Liye Guo and Cynthia Kop. Higher-Order LCTRSs and Their Termination. CoRR, abs/2307.13519, 2023, 10.48550/ARXIV.2307.13519, 2307.13519.
  52. Loes Kruger, Bharat Garhewal and Frits W. Vaandrager. Lower Bounds for Active Automata Learning. Fran\ccois Coste, Faissal Ouardi and Guillaume Rabusseau, International Conference on Grammatical Inference, ICGI 2023, 10-13 July 2023, Rabat, Morocco, Proceedings of Machine Learning Research, 217, 157-180, PMLR, 2023.
  53. Mart Lubbers. Orchestrating the Internet of Things with Task-Oriented Programming. Nijmegen, Radboud Dissertation Series, DIS-002, Radboud University Press, 2023, doi: 10.54195/9789493296114.
  54. Mart Lubbers, Pieter Koopman and Rinus Plasmeijer. First-Class Data Types in Shallow Embedded Domain-Specific Languages using Metaprogramming. New York, NY, USA, IFL '22, 10.1145/3587216.3587219, Proceedings of the 34st Symposium on Implementation and Application of Functional Languages, ACM, 2023, event-place: Copenhagen, Denmark..
  55. Mart Lubbers, Pieter Koopman and Rinus Plasmeijer. Writing Internet of Things Applications with Task Oriented Programming. Cham, 10.1007/978-3-031-42833-3_1, Composability, Comprehensibility and Correctness of Working Software, Springer International Publishing, Zoltán Porkoláb and Viktória Zsók, 2023, 3-52.
  56. Mart Lubbers, Pieter Koopman, Adrian Ramsingh, Jeremy Singer and Phil Trinder. Could Tierless Languages Reduce IoT Development Grief?. 4, 10.1145/3572901, 1, ACM Trans. Internet Things, February, 2023, Place: New York, NY, USA Publisher: ACM.
  57. Luke Rickard, Thom S. Badings, Licio Romao and Alessandro Abate. Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics. Nils Jansen and Mirco Tribastone, Quantitative Evaluation of Systems - 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings, Lecture Notes in Computer Science, 14287, 10-29, Springer, 2023, 10.1007/978-3-031-43835-6\_2.
  58. Mairieli Wessel, Andy Zaidman, Marco Aurélio Gerosa and Igor Steinmacher. Guidelines for Developing Bots for GitHub. IEEE Softw., 40, 3, 72-79, 2023, 10.1109/MS.2022.3224813.
  59. Marck van der Vegt, Nils Jansen and Sebastian Junges. Robust Almost-Sure Reachability in Multi-Environment MDPs. TACAS, 2023.
  60. Matthias Volk, Muzammil Ibne Irshad, Joost-Pieter Katoen, Falak Sher, Mariëlle Stoelinga and Ahmad Zafar. SAFEST: the static and dynamic fault tree analysis tool. 10.3850/978-981-18-8071-1_P407-cd, 2023, ESREL, 193–200, Research Publishing.
  61. Michael Sammler, Simon Spies, Youngju Song, Emanuele D'Osualdo, Robbert Krebbers, Deepak Garg and Derek Dreyer. DimSum: A Decentralized Approach to Multi-language Semantics and Verification. PACMPL, 7, POPL, 775-805, 2023, 10.1145/3571220.
  62. Milan Lopuhaä-Zwakenberg, Carlos E. Budde and Mariëlle Stoelinga. Efficient and Generic Algorithms for Quantitative Attack Tree Analysis. IEEE Trans. Dependable Secur. Comput., 20, 5, 4169-4187, 2023, 10.1109/TDSC.2022.3215752.
  63. Milan Lopuhaä-Zwakenberg and Mariëlle Stoelinga. Attack Time Analysis in Dynamic Attack Trees via Integer Linear Programming. Carla Ferreira and Tim A. C. Willemse, Software Engineering and Formal Methods - 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings, Lecture Notes in Computer Science, 14323, 165-183, Springer, 2023, 10.1007/978-3-031-47115-5\_10.
  64. Milan Lopuhaä-Zwakenberg and Mariëlle Stoelinga. Cost-Damage Analysis of Attack Trees. 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Network, DSN 2023, Porto, Portugal, June 27-30, 2023, 545-558, IEEE, 2023, 10.1109/DSN58367.2023.00057.
  65. Ike Mulder, Łukasz Czajka and Robbert Krebbers. Beyond Backtracking: Connections in Fine-Grained Concurrent Separation Logic. 2023, PACMPL, 7, PLDI, 161:1340-161:1364, 10.1145/3591275.
  66. Ike Mulder and Robbert Krebbers. Proof Automation for Linearizability in Separation Logic. 2023, PACMPL, 7, OOPSLA1, 91:462-91:491, 10.1145/3586043.
  67. Stefano M Nicoletti, Mattia Fumagalli, Milan Lopuhaä-Zwakenberg, E Moritz Hahn, Giancarlo Guizzardi and Mariëlle Stoelinga. Property Specification and Models for Risk: Towards Risk Propagation Graphs. SAFECOMP 2023, Position Paper, Toulouse, France, 2023, September, https://hal.science/hal-04191775/file/SAFECOMP_2023_paper_7449.pdf.
  68. Niels van der Weide. The Formal Theory of Monads, Univalently. Marco Gaboardi and Femke van Raamsdonk, 8th International Conference on Formal Structures for Computation and Deduction, FSCD 2023, July 3-6, 2023, Rome, Italy, LIPIcs, 260, 6:1-6:23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, 10.4230/LIPICS.FSCD.2023.6.
  69. Niels van der Weide, Deivid Vale and Cynthia Kop. Certifying Higher-Order Polynomial Interpretations. Adam Naumowicz and René Thiemann, 14th International Conference on Interactive Theorem Proving, ITP 2023, July 31 to August 4, 2023, Bia\lystok, Poland, LIPIcs, 268, 30:1-30:20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, 10.4230/LIPICS.ITP.2023.30.
  70. Nils Jansen. Intelligent and Dependable Decision-Making Under Uncertainty. FM, Lecture Notes in Computer Science, 14000, 26-36, Springer, 2023, FM23.pdf.
  71. Nils Jansen, Gerrit Nolte and Bernhard Steffen. Explanation Paradigms Leveraging Analytic Intuition (ExPLAIn). Int. J. Softw. Tools Technol. Transf., 25, 3, 241-247, 2023.
  72. Nils Jansen and Mirco Tribastone (editors). Quantitative Evaluation of Systems - 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings. QEST, Lecture Notes in Computer Science, 14287, Springer, 2023.
  73. Olivier Nourry, Yutaro Kashiwa, Bin Lin, Gabriele Bavota, Michele Lanza and Yasutaka Kamei. The Human Side of Fuzzing: Challenges Faced by Developers during Fuzzing Activities. 2023, Association for Computing Machinery, New York, NY, USA, 33, 1, 10.1145/3611668, nov.
  74. Patrick Wienhöft, Marnix Suilen, Thiago D. Simão, Clemens Dubslaff, Christel Baier and Nils Jansen. More for Less: Safe Policy Improvement with Stronger Performance Guarantees. IJCAI, 4406-4415, ijcai.org, 2023.
  75. Petra van den Bos and Mariëlle Stoelinga. With a Little Help from Your Friends: Semi-cooperative Games via Joker Moves. Marieke Huisman and António Ravara, Formal Techniques for Distributed Objects, Components, and Systems - 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings, Lecture Notes in Computer Science, 13910, 155-172, Springer, 2023, 10.1007/978-3-031-35355-0\_10.
  76. Pieter J. L. Cuijpers, Jonas Hansen and Kim G. Larsen. Assume-Guarantee Reasoning for Additive Hybrid Behaviour. Jonathan P. Bowen, Qin Li and Qiwen Xu, Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday, Lecture Notes in Computer Science, 14080, 297-322, Springer, 2023, 10.1007/978-3-031-40436-8\_11.
  77. Marco Raglianti, Csaba Nagy, Roberto Minelli, Bin Lin and Michele Lanza. On the Rise of Modern Software Documentation. 37th European Conference on Object-Oriented Programming (ECOOP 2023), 43:1-43:24, Leibniz International Proceedings in Informatics (LIPIcs), 2023, 263, Karim Ali and Guido Salvaneschi, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 10.4230/LIPIcs.ECOOP.2023.43, Keywords: software documentation landscape, GitHub README, instant messaging.
  78. 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. Alessandro Cimatti and Laura Titolo, Formal Methods for Industrial Critical Systems - 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings, Lecture Notes in Computer Science, 14290, 205-223, Springer, 2023, 10.1007/978-3-031-43681-9\_12.
  79. Roman Andriushchenko, Alexander Bork, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen and Filip Macak. Search and Explore: Symbiotic Policy Synthesis in POMDPs. CAV, 2023, Springer, LNCS, 10.1007/978-3-031-37709-9\_6.
  80. Pooya Rostami Mazrae, Alexandre Decan, Tom Mens and Mairieli Wessel. A Preliminary Study of GitHub Actions Workflow Changes. 2023, CEUR Workshop Proceedings, Proceedings of the 15th Seminar on Advanced Techniques & Tools for Software Evolution, 78-88, SATToSE 2023.
  81. Ruben Turkenburg, Clemens Kupke, Jurriaan Rot and Ezra Schoen. Preservation and Reflection of Bisimilarity via Invertible Steps. FoSSaCS, Lecture Notes in Computer Science, 13992, 328-348, Springer, 2023.
  82. Ruben Turkenburg, Harsh Beohar, Clemens Kupke and Jurriaan Rot. Forward and Backward Steps in a Fibration. CALCO, LIPIcs, 270, 6:1-6:18, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
  83. Samuel Idowu, Daniel Strüber and Thorsten Berger. Asset Management in Machine Learning: State-of-research and State-of-practice. ACM Comput. Surv., 55, 7, 144:1-144:35, 2023, 10.1145/3543847.
  84. Mathijs Schuts and Jozef Hooman. Towards an Industrial Stateful Software Rejuvenation Toolchain using Model Learning. Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, 15-31, 2023.
  85. Siddharth Bhaskar, Cynthia Kop and Jakob Grue Simonsen. Subclasses of Ptime Interpreted by Programming Languages. Theory Comput. Syst., 67, 3, 437-472, 2023, 10.1007/S00224-022-10074-Z.
  86. Marcos Silva, Maykon Nunes, Carla Bezerra, Anderson Uchôa and Mairieli Wessel. CIRef: A Tool for Visualizing the Historical Data of Software Refactorings in Java Projects. 2023, Association for Computing Machinery, 10.1145/3613372.3613419, Proceedings of the XXXVII Brazilian Symposium on Software Engineering, 174-179, SBES '23.
  87. Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn and Mariëlle Stoelinga. PFL: a Probabilistic Logic for Fault Trees. CoRR, abs/2303.17314, 2023, 10.48550/ARXIV.2303.17314, 2303.17314.
  88. Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn and Mariëlle Stoelinga. sfATM: A Logic for Quantitative Security Properties on Attack Trees. Carla Ferreira and Tim A. C. Willemse, Software Engineering and Formal Methods - 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings, Lecture Notes in Computer Science, 14323, 205-225, Springer, 2023, 10.1007/978-3-031-47115-5\_12.
  89. Steven Carr, Nils Jansen, Sebastian Junges and Ufuk Topcu. Safe Reinforcement Learning via Shielding under Partial Observability. AAAI, 2023.
  90. Daniel Strüber. The complexity paradox: An analysis of modeling education through the lens of complexity science. MODELS'23: ACM/IEEE International Conference on Model Driven Engineering Languages and Systems. Educators' Symposium, 2023, IEEE, 94-97.
  91. Thiago D. Simão, Marnix Suilen and Nils Jansen. Safe Policy Improvement for POMDPs via Finite-State Controllers. AAAI, 15109-15117, AAAI Press, 2023.
  92. Thom S. Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga and Nils Jansen. Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions. J. Artif. Intell. Res., 76, 341-391, 2023, 10.1613/JAIR.1.14253.
  93. Thom S. Badings, Licio Romao, Alessandro Abate and Nils Jansen. Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty. Brian Williams, Yiling Chen and Jennifer Neville, Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI 2023, Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence, IAAI 2023, Thirteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2023, Washington, DC, USA, February 7-14, 2023, 14701-14710, AAAI Press, 2023, 10.1609/AAAI.V37I12.26718.
  94. Thom S. Badings, Nils Jansen, Licio Romao and Alessandro Abate. Correct-by-Construction Control for Stochastic and Uncertain Dynamical Models via Formal Abstractions. Marie Farrell, Matt Luckcuck, Mario Gleirscher and Maike Schwammberger, Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, FMAS@iFM 2023, Leiden, The Netherlands, 15th and 16th of November 2023, EPTCS, 395, 144-152, 2023, 10.4204/EPTCS.395.10.
  95. Thom S. Badings, Sebastian Junges, Ahmadreza Marandi, Ufuk Topcu and Nils Jansen. Efficient Sensitivity Analysis for Parametric Robust Markov Chains. Constantin Enea and Akash Lal, Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III, Lecture Notes in Computer Science, 13966, 62-85, Springer, 2023, 10.1007/978-3-031-37709-9\_4.
  96. Thom S. Badings, Thiago D. Simão, Marnix Suilen and Nils Jansen. Decision-making under uncertainty: beyond probabilities. Int. J. Softw. Tools Technol. Transf., 25, 3, 375-391, 2023.
  97. Thorsten Wi\ssmann. Supported Sets - A New Foundation for Nominal Sets and Automata. Bartek Klin and Elaine Pimentel, 31st EACSL Annual Conference on Computer Science Logic, CSL 2023, February 13-16, 2023, Warsaw, Poland, LIPIcs, 252, 38:1-38:19, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, 10.4230/LIPICS.CSL.2023.38.
  98. Véronique Bruy\`ere, Guillermo A. Pérez, Gaëtan Staquet and Frits W. Vaandrager. Automata with Timers. Laure Petrucci and Jeremy Sproston, Formal Modeling and Analysis of Timed Systems - 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings, Lecture Notes in Computer Science, 14138, 33-49, Springer, 2023, 10.1007/978-3-031-42626-1\_3.
  99. Benard Wanjiru, Patrick van Bommel and Djoerd Hiemstra. Towards a Generic Model for Classifying Software into Correctness Levels and its Application to SQL. 2023 IEEE/ACM 5th International Workshop on Software Engineering Education for the Next Generation (SEENG), 2023, , , 37-40, 10.1109/SEENG59157.2023.00012.
  100. Mairieli Wessel, Tom Mens, Alexandre Decan and Pooya Rostami Mazrae. The GitHub Development Workflow Automation Ecosystems. Software Ecosystems: Tooling and Analytics, 2023, Springer International Publishing, 183-214, 10.1007/978-3-031-36060-2_8.
  101. Mairieli Wessel, Joseph Vargovich, Marco A. Gerosa and Christoph Treude. GitHub Actions: The Impact on the Pull Request Process. 10.1007/s10664-023-10369-w, Empirical Software Engineering, 6, 131, 28, 2023.
  102. Nan Yang, Pieter Cuijpers, Dennis Hendriks, Ramon Schiffelers, Johan Lukkien and Alexander Serebrenik. An interview study about the use of logs in embedded software engineering. Empirical Software Engineering, 28, 2, 2023, Springer, 10.1007/s10664-022-10258-8.
  103. T. Zameni, P. van den Bos, J. Tretmans, J. Foederer and A. Rensink. From BDD Scenarios to Test Case Generation. F. Lorber, C. Seceleanu and U.C. Türker, 19th Int.\ Workshop on Advances in Model-Based Testing - A-MOST 2023, IEEE Int.\ Conf.\ on Software Testing, Verification and Validation Workshops (ICSTW), 2023, 36-44, http://doi.org/10.1109/ICSTW58534.2023.00019., IEEE CS.
  104. Weixing Zhang, Regina Hebig, Daniel Strüber and Jan-Philipp Steghöfer. Automated Extraction of Grammar Optimization Rule Configurations for Metamodel-Grammar Co-evolution. SLE'23: ACM SIGPLAN International Conference on Software Language Engineering, 2023, ACM, 84-96.
  105. Wenli Zhang, Weixing Zhang, Daniel Strüber and Regina Hebig. Manual Abstraction in the Wild: A Multiple-Case Study on OSS Systems' Class Diagrams and Implementations. MODELS'23: ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023, IEEE, 36-46.
  106. Artjoms \vSinkarovs, Thomas Koopman and Sven-Bodo Scholz. Rank-Polymorphism for Shape-Guided Blocking. 2023, Association for Computing Machinery, New York, NY, USA, 10.1145/3609024.3609410, Proceedings of the 11th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, 1–14, FHPNC 2023.
  107. Gijs van Cuyck, Lars van Arragon and Jan Tretmans. Compositionality in Model-Based Testing. 2023, Springer-Verlag, Berlin, Heidelberg, 10.1007/978-3-031-43240-8_13, Testing Software and Systems: 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18–20, 2023, Proceedings, 202–218.

2022

  1. Wytse Oortwijn, Dennis Hendriks, Arjan van der Meer and Bas Huijbrechts. Getting a Grip on the Ever-Changing Software in Cyber-Physical Systems. INSIGHT, 25, 4, 89-95, 2022, Wiley Online Library, 10.1002/inst.12419.
  2. Tosca Klijnsma and Tim Steenvoorden. Semantic Equivalence of Task-Oriented Programs in TopHat. Wouter Swierstra and Nicolas Wu, Trends in Functional Programming - 23rd International Symposium, TFP 2022, Virtual Event, March 17-18, 2022, Revised Selected Papers, Lecture Notes in Computer Science, 13401, 100-125, Springer, 2022, 10.1007/978-3-031-21314-4\_6.