print · login   

Bibtex actions:
  edit    source    raw source    raw html

2022

  1. A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday. Nils Jansen, Mariëlle Stoelinga and Petra van den Bos, Lecture Notes in Computer Science, 13560, Springer, 2022, 10.1007/978-3-031-15629-8.
  2. Proceedings Tenth and Eleventh International Workshop on Trends in Functional Programming in Education. Peter Achten and Elena Machkasova, 2022, 10.4204/EPTCS.363, Electronic Proceedings in Theoretical Computer Science, EPTCS 363.
  3. Danial Kamran, Thiago D. Simão, Qisong Yang, Canmanie T. Ponnambalam, Johannes Fischer, Matthijs T. J. Spaan and Martin Lauer . A Modern Perspective on Safe Automated Driving for Different Traffic Dynamics Using Constrained Reinforcement Learning. 2022, 25th IEEE International Conference on Intelligent Transportation Systems (ITSC), IEEE, 4017-4023, 10.1109/ITSC55140.2022.9921907.
  4. Qisong Yang, Thiago D. Simão, Nils Jansen, Simon H. Tindemans and Matthijs T. J. Spaan . Training and Transferring Safe Policies in Reinforcement Learning. 2022, Adaptive and Learning Agents workshop, S.l., 1-14.
  5. Qisong Yang, Thiago D. Simão, Simon H. Tindemans and Matthijs T. J. Spaan . Safety-constrained reinforcement learning with a distributional safety critic. Machine Learning, 1-29, 2022, Springer.
  6. B. Ahrens, Dan Frumin, M. Maggesi, Niccolo Veltri and Niels van der Weide. Bicategories in univalent foundations. Mathematical Structures in Computer Science, 2022, 31, 10, 1-38, Gevonden in WoS met onderzoeker 1330477 Frumin, D. (Daniil) Affil. (Radboud OR Nijmegen) 5 auteurs volgens WoS, 10.1017/S0960129522000032.
  7. Nicolas Behr and Daniel Strüber. Graph Transformation: 15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7-8, 2022, Proceedings. 13349, 2022, Springer Nature.
  8. B. Benedikt, P. R. North and N. M. van der Weide. Semantics for two-dimensional type theory. C. Baier, 2022, Association for Computing Machinery, New York, 1-14, 10.1145/3531130.3533334.
  9. Siddharth Bhaskar, Cynthia Kop and Jakob Grue Simonsen. Subclasses of PTIME Interpreted by Programming Languages. Theory of Computing Systems, 2022, Springer, https://doi.org/10.1007/s00224-022-10074-z.
  10. Wouter Brozius, Kasper Hagens and Cynthia Kop. Extending a Lemma Generation Approach for Rewriting Induction on Logically Constrained Term Rewriting Systems. WPTE, 2022, Informal Proceedings.
  11. Raphaela Butz, Renée Schulz, Arjen Hommersom and Marko van Eekelen. Investigating the understandability of XAI methods for enhanced user experience: When Bayesian network users became detectives. Artificial Intelligence in Medicine, 134, 102438, 2022, Elsevier.
  12. Heloisa Candello, Claudio Pinhanez, Michael Muller and Mairieli Wessel. Unveiling Practices of Customer Service Content Curators of Conversational Agents. 2022, Association for Computing Machinery, New York, NY, USA, 6, CSCW2, 10.1145/3555768, Proc. ACM Hum.-Comput. Interact., nov.
  13. Carlos E. Budde, Duncan Jansen, Inka L. M. Locht and Mariëlle Stoelinga. Learning to Learn HVAC Failures: Layering ML Experiments in the Absence of Ground Truth. Simon Collart Dutilleul, Anne E. Haxthausen and Thierry Lecomte, Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings, Lecture Notes in Computer Science, 13294, 95-111, Springer, 2022, 10.1007/978-3-031-05814-1\_7.
  14. Carlos E. Budde, Pedro R. D'Argenio, Raúl E. Monti and Mariëlle Stoelinga. Analysis of non-Markovian repairable fault trees through rare event simulation. Int. J. Softw. Tools Technol. Transf., 24, 5, 821-841, 2022, 10.1007/s10009-022-00675-x.
  15. Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann and Matthias Volk. The probabilistic model checker Storm. Int. J. Softw. Tools Technol. Transf., 24, 4, 589-610, 2022.
  16. Sjoerd Crooijmans, Mart Lubbers and Pieter Koopman. Reducing the Power Consumption of IoT with Task-Oriented Programming. Berlin, Heidelberg, Revised Selected Papers from the 23rd International Symposium on Trends in Functional Programming, TFP 2022, Online, 17-18 March 2022, Springer Berlin Heidelberg, 2022, in-press, 20.
  17. C. D. N. Damasceno and D. G. F. Str\~A\textonequarterber. Family-Based Fingerprint Analysis: A Position Paper. N. Jansen, M. Stoelinga and P. van den Bos, A Journey from Process Algebra via Timed Automata to Model Learning : Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, 2022, Springer Nature Switzerland, Cham, 137-150, 10.1007/978-3-031-15629-8_8.
  18. Damien Pous, Jurriaan Rot and Ruben Turkenburg. Corecursion Up-to via Causal Transformations. CMCS, Lecture Notes in Computer Science, 13225, 133-154, Springer, 2022.
  19. Daniel Basgöze, Matthias Volk, Joost-Pieter Katoen, Shahid Khan and Mariëlle Stoelinga. BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees. CoRR, abs/2202.02829, 2022, 2202.02829.
  20. Daniel Basgöze, Matthias Volk, Joost-Pieter Katoen, Shahid Khan and Mariëlle Stoelinga. BDDs Strike Back - Efficient Analysis of Static and Dynamic Fault Trees. Jyotirmoy V. Deshmukh, Klaus Havelund and Ivan Perez, NASA Formal Methods - 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings, Lecture Notes in Computer Science, 13260, 713-732, Springer, 2022, 10.1007/978-3-031-06773-0\_38.
  21. David Kerkkamp, Zaharah A. Bukhsh, Yingqian Zhang and Nils Jansen. Grouping of Maintenance Actions with Deep Reinforcement Learning and Graph Convolutional Networks. ICAART, 2022, to appear.
  22. David Venhoek, Joshua Moerman and Jurriaan Rot. Fast computations on ordered nominal sets. Theor. Comput. Sci., 935, 82-104, 2022.
  23. Dennis Gross, Nils Jansen, Sebastian Junges and Guillermo A. Pérez. COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking. SETTA, Lecture Notes in Computer Science, 13649, 41-49, Springer, 2022.
  24. T. Doorenbosch, E. Berger, P. M. Achten, M. Veldkamp and J. Nijenhuis-Voogt. Programmeren is meer dan wat Github Copilot kan. 2022, agconnect.nl.
  25. Edward Kim, Jay Shenoy, Sebastian Junges, Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli and Sanjit A. Seshia. Querying Labelled Data with Scenario Programs for Sim-to-Real Validation. ICCPS, 34-45, IEEE, 2022.
  26. Frits W. Vaandrager and Abhisek Midya. A Myhill-Nerode theorem for register automata and symbolic trace languages. Theor. Comput. Sci., 912, 37-55, 2022, 10.1016/j.tcs.2022.01.015.
  27. Frits W. Vaandrager, Bharat Garhewal, Jurriaan Rot and Thorsten Wissmann. A New Approach for Active Automata Learning Based on Apartness. TACAS (1), Lecture Notes in Computer Science, 13243, 223-243, Springer, 2022.
  28. L. G\~Aher, M. Sammler, S. Spies, R. Jung, H.-H. Dang, R. J. Krebbers, J. Kang and D. Dreyer. Simuliris: A Separation Logic Framework for Verifying concurrent Program Optimizations. Proceedings of the ACM on Programming Languages, 2022, 6, POPL, 1-31, 10.1145/3498689.
  29. Sergio Garc\ia, Daniel Strüber, Davide Brugali, Alessandro Di Fava, Patrizio Pelliccione and Thorsten Berger. Software Variability in Service Robotics. EMSE'22: Empirical Software Engineering, to appear, 2022.
  30. Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino and Alexandra Silva. A Categorical Framework for Learning Generalised Tree Automata. CMCS, Lecture Notes in Computer Science, 13225, 67-87, Springer, 2022.
  31. H. Geuvers. Apartness and\^A Distinguishing Formulas in\^A Hennessy-Milner Logic. N. Jansen, M. Stoelinga and P. van den Bos, A Journey from Process Algebra via Timed Automata to Model Learning : Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, 2022, Springer Nature Switzerland, Cham, 266-282, Geuvers2022, 10.1007/978-3-031-15629-8_14.
  32. H. Geuvers and R. Nederpelt. Characteristics of de Bruijn\^a\texteuro\texttrademarks early proof checker Automath. Fundamenta Informaticae, 2022, 185, 313-336, 10.3233/FI-222112.
  33. Liye Guo and Cynthia Kop. A transitive HORPO for curried systems. WST, 2022, Informal Proceedings.
  34. Hazem Torfah, Carol Xie, Sebastian Junges, Marcell Vazquez-Chanlatte and Sanjit A. Seshia. Learning Monitorable Operational Design Domains for Assured Autonomy. ATVA, Lecture Notes in Computer Science, 13505, 3-22, Springer, 2022.
  35. Dennis Hendriks and Kousar Aslam. A Systematic Approach for Interfacing Component-Based Software with an Active Automata Learning Tool. Tiziana Margaria and Bernhard Steffen, Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022, Springer Nature Switzerland, Cham, 216-236, 10.1007/978-3-031-19756-7_13.
  36. Dennis Hendriks, Arjan van der Meer and Wytse Oortwijn. A Multi-level Methodology for Behavioral Comparison of Software-Intensive Systems. Jan Friso Groote and Marieke Huisman, Formal Methods for Industrial Critical Systems, 2022, Springer International Publishing, Cham, 226-243, 10.1007/978-3-031-15008-1_15.
  37. Henk Barendregt and Antonino Raffone. Axiomatizing Consciousness with Applications. Nils Jansen, Mariëlle Stoelinga and Petra van den Bos, A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, Lecture Notes in Computer Science, 13560, 46-62, Springer, 2022, 10.1007/978-3-031-15629-8\_3.
  38. Henk Barendregt and Giulio Manzonetto. A Lambda Calculus Satellite. College Publications, 2022.
  39. Henk Barendregt and Sebastiaan A. Terwijn. Partial combinatory algebra and generalized numberings. Theor. Comput. Sci., 925, 37-44, 2022, 10.1016/j.tcs.2022.04.054.
  40. Steffen Herbold, Alexander Trautsch, Benjamin Ledel, Alireza Aghamohammadi, Taher A. Ghaleb, Kuljit Kaur Chahal, P. Singh, Daniel Str\~A\textonequarterber and Johannes Erbel. A fine-grained data set and analysis of tangling in bug fixing commits. Emperical Software Engineering, 2022, 27, 6, 1-55, Gevonden in WoS met onderzoeker 1416239 Wu, H. (Haoyu) Affil. (Radboud OR Nijmegen) 48 auteurs volgens WoS 1 match gevonden in laatste 3 stappen: 20 'Singh, Paramvir' (1159116) 39 overgeslagen externe auteur(s) 1 niet opgezochte namen, 10.1007/s10664-021-10083-5.
  41. Bram Hooimeijer, Marc Geilen, Jan Friso Groote, Dennis Hendriks and Ramon Schiffelers. Constructive Model Inference: Model Learning for Component-based Software Architectures. Proceedings of the 17th International Conference on Software Technologies - ICSOFT, 2022, 146-158, SciTePress, INSTICC, 10.5220/0011145700003266.
  42. Jose-Miguel Horcas, Daniel Strüber, Alexandru Burdusel, Jabier Martinez and Steffen Zschaler. Extended Abstract: We're Not Gonna Break It! Consistency-Preserving Operators for Efficient Product Line Configuration. SPLC'22: Journal First Track, 2022, to appear.
  43. Jose-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. TSE'22: IEEE Transactions on Software Engineering, 2022, to appear.
  44. Samuel Idowu, Osman Osman, Daniel Strüber and Thorsten Berger. On the Effectiveness of Machine Learning Experiment Management Tools. ICSE-SEIP'22: International Conference on Software Engineering - Software Engineering in Practice Track, 2022.
  45. Samuel Idowu, Daniel Strüber and Thorsten Berger. Asset Management in Machine Learning: State-of-research and State-of-practice. CSUR'22: ACM Computing Surveys, 2022, ACM, to appear.
  46. Samuel Idowu, Daniel Strüber and Thorsten Berger. EMMM: A Unified Meta-Model for Tracking Machine Learning Experiments. SEAA'22: Euromicro Conference on Software Engineering and Advanced Applications, 2022, IEEE.
  47. Ivano Malavolta, Taher Ahmed Ghaleb, Istvan David, Jasper van Rooijen and Mariëlle Stoelinga. Engineering Mobile Apps for Disaster Management: The Case of COVID-19 Apps in the Google Play Store. IEEE Softw., 39, 3, 31-42, 2022, 10.1109/MS.2021.3129978.
  48. J. Jacobs, S. Balzer and R. J. Krebbers. Multiparty GV: functional multiparty session types with certified deadlock freedom. Proceedings of the ACM on Programming Languages, 2022, 6, ICFP, 1-30, 10.1145/3547638.
  49. Jules Jacobs. A Self-Dual Distillation of Session Types. 36th European Conference on Object-Oriented Programming (ECOOP 2022), 23:1-23:22, Leibniz International Proceedings in Informatics (LIPIcs), 2022, 222, Karim Ali and Jan Vitek, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 10.4230/LIPIcs.ECOOP.2022.23, Keywords: Linear types, concurrency, lambda calculus, session types.
  50. Jules Jacobs. A Self-Dual Distillation of Session Types: Mechanized Proofs (Artifact). 15:1-15:2, Dagstuhl Artifacts Series, 2022, 8, 2, Jules Jacobs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 10.4230/DARTS.8.2.15, Keywords: Linear types, concurrency, lambda calculus, session types.
  51. Jana Wagemaker, Nate Foster, Tobias Kappé, Dexter Kozen, Jurriaan Rot and Alexandra Silva. Concurrent NetKAT - Modeling and analyzing stateful, concurrent networks. ESOP, Lecture Notes in Computer Science, 13240, 575-602, Springer, 2022.
  52. Niek Janssen and Sven-Bodo Scholz. On Mapping N-Dimensional Data-Parallelism Efficiently into GPU-Thread-Spaces. 2022, Association for Computing Machinery, New York, NY, USA, 10.1145/3544885.3544894, 33rd Symposium on Implementation and Application of Functional Languages, 54–66, IFL '21.
  53. L. A. Jimenez-Roa, T. Heskes, T. Tinga, H. J. A. Molegraaf and M. I. A. Stoelinga. Deterioration modeling of sewer pipes via discrete-time Markov chains: A large-scale tudy in the Netherlands. M. Chiara Leva, 2022, Research Publishing, Singapore, 1299-1306, 10.3850/978-981-18-5183-4_R22-13-482-cd.
  54. Joshua Moerman and Thorsten Wi\ssmann. State Identification and Verification with Satisfaction. A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, 450-466, 2022, 09, 10.1007/978-3-031-15629-8_23.
  55. J. Kastberg Hinrichsen, J. Bengtson and R. J. Krebbers. Actris 2.0: Asynchronous Session-Type Based Reasoning in Separation Logic. Logical Methods in Computer Science, 2022, 18, 2, 1-64.
  56. Kim G. Larsen, Axel Legay, Gerrit Nolte, Maximilian Schlüter, Mariëlle Stoelinga and Bernhard Steffen. Formal Methods Meet Machine Learning (F3ML). Tiziana Margaria and Bernhard Steffen, Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III, Lecture Notes in Computer Science, 13703, 393-405, Springer, 2022, 10.1007/978-3-031-19759-8\_24.
  57. Pieter Koopman, Mart Lubbers and João Paulo Fernandes. SusTrainable: Promoting Sustainability as a Fundamental Driver in Software Development Training and Education. Teacher Training, November 1-5, Nijmegen, The Netherlands. Revised lecture notes. arXiv, 2022, 10.48550/ARXIV.2204.13993.
  58. Cynthia Kop. Cutting a Proof into Bite-Sized Chunks: Incrementally proving termination in higher-order term rewriting. 7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022), 1:1-1:17, Leibniz International Proceedings in Informatics (LIPIcs), 2022, 228, Amy Felty, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 10.4230/LIPIcs.FSCD.2022.1, Invited Paper.
  59. Cynthia Kop and Deivid Vale. Tuple Interpretations and Applications to Higher-Order Runtime Complexity. WST, 2022, Informal Proceedings.
  60. David Korsman, Daniel Strüber and Carlos Diego Nascimento Damasceno. A Tool for Analysing Higher-Order Feature Interactions in Preprocessor Annotations in C and C++ Projects. 2022, Proceedings of the 26th International Systems and Software Product Line Conference (SPLC), SPLC '22, 10.1145/3503229.3547027, to appear.
  61. Jens Kosiol, Daniel Strüber, Gabriele Taentzer and Steffen Zschaler. Sustaining and Improving Graduated Graph Consistency: A Static Analysis of Graph Transformations. SCP'22: Science of Computer Programming, 214, 102729-1, 2022, Elsevier.
  62. R. Lepigre, M. Sammler, K. Memarian, R. J. Krebbers, D. Dreyer and P. Sewell. VIP: Verifying Real-World C Idioms with Integer-Pointer Casts. Proceedings of the ACM on Programming Languages, 2022, 6, POPL, 1-32, 10.1145/3498681.
  63. Linus Heck, Jip Spel, Sebastian Junges, Joshua Moerman and Joost-Pieter Katoen. Gradient-Descent for Randomized Controllers Under Partial Observability. VMCAI, Lecture Notes in Computer Science, 13182, 127-150, Springer, 2022.
  64. Lisandro Arturo Jimenez-Roa, Tom Heskes, Tiedo Tinga and Mariëlle Stoelinga. Automatic inference of fault tree models via multi-objective evolutionary algorithms. CoRR, abs/2204.03743, 2022, 10.48550/arXiv.2204.03743, 2204.03743.
  65. Lisandro Arturo Jimenez-Roa, Matthias Volk and Mariëlle Stoelinga. Data-Driven Inference of Fault Tree Models Exploiting Symmetry and Modularization. Mario Trapp, Francesca Saglietti, Marc Spisländer and Friedemann Bitsch, Computer Safety, Reliability, and Security - 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2022, Proceedings, Lecture Notes in Computer Science, 13414, 46-61, Springer, 2022, 10.1007/978-3-031-14835-4\_4.
  66. Liye Guo and Deivid Vale. Analyzing Innermost Runtime Complexity Through Tuple Interpretations. Proc.\ LSFA'22, 2022, To Appear.
  67. Mart Lubbers. Deep Embedding with Class. Berlin, Heidelberg, Revised Selected Papers from the 23rd International Symposium on Trends in Functional Programming, TFP 2022, Online, 17-18 March 2022, Springer Berlin Heidelberg, 2022, in-press, 20.
  68. Mart Lubbers, Pieter Koopman, Adrian Ramsingh, Jeremy Singer and Phil Trinder. Could Tierless Languages Reduce IoT Development Grief?. 3, 5, ACM Trans. Internet of Things, September, 10.1145/3572901, 2022, Place: New York, NY, USA Publisher: Association for Computing Machinery in-press.
  69. Wardah Mahmood, Daniel Strüber, Anthony Anjorin and Thorsten Berger. Effects of Variability in Models: A Family of Experiments. EMSE'22: Empirical Software Engineering, 27, 71:1-38, 2022.
  70. Wardah Mahmood, Daniel Strüber, Thorsten Berger, Ralf Lämmel and Mukelabai Mukelabai. Seamless Variability Management With the Virtual Platform (Summary). SE'2022: Fachtagung Software Engineering, 69-70, 2022, Gesellschaft für Informatik eV.
  71. Mairieli Wessel, Igor Steinmacher and Marco Gerosa. Perception of Software Bots on Pull Requests on Social Coding Environments. Anais Estendidos do XIII Congresso Brasileiro de Software: Teoria e Prática, 2022, 65-76, SBC, Porto Alegre, RS, Brasil, 10.5753/cbsoft_estendido.2022.225620.
  72. Marnix Suilen, Thiago D. Simão, David Parker and Nils Jansen. Robust Anytime Learning of Markov Decision Processes. NeurIPS, CoRR, abs/2205.15827, 2022.
  73. Jabier Martinez, Daniel Strüber, Jose-Miguel Horcas, Alexandru Burdusel and Steffen Zschaler. Acapulco: An extensible tool for identifying optimal and consistent feature model configurations. SPLC'22: Demonstrations and Tools, 2022, to appear.
  74. Mitchell Albers, Carlos Diego Nascimento Damasceno and Daniel Strüber. A Lightweight Approach for Model Checking Variability-Based Graph Transformations. 2022, 2022 13th International Workshop on Graph Computation Models (GCM), Pre-Proceedings, GCM '22.
  75. Ike Mulder, Robbert Krebbers and Herman Geuvers. Diaframe: Automated Verification of Fine-Grained Concurrent Programs in Iris. 2022, PLDI, PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13 - 17, 2022, 809-824, 10.1145/3519939.3523432.
  76. Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen and Ufuk Topcu. Convex Optimization for Parameter Synthesis in MDPs. IEEE Trans. Autom. Control., 67, 12, 6333-6348, 2022.
  77. Niels van Harten, Carlos Diego Nascimento Damasceno and Daniel Strüber. Model-Driven Optimization: Generating Smart Mutation Operators for Multi-Objective Problems. 2022, 2022 48th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), IEEE Computer Society, SEAA '22, to appear.
  78. Eric Ribeiro, Ronan Nascimento, Igor Steinmacher, Laerte Xavier, Marco Gerosa, Hugo de Paula and Mairieli Wessel. Together or Apart? Investigating a mediator bot to aggregate bot's comments on pull requests. 2022 IEEE International Conference on Software Maintenance and Evolution (ICSME), 2022, 434-438, 10.1109/ICSME55016.2022.00054.
  79. Roman Andriushchenko, Milan Ceska, Sebastian Junges and Joost-Pieter Katoen. Inductive synthesis of finite-state controllers for POMDPs. UAI, Proceedings of Machine Learning Research, 180, 85-95, PMLR, 2022.
  80. Mathijs TW Schuts, Rodin TA Aarssen, Paul M Tielemans and Jurgen J Vinju. Large-scale semi-automated migration of legacy C/C++ test code. Software: Practice and Experience, 2022, Wiley Online Library.
  81. Sebastian Junges and Jurriaan Rot. Learning Language Intersections. A Journey from Process Algebra via Timed Automata to Model Learning, Lecture Notes in Computer Science, 13560, 371-381, Springer, 2022.
  82. Sebastian Junges and Matthijs T. J. Spaan. Abstraction-Refinement for Hierarchical Probabilistic Models. CAV (1), Lecture Notes in Computer Science, 13371, 102-123, Springer, 2022.
  83. S. Spies, L. G\~Aher, J. Tassarotti, R. Jung, R. J. Krebbers, L. Birkedal and D. Dreyer. Later credits: resourceful reasoning for the later modality. Proceedings of the ACM on Programming Languages, 2022, 6, ICFP, 1-29, 10.1145/3547631.
  84. T. J. Steenvoorden. TopHat. Task-Oriented Programming with Style. 2022, s.n., xviii,-196.
  85. Stefano M. Nicoletti, Ernst Moritz Hahn and Mariëlle Stoelinga. BFL: a Logic to Reason about Fault Trees. CoRR, abs/2208.13424, 2022, 10.48550/arXiv.2208.13424, 2208.13424.
  86. Stefano M. Nicoletti, Ernst Moritz Hahn and Mariëlle Stoelinga. BFL: a Logic to Reason about Fault Trees. 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2022, Baltimore, MD, USA, June 27-30, 2022, 441-452, IEEE, 2022, 10.1109/DSN53405.2022.00051.
  87. Shaghayegh Tavassoli, Carlos Diego Nascimento Damasceno, Ramtin Khosravi and Mohammad Reza Mousavi. Adaptive Behavioral Model Learning for Software Product Lines. 2022, Proceedings of the 26th International Systems and Software Product Line Conference (SPLC), SPLC '22, to appear.
  88. Shaghayegh Tavassoli, Carlos Diego Nascimento Damasceno, Mohammad Reza Mousavi and Ramtin Khosravi. A Benchmark for Active Learning of Variability-Intensive Systems. 2022, Proceedings of the 26th International Systems and Software Product Line Conference (SPLC), SPLC '22, to appear.
  89. Thom S. Badings, Alessandro Abate, Nils Jansen, David Parker, Hasan A. Poonawala and Mariëlle Stoelinga. Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise. Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022, Thirty-Fourth Conference on Innovative Applications of Artificial Intelligence, IAAI 2022, The Twelveth Symposium on Educational Advances in Artificial Intelligence, EAAI 2022 Virtual Event, February 22 - March 1, 2022, 9669-9678, AAAI Press, 2022.
  90. Thom S. Badings, Nils Jansen, Sebastian Junges, Mariëlle Stoelinga and Matthias Volk. Sampling-Based Verification of CTMCs with Uncertain Rates. Sharon Shoham and Yakir Vizel, Computer Aided Verification - 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II, Lecture Notes in Computer Science, 13372, 26-47, Springer, 2022, 10.1007/978-3-031-13188-2\_2.
  91. Thom S. Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen and Ufuk Topcu. Scenario-based verification of uncertain parametric MDPs. Int. J. Softw. Tools Technol. Transf., 24, 5, 803-819, 2022.
  92. Thorsten Wissmann. Minimality Notions via Factorization Systems and Examples. 2022, Logical Methods in Computer Science, 10.46298/lmcs-18(3:31)2022, Volume 18, Issue 3, 09.
  93. Thorsten Wissmann, Stefan Milius and Lutz Schrüder. Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence. Volume 18, Issue 4, 2022, 11, Logical Methods in Computer Science, 10.46298/lmcs-18(4:6)2022.
  94. Todd Schmid, Wojciech Rozowski, Alexandra Silva and Jurriaan Rot. Processes Parametrised by an Algebraic Theory. ICALP, LIPIcs, 229, 132:1-132:20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.
  95. J. Tretmans and R. Janssen. Goodbye ioco. N. Jansen, M. Stoelinga and P. van den Bos, A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, 2022, Lecture Notes in Computer Science, 13560, 491-511, Springer, Cham., https://doi.org/10.1007/978-3-031-15629-8_26.
  96. Katja Tuma, Sven Peldszus, Daniel Strüber, Riccardo Scandariato and Jan Jürjens. Checking Security Compliance between Models and Code. SoSyM'22: Software and Systems Modeling, 2022.
  97. Simone Catharina Maria Wilhelmina Tummers, Arjen Hommersom, Lilian Lechner, Roger Bemelmans and Catherine Adriana Wilhelmina Bolman. Determinants of physical activity behaviour change in (online) interventions, and gender-specific differences: a Bayesian network model. 10.1186/s12966-022-01381-2, International Journal of Behavioral Nutrition and Physical Activity, 1, 155, 19, 2022.
  98. J. Wagemaker. Extensions of (Concurrent) Kleene Algebra. 2022, s.n., 237.
  99. R. E. Weeda, J. E. W. Smetsers and E. Barendsen. Unraveling difficulties in code composition tasks. 2022.
  100. Mairieli Wessel, Andy Zaidman, Marco A. Gerosa and Igor Steinmacher. Guidelines for Developing Bots for GitHub. IEEE Software, 2022, 1-8, 10.1109/MS.2022.3224813, Early Access.
  101. H. Zantema. Passive Automata Learning: DFAs and NFAs. N. Jansen, M. Stoelinga and P. van den Bos, A Journey from Process Algebra via Timed Automata to Model Learning : Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, 2022, Springer Nature Switzerland, Cham, 575-580, 10.1007/978-3-031-15629-8_31.
  102. H. Zantema and W. Bosma. Complexity of automatic sequences. Information and Computation, 2022, 288, 1-17, 10.1016/j.ic.2021.104710.
  103. Artjoms \vSinkarovs and Sven-Bodo Scholz. Parallel Scan as a Multidimensional Array Problem. 2022, Association for Computing Machinery, New York, NY, USA, 10.1145/3520306.3534500, Proceedings of the 8th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming, 1-–11, ARRAY 2022.
  104. Gijs van Cuyck and Sven-Bodo Scholz. In-Place-Folding of Non-Scalar Hyper-Planes of Multi-Dimensional Arrays. 2022, 10.1145/3544885.3544893, 33rd Symposium on Implementation and Application of Functional Languages, 29–-41, IFL '21.
  105. Leo van Schooten, Marco Alonso, Ronald Wiericx and Mathijs Schuts. From MSL to Dezyne: an Industrial Application Of QVTo. Annals of Computer Science and Information Systems, 32, 339-348, 2022.

2021

  1. IFL '21: 33rd Symposium on Implementation and Application of Functional Languages. Pieter Koopman and Peter Achten, 2021, Association for Computing Machinery, New York, NY, USA.
  2. T. Schmid, J. C. Rot and A. Silva. On Star Expressions and Completeness Theorems. A. Sokolova, 2021, EPTCS, S.l., 351, 242-259, 10.4204/EPTCS.351.15.