Here we list the publications of FMT by year.
Our staff page has links to the publications of each staff member.
Our research project pages typically have links to the publications for the project.
The university Research Information page offers yet other ways to search or browse the publications.
Jump to: 2027 | 2026 | 2025 | 2024 | 2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2005 | 1995 | 1994
2027
Consistency Proofs for Axiomatic Extensions: Translating VerCors’ Axiomatic Data Types Into Isabelle (2027) In Formal Methods for Industrial Critical Systems (pp. 80-97) (Lecture Notes in Computer Science; Vol. 16967) . Springer . Putti, E. & Stekelenburg, A. https://doi.org/10.1007/978-3-032-36849-2_5
2026
Refactoring Detection Across Languages: Leveraging Java-Trained Models for Detecting Class-Level Refactorings in Kotlin (2026) In Software Engineering and Advanced Applications: 51st Euromicro Conference, SEAA 2025, Salerno, Italy, September 10–12, 2025, Proceedings, Part I (pp. 46-63) (Lecture Notes in Computer Science; Vol. 16081) . Springer . Afkhami, M. M. , Hemati Moghadam, I. , Zaytsev, V. , Ashoori, M. H. & Bazmandegan, H. https://doi.org/10.1007/978-3-032-04190-6_4 Multi-objective Statistical Model Checking Using Lightweight Strategy Sampling (2026) In Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems : Third International Joint Conference, QEST+FORMATS 2026, Liverpool, UK, September 2–4, 2026, Proceedings (pp. 171-195) . Springer . D’Argenio, P. R. , Hartmanns, A. , Wienhöft, P. & van Wijk, M. https://doi.org/10.1007/978-3-032-35298-9_10 ConceptCF: Concept-based Counterfactuals for the Explainability of Time Series (2026) [Working paper › Preprint] . ArXiv.org . Jutte, A. , Ahmed, F. , Linssen, J. & van Keulen, M. https://doi.org/10.48550/arXiv.2607.18748 A systematic analysis of higher education on software engineering in the Netherlands (2026) The Journal of systems and software, 242 . Article 113035 (E-pub ahead of print/First online) . Heeren, B. , Dalpiaz, F. , Seraj, M. , Verdecchia, R. & Zaytsev, V. https://doi.org/10.1016/j.jss.2026.113035 CPSLint: A Domain-Specific Language Providing Data Validation and Sanitisation for Industrial Cyber-Physical Systems (2026) In Proceedings of the 19th ACM SIGPLAN International Conference on Software Language Engineering, SLE '26 (pp. 78-91) (ACM SIGPLAN International Conference on Software Language Engineering; Vol. 2026) . Association for Computing Machinery (ACM) . Odyurt, U. , Sayilir, Ö. F. , Stoelinga, M. I. A. & Zaytsev, V. https://doi.org/10.1145/3806383.3815519 SLE as an Evolving Body of Knowledge: A 19-Year Comparative Analysis of Calls and Proceedings (2026) In SLE '26: Proceedings of the 19th ACM SIGPLAN International Conference on Software Language Engineering (pp. 2-21) . Association for Computing Machinery (ACM) . Zaytsev, V. https://doi.org/10.1145/3806383.3815513 41st Annual Symposium on Logic in Computer Science (LICS 2026) (2026) [Book/Report › Book editing] 41st Annual Symposium on Logic in Computer Science, LICS 2026 . Dagstuhl . Faggian, C. & Katoen, J.-P. https://drops.dagstuhl.de/entities/volume/LIPIcs-volume-380 On Turán problems with bounded fractional matching number (2026) Discrete mathematics, 349(7) . Article 115026 . Zhang, L. P. , Broersma, H. & Wang, L. https://doi.org/10.1016/j.disc.2026.115026 Deductive reasoning about embedded systems using reachable abstract states invariants (2026) Software and systems modeling (E-pub ahead of print/First online) . Tasche, P. , Herber, P. & Huisman, M. https://doi.org/10.1007/s10270-026-01389-3 Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (Artifact) (2026) [Dataset Types › Software] . Zenodo . D'Argenio, P. R. , Hartmanns, A. , Wienhöft, P. & van Wijk, M. https://doi.org/10.5281/zenodo.19660159 Deductive Verification Techniques for Embedded Systems (2026) [Thesis › PhD Thesis - Research UT, graduation UT] . University of Twente . Tasche, P. B. H. https://doi.org/10.3990/1.9789036571593 Properly Colored Cycles in Edge‐Colored Balanced Bipartite Graphs (2026) Journal of graph theory, 112(2) , 37-53 . Han, T. , Broersma, H. , Zhang, S. & Bai, Y. https://doi.org/10.1002/jgt.70008 SoK: Systematization, Detection, and Hunting of Windows Malware Persistence Techniques (2026) In 21st ACM ASIA Conference on Computer and Communications Security, ACM ASIACCS 2026 (pp. 1371-1386) . Association for Computing Machinery . van Nielen, J. , Oliveri, A. , Starink, J. , Peter, A. , Huisman, M. , Aonzo, S. , Balzarotti, D. & Continella, A. https://doi.org/10.1145/3779208.3805971 The Turán number of Berge-linear forests in hypergraphs (2026) Discrete mathematics, 349(6) . Article 114971 . Zhang, L. P. , Broersma, H. & Wang, L. https://doi.org/10.1016/j.disc.2025.114971 Beyond the Independence Assumption: Finite-Sample Guarantees for Deep Q-Learning under τ-Mixing (2026) [Working paper › Preprint] . ArXiv.org (Submitted) . Halgryn, L. , Meylahn, J. M. , Langer, S. & Hahn, E. M. https://doi.org/10.48550/arXiv.2605.06373 Implementing CPSLint: A Data Validation and Sanitisation Tool for Industrial Cyber-Physical Systems (2026) [Working paper › Preprint] . ArXiv.org . Odyurt, U. , Sayilir, Ö. , Stoelinga, M. & Zaytsev, V. https://doi.org/10.48550/arXiv.2604.18191 Correction: Fault Tree Reliability Analysis via Squarefree Polynomials: Mathematical and Experimental Analysis (2026) SN Computer Science, 7(4) . Article 287 (E-pub ahead of print/First online) . Lopuhaä-Zwakenberg, M. https://doi.org/10.1007/s42979-026-04737-8 Beyond Grading Accuracy: Exploring Alignment of TAs and LLMs (2026) [Working paper › Preprint] . ArXiv.org . op de Haar, M. J. , Bouali, N. & Ahmad, F. The revised practitioner’s guide to MDP model checking algorithms (2026) International journal on software tools for technology transfer (E-pub ahead of print/First online) . Hartmanns, A. , Junges, S. , Quatmann, T. & Weininger, M. https://doi.org/10.1007/s10009-026-00848-y An Initial Exploration of Contrastive Prompt Tuning to Generate Energy-Efficient Code (2026) [Working paper › Preprint] . ArXiv.org . Weidmann, S. & Castor, F. Multi-modal document classification in AEC asset management (2026) Intelligent Systems with Applications, 29 . Article 200609 . Rademaker, F. , Ahmed, F. & Machado, M. R. https://doi.org/10.1016/j.iswa.2025.200609 Disjunction Composition of BDD Transition Systems for Model-Based Testing (2026) [Working paper › Preprint] . ArXiv.org . Zameni, T. , van den Bos, P. & Rensink, A. https://doi.org/10.48550/arXiv.2602.17237 Disjunction Composition of BDD Transition Systems for Model-Based Testing (2026) Journal of object technology, 25(3) , 337-350 . Zameni, T. , van den Bos, P. & Rensink, A. https://doi.org/10.5381/jot.2026.25.3.a26 A 31-Year Bibliometric Review of Team Effectiveness Research: Evolution, Trends, and Future Directions (2026) Small group research, 57(1) , 145-216 . Barrios-Fleitas, Y. , Hoogeboom, M. A. M. G. , Eysink, T. H. S. & Rensink, A. https://doi.org/10.1177/10464964251378781 Verified & fast probabilistic verification: Stepwise refinement of probabilistic model checking into an IEEE 754 floating-point implementation (2026) [Thesis › PhD Thesis - Research UT, graduation UT] . University of Twente . Kohlen, B. https://doi.org/10.3990/1.9789036570350 Tools and Algorithms for Sound Multi-Objective Probabilistic Model Checking (Artifact) (2026) [Dataset Types › Dataset] . Zenodo . Hartmanns, A. , Quatmann, T. & van Wijk, M. https://doi.org/10.5281/zenodo.18604532 Towards Green AI: Decoding the Energy of LLM Inference in Software Development (2026) [Working paper › Preprint] . ArXiv.org . Solovyeva, L. & Castor, F. Incorporating predictions in online graph coloring algorithms (2026) Discrete applied mathematics, 379 , 434-445 . Antoniadis, A. , Broersma, H. & Meng, Y. https://doi.org/10.1016/j.dam.2025.08.063 Safe Battery Use and Grid-Convenience in an Intelligent Energy Control System (2026) In Performance Evaluation Methodologies and Tools: 17th EAI International Conference, Valuetools 2024, Milan, Italy, December 12–13, 2024, Proceedings (pp. 274-294) (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering; Vol. 663) . Adelt, J. , Herber, P. , Hurink, J. , Niehage, M. , Remke, A. & Willemsen, L. https://doi.org/10.1007/978-3-032-06818-7_15 A Framework to Develop a Demonstrator for Cyber-Physical System (2026) In Proceedings of the 15th International Conference on Operations Research and Enterprise Systems (pp. 379-386) (International Conference on Operations Research and Enterprise Systems) . Science and Technology Publications, Lda . Ahmed, F. , Zeilstra, P. , Piest, S. & Linssen, J. https://doi.org/10.5220/0014355700004055 AutoSV-Annotator: Integrating Deductive and Automatic Software Verification (2026) In Formal Methods for Industrial Critical Systems - 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27-28, 2025, Proceedings (pp. 59-77) . Springer . Armborst, L. , Beyer, D. , Huisman, M. & Lingsch-Rosenfeld, M. https://doi.org/10.1007/978-3-032-00942-5_4 DTMC Model Checking by Path Abstraction Revisited (2026) In Reachability Problems: 19th International Conference, RP 2025, Proceedings (pp. 186-201) (Lecture Notes in Computer Science; Vol. 16230 LNCS) . Springer . Hartmanns, A. & Modderman, R. https://doi.org/10.1007/978-3-032-09524-4_13 Facing Uncertainty in AI: From Formal Verification To Synthesis (2026) In Theoretical Aspects of Computing – ICTAC 2025: 22nd International Colloquium, Marrakech, Morocco, November 24–28, 2025, Proceedings (pp. 27-30) (Lecture Notes in Computer Science; Vol. 16237) . Springer . Katoen, J.-P. https://doi.org/10.1007/978-3-032-11176-0_2 Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata (2026) In Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: Second International Joint Conference, QEST+FORMATS 2025, Proceedings (pp. 389-408) (Lecture Notes in Computer Science; Vol. 16143 LNCS) . Springer . Blohm, P. , Schulz, F. , Willemsen, L. , Remke, A. & Herber, P. https://doi.org/10.1007/978-3-032-05792-1_21 On Explainable Disease Progression Forecasting with Transformer Models (2026) In Computational Intelligence: 17th International Joint Conference, IJCCI 2025, Marbella, Spain, October 22–24, 2025, Proceedings, Part III (pp. 467–481) (Communications in Computer and Information Science; Vol. 2829) . Springer . Mirza, U. A. , Siddique, F. & Ahmed, F. https://doi.org/10.1007/978-3-032-15638-9_27 On the main distance-based entropies: the eccentricity- and Wiener-entropy (2026) Ars Mathematica Contemporanea, 26(1) . Cambie, S. & Dong, Y. https://doi.org/10.26493/1855-3974.3042.4c5 PICKLES: a Natural Language Framework for Requirement Specification and Model-Based Testing (2026) Journal of object technology, 25(3) , 323-336 . Rodríguez, M. B. & van den Bos, P. https://doi.org/10.5381/jot.2026.25.3.a25 Probabilistic Verification for Modular Network-on-Chip Systems (2026) In Verification, Model Checking, and Abstract Interpretation: 27th International Conference, VMCAI 2026, Proceedings (pp. 383-407) (Lecture Notes in Computer Science; Vol. 16417 LNCS) . Springer . Waddoups, N. , Boe, J. , Hartmanns, A. , Basu, P. , Roy, S. , Chakraborty, K. & Zhang, Z. https://doi.org/10.1007/978-3-032-15700-3_18 PyDSMC: Statistical Model Checking for Neural Agents Using the Gymnasium Interface (2026) In Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: Second International Joint Conference, QEST+FORMATS 2025, Proceedings (pp. 134-156) (Lecture Notes in Computer Science; Vol. 16143 LNCS) . Springer . Gros, T. P. , Hartmanns, A. , Hoese, I. , Meyer, J. , Müller, N. J. & Wolf, V. https://doi.org/10.1007/978-3-032-05792-1_8 Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality (2026) In Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: Second International Joint Conference, QEST+FORMATS 2025, Proceedings (pp. 83-94) (Lecture Notes in Computer Science; Vol. 16143 LNCS) . Springer . Budde, C. E. , Hartmanns, A. , Meggendorfer, T. , Weininger, M. & Wienhöft, P. https://doi.org/10.1007/978-3-032-05792-1_5 The Impact of Generative Artificial Intelligence Tools in Project-Based Learning (2026) In Bridging the gap between AI and Reality: Second International Conference, AISoLA 2024, Crete, Greece, October 30-November 3, 2024. Selected Papers (pp. 48-76) (Lecture Notes in Computer Science; Vol. 16032) . Springer . van Dijk, T. & Zaytsev, V. https://doi.org/10.1007/978-3-032-01377-4_3 The Optimal Strategy to Meet the Deadline:: Ask Christel! (2026) In Principles of Formal Quantitative Analysis: Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday (pp. 1-14) (Lecture Notes in Computer Science; Vol. 15760) . Springer . Katoen, J.-P. https://doi.org/10.1007/978-3-031-97439-7_1 Time for Quiescence: Modelling Quiescent Behaviour in Testing via Time-Outs in Timed Automata (2026) In Testing Software and Systems: 37th IFIP WG 6.1 International Conference, ICTSS 2025, Limassol, Cyprus, September 17–19, 2025, Proceedings (pp. 35-52) (Lecture Notes in Computer Science; Vol. 16107) . Springer . Briones, L. B. , Gerhold, M. , Bos, P. v. d. & Stoelinga, M. https://doi.org/10.1007/978-3-032-05188-2_3 Time-Sensitive Importance Splitting (2026) In Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: Second International Joint Conference, QEST+FORMATS 2025, Proceedings (pp. 21-41) (Lecture Notes in Computer Science; Vol. 16143 LNCS) . Springer . Dengler, G. , Budde, C. E. , Carnevali, L. & Hartmanns, A. https://doi.org/10.1007/978-3-032-05792-1_2 Tools and Algorithms for Sound Multi-Objective Probabilistic Model Checking (Long Tool Paper) (2026) In Formal Methods: 27th International Symposium, FM 2026, Tokyo, Japan, May 18–22, 2026, Proceedings (pp. 189–210) (Lecture Notes in Computer Science; Vol. 16556) . Springer . Hartmanns, A. , Quatmann, T. & van Wijk, M. https://doi.org/10.1007/978-3-032-26204-2_10 XAI In Fraud Detection: A Causal Perspective (2026) In Explainable Artificial Intelligence: Third World Conference, xAI 2025, Istanbul, Turkey, July 9–11, 2025, Proceedings, Part IV (pp. 317-329) (Communications in Computer and Information Science; Vol. 2579) . Springer . van Veen, K. , Ahmed, F. & van Keulen, M. https://doi.org/10.1007/978-3-032-08330-2_15
2025
An adjacency lemma on signed edge colorings with an application to planar graphs (2025) Discrete applied mathematics, 377 , 335-342 . Zhang, L. , Broersma, H. , Lu, Y. & Zhang, S. https://doi.org/10.1016/j.dam.2025.07.024 Understanding Underrepresented Groups in Open Source Software (2025) In Proceedings of the 29th International Conference on Evaluation and Assessment in Software Engineering , EASE, 2025 edition, EASE 2025 (pp. 919-928) . Association for Computing Machinery, Inc . Santos, R. , Prado, R. , De Holanda Silva, A. P. , Gama, K. , Castor, F. & De Souza Santos, R. https://doi.org/10.1145/3756681.3757051 Using generative ai to track emotional cues and identify team development stages in student projects (2025) In 2025 IEEE Digital Education and MOOCS Conference (DEMOcon) . IEEE . Barrios-Fleitas, Y. , Lasconi, G. , González González, C. S. & Rensink, A. https://doi.org/10.1109/DEMOcon65705.2025.11282893 When should we meet?: automating team formation for synchronous projects in online education (2025) In 2025 IEEE Digital Education and MOOCS Conference (DEMOcon) . IEEE . Barrios-Fleitas, Y. & Lalla-Ruiz, E. https://doi.org/10.1109/DEMOcon65705.2025.11282894 A Systematic Analysis of Higher Education on Software Engineering in the Netherlands (2025) [Working paper › Preprint] . ArXiv.org . Heeren, B. , Dalpiaz, F. , Seraj, M. , Verdecchia, R. & Zaytsev, V. https://doi.org/10.48550/arXiv.2512.12650 Querying Attack-Fault-Defense Trees: Property Specification in Smart Grid and Aerospace Case Studies (2025) In 2025 IEEE Annual Reliability and Maintainability Symposium - Europe: Reliability Foundations, RAMS-Europe 2025 . IEEE . Soltani, R. , Nicoletti, S. M. , Lopuhaä-Zwakenberg, M. & Stoelinga, M. https://doi.org/10.1109/RAMS-Europe62094.2025.11274635 Systematic Evaluation of Black-Box Checking for Fast Bug Detection (2025) [Working paper › Preprint] . ArXiv.org . Pellen, B. , Belén Rodriguez, M. , Vaandrager, F. & van den Bos, P. https://doi.org/10.48550/arXiv.2512.07434 A comparison of anomaly detection algorithms with applications on recoater streaking in an additive manufacturing process (2025) Rapid prototyping journal, 31(10) , 2119-2132 . Stribos, R. , Bouman, R. , Jimenez, L. , Slot, M. & Stoelinga, M. I. A. https://doi.org/10.1108/RPJ-03-2024-0125 Experimenting with Reaction Systems using Graph Transformation and GROOVE (2025) Natural Computing, 24(4) , 1075-1099 . Bruni, R. & Rensink, A. https://doi.org/10.1007/s11047-025-10045-6 Fault Tree Reliability Analysis via Squarefree Polynomials: Mathematical and Experimental Analysis (2025) SN Computer Science, 6(8) . Article 965 . Lopuhaä-Zwakenberg, M. https://doi.org/10.1007/s42979-025-04450-y Preserving provability over GPU program optimizations with annotation-aware transformations (2025) Formal methods in system design, 67(3) , 316-372 . Şakar, Ö. , Safari, M. , Huisman, M. & Wijs, A. https://doi.org/10.1007/s10703-025-00480-7 Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) (2025) [Working paper › Preprint] . ArXiv.org . D'Argenio, P. R. , Hartmanns, A. , Wienhöft, P. & van Wijk, M. https://doi.org/10.48550/arXiv.2511.13460 Probabilistic Verification for Modular Network-on-Chip Systems (extended version) (2025) [Working paper › Preprint] . ArXiv.org . Waddoups, N. , Boe, J. , Hartmanns, A. , Basu, P. , Roy, S. , Chakraborty, K. & Zhang, Z. https://doi.org/10.48550/arXiv.2511.13890 Closures and heavy pairs for hamiltonicity (2025) Discrete applied mathematics, 375 , 25-37 . Shang, W. , Broersma, H. , Zhang, S. & Li, B. https://doi.org/10.1016/j.dam.2025.05.028 DMC Model Checker: Delta-driven variable-length next-state generation via recursive compression (2025) [Thesis › PhD Thesis - Research UT, graduation UT] . University of Twente . van der Berg, F. I. https://doi.org/10.3990/1.9789036569149 Spectral Analysis of Normalized Hermitian Laplacian Matrices in Random Mixed Graphs (2025) Annals of Combinatorics (E-pub ahead of print/First online) . Hu, D. , Broersma, H. , Li, X. & Zhang, S. https://doi.org/10.1007/s00026-025-00786-7 0-1 Laws for LTL and CTL over Random Transition Systems (2025) In Model Checking Software - 31st International Symposium, SPIN 2025, Proceedings (pp. 66-87) (Lecture Notes in Computer Science; Vol. 15945 LNCS) . Springer . Dong, Y. , Lopuhaä-Zwakenberg, M. & Stoelinga, M. https://doi.org/10.1007/978-3-032-06847-7_4 ATM: A Logic for Quantitative Security Properties on Attack Trees (2025) Software and systems modeling (E-pub ahead of print/First online) . Nicoletti, S. M. , Lopuhaä-Zwakenberg, M. , Hahn, E. M. & Stoelinga, M. https://doi.org/10.1007/s10270-025-01323-z C-SHAP for Time Series: An Approach to High-Level Temporal Explanations (2025) [Contribution to conference › Poster] EXPLAINS 2025 . Jutte, A. , Ahmed, F. , Linssen, J. & van Keulen, M. CPSLint: A Domain-Specific Language Providing Data Validation and Sanitisation for Industrial Cyber-Physical Systems (2025) [Working paper › Preprint] . ArXiv.org . Odyurt, U. , Sayilir, Ö. , Stoelinga, M. & Zaytsev, V. https://doi.org/10.48550/arXiv.2510.18651 Bridging the Implementation Gap: Advancements in Model-Based Concurrent Program Verification (2025) [Thesis › PhD Thesis - Research UT, graduation UT] . University of Twente . Rubbens, R. https://doi.org/10.3990/1.9789036569101 Fuzzy Fault Trees: The Fast and the Formal (2025) In Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems : Second International Joint Conference, QEST+FORMATS 2025, Aarhus, Denmark, August 26–28, 2025, Proceedings (pp. 256-274) . Springer . Dang, T. K. N. , Peterseim, B. , Lopuhaä-Zwakenberg, M. & Stoelinga, M. I. A. https://doi.org/10.1007/978-3-032-05792-1_14 A comparative study about the performance of multi-language tools in computation offloading scenarios (2025) Journal of supercomputing, 81(15) . Article 1441 . de Matos, F. , Rego, P. A. L. , Trinta, F. & Castor, F. https://doi.org/10.1007/s11227-025-07921-4 Deductive Verification of Cooperative RTOS Applications (2025) ACM transactions on embedded computing systems, 24(5 s) . Article 131 . Tasche, P. , Herber, P. & Huisman, M. https://doi.org/10.1145/3759251 Verifying an Efficient Algorithm for Computing Bernoulli Numbers (2025) In 16th International Conference on Interactive Theorem Proving, ITP 2025 . Article 35 (Leibniz International Proceedings in Informatics, LIPIcs; Vol. 352) . Dagstuhl . Eberl, M. & Lammich, P. https://doi.org/10.4230/LIPIcs.ITP.2025.35 Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality (extended version) (2025) [Working paper › Preprint] . ArXiv.org . Budde, C. E. , Hartmanns, A. , Meggendorfer, T. , Weininger, M. & Wienhöft, P. https://doi.org/10.48550/arXiv.2509.11859 Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version) (2025) [Working paper › Preprint] . ArXiv.org . Budde, C. E. , Hartmanns, A. , Meggendorfer, T. , Weininger, M. & Wienhöft, P. https://doi.org/10.48550/arXiv.2411.00559 [Artifact] Deductive Verification of Cooperative RTOS Applications (2025) [Dataset Types › Dataset] . 4TU.Centre for Research Data . Tasche, P. , Herber, P. & Huisman, M. https://doi.org/10.4121/62dcf604-3009-4e09-a002-52c12e9504fa DTMC Model Checking by Path Abstraction Revisited (extended version) (2025) [Working paper › Preprint] . ArXiv.org . Hartmanns, A. & Modderman, R. https://doi.org/10.48550/arXiv.2509.02393 Behavior Nets: Context-Aware Behavior Modeling for Code Injection-Based Windows Malware (2025) ACM Transactions on Privacy and Security, 28(3) , 1-29 . Article 33 . Starink, J. , Huisman, M. , Peter, A. & Continella, A. https://doi.org/10.1145/3729228 Fault Tree Synthesis from Knowledge Graphs (2025) [Working paper › Preprint] . ArXiv.org . Ntagengerwa, M. A. , Caltais, G. & Stoelinga, M. https://doi.org/10.48550/arXiv.2509.00129 An Ontological Lens on Attack Trees: Toward Adequacy and Interoperability (2025) In Formal Ontology in Information Systems - Proceedings of the 15th International Conference, FOIS 2025 (pp. 151-165) (Frontiers in Artificial Intelligence and Applications; Vol. 409) . IOS . Oliveira, Í. , Nicoletti, S. M. , Engelberg, G. , Fumagalli, M. , Klein, D. & Guizzardi, G. https://doi.org/10.3233/FAIA250491 An Overview of Sound and Modest Approaches to Quantitative Model Checking from Sea to Space (2025) In 30th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2025) (pp. 21-36) (Lecture Notes in Computer Science; Vol. 16040 LNCS) . Springer . Hartmanns, A. https://doi.org/10.1007/978-3-032-00942-5_2 Ontology-Driven Software Development: Generating Java Code from OntoUML (2025) In Formal Ontology in Information Systems - Proceedings of the 15th International Conference, FOIS 2025 (pp. 166-180) (Frontiers in Artificial Intelligence and Applications; Vol. 409) . IOS . Grievink, G. , Ferreira Pires, L. , Rebelo Moreira, J. L. & Rensink, A. https://doi.org/10.3233/FAIA250492 Extract, model, refine: improved modelling of program verification tools through data enrichment (2025) Software and systems modeling, 24(4) , 1293-1313 . Lathouwers, S. , Liu, Y. & Zaytsev, V. https://doi.org/10.1007/s10270-024-01232-7 Reproducibility and replication of research results: A special issue for RRRR 2022 (2025) International journal on software tools for technology transfer, 27(4) , 397-401 . Beyer, D. & Hartmanns, A. https://doi.org/10.1007/s10009-025-00816-y Time for Quiescence: Modelling quiescent behaviour in testing via time-outs in timed automata (2025) [Working paper › Preprint] . ArXiv.org . Briones, L. B. , Gerhold, M. , van den Bos, P. & Stoelinga, M. https://doi.org/10.48550/arXiv.2507.18205 A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs (2025) In Computer Aided Verification: 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II (pp. 122-146) (Lecture Notes in Computer Science; Vol. 15932) . Springer . Kohlen, B. , Schäffeler, M. , Abdulaziz, M. , Hartmanns, A. & Lammich, P. https://doi.org/10.1007/978-3-031-98679-6_6 Greening AI-enabled Systems with Software Engineering: A Research Agenda for Environmentally Sustainable AI Practices (2025) Software engineering notes, 50(3) , 14-23 . Cruz, L. , Fernandes, J. P. , Kirkeby, M. H. , Martínez-Fernández, S. , Sallou, J. , Anwar, H. , Barba Roque, E. , Bogner, J. , Castaño, J. , Castor, F. , Chasmawala, A. , Cunha, S. , Feitosa, D. , González, A. , Jedlitschka, A. , Lago, P. , Muccini, H. , Oprescu, A. , Rani, P. , … Yamshchikov, I. P. https://doi.org/10.1145/3743095.3743099 Safe Journeys: Scalable Algorithms and Tools for Safety and Security Assurance of Autonomous Vehicles (2025) [Thesis › PhD Thesis - Research external, graduation UT] . University of Twente . Dhonthi Ramesh Babu, A. https://doi.org/10.3990/1.9789036566643 AI-Powered, But Power-Hungry? Energy Efficiency of LLM-Generated Code (2025) In Proceedings - 2025 IEEE/ACM 2nd International Conference on AI Foundation Models and Software Engineering, FORGE 2025 (pp. 49-60) . IEEE . Solovyeva, L. , Weidmann, S. & Castor, F. https://doi.org/10.1109/Forge66646.2025.00012 Preface for the special issue on selected software artifacts from DisCoTec 2023: The 18th International Federated Conference on Distributed Computing Techniques (2025) Science of computer programming, 243 . Article 103255 . Casadei, R. , Vielmo Cogo, V. , van Dijk, T. & Scalas, A. https://doi.org/10.1016/j.scico.2024.103255 An ontological lens on attack trees: Toward adequacy and interoperability (2025) [Working paper › Preprint] . ArXiv.org . Oliveira, Í. , Nicoletti, S. M. , Engelberg, G. , Fumagalli, M. , Klein, D. & Guizzardi, G. https://doi.org/10.48550/arXiv.2506.23841 BayesL: Towards a Logical Framework for Bayesian Networks (2025) [Working paper › Preprint] . ArXiv.org . Nicoletti, S. M. & Stoelinga, M. https://doi.org/10.48550/arXiv.2506.23773 Querying Attack-Fault-Defense Trees: Property Specification in Smart Grid and Aerospace Case Studies (2025) [Working paper › Preprint] . ArXiv.org . Soltani, R. , Nicoletti, S. M. , Lopuhaä-Zwakenberg, M. & Stoelinga, M. https://doi.org/10.48550/arXiv.2506.23789 Watchdog: An ontology-aWare risk AssessmenT approaCH via object-oriented DisruptiOn Graphs (2025) [Working paper › Preprint] . ArXiv.org . Nicoletti, S. M. , Hahn, E. M. , Fumagalli, M. , Guizzardi, G. & Stoelinga, M. https://doi.org/10.48550/arXiv.2412.13964 Automation Support for Giving Feedback in Learning Programming by Doing (2025) In ITiCSE 2025 - Proceedings of the 30th ACM Conference on Innovation and Technology in Computer Science Education (pp. 832-833) (Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE; Vol. 2) . Association for Computing Machinery (ACM) . Rump, A. https://doi.org/10.1145/3724389.3731300 CoCoCoLa: Code Completion Control Language (2025) In GPCE 2025 : Proceedings of the 24th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (pp. 1-12) . Association for Computing Machinery, Inc . Nhat & Zaytsev, V. https://doi.org/10.1145/3742876.3742883 Comparative Analysis of Pre-trained Code Language Models for Automated Program Repair via Code Infill Generation (2025) In GPCE 2025: Proceedings of the 24th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (pp. 13-26) . Association for Computing Machinery, Inc . Moghadam, I. H. , Lijzenga, O. & Zaytsev, V. https://doi.org/10.1145/3742876.3742881 FPGA innovation research in the Netherlands: present landscape and future outlook (2025) Frontiers in High Performance Computing, 3 . Article 1572844 . Alachiotis, N. , van den Belt, S. , van der Vlugt, S. , van der Walle, R. , Safari, M. , Endres Forlin, B. , De Matteis, T. , Al-Ars, Z. , Jordans, R. , Sousa de Almeida, A. J. , Corradi, F. , Baaij, C. & Varbanescu, A.-L. https://doi.org/10.3389/fhpcp.2025.1572844 Time-Sensitive Importance Splitting (2025) [Working paper › Preprint] . ArXiv.org . Dengler, G. , Budde, C. E. , Carnevali, L. & Hartmanns, A. https://doi.org/10.48550/arXiv.2506.19568 Fuzzy Fault Trees: the Fast and the Formal (2025) [Working paper › Preprint] . ArXiv.org . Dang, T. K. N. , Peterseim, B. , Lopuhaä-Zwakenberg, M. & Stoelinga, M. https://doi.org/10.48550/arXiv.2507.02886 Verified Parameterized Choreographies (2025) In Coordination Models and Languages - 27th IFIP WG 6.1 International Conference, COORDINATION 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Proceedings (pp. 50-69) (Lecture Notes in Computer Science; Vol. 15731 LNCS) . Springer . Rubbens, R. , van den Bos, P. & Huisman, M. https://doi.org/10.1007/978-3-031-95589-1_3 Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata (2025) [Working paper › Preprint] . ArXiv.org . Blohm, P. , Schulz, F. , Willemsen, L. , Remke, A. & Herber, P. https://doi.org/10.48550/arXiv.2506.14581 WATCHDOG: An ontology-aWare risk AssessmenT approaCH via object-oriented DisruptiOn Graphs (2025) In Advanced Information Systems Engineering: 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025. Proceedings, Part II (pp. 314-331) (Lecture Notes in Computer Science; Vol. 15702 LNCS) . Springer . Nicoletti, S. M. , Hahn, E. M. , Fumagalli, M. , Guizzardi, G. & Stoelinga, M. https://doi.org/10.1007/978-3-031-94571-7_18 Counterexample-Guided Abstraction Refinement for Generalized Graph Transformation Systems (2025) In Graph Transformation - 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Proceedings: 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11–12, 2025, Proceedings (pp. 157-176) (Lecture Notes in Computer Science; Vol. 15720 LNCS) . Springer . König, B. , Rensink, A. , Stoltenow, L. & Urrigshardt, F. https://doi.org/10.1007/978-3-031-94706-3_8 Language Models in Software Development Tasks: An Experimental Analysis of Energy and Accuracy (2025) In 2025 IEEE/ACM 22nd International Conference on Mining Software Repositories, MSR 2025 (pp. 725-736) . IEEE . Alizadeh, N. , Belchev, B. , Saurabh, N. , Kelbert, P. & Castor, F. https://doi.org/10.1109/MSR66628.2025.00109 Mining Frequent Structures in Conceptual Models (2025) Software and systems modeling (E-pub ahead of print/First online) . Fumagalli, M. , Prince Sales, T. , Favato Barcelos, P. P. , Micale, G. , Glaser, P.-L. , Bork, D. , Zaytsev, V. , Calvanese, D. & Guizzardi, G. https://doi.org/10.1007/s10270-025-01295-0 Sequential Composition of BDD Transition Systems for Model-Based Testing (2025) In Formal Techniques for Distributed Objects, Components, and Systems - 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Proceedings (pp. 36-54) (Lecture Notes in Computer Science; Vol. 15732 LNCS) . Springer . Zameni, T. , van den Bos, P. , Foederer, J. & Rensink, A. https://doi.org/10.1007/978-3-031-95497-9_3 Introducing automated testing to video game development via Behaviour-Driven Development (2025) [Contribution to conference › Paper] 21st European Conference on Modelling Foundations and Applications, ECMFA 2025 . Mulder, M. & van den Bos, P. https://conf.researchr.org/details/staf-2025/ecmfa-2025-papers/13/Introducing-automated-testing-to-video-game-development-via-Behaviour-Driven-Developm Rare Event Simulation for Stochastic Hybrid Systems Using Symbolic Importance Functions (2025) In NASA Formal Methods: 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11–13, 2025, Proceedings (pp. 254-274) (Lecture Notes in Computer Science; Vol. 15682) . Springer . Niehage, M. , da Silva, C. , Remke, A. & Hartmanns, A. https://doi.org/10.1007/978-3-031-93706-4_15 Artifact to the paper "A Fast and Verified Probabilistic Model Checking Pipeline for Minimal Reachability Probabilities" (2025) [Dataset Types › Dataset] . 4TU.Centre for Research Data . Kohlen, B. https://doi.org/10.4121/37ae9db3-6a3d-4191-88c8-b843c12223b7 Conformance in the railway industry: Single-Input-Change testing a EULYNX controller (2025) International journal on software tools for technology transfer, 27(3) , 377-395 . Wal, D. v. , Gerhold, M. , Stoelinga, M. & Rensink, A. https://doi.org/10.1007/s10009-025-00790-5 Optimal spare management via statistical model checking: a case study in research reactors (2025) International journal on software tools for technology transfer, 27(3) , 361-376 . Soltani, R. , Volk, M. , Diamonte, L. , Lopuhaä-Zwakenberg, M. & Stoelinga, M. https://doi.org/10.1007/s10009-025-00791-4 Requirements for an Automated Assessment Tool for Learning Programming by Doing (2025) In 2025 IEEE Conference on Software Testing, Verification and Validation, ICST 2025 (pp. 679-686) . IEEE . Rump, A. , Zaytsev, V. & Mader, A. https://doi.org/10.1109/ICST62969.2025.10988998 Leveraging Search-Based and Pre-Trained Code Language Models for Automated Program Repair (2025) In SAC '25: Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing (pp. 1627-1636) . Association for Computing Machinery (ACM) . Lijzenga, O. , Hemati Moghadam, I. & Zaytsev, V. https://doi.org/10.1145/3672608.3707774 Affective Mirroring in Video Game NPCs: A Pilot Study Evaluating Player Engagement (2025) In Proceedings of the 20th International Conference on the Foundations of Digital Games, FDG 2025 . Article 60 . Association for Computing Machinery . Šinković, H. , Gómez-Maureira, M. A. & Gerhold, M. https://doi.org/10.1145/3723498.3723835 Estimating the costs and analysing the precision of several diagnostic and treatment approaches for obstructive sleep apnea patients in the Netherlands, using timed automata modelling (2025) Computers in biology and medicine, 189( 109910) . Article 109910 . Wetselaar-Glas, M. J. M. , Voortman, N. , van Mechelen, P.-H. , Wetselaar, P. & Langerak, R. https://doi.org/10.1016/j.compbiomed.2025.109910 Introducing automated testing to video game development via Behaviour-Driven Development (2025) Journal of object technology, 24(2) , 1-14 . Mulder, M. & van den Bos, P. https://doi.org/10.5381/jot.2025.24.2.a5 Path Extendable Tournaments (2025) [Working paper › Preprint] . ArXiv.org . Zhang, Z.-B. , He, W. , Broersma, H. & Zhang, X. https://doi.org/10.48550/arXiv.2504.21653 Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality (experimental reproduction package) (2025) [Dataset Types › Dataset] . Zenodo . Budde, C. E. , Hartmanns, A. , Meggendorfer, T. , Weininger, M. & Wienhöft, P. https://doi.org/10.5281/zenodo.15286508 Time-sensitive Importance Splitting (experimental reproduction package) (2025) [Dataset Types › Dataset] . Zenodo . Dengler, G. , Budde, C. E. , Carnevali, L. & Hartmanns, A. https://doi.org/10.5281/zenodo.15286765 Artifact for Paper: Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata (2025) [Dataset Types › Dataset] . Zenodo . Blohm, P. , Schulz, F. , Willemsen, L. , Remke, A. & Herber, P. https://doi.org/10.5281/zenodo.15273669 PyDSMC (2025) [Dataset Types › Dataset] . Zenodo . Gros, T. P. , Hartmanns, A. , Hoese, I. , Meyer, J. , Müller, N. J. & Wolf, V. https://doi.org/10.5281/zenodo.15267297 Artifact for the paper "A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs" (2025) [Dataset Types › Dataset] . Zenodo . Kohlen, B. , Maximilian, S. , Abdulaziz, M. , Hartmanns, A. , Lammich, P. & Schäffeler, M. https://doi.org/10.5281/zenodo.15228403 C-SHAP for time series: An approach to high-level temporal explanations (2025) [Working paper › Preprint] . ArXiv.org . Jutte, A. , Ahmed, F. , Linssen, J. & van Keulen, M. https://doi.org/10.48550/ARXIV.2504.11159 Artifact for the paper "A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs" (2025) [Dataset Types › Dataset] . 4TU.Centre for Research Data . Kohlen, B. , Schäffeler, M. , Abdulaziz, M. , Hartmanns, A. & Lammich, P. https://doi.org/10.4121/bf0fef24-4f0f-4de6-a58d-07b9ba601804 Comparing Statistical, Analytical, and Learning-Based Routing Approaches for Delay-Tolerant Networks (2025) ACM transactions on modeling and computer simulation, 35(2) . Article 10 . D'Argenio, P. R. , Fraire, J. , Hartmanns, A. & Raverta, F. https://doi.org/10.1145/3665927 Counterexample-Guided Abstraction Refinement for Generalized Graph Transformation Systems: Full Version (2025) [Working paper › Preprint] . ArXiv.org . König, B. , Rensink, A. , Stoltenow, L. & Urrigshardt, F. https://doi.org/10.48550/arXiv.2504.08617 Reproduction Package for FMICS 2025 Submission `Auto-SV Annotator: Integrating Deductive and Automatic Software Verification' (2025) [Dataset Types › Dataset] . Zenodo . Lingsch-Rosenfeld, M. , Beyer, D. , Huisman, M. & Armborst, L. https://doi.org/10.5281/zenodo.15199589 Artefact for paper "Introducing automated testing to video game development via Behaviour-Driven Development" (2025) [Dataset Types › Dataset] . Zenodo . Mulder, M. & van den Bos, P. https://doi.org/10.5281/zenodo.15187758 Artifact for Paper Foundations for Deductive Verification of Continuous Probabilistic Programs (2025) [Dataset Types › Dataset] . Zenodo . Batz, K. , Katoen, J.-P. , Randone, F. & Winkler, T. https://doi.org/10.5281/zenodo.14930103 Safety and Security Risk Mitigation in Satellite Missions via Attack-Fault-Defense Trees (2025) [Working paper › Preprint] . ArXiv.org . Soltani, R. , Diale, P. , Lopuhaä-Zwakenberg, M. & Stoelinga, M. https://doi.org/10.48550/arXiv.2504.00988 Turán Numbers for Vertex-disjoint Triangles and Pentagons (2025) Acta Mathematica Sinica (English Series), 41(4) , 1181-1195 . Wu, F. , Broersma, H. , Zhang, S. & Li, B. https://doi.org/10.1007/s10114-025-3272-9 With a little help from your friends: semi-cooperative games via Joker moves (2025) Logical methods in computer science, 21(1) , 1-39 . Bos, P. v. d. & Stoelinga, M. https://doi.org/10.46298/lmcs-21(1:26)2025 What is... the point?: Single-input-change testing a EULYNX controller (2025) [Thesis › PhD Thesis - Research UT, graduation UT] . University of Twente . van der Wal, D. https://doi.org/10.3990/1.9789036565042 Reproduction Package for SPIN 2025 Submission 'Auto-SV Annotator: Integrating Deductive and Automatic Software Verification' (2025) [Dataset Types › Dataset] . Zenodo . Lingsch-Rosenfeld, M. , Beyer, D. , Huisman, M. & Armborst, L. https://doi.org/10.5281/zenodo.14883218 List Edge Colorings of Planar Graphs without Non-induced 7-cycles (2025) Acta Mathematica Sinica (English Series), 41(3) , 1037-1054 . Zhang, L. , Broersma, H. , Lu, Y. & Zhang, S. https://doi.org/10.1007/s10114-025-2761-1 Generalized Crowns in Linear r-Graphs (2025) The Electronic journal of combinatorics, 32(1) . Article #P1.29 . Zhang, L.-P. , Broersma, H. & Wang, L. https://doi.org/10.37236/12721 Verified Parameterized Choreographies Technical Report (2025) [Working paper › Preprint] . ArXiv.org . Rubbens, R. , van den Bos, P. & Huisman, M. https://doi.org/10.48550/arXiv.2502.15382 Artefact of: Verified Parameterized Choreographies (2025) [Dataset Types › Dataset] . Zenodo . Rubbens, R. , van den Bos, P. & Huisman, M. https://doi.org/10.5281/zenodo.14900264 Executable BDD Scenario Models for RobotframeworkMBT (2025) [Dataset Types › Dataset] . Zenodo . Zameni, T. & Foederer, J. https://doi.org/10.5281/zenodo.14892704 Supporting software for the paper: Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller (Extended Version) (2025) [Dataset Types › Dataset] . 4TU.Centre for Research Data . van der Wal, D. , Gerhold, M. , Rensink, A. & Stoelinga, M. https://doi.org/10.4121/49fe4e0a-a92a-4fd6-b567-9dd408ff9867 Safety and Security Dependencies for Gridshield (2025) In IEEE PES Innovative Smart Grid Technologies Europe, ISGT EUROPE 2024 . IEEE . Soltani, R. , Ozceylan, B. , Lopuhaä-Zwakenberg, M. , Kolb, C. & Hoogsteen, G. https://doi.org/10.1109/ISGTEUROPE62998.2024.10863084 Reliability and maintenance for engineering systems: Faulttrees, degradation modelling and maintenance optimisation (2025) [Thesis › PhD Thesis - Research UT, graduation UT] . University of Twente . Jimenez, L. https://doi.org/10.3990/1.9789036564076 AI-Powered, But Power-Hungry?: Energy Efficiency of LLM-Generated Code (2025) [Working paper › Preprint] . ArXiv.org . Solovyeva, L. , Weidmann, S. & Castor, F. Toward an ontology-based modeling for risk management (2025) [Contribution to conference › Paper] 18th International Workshop on Value Modelling and Business Ontologies, VMBO 2025 . Oliveira, Í. , Nicoletti, S. M. , Fumagalli, M. , Engelberg, G. & Guizzardi, G. https://www.researchgate.net/publication/389385170_Toward_an_ontology-based_modeling_for_risk_management Reducing Late Night Snacking: Exploring the Potential of Ambient Tangible Interfaces (2025) [Contribution to conference › Poster] 10th Dutch Biomedical Engineering Conference, BME 2025 . Jeuring, J. , Epa Ranasinghe, C. M. & Gerhold, M. A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs (2025) [Working paper › Preprint] . ArXiv.org . Kohlen, B. , Schäffeler, M. , Abdulaziz, M. , Hartmanns, A. & Lammich, P. https://doi.org/10.48550/arXiv.2501.10127 Sound Statistical Model Checking for Probabilities and Expected Rewards (experimental reproduction package) (2025) [Dataset Types › Dataset] . Zenodo . Budde, C. E. , Hartmanns, A. , Meggendorfer, T. , Weininger, M. & Wienhöft, P. https://doi.org/10.5281/zenodo.14602066 Attack-Defense Trees with Offensive and Defensive Attributes (2025) In 2025 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) (pp. 358-370) (Proceedings - Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN); Vol. 2025) . Copae, D.-V. , Soltani, R. & Lopuhaä-Zwakenberg, M. https://doi.org/10.1109/DSN64029.2025.00044 Breaking Barriers: Strategies for Achieving Equity in Academic Careers in ICT/Informatics/STEM (2025) In Actions for Gender Balance in Informatics Across Europe (pp. 243-267) . Springer . Silva, P. A. , Murphy, B. , Echihabi, K. , Tuma, K. , Diaz, P. , Lorenz, B. & Huisman, M. https://doi.org/10.1007/978-3-031-78432-3_11 Sound Statistical Model Checking for Probabilities and Expected Rewards (2025) In Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Proceedings (pp. 167-190) (Lecture Notes in Computer Science; Vol. 15696 LNCS) . Springer . Budde, C. E. , Hartmanns, A. , Meggendorfer, T. , Weininger, M. & Wienhöft, P. https://doi.org/10.1007/978-3-031-90643-5_9 Tests and Proofs - 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings (2025) [Book/Report › Book editing] . Springer . Huisman, M. & Howar, F. https://doi.org/10.1007/978-3-031-72044-4 Toward Automated UML Diagram Assessment: Comparing LLM-Generated Scores with Teaching Assistants (2025) In Proceedings of the 17th International Conference on Computer Supported Education, CSEDU 2025 (pp. 158-169) (International Conference on Computer Supported Education, CSEDU - Proceedings; Vol. 2025) . Science and Technology Publications, Lda . Bouali, N. , Gerhold, M. , Ul Rehman, T. & Ahmed, F. https://doi.org/10.5220/0013481900003932 Turán numbers of general star forests in hypergraphs (2025) Discrete mathematics, 348(1) . Article 114219 . Zhang, L. P. , Broersma, H. & Wang, L. https://doi.org/10.1016/j.disc.2024.114219 Understanding Code Understandability Improvements in Code Reviews (2025) IEEE transactions on software engineering, 51(1) , 14-37 . Article 10670481 . Oliveira, D. , Santos, R. , De Oliveira, B. , Monperrus, M. , Castor, F. & Madeiral, F. https://doi.org/10.1109/TSE.2024.3453783 With a little help from your friends: semi-cooperative games via Joker moves (2025) Logical methods in computer science, 21(1) , 1-39 . van den Bos, P. & Stoelinga, M. https://doi.org/10.46298/lmcs-21(1:26)2025
2024
Digging for Decision Trees: A Case Study in Strategy Sampling and Learning (2024) In Bridging the Gap Between AI and Reality - Second International Conference, AISoLA 2024, Crete, Greece, October 30 - November 3, 2024, Proceedings (pp. 354-378) (Lecture Notes in Computer Science; Vol. 15217) . Springer . Budde, C. E. , D'Argenio, P. R. & Hartmanns, A. https://doi.org/10.1007/978-3-031-75434-0_24 Benchmark Data for The Revised Practitioner's Guide to MDP Model Checking Algorithms (2024) [Dataset Types › Dataset] . Zenodo . Hartmanns, A. , Junges, S. , Quatmann, T. & Weininger, M. https://doi.org/10.5281/zenodo.14500423 Digging for Decision Trees: A Case Study in Strategy Sampling and Learning (2024) [Working paper › Preprint] . ArXiv.org . Budde, C. E. , D'Argenio, P. R. & Hartmanns, A. https://doi.org/10.48550/arXiv.2412.05476 Greening container terminals through optimization: a systematic review on recent advances (2024) Current opinion in environmental sustainability, 71 . Article 101490 . Lalla-Ruiz, E. , López-Plata, I. , Expósito-Izquierdo, C. , Barrios-Fleitas, Y. & González-Ramírez, R. G. https://doi.org/10.1016/j.cosust.2024.101490 Provable Privacy Advantages of Decentralized Federated Learning via Distributed Optimization (2024) IEEE transactions on information forensics and security, 20 , 822-838 . Yu, W. , Li, Q. , Lopuhaa-Zwakenberg, M. , Christensen, M. G. & Heusdens, R. https://doi.org/10.1109/TIFS.2024.3516564 Autonomous Vehicles Path Planning Under Temporal Logic Specifications (2024) In Formal Methods: Foundations and Applications: 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024. Proceedings (pp. 35-45) (Lecture Notes in Computer Science; Vol. 15403) . Springer . Dhonthi Ramesh Babu, A. , Schischka, N. , Hahn, E. M. & Hashemi, V. https://doi.org/10.1007/978-3-031-78116-2_3 Automated Invariant Generation for Efficient Deductive Reasoning About Embedded Systems (2024) In Software Engineering and Formal Methods: 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024. Proceedings (pp. 404-422) (Lecture Notes in Computer Science; Vol. 15280) . Springer . Tasche, P. , Herber, P. & Huisman, M. https://doi.org/10.1007/978-3-031-77382-2_23 Deductive Verification of SYCL in VerCors (2024) In Software Engineering and Formal Methods: 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024. Proceedings (pp. 182-199) (Lecture Notes in Computer Science; Vol. 15280) . Springer . Wittingen, E. , Huisman, M. & Şakar, Ö. https://doi.org/10.1007/978-3-031-77382-2_11 Formal Verification of Cyber-Physical Systems Using Domain-Specific Abstractions (2024) In Software Engineering and Formal Methods: 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024. Proceedings (pp. 3-21) (Lecture Notes in Computer Science; Vol. 15280) . Springer . Herber, P. , Adelt, J. & Tasche, P. https://doi.org/10.1007/978-3-031-77382-2_1 Leveraging Search-Based and Pre-Trained Code Language Models for Automated Program Repair (2024) [Dataset Types › Dataset] . Zenodo . Lijzenga, O. , Hemati Moghadam, I. & Zaytsev, V. https://doi.org/10.5281/zenodo.14222431 How hard can it be? Quantifying MITRE attack campaigns with attack trees and cATM logic (experimental reproduction package) (2024) [Dataset Types › Dataset] . Zenodo . Nicoletti, S. M. , Lopuhaä-Zwakenberg, M. , Stoelinga, M. , Massacci, F. & Budde, C. E. https://doi.org/10.5281/zenodo.14193935 Making ETAPS Gold Open Access (2024) In Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III (pp. 487-500) (Lecture Notes in Computer Science; Vol. 15262) . Springer . Hermanns, H. & Huisman, M. https://doi.org/10.1007/978-3-031-75778-5_23 Measured Causes: Adding Time and Probability to True Concurrency: Ten Papers with Pisa and Twente (2024) In Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III (pp. 297-308) (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 15262 LNCS) . Springer . Brinksma, E. , Langerak, R. , Latella, D. & Massink, M. https://doi.org/10.1007/978-3-031-75778-5_14 Modular Criticality Analysis for Dynamic Fault Trees (2024) In Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III (pp. 274-293) (Lecture Notes in Computer Science; Vol. 15262) . Springer . Sher, F. , Stoelinga, M. & Volk, M. https://doi.org/10.1007/978-3-031-75778-5_13 Solving Parity Games, Very Slowly (2024) In Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III (pp. 446-465) (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 15262 LNCS) . Springer . van Dijk, T. https://doi.org/10.1007/978-3-031-75778-5_21 Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III (2024) [Book/Report › Book editing] . Springer . Jansen, N. , Junges, S. , Kaminski, B. L. , Matheja, C. , Noll, T. , Quatmann, T. , Stoelinga, M. & Volk, M. https://doi.org/10.1007/978-3-031-75778-5 Bounds for the eccentricity spectral radius of join digraphs with a fixed dichromatic number (2024) Discrete applied mathematics, 357 , 241-257 . Yang, X. , Broersma, H. & Wang, L. https://doi.org/10.1016/j.dam.2024.06.019 Modest Models and Tools for Real Stochastic Timed Systems (2024) In Principles of verification: Cycling the probabilistic landscape: Essays dedicated to Joost-Pieter Katoen on the occasion of his 60th birthday, Part II (pp. 115-142) (Lecture Notes in Computer Science; Vol. 15261) . Springer . Budde, C. E. , D’Argenio, P. R. , Fraire, J. A. , Hartmanns, A. & Zhang, Z. https://doi.org/10.1007/978-3-031-75775-4_6 On Categories of Nested Conditions (2024) In Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I (pp. 393-418) (Lecture Notes in Computer Science; Vol. 15260) . Springer . Rensink, A. & Corradini, A. https://doi.org/10.1007/978-3-031-75783-9_16 Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I (2024) [Book/Report › Book editing] . Springer . Jansen, N. , Junges, S. , Kaminski, B. L. , Matheja, C. , Noll, T. , Quatmann, T. , Stoelinga, M. & Volk, M. https://doi.org/10.1007/978-3-031-75783-9 VeyMont: Choreography-Based Generation of Correct Concurrent Programs with Shared Memory (2024) In Integrated Formal Methods - 19th International Conference, IFM 2024, Proceedings (pp. 217-236) (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 15234 LNCS) . Springer . Rubbens, R. , van den Bos, P. V. & Huisman, M. https://doi.org/10.1007/978-3-031-76554-4_12 Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II (2024) [Book/Report › Book editing] . Springer . Jansen, N. , Junges, S. , Kaminski, B. L. , Matheja, C. , Noll, T. , Quatmann, T. , Stoelinga, M. & Volk, M. https://doi.org/10.1007/978-3-031-75775-4 Artifact for "Modular criticality analysis for dynamic fault trees" (2024) [Dataset Types › Dataset] . Zenodo . Sher, F. , Stoelinga, M. & Volk, M. https://doi.org/10.5281/zenodo.13338380 IterSHAP: An XAI-Based Feature Selection Method for Small High-Dimensional Datasets (2024) In Proceedings of the Future Technologies Conference (FTC) 2024, Volume 2 (pp. 526-545) (Lecture Notes in Networks and Systems; Vol. 1155 LNNS) . Springer . van Mourik, F. , Haeri, M. A. , Bukhsh, F. A. & Ahmed, F. https://doi.org/10.1007/978-3-031-73122-8_35 Growth rates of the bipartite Erdős–Gyárfás function (2024) Journal of graph theory, 107(3) , 597-628 . Li, X. , Broersma, H. & Wang, L. https://doi.org/10.1002/jgt.23149 If a Tree Falls in the Forest: Risk Logics for Safety-Security Analysis (2024) [Thesis › PhD Thesis - Research UT, graduation UT] . University of Twente . Nicoletti, S. M. https://doi.org/10.3990/1.9789036563437 The VerifyThis Collaborative Long-Term Challenge Series (2024) In TOOLympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competitions (pp. 160-170) (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 14550 LNCS) . Springer . Ahrendt, W. , Ernst, G. , Herber, P. , Huisman, M. , Monti, R. E. , Ulbrich, M. & Weigl, A. https://doi.org/10.1007/978-3-031-67695-6_6 Tools at the Frontiers of Quantitative Verification: QComp 2023 Competition Report (2024) In TOOLympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competitions (pp. 90-146) (Lecture Notes in Computer Science; Vol. 14550) . Springer . Andriushchenko, R. , Bork, A. , Budde, C. E. , Češka, M. , Grover, K. , Hahn, E. M. , Hartmanns, A. , Israelsen, B. , Jansen, N. , Jeppson, J. , Junges, S. , Köhl, M. A. , Könighofer, B. , Křetínský, J. , Meggendorfer, T. , Parker, D. , Pranger, S. , Quatmann, T. , Ruijters, E. , … Zhang, Z. https://doi.org/10.1007/978-3-031-67695-6_4 Towards Explainable Machine Learning for Prediction of Disease Progression (2024) Applied artificial intelligence, 38(1) . Article 2423510 . Berendse, S. , Krabbe, J. , Klaus, J. & Ahmed, F. https://doi.org/10.1080/08839514.2024.2423510 Uomo Digitalis (2024) In Ongefilterde expertadviezen voor de digitale overheid (pp. 11-12) . Ministerie BZK . Stoelinga, M. & Waser, J. Modelling of Cyber-Physical Systems through Domain-Specific Languages: Decision, Analysis, Design (2024) In MODELS Companion '24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems (pp. 1170-1179) (Proceedings: MODELS 2024 - ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings) . Association for Computing Machinery . Gerhold, M. , Kouzel, A. , Mangal, H. , Mehmed, S. A. & Zaytsev, V. https://doi.org/10.1145/3652620.3688348 Tracer: A Tool for Race Detection in Software Defined Network Models (2024) [Working paper › Preprint] . ArXiv.org . Caltais, G. , Zangiabady, M. & Zvirbulis, E. https://doi.org/10.48550/arXiv.2410.23763 Avoiding Distractions in Parity Games (2024) In Leveraging Applications of Formal Methods, Verification and Validation: Specification and Verification - 12th International Symposium, ISoLA 2024, Proceedings (pp. 330-352) (Lecture Notes in Computer Science; Vol. 15221) . Springer . van Dijk, T. https://doi.org/10.1007/978-3-031-75380-0_19 Scalable Verification and Validation of Concurrent and Distributed Systems (ScaVeri) (Track Summary) (2024) In Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification - 12th International Symposium, ISoLA 2024, Proceedings (pp. 269-273) (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 15221 LNCS) . Springer . Huisman, M. , Merz, S. & Seceleanu, C. https://doi.org/10.1007/978-3-031-75380-0_15 SpecifyThis Bridging Gaps Between Program Specification Paradigms: Track Introduction (2024) In Leveraging Applications of Formal Methods, Verification and Validation: Specification and Verification: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 Proceedings, Part III (pp. 3-7) (Lecture Notes in Computer Science; Vol. 15221) . Springer . Ernst, G. , Herber, P. , Huisman, M. & Ulbrich, M. https://doi.org/10.1007/978-3-031-75380-0_1 Requirements for an Automated Assesment Tool for Learning Programming by Doing (2024) [Dataset Types › Dataset] . Zenodo . Mader, A. , Rump, A. & Zaytsev, V. https://doi.org/10.5281/zenodo.13992349 On the Privacy Bound of Distributed Optimization and its Application in Federated Learning (2024) In 32nd European Signal Processing Conference, EUSIPCO 2024 - Proceedings (pp. 2232-2236) (European Signal Processing Conference) . European Signal Processing Conference, EUSIPCO . Li, Q. , Lopuhaä-Zwakenberg, M. , Yu, W. & Heusdens, R. https://doi.org/10.23919/eusipco63174.2024.10715187 Multi-Agent Reinforcement Learning for Alternating-Time Logic (2024) In ECAI 2024 - 27th European Conference on Artificial Intelligence, Including 13th Conference on Prestigious Applications of Intelligent Systems, PAIS 2024, Proceedings (pp. 1680-1687) (Frontiers in Artificial Intelligence and Applications; Vol. 392) . IOS . Hahn, E. M. , Perez, M. , Schewe, S. , Somenzi, F. , Trivedi, A. & Wojtczak, D. https://doi.org/10.3233/FAIA240676 Autonomous Vehicles Path Planning under Temporal Logic Specifications (2024) [Working paper › Preprint] . ArXiv.org . Dhonthi, A. , Schischka, N. , Hahn, E. M. & Hashemi, V. https://doi.org/10.48550/arXiv.2410.07845 How hard can it be?: Quantifying MITRE attack campaigns with attack trees and cATM logic (2024) [Working paper › Preprint] . ArXiv.org . Nicoletti, S. M. , Lopuhaä-Zwakenberg, M. , Stoelinga, M. , Massacci, F. & Budde, C. E. https://doi.org/10.48550/arXiv.2410.06692 The Reactive Synthesis Competition (SYNTCOMP): 2018–2021 (2024) International journal on software tools for technology transfer, 26(5) , 551-567 . Jacobs, S. , Pérez, G. A. , Abraham, R. , Bruyère, V. , Cadilhac, M. , Colange, M. , Delfosse, C. , van Dijk, T. , Duret-Lutz, A. , Faymonville, P. , Finkbeiner, B. , Khalimov, A. , Klein, F. , Luttenberger, M. , Meyer, K. , Michaud, T. , Pommellet, A. , Renkin, F. , Schlehuber-Caissier, P. , … Walker, A. https://doi.org/10.1007/s10009-024-00754-1 Turán problems for hypergraphs: avoiding path or star forests (2024) [Thesis › PhD Thesis - Research UT, graduation UT] . University of Twente . Zhang, L. https://doi.org/10.3990/1.9789036562553 Attack Tree Metrics are Operad Algebras (2024) In Proceedings - 2024 IEEE 37th Computer Security Foundations Symposium, CSF 2024 (pp. 665-679) (Proceedings - IEEE Computer Security Foundations Symposium) . IEEE . Lopuhaa-Zwakenberg, M. https://doi.org/10.1109/CSF61375.2024.00005 No Risk, No Fun: A Tutorial on Risk Management (2024) In Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II (pp. 447-468) (Lecture Notes in Computer Science; Vol. 14934) . Springer . Stoelinga, M. https://doi.org/10.1007/978-3-031-71177-0_26 Reusable Specification Patterns for Verification of Resilience in Autonomous Hybrid Systems (2024) In Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024. Proceedings, Part II (pp. 208-228) (Lecture Notes in Computer Science; Vol. 14934) . Springer . Adelt, J. , Mensing, R. & Herber, P. https://doi.org/10.1007/978-3-031-71177-0_14 Efficient Formally Verified Maximal End Component Decomposition for MDPs (2024) In Formal methods: 26th International Symposium, FM 2024 Milan, Italy, September 9-13, 2024. Proceedings, Part I (pp. 206-225) (Lecture Notes in Computer Science; Vol. 14933) . Springer . Hartmanns, A. , Kohlen, B. & Lammich, P. https://doi.org/10.1007/978-3-031-71162-6_11 Safety-Security Analysis via Attack-Fault-Defense Trees: Semantics and Cut Set Metrics (2024) In Computer Safety, Reliability, and Security: 43rd International Conference, SAFECOMP 2024, Florence, Italy, September 18–20, 2024, Proceedings (pp. 218-232) ( Lecture Notes in Computer Science; Vol. 14988) . Springer . Soltani, R. , Lopuhaä-Zwakenberg, M. & Stoelinga, M. https://doi.org/10.1007/978-3-031-68606-1_14 Connected Turán numbers for Berge paths in hypergraphs (2024) [Working paper › Preprint] . ArXiv.org . Zhang, L.-P. , Broersma, H. , Győri, E. , Tompkins, C. & Wang, L. https://doi.org/10.48550/arXiv.2409.03323 Local conditions for Hamiltonicity of graphs (2024) [Thesis › PhD Thesis - Research UT, graduation UT] . University of Twente . Shang, W. https://doi.org/10.3990/1.9789036562478 Refinement of Parallel Algorithms Down to LLVM: Applied to Practically Efficient Parallel Sorting (2024) Journal of automated reasoning, 68(3) . Article 14 . Lammich, P. https://doi.org/10.1007/s10817-024-09701-w Tracer: A Tool for Race Detection in Software Defined Network Models (2024) [Contribution to conference › Paper] 26th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2024 . Caltais, G. , Zangiabady, M. & Zvirbulis, E. Quantitative Comparisons of MITRE ATT&CK Campaigns (2024) [Dataset Types › Dataset] . 4TU.Centre for Research Data . Nicoletti, S. M. , Lopuhaä - Zwakenberg, M. A. , Stoelinga, M. , Massacci, F. & Budde, C. https://doi.org/10.4121/779a6a17-ed5e-4bfc-9068-6a16e3f7d10d Tertiary Review on Explainable Artificial Intelligence: Where Do We Stand? (2024) Machine Learning and Knowledge Extraction, 6(3) , 1997-2017 . van Mourik, F. , Jutte, A. , Berendse, S. E. , Bukhsh, F. A. & Ahmed, F. https://doi.org/10.3390/make6030098 Surpassing Threshold Barriers: Evaluating the Efficacy of Nature-Inspired Algorithms in Detecting Applied Refactorings (2024) In ICCTA '24: Proceedings of the 2024 10th International Conference on Computer Technology Applications (pp. 66-75) . Association for Computing Machinery (ACM) . Hemati Moghadam, I. , Sleurink, M. & Zaytsev, V. https://doi.org/10.1145/3674558.3674568 Tython v0.1 (2024) [Dataset Types › Dataset] . Zenodo . Ntagengerwa, M. A. https://doi.org/10.5281/zenodo.13366852 Fault Tree Inference using Multi-Objective Evolutionary Algorithms and Confusion Matrix-based Metrics (2024) In Formal Methods for Industrial Critical Systems: 29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings (pp. 80-96) . Springer . Jimenez, L. , Rusnac, N. , Volk, M. & Stoelinga, M. I. A. https://doi.org/10.1007/978-3-031-68150-9_5 Verifying a Radio Telescope Pipeline Using HaliVer: Solving Nonlinear and Quantifier Challenges (2024) In Formal Methods for Industrial Critical Systems - 29th International Conference, FMICS 2024, Proceedings (pp. 152-169) (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 14952 LNCS) . Springer . van den Haak, L. B. , Wijs, A. , Huisman, M. & van den Brand, M. https://doi.org/10.1007/978-3-031-68150-9_9 Artifact of: VeyMont: Choreography-Based Generation of Correct Concurrent Programs with Shared Memory (2024) [Dataset Types › Dataset] . Zenodo . Rubbens, R. , Huisman, M. & van den Bos, P. https://doi.org/10.5281/zenodo.13348213 An Intermediate Language to Integrate Behavior-Driven Development Scenarios and Model-Based Testing (2024) In 2024 IEEE International Conference on Software Analysis, Evolution and Reengineering - Companion (SANER-C) (pp. 199-206) . Article 10621723 . IEEE . Zameni, T. , Bos, P. v. d. , Rensink, A. & Tretmans, J. https://doi.org/10.1109/SANER-C62648.2024.00033 On Categories of Nested Conditions (2024) [Working paper › Working paper] . ArXiv.org . Rensink, A. & Corradini, A. https://doi.org/10.48550/arXiv.2408.06196 Extremal values of degree-based entropies of bipartite graphs (2024) Information sciences, 676 . Article 120737 . Cambie, S. , Dong, Y. & Mazzamurro, M. https://doi.org/10.1016/j.ins.2024.120737 Extending Refactoring Detection to Kotlin: A Dataset and Comparative Study (2024) In Proceedings - 2024 IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2024 (pp. 267-271) (Proceedings - IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER); Vol. 2024) . IEEE . Moghadam, I. H. , Afkhami, M. M. , Kamalipour, P. & Zaytsev, V. https://doi.org/10.1109/SANER60148.2024.00034 The Limits of the Identifiable: Challenges in Python Version Identification with Deep Learning (2024) In Proceedings - 2024 IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2024 (pp. 137-146) (Proceedings IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER); Vol. 2024) . IEEE . Gerhold, M. , Solovyeva, L. & Zaytsev, V. https://doi.org/10.1109/SANER60148.2024.00022 Artifact for Paper: (Deductive verification of SYCL in VerCors) (2024) [Dataset Types › Dataset] . 4TU.Centre for Research Data . Şakar, Ö. , Wittingen, E. & Huisman, M. https://doi.org/10.4121/45d37292-cce5-4fb7-8d4e-a1b32cfa3028 Fast and Verified UNSAT Certificate Checking (2024) In Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Proceedings (pp. 439-457) (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 14739 LNAI) . Springer . Lammich, P. https://doi.org/10.1007/978-3-031-63498-7_26 [Artifact] Automated Invariant Generation for Efficient Deductive Reasoning about Embedded Systems (2024) [Dataset Types › Dataset] . 4TU.Centre for Research Data . Tasche, P. , Herber, P. & Huisman, M. https://doi.org/10.4121/86963fe3-cc3f-45c3-b252-00d8780c4a1a Maintenance Strategies for Sewer Pipes with Multi-State Degradation and Deep Reinforcement Learning (2024) In Proceedings of the 8th European Conference of the PHM Society 2024 (pp. 629-642) . Jimenez, L. , Simão, T. D. , Bukhsh, Z. , Tinga, T. , Molegraaf, H. , Jansen, N. & Stoelinga, M. I. A. https://doi.org/10.36001/phme.2024.v8i1.4091 Comparing Homogeneous And Inhomogeneous Time Markov Chains For Modelling Degradation In Sewer Pipe Networks (2024) In European Safety and Reliability Conference (ESREL) (pp. 86-96) . Article 9 . Polish Safety and Reliability Association . Jimenez, L. , Tinga, T. , Heskes, T. & Stoelinga, M. I. A. Artifact for the paper "Efficient Formally Verified Maximal End Component Decomposition for MDPs" (2024) [Dataset Types › Dataset] . 4TU.Centre for Research Data . Kohlen, B. , Hartmanns, A. & Lammich, P. https://doi.org/10.4121/3f2a4539-e69b-4d16-b665-530c1abddfbc Advancing water productivity monitoring: WaPLUGIN for the analysis and validation of FAO WaPOR data in QGIS (2024) International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, 48(4) , 35-41 . Dhonthi, A. , Fonseca Aponte, F. H. , Nemer, Z. , Hadj Ali, C. , Tebbouche, M. Y. & van der Kwast, H. https://doi.org/10.5194/isprs-archives-XLVIII-4-W12-2024-35-2024 Team Effectiveness Data: A Bibliometric Analysis 1992-2022 (2024) [Dataset Types › Dataset] . Zenodo . Barrios Fleitas, Y. d. C. , Hoogeboom, M. A. M. G. , Eysink, T. & Rensink, A. https://doi.org/10.5281/zenodo.12082528 Adopting digital twins for digital management of disasters. Challenges and solutions (2024) [Dataset Types › Dataset] . Zenodo . Aksit, M. https://doi.org/10.5281/zenodo.13123235 Mining Frequent Structures in Conceptual Models (2024) [Working paper › Preprint] . ArXiv.org . Fumagalli, M. , Sales, T. P. , F. Barcelos, P. P. , Micale, G. , Glaser, P.-L. , Bork, D. , Zaytsev, V. , Calvanese, D. & Guizzardi, G. https://doi.org/10.48550/arXiv.2406.07129 Graphs with minimum degree-entropy (2024) Information sciences, 671 . Article 120629 . Dong, Y. , Gadouleau, M. , Wan, P. & Zhang, S. https://doi.org/10.1016/j.ins.2024.120629 RTL Experiments (2024) [Dataset Types › Dataset] . Zenodo . van Dijk, T. https://doi.org/10.5281/zenodo.11265649 Online Graph Coloring with Predictions (2024) In Combinatorial Optimization: 8th International Symposium, ISCO 2024, La Laguna, Tenerife, Spain, May 22–24, 2024, Revised Selected Papers (pp. 289-302) . Antoniadis, A. , Broersma, H. & Meng, Y. https://doi.org/10.1007/978-3-031-60924-4_22 Tools at the Frontiers of Quantitative Verification (2024) [Working paper › Preprint] . ArXiv.org . Andriushchenko, R. , Bork, A. , Budde, C. E. , Češka, M. , Grover, K. , Hahn, E. M. , Hartmanns, A. , Israelsen, B. , Jansen, N. , Jeppson, J. , Junges, S. , Köhl, M. A. , Könighofer, B. , Křetínský, J. , Meggendorfer, T. , Parker, D. , Pranger, S. , Quatmann, T. , Ruijters, E. , … Zhang, Z. https://doi.org/10.48550/arXiv.2405.13583 Surpassing Threshold Barriers: Evaluating the Efficacy of Nature-Inspired Algorithms in Detecting Applied Refactorings (2024) [Dataset Types › Dataset] . Zenodo . Hemati Moghadam, I. , Sleurink, M. & Zaytsev, V. https://doi.org/10.5281/zenodo.10971388 Deriving modernity signatures of codebases with static analysis (2024) The Journal of systems and software, 211 . Article 111973 . Admiraal, C. , van den Brink, W. , Gerhold, M. , Zaytsev, V. & Zubcu, C. https://doi.org/10.1016/j.jss.2024.111973 Model-based source code refactoring with interaction and visual cues (2024) Journal of software, 36(5) . Article e2596 . Hemati Moghadam, I. , Ó Cinnéide, M. , Sardarian, A. & Zarepour, F. https://doi.org/10.1002/smr.2596 Survey of annotation generators for deductive verifiers (2024) The Journal of systems and software, 211 . Article 111972 . Lathouwers, S. & Huisman, M. https://doi.org/10.1016/j.jss.2024.111972 AthenaLLM: Supporting Experiments with Large Language Models in Software Development (2024) In 2024 IEEE/ACM 32nd International Conference on Program Comprehension (ICPC) (pp. 69-73) . Article 10556498 (IEEE International Conference on Program Comprehension; Vol. 2024) . IEEE . Oliveira, B. D. & Castor, F. https://doi.org/10.1145/3643916.3644437 The complexity of spanning tree problems involving graphical indices (2024) Discrete applied mathematics, 347 , 143-154 . Dong, Y. , Broersma, H. , Bai, Y. & Zhang, S. https://doi.org/10.1016/j.dam.2024.01.005 Green AI: A Preliminary Empirical Study on Energy Consumption in DL Models Across Different Runtime Infrastructures (2024) In 2024 IEEE/ACM 3rd International Conference on AI Engineering – Software Engineering for AI (CAIN) (pp. 134-139) . Article 10556302 . IEEE . Alizadeh, N. & Castor, F. https://doi.org/10.1145/3644815.3644967 Artifact to supplement the paper: The VerCors Verifier: a Progress Report (2024) [Dataset Types › Dataset] . 4TU.Centre for Research Data . Armborst, L. , Bos, P. , van den Haak, L. , Huisman, M. , Rubbens, R. , Şakar, Ö. & Tasche, P. https://doi.org/10.4121/a5f97e07-9f84-4223-b581-6d2606fe07ba Track on Software Verification and Testing (2024) In 39th Annual ACM Symposium on Applied Computing, SAC 2024 (pp. 1673-1674) . Caltais, G. & Petke, J. A Study on the Battery Usage of Deep Learning Frameworks on iOS Devices (2024) In 2024 IEEE/ACM 11th International Conference on Mobile Software Engineering and Systems (MOBILESoft) (pp. 1-11) . Article 10555898 . Association for Computing Machinery . Jacques, V. , Alizadeh, N. & Castor, F. https://doi.org/10.1145/3647632.3647990 First Steps towards Deductive Verification of LLVM IR (2024) In 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 (pp. 290-303) (Lecture Notes in Computer Science; Vol. 14573) . Oorschot, D. v. , Huisman, M. & Şakar, Ö. https://doi.org/10.1007/978-3-031-57259-3_15 CTMCs with Imprecisely Timed Observations (2024) In Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 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, Part II (pp. 258-278) . Springer . Badings, T. , Volk, M. , Junges, S. , Stoelinga, M. & Jansen, N. https://doi.org/10.1007/978-3-031-57249-4_13 HaliVer: Deductive Verification and Scheduling Languages Join Forces (2024) In Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 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 (pp. 71-89) . Haak, L. B. v. d. , Wijs, A. , Huisman, M. & Brand, M. v. d. https://doi.org/10.1007/978-3-031-57256-2_4 Formal Methods for Industrial Critical Systems (2024) International journal on software tools for technology transfer, 26(2) , 127-129 . Groote, J. F. & Huisman, M. https://doi.org/10.1007/s10009-024-00744-3 Omega-Regular Decision Processes (2024) Proceedings of the AAAI Conference on Artificial Intelligence, 38(19) , 21125-21133 . Hahn, E. M. , Perez, M. , Schewe, S. , Somenzi, F. , Trivedi, A. & Wojtczak, D. https://doi.org/10.1609/aaai.v38i19.30105 SAFEST: Fault Tree Analysis Via Probabilistic Model Checking (2024) In RAMS 2024 - Annual Reliability and Maintainability Symposium, Proceedings (Proceedings - Annual Reliability and Maintainability Symposium) . IEEE . Volk, M. , Sher, F. , Katoen, J. P. & Stoelinga, M. https://doi.org/10.1109/RAMS51492.2024.10457719 The Aα spectral moments of digraphs with a given dichromatic number (2024) Linear algebra and its applications, 685 , 77-103 . Yang, X. , Broersma, H. & Wang, L. https://doi.org/10.1016/j.laa.2023.12.024 The skew spectral radius and skew Randić spectral radius of general random oriented graphs (2024) Linear algebra and its applications, 685 , 125-137 . Hu, D. , Broersma, H. , Hou, J. & Zhang, S. https://doi.org/10.1016/j.laa.2024.01.003 Artefact of: JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java (2024) [Dataset Types › Dataset] . 4TU.Centre for Research Data . Rubbens, R. , Safina, L. , Huisman, M. , Bliudze, S. & van den Bos, P. https://doi.org/10.4121/21763274 Fuzzy Fault Trees Formalized (2024) [Working paper › Preprint] . ArXiv.org . Dang, T. K. N. , Lopuhaä-Zwakenberg, M. & Stoelinga, M. https://doi.org/10.48550/arXiv.2403.08843 Mechanisms for Robust Local Differential Privacy (2024) Entropy, 26(3) . Article 233 . Lopuhaä-Zwakenberg, M. & Goseling, J. https://doi.org/10.3390/e26030233 The Worst-Case Complexity of Symmetric Strategy Improvement (2024) In 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024) (pp. 24.1-24.19) . Article 24 . van Dijk, T. , Loho, G. & Maat, M. T. https://doi.org/10.4230/LIPIcs.CSL.2024.24 Querying Fault and Attack Trees: Property Specification on a Water Network (2024) [Working paper › Preprint] . ArXiv.org . Nicoletti, S. M. , Lopuhaä-Zwakenberg, M. , Hahn, E. M. & Stoelinga, M. https://doi.org/10.48550/arXiv.2401.16015 Fuzzy quantitative attack tree analysis (2024) [Dataset Types › Dataset] . Zenodo . Dang, T. K. N. , Lopuhaä - Zwakenberg, M. A. & Stoelinga, M. I. A. https://doi.org/10.5281/zenodo.10554727 Progress Measures and Tangle Learning algorithm implementation and benchmarks (2024) [Dataset Types › Dataset] . Zenodo . Stekelenburg, A. & van Dijk, T. https://doi.org/10.5281/zenodo.10558315 A note on generalized crowns in linear r-graphs (2024) [Working paper › Preprint] . ArXiv.org . Zhang, L.-P. , Broersma, H. & Wang, L. https://doi.org/10.48550/arXiv.2401.12339 Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry (2024) Electronic proceedings in theoretical computer science, 398 , 85-100 . Quaresma, P. , Graziani, P. & Nicoletti, S. M. https://doi.org/10.4204/EPTCS.398.12 Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry (2024) [Working paper › Preprint] . ArXiv.org . Quaresma, P. , Graziani, P. & Nicoletti, S. M. https://doi.org/10.48550/arXiv.2401.11905 Fuzzy quantitative attack tree analysis (2024) [Working paper › Preprint] . ArXiv.org . Dang, T. K. N. , Lopuhaä-Zwakenberg, M. & Stoelinga, M. https://doi.org/10.48550/arXiv.2401.12346 HaliVer: Deductive Verification and Scheduling Languages Join Forces (2024) [Working paper › Preprint] . ArXiv.org . Haak, L. B. v. d. , Wijs, A. , Huisman, M. & Brand, M. v. d. https://doi.org/10.48550/arXiv.2401.10778 CTMCs with Imprecisely Timed Observations (2024) [Working paper › Preprint] . ArXiv.org . Badings, T. , Volk, M. , Junges, S. , Stoelinga, M. & Jansen, N. https://doi.org/10.48550/arXiv.2401.06574 Artifact for paper (First Steps towards Deductive Verification of LLVM IR) (2024) [Dataset Types › Dataset] . 4TU.Centre for Research Data . Şakar, Ö. F. O. , van Oorschot, D. & Huisman, M. https://doi.org/10.4121/9c8c079e-a941-4a66-89d8-3462bf30ff05 Extending Refactoring Detection to Kotlin: A Dataset and Comparative Study (2024) [Dataset Types › Dataset] . Zenodo . Hemati Moghadam, I. , Mohammad Mehdi, A. , Kamalipour, P. & Zaytsev, V. https://doi.org/10.5281/zenodo.10465264 A note on minimum degree, bipartite holes, and hamiltonian properties (2024) Discussiones mathematicae. Graph theory, 44(2) , 717-726 . Zhou, Q. , Broersma, H. , Wang, L. & Lu, Y. https://doi.org/10.7151/dmgt.2464 Adaptive Differentially Quantized Subspace Perturbation (ADQSP): A Unified Framework for Privacy-Preserving Distributed Average Consensus (2024) IEEE transactions on information forensics and security, 19 , 1780-1793 . Li, Q. , Gundersen, J. S. , Lopuhaä-Zwakenberg, M. & Heusdens, R. https://doi.org/10.1109/TIFS.2023.3343599 AGNES: Abstraction-Guided Framework for Deep Neural Networks Security (2024) In Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, Proceedings (pp. 124-138) (Lecture Notes in Computer Science; Vol. 14500) . Springer . Dhonthi Ramesh Babu, A. , Eiermann, M. , Hahn, E. M. & Hashemi, V. https://doi.org/10.1007/978-3-031-50521-8_6 Algorithms for Fuzzy Attack & Fault Trees (2024) In SafeComp 2024 . Dang, T. K. N. , Lopuhaä-Zwakenberg, M. & Stoelinga, M. I. A. Deductive Verification of Parameterized Embedded Systems Modeled in SystemC (2024) In Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024 London, United Kingdom, January 15–16, 2024 Proceedings, Part II (pp. 187-209) (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 14500 LNCS) . Springer . Tasche, P. , Monti, R. E. , Drerup, S. E. , Blohm, P. , Herber, P. & Huisman, M. https://doi.org/10.1007/978-3-031-50521-8_9 Edge Degree Conditions for Dominating and Spanning Closed Trails (2024) Discussiones mathematicae. Graph theory, 44(1) , 363-381 . Tian, T. , Broersma, H. & Xiong, L. https://doi.org/10.7151/dmgt.2450 ETAPS Foreword (2024) In Foundations of software science and computation structures: 27th International Conference, FoSSaCS 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, Part II (pp. v-vi) (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 14575) . Springer . Huisman, M. https://doi.org/10.1007/978-3-031-57231-9 Fault tree reliability analysis via squarefree polynomials (2024) In Proceedings of the 12th International Conference on Model-Based Software and Systems Engineering MODELSWARD (pp. 39-49) . SCITEPRESS . Lopuhaä-Zwakenberg, M. https://doi.org/10.5220/0012334000003645 Fuzzy quantitative attack tree analysis (2024) [Contribution to conference › Paper] 27th International Conference on Fundamental Approaches to Software Engineering, FASE 2024 . Dang, T. K. N. , Lopuhaä-Zwakenberg, M. & Stoelinga, M. Fuzzy quantitative attack tree analysis (2024) In 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, Proceedings (pp. 210-231) (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 14573 LNCS) . Springer . Dang, T. K. N. , Lopuhaä-Zwakenberg, M. & Stoelinga, M. https://doi.org/10.1007/978-3-031-57259-3_10 Improving JSON Schema Inference by Incorporating User Inputs (2024) CEUR workshop proceedings, 3941 , 146-159 . Broekhuis, S. B. & Zaytsev, V. Integral models of reductive groups and integral Mumford–Tate groups (2024) Annales Henri Lebesgue, 7 . Lopuhaä-Zwakenberg, M. https://doi.org/10.5802/ahl.210 Investigating the Impact of Code Generation Tools (ChatGPT & Github CoPilot) on Programming Education (2024) In Proceedings of the 16th International Conference on Computer Supported Education, CSEDU 2024 (pp. 221-229) (International Conference on Computer Supported Education, CSEDU - Proceedings; Vol. 2) . Science and Technology Publications, Lda . Nizamudeen, F. , Gatti, L. , Bouali, N. & Ahmed, F. https://doi.org/10.5220/0012628000003693 Joining Forces! Reusing Contracts for Deductive Verifiers Through Automatic Translation (2024) In iFM 2023: 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings (pp. 153-171) (Lecture Notes in Computer Science; Vol. 14300) . Springer . Armborst, L. , Lathouwers, S. & Huisman, M. https://doi.org/10.1007/978-3-031-47705-8_9 Knor: reactive synthesis using Oink (2024) In Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings (pp. 103-122) (Lecture Notes in Computer Science; Vol. 14570) . Springer . van Dijk, T. , van Abbema, F. & Tomov, N. https://doi.org/10.1007/978-3-031-57246-3_7 Properly colored and rainbow C4' S in edge-colored graphs (2024) Journal of graph theory, 105(1) , 110-135 . Wu, F. , Broersma, H. , Zhang, S. & Li, B. https://doi.org/10.1002/jgt.23019 Querying Fault and Attack Trees: Property Specification on a Water Network (2024) In 2024 Annual Reliability and Maintainability Symposium (RAMS) (Proceedings, Annual Reliability and Maintainability Symposium) . IEEE . Nicoletti, S. M. , Lopuhaä-Zwakenberg, M. , Hahn, E. M. & Stoelinga, M. https://doi.org/10.1109/RAMS51492.2024.10457796 Sharp bounds for Laplacian spectral moments of digraphs with a fixed dichromatic number (2024) Discrete mathematics, 347(1) . Article 113659 . Yang, X. , Broersma, H. & Wang, L. https://doi.org/10.1016/j.disc.2023.113659 Teaching Assistants as Assessors: An Experience Based Narrative (2024) In Proceedings of the 16th International Conference on Computer Supported Education, CSEDU 2024 (pp. 115-123) (International Conference on Computer Supported Education, CSEDU - Proceedings; Vol. 1) . Science and Technology Publications, Lda . Ahmed, F. , Bouali, N. & Gerhold, M. https://doi.org/10.5220/0012624200003693 The VerCors Verifier: A Progress Report (2024) In Computer Aided Verification - 36th International Conference, CAV 2024, Proceedings: 36th International Conference on Computer Aided Verification (pp. 3-18) (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 14682 LNCS) . Springer . Armborst, L. , Bos, P. , van den Haak, L. B. , Huisman, M. , Rubbens, R. , Şakar, Ö. & Tasche, P. https://doi.org/10.1007/978-3-031-65630-9_1 Unplugged Versus Plugged Gamification – A Comparative Study in Higher Education on Engagement, Motivation and Teachers’ Perception (2024) In Proceedings of TEEM 2023: The Eleventh International Conference on Technological Ecosystems for Enhancing Multiculturality (pp. 93-102) . Association for Computing Machinery . Ho, P. H. , Barrios-Fleitas, Y. & González-González, C. https://doi.org/10.1007/978-981-97-1814-6_9
2023
Artifact for "CTMCs with Imprecisely Timed Observations" (2023) [Dataset Types › Dataset] . Zenodo . Badings, T. , Volk, M. , Junges, S. , Stoelinga, M. & Jansen, N. https://doi.org/10.5281/zenodo.10438984 Fault tree reliability analysis via squarefree polynomials (2023) [Working paper › Preprint] . ArXiv.org . Lopuhaä-Zwakenberg, M. https://doi.org/10.48550/arXiv.2312.05836 Fault tree reliability analysis via squarefree polynomials (2023) [Dataset Types › Dataset] . Zenodo . Lopuhaä-Zwakenberg, M. https://doi.org/10.5281/zenodo.10324544 A manifesto for applicable formal methods (2023) Software and systems modeling, 22(6) , 1737-1749 . Gleirscher, M. , van de Pol, J. & Woodcock, J. https://doi.org/10.1007/s10270-023-01124-2 Artifact of Knor: reactive synthesis using Oink (2023) [Dataset Types › Dataset] . 4TU.Centre for Research Data . van Dijk, T. https://doi.org/10.4121/8794d8c0-5959-42f9-ba34-68f2137145a7 Spectral properties of digraphs with a fixed dichromatic number (2023) [Thesis › PhD Thesis - Research UT, graduation UT] . University of Twente . Yang, X. https://doi.org/10.3990/1.9789036558549 Edge colorings of planar graphs (2023) [Thesis › PhD Thesis - Research UT, graduation UT] . University of Twente . Zhang, L. https://doi.org/10.3990/1.9789036558716 Model-Based Joint Analysis of Safety and Security: Survey and Identification of Gaps (2023) Computer science review, 50 . Article 100597 . Nicoletti, S. M. , Peppelman, M. , Kolb, C. & Stoelinga, M. https://doi.org/10.1016/j.cosrev.2023.100597 Properly colored and rainbow cycles in edge-colored graphs (2023) [Thesis › PhD Thesis - Research UT, graduation UT] . University of Twente . Wu, F. https://doi.org/10.3990/1.9789036558525 Properly colored subgraphs in edge-colored graphs (2023) [Thesis › PhD Thesis - Research UT, graduation UT] . University of Twente . Han, T. https://doi.org/10.3990/1.9789036558693 Artifact for the Paper "Fast Verified SCCs for Probabilistic Model Checking" (2023) [Dataset Types › Dataset] . 4TU.Centre for Research Data . Hartmanns, A. , Kohlen, B. & Lammich, P. https://doi.org/10.4121/aff9f553-0e9e-4ec2-90e0-20c5b6152862 Attack time analysis in dynamic attack trees via integer linear programming (2023) In Software Engineering and Formal Methods: 21st International conference, SEFM 2023 Eindhoven, The Netherlands, November 6-10, 2023 Proceedings (pp. 165-183) (Lecture Notes in Computer Science; Vol. 14323) . Springer . Lopuhaä-Zwakenberg, M. & Stoelinga, M. https://doi.org/10.1007/978-3-031-47115-5_10 Crossover: Towards Compiler-Enabled COBOL-C Interoperability (2023) In GPCE 2023: Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (pp. 72-85) . ACM Press . Assen, M. v. , Ntagengerwa, M. A. , Sayilir, Ö. & Zaytsev, V. https://doi.org/10.1145/3624007.3624055 Fast Verified SCCs for Probabilistic Model Checking (2023) In Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I (pp. 181-202) (Lecture Notes in Computer Science; Vol. 14215) . Springer . Hartmanns, A. , Kohlen, B. & Lammich, P. https://doi.org/10.1007/978-3-031-45329-8_9 Scenario Approach for Parametric Markov Models (2023) In Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Proceedings (pp. 158-180) (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 14215 LNCS) . Springer . Liu, Y. , Turrini, A. , Hahn, E. M. , Xue, B. & Zhang, L. https://doi.org/10.1007/978-3-031-45329-8_8 Solving Queries for Boolean Fault Tree Logic via Quantified SAT (2023) In FTSCS 2023: Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems: 2023 Proceeding (pp. 48-59) . ACM Press . Saaltink, C. , Nicoletti, S. M. , Volk, M. , Hahn, E. M. & Stoelinga, M. https://doi.org/10.1145/3623503.3623535 Exploring annotations for deductive verification (2023) [Thesis › PhD Thesis - Research UT, graduation UT] . University of Twente . Lathouwers, S. https://doi.org/10.3990/1.9789036558464 Understanding and Measuring Inter-Process Code Injection in Windows Malware (2023) In Security and Privacy in Communication Networks: 19th EAI International Conference, SecureComm 2023, Hong Kong, China, October 19-21, 2023, Proceedings, Part II (pp. 490-514) . Starink, J. , Huisman, M. , Peter, A. & Continella, A. https://doi.org/10.1007/978-3-031-64954-7_25 Introduction to the Special Collection from FASE 2021 (2023) Formal aspects of computing, 35(3) . Article 14 . Guerra, E. & Stoelinga, M. https://doi.org/10.1145/3626206 Preface for the formal methods in system design special issue on ‘Formal Methods 2021’ (2023) Formal methods in system design, 61 , 1-2 . Huisman, M. , Păsăreanu, C. S. & Zhan, N. https://doi.org/10.1007/s10703-023-00438-7 Omega-Regular Reward Machines (2023) In ECAI 2023 - 26th European Conference on Artificial Intelligence, including 12th Conference on Prestigious Applications of Intelligent Systems, PAIS 2023 - Proceedings (pp. 972-979) (Frontiers in Artificial Intelligence and Applications; Vol. 372) . IOS . Hahn, E. M. , Perez, M. , Schewe, S. , Somenzi, F. , Trivedi, A. & Wojtczak, D. https://doi.org/10.3233/FAIA230368 Reactive Programming with Swift Combine: An Analysis of Problems Faced by Developers on Stack Overflow (2023) In CBSoft 2023 - Brazilian Conference on Software: Theory and Practice; Proceedings of the 37th Brazilian Symposium on Software Engineering, SBES 2023 (pp. 109-115) (ACM International Conference Proceeding Series) . Association for Computing Machinery . Pereira, A. , Gama, K. , Zimmerle, C. & Castor, F. https://doi.org/10.1145/3613372.3613381 [Artifact] Deductive Verification of Parameterized Embedded Systems modeled in SystemC (2023) [Dataset Types › Dataset] . 4TU.Centre for Research Data . Tasche, P. , Monti, R. E. , Drerup, S. E. , Blohm, P. , Herber, P. & Huisman, M. https://doi.org/10.4121/a7e780c9-87fa-486c-b484-a76a459a9d53 Joining Forces! Reusing Contracts for Deductive Verifiers through Automatic Translation - Supplemental Material (2023) [Dataset Types › Dataset] . 4TU.Centre for Research Data . Armborst, L. , Lathouwers, S. & Huisman, M. https://doi.org/10.4121/73361fbb-2633-4011-b615-cce19d8ac196 ATM: a Logic for Quantitative Security Properties on Attack Trees (2023) [Working paper › Preprint] . ArXiv.org . Nicoletti, S. M. , Lopuhaä-Zwakenberg, M. , Hahn, E. M. & Stoelinga, M. https://doi.org/10.48550/arXiv.2309.09231 Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller (2023) In Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings (pp. 242-258) (Lecture Notes in Computer Science book series; Vol. 14290) . Wal, D. v. d. , Gerhold, M. & Stoelinga, M. https://doi.org/10.1007/978-3-031-43681-9_14 Optimal Spare Management via Statistical Model Checking: A Case Study in Research Reactors (2023) In Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings (pp. 205-223) (Lecture notes in computer science; Vol. 14290) . Springer . Soltani, R. , Volk, M. , Diamonte, L. , Lopuhaä-Zwakenberg, M. & Stoelinga, M. https://doi.org/10.1007/978-3-031-43681-9_12 [Artifact] Deductive Verification of Parameterized Embedded Systems modeled in SystemC (2023) [Dataset Types › Dataset] . Zenodo . Tasche, P. , Monti, R. E. , Drerup, S. E. , Blohm, P. , Herber, P. & Huisman, M. https://doi.org/10.5281/zenodo.8341170 Code Comprehension in a Multi-Paradigm Environment: Background and Experimental Setup (2023) In Proceedings of the 15th Seminar on Advanced Techniques & Tools for Software Evolution, University of Salerno, Computer Science Department - Fisciano (Salerno, Italy), June 12 to 14, 2023 (pp. 1-18) (CEUR Workshop Proceedings; Vol. 3483) . CEUR . Floor, D. , Hees, R. v. & Zaytsev, V. https://dblp.org/rec/conf/sattose/FloorHZ23 Perfecting Nothingness by Refactoring Whitespace (2023) In SATToSE’23: Post-proceedings of the 15th Seminar on Advanced Techniques and Tools for Software Evolution, June 2023, Fisciano, Italy (pp. 19-30) (CEUR Workshop Proceedings; Vol. 3483) . CEUR . Witmans, R. & Zaytsev, V. https://ceur-ws.org/Vol-3483/ Specification Translator: Artifact for iFM 2023 paper "Joining Forces! Reusing Contracts for Deductive Verifiers through Automatic Translation" (2023) [Dataset Types › Dataset] . 4TU.Centre for Research Data . Armborst, L. , Lathouwers, S. & Huisman, M. https://doi.org/10.4121/21e79524-40c4-4dc1-8108-94e7b6fc6d9f The Worst-Case Complexity of Symmetric Strategy Improvement (2023) [Working paper › Preprint] . Dijk, T. v. , Loho, G. & Maat, M. https://doi.org/10.48550/arXiv.2309.02223 Data Fusion Analysis and Synthesis Framework for Improving Disaster Situation Awareness (2023) Drones , 7(9) . Article 565 . Aksit, M. , Say, H. , Eren, M. A. & de Camargo, V. V. https://doi.org/10.3390/drones7090565 Efficient and Generic Algorithms for Quantitative Attack Tree Analysis (2023) IEEE transactions on dependable and secure computing, 20(5) , 4169-4187 . Lopuhaa-Zwakenberg, M. , Budde, C. E. & Stoelinga, M. https://doi.org/10.1109/TDSC.2022.3215752 Polynomial algorithms for computing the isolated toughness of interval and split graphs (2023) Concurrency and computation, 35(17) . Article e6345 . Li, F. , Ye, Q. , Broersma, H. & Zhang, X. https://doi.org/10.1002/cpe.6345 Artefact for "Optimal spare management via statistical model checking: A case study in research reactors" (2023) [Dataset Types › Dataset] . Zenodo . Soltani, R. , Volk, M. , Diamonte, L. A. , Lopuhaä-Zwakenberg, M. & Stoelinga, M. I. A. https://doi.org/10.5281/ZENODO.8199172 Artifact for the ATVA'23 paper "Scenario Approach for Parametric Markov Models" (2023) [Dataset Types › Dataset] . Zenodo . Liu, Y. , Turrini, A. , Hahn, E. M. , Xue, B. & Zhang, L. https://doi.org/10.5281/zenodo.8181117 Supporting software for the paper: Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller (2023) [Dataset Types › Dataset] . 4TU.Centre for Research Data . van der Wal, D. , Gerhold, M. & Stoelinga, M. https://doi.org/10.4121/237905e5-54cc-4a98-abf3-38324d516bf3 Concise Guide to Software Verification: From Model Checking to Annotation Checking (2023) [Book/Report › Book] . Springer . Huisman, M. & Wijs, A. J. https://doi.org/10.1007/978-3-031-30167-4 Attack time analysis in dynamic attack trees via integer linear programming: Matlab code (2023) [Dataset Types › Dataset] . Zenodo . Lopuhaä-Zwakenberg, M. https://doi.org/10.5281/zenodo.8173950 Artifact for the paper Solving Queries for Boolean Fault Tree Logic via Quantified SAT (2023) [Dataset Types › Dataset] . Zenodo . Saaltink, C. , Nicoletti, S. M. , Volk, M. , Hahn, E. M. & Stoelinga, M. https://doi.org/10.5281/zenodo.8172548 Multi-objective ω-Regular Reinforcement Learning (2023) Formal aspects of computing, 35(2) . Article 12 . Hahn, E. M. , Perez, M. , Schewe, S. , Somenzi, F. , Trivedi, A. & Wojtczak, D. https://doi.org/10.1145/3605950 Graph entropy and related topics (2023) [Thesis › PhD Thesis - Research UT, graduation UT] . University of Twente . Dong, Y. https://doi.org/10.3990/1.9789036556675 Automatic inference of fault tree models via multi-objective evolutionary algorithms (2023) IEEE transactions on dependable and secure computing, 20(4) , 3317-3327 . Jimenez-Roa, L. A. , Heskes, T. , Tinga, T. & Stoelinga, M. I. A. https://doi.org/10.1109/TDSC.2022.3203805 QuestionMark (2023) [Dataset Types › Dataset] . Zenodo . Zandbergen, N. , van Keulen, M. , van Dijk, T. & Flokstra, J. https://doi.org/10.5281/zenodo.8146101 Introduction to the Special Section on FM 2021 (2023) Formal aspects of computing, 35(2) , 1-2 . Article 6 . Huisman, M. , Pasareanu, C. & Zhan, N. https://doi.org/10.1145/3604594 Evaluation of Specification Inference Tools for Deductive Verification (2023) [Dataset Types › Dataset] . 4TU.Centre for Research Data . Lathouwers, S. & Huisman, M. https://doi.org/10.4121/9c83933e-8406-4e49-ac4d-1f8bb55ed988 Specification Translator: Tool to Translate Specifications for Deductive Verifiers (2023) [Dataset Types › Dataset] . 4TU.Centre for Research Data . Lathouwers, S. , Armborst, L. & Huisman, M. https://doi.org/10.4121/21820458 Turán numbers of general hypergraph star forests (2023) [Working paper › Preprint] . ArXiv.org . Zhang, L.-P. , Broersma, H. & Wang, L. https://doi.org/10.48550/arXiv.2306.12463 With a Little Help from Your Friends: Semi-cooperative Games via Joker Moves (2023) In Formal Techniques for Distributed Objects, Components, and Systems: 43rd IFIP WG 6.1 International Conference, FORTE 2023 (pp. 155-172) (Lecture Notes in Computer Science; Vol. 13910) . Springer . van den Bos, P. & Stoelinga, M. https://doi.org/10.1007/978-3-031-35355-0_10 WasmRef-Isabelle: A Verified Monadic Interpreter and Industrial Fuzzing Oracle for WebAssembly (2023) Proceedings of the ACM on Programming Languages, 7 , 100-123 . Article 110 . Watt, C. , Trela, M. , Lammich, P. & Märkl, F. https://doi.org/10.1145/3591224 From BDD Scenarios to Test Case Generation (2023) In Proceedings - 2023 IEEE 16th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2023 (pp. 36-44) . IEEE . Zameni, T. , van den Bos, P. , Tretmans, J. , Foederer, J. & Rensink, A. https://doi.org/10.1109/ICSTW58534.2023.00019 From User Stories to End-to-end Web Testing (2023) In 2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW): International Workshop on User Interface Test Automation and Testing Techniques for Event Based Software (INTUITESTBEDS) (pp. 140-148) . IEEE . Mollah, H. & van den Bos, P. https://doi.org/10.1109/ICSTW58534.2023.00036 A reply: On the need for program contracts (2023) Journal of cross-disciplinary research in computational law, 1(3) , 19-20 . Huisman, M. https://journalcrcl.org/crcl/article/view/19/13 Sharp bounds for Laplacian spectral moments of digraphs with a fixed dichromatic number (2023) [Working paper › Preprint] . ArXiv.org . Yang, X. , Broersma, H. & Wang, L. https://doi.org/10.48550/arXiv.2305.06362 Principles of Contract Languages: Dagstuhl Seminar 22451 (2023) Dagstuhl reports, 12(11) , 1-27 . Gurov, D. , Hähnle, R. , Huisman, M. , Reger, G. & Lidström, C. https://doi.org/10.4230/DagRep.12.11.1 With a little help from your friends: semi-cooperative games via Joker moves (2023) [Working paper › Preprint] . ArXiv.org . Bos, P. v. d. & Stoelinga, M. https://doi.org/10.48550/arXiv.2304.13417 A Practitioner's Guide to MDP Model Checking Algorithms (2023) In Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part I (pp. 469-488) (Lecture Notes in Computer Science; Vol. 13993) . Springer . Hartmanns, A. , Junges, S. , Quatmann, T. & Weininger, M. https://doi.org/10.1007/978-3-031-30823-9_24 Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning (2023) In Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings (pp. 527-545) (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13993 LNCS) . Springer . Hahn, E. M. , Perez, M. , Schewe, S. , Somenzi, F. , Trivedi, A. & Wojtczak, D. https://doi.org/10.1007/978-3-031-30823-9_27 ETAPS Foreword (2023) In 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 (pp. v-vi) (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13992) . Huisman, M. JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java (2023) In Fundamental Approaches to Software Engineering : 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings (pp. 143-150) . Bliudze, S. , Bos, P. v. d. , Huisman, M. , Rubbens, R. & Safina, L. https://doi.org/10.1007/978-3-031-30826-0_8 Spectral radius conditions for the existence of all subtrees of diameter at most four (2023) Linear algebra and its applications, 663 , 80-101 . Liu, X. , Broersma, H. & Wang, L. https://doi.org/10.1016/j.laa.2023.01.004 Computer Aided Content Generation: A Gloomhaven Case Study (2023) In Proceedings of the 18th International Conference on the Foundations of Digital Games, FDG 2023 . Article 61 (ACM International Conference Proceeding Series) . Association for Computing Machinery . Gerhold, M. & Tijben, K. https://doi.org/10.1145/3582437.3587196 Supplementary material for WasmRef-Isabelle (2023) [Dataset Types › Dataset] . Zenodo . Watt, C. , Trela, M. , Lammich, P. & Märkl, F. https://doi.org/10.5281/zenodo.7815662 Code and data used in the experiment section of the publication: Cost-damage analysis of attack trees (2023) [Dataset Types › Dataset] . 4TU.Centre for Research Data . Lopuhaä-Zwakenberg, M. https://doi.org/10.4121/afd36f9c-4e84-4420-80f4-66ca02b217bb PFL: a Probabilistic Logic for Fault Trees (2023) [Working paper › Preprint] . ArXiv.org . Nicoletti, S. M. , Lopuhaä-Zwakenberg, M. , Hahn, E. M. & Stoelinga, M. https://doi.org/10.48550/arXiv.2303.17314 Reproduction Report for SV-COMP 2023 (2023) [Working paper › Working paper] . ArXiv.org (Submitted) . Gerhold, M. & Hartmanns, A. Sufficient conditions for properly colored C3’s and C4’s in edge-colored complete graphs (2023) Discrete applied mathematics, 327 , 101-109 . Han, T. , Broersma, H. , Bai, Y. & Zhang, S. https://doi.org/10.1016/j.dam.2022.12.020 Artefact for paper "With a little help from your friends: semi-cooperative games via Joker moves" (2023) [Dataset Types › Dataset] . Zenodo . van den Bos, P. https://doi.org/10.5281/zenodo.7712109 Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids (Artifact) (2023) [Dataset Types › Dataset] . 4TU.Centre for Research Data . Badings, T. S. , Hartmanns, A. , Jansen, N. & Suilen, M. https://doi.org/10.4121/14185139 Backdoor Mitigation in Deep Neural Networks via Strategic Retraining (2023) In Formal Methods - 25th International Symposium, FM 2023, Proceedings (pp. 635-647) (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 14000 LNCS) . Springer . Dhonthi Ramesh Babu, A. , Hahn, E. M. & Hashemi, V. https://doi.org/10.1007/978-3-031-27481-7_37 Parameter Synthesis for Markov Models: Prophesy and model files (2023) [Dataset Types › Dataset] . Zenodo . Junges, S. , Ábrahám, E. , Hensel, C. , Jansen, N. , Katoen, J.-P. , Quatmann, T. & Volk, M. https://doi.org/10.5281/zenodo.7697153 PFL: A Probabilistic Logic for Fault Trees (2023) In Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings (pp. 199–221) (Lecture Notes in Computer Science; Vol. 14000) . Springer . Nicoletti, S. M. , Lopuhaä-Zwakenberg, M. , Hahn, E. M. & Stoelinga, M. https://doi.org/10.1007/978-3-031-27481-7_13 VeyMont: Parallelising Verified Programs Instead of Verifying Parallel Programs (2023) In Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings (pp. 321-339) (Lecture Notes in Computer Science; Vol. 14000) . Springer . van den Bos, P. & Jongmans, S.-S. https://doi.org/10.1007/978-3-031-27481-7_19 A Case in Point: Verification and Testing of a EULYNX Interface (2023) Formal aspects of computing, 35(1) , 1–38 . Article 2 . Bouwman, M. , Wal, D. v. d. , Luttik, B. , Stoelinga, M. & Rensink, A. https://doi.org/10.1145/3528207 Covid severity prediction: Who cares about the data quality? (2023) In Covid severity prediction: Who cares about the data quality? (pp. 225-230) . IEEE . Nae, T. , Krabbe, J. , Bukhsh, F. A. , Jayasinghe Arachchige, J. & Ahmed, F. https://doi.org/10.1109/FIT57066.2022.00049 A Digital Touch: The »Body Issue« in Computational Creativity (2023) In Körper(-lichkeit) in der Musik des 20. und 21. Jahrhunderts: Konturen eines musikalisch-bewegten »Body Turn« (pp. 207-218) (MusikundKlangkultur; Vol. 55) . Transcript Verlag . Merlini, M. & Nicoletti, S. M. https://doi.org/10.14361/9783839458914-014 Coverage-Driven SLAM Testing (2023) [Dataset Types › Dataset] . 4TU.Centre for Research Data . Tasche, P. & Herber, P. https://doi.org/10.4121/21946514 Look back, look around: A systematic analysis of effective predictors for new outlinks in focused Web crawling (2023) Knowledge-based systems, 260 , 1-16 . Article 110126 . Dang, T. K. N. , Bucur, D. , Atil, B. , Pitel, G. , Ruis, F. , Kadkhodaei, H. & Litvak, N. https://doi.org/10.1016/j.knosys.2022.110126 A Practitioner's Guide to MDP Model Checking Algorithms (2023) [Working paper › Preprint] . ArXiv.org . Hartmanns, A. , Junges, S. , Quatmann, T. & Weininger, M. https://doi.org/10.48550/arXiv.2301.10197 Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions (2023) Journal of Artificial Intelligence Research, 76 , 341-391 . Badings, T. S. , Romao, L. , Abate, A. , Parker, D. , Poonawala, H. A. , Stoelinga, M. & Jansen, N. https://doi.org/10.1613/JAIR.1.14253 The effect of graph operations on the degree-based entropy (2023) Applied mathematics and computation, 437 . Article 127533 . Dong, Y. , Broersma, H. , Song, C. , Wan, P. & Zhang, S. https://doi.org/10.1016/j.amc.2022.127533 A Practitioner's Guide to MDP Model Checking Algorithms (Artefact) (2023) [Dataset Types › Dataset] . Zenodo . Hartmanns, A. , Junges, S. , Quatmann, T. & Weininger, M. https://doi.org/10.5281/zenodo.7509474 A Coverage-Driven Systematic Test Approach for Simultaneous Localization and Mapping (2023) In 2023 IEEE 16th International Conference on Software Testing, Verification and Validation: ICST 2023 (pp. 25-36) (IEEE International Conference on Software Testing, Verification and Validation Workshops) . IEEE . Tasche, P. & Herber, P. https://doi.org/10.1109/ICST57152.2023.00012 A More Pragmatic CDCL for IsaSAT and Targetting LLVM (2023) In Automated Deduction – CADE 29: 29th International Conference on Automated Deduction Rome, Italy, July 1–4, 2023 Proceedings (pp. 207-219) (Lecture Notes in Artificial Intelligence; Vol. 14132) . Springer . Fleury, M. & Lammich, P. https://doi.org/10.1007/978-3-031-38499-8_12 ATM: A Logic for Quantitative Security Properties on Attack Trees (2023) In Software Engineering and Formal Methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings (pp. 205-225) (Lecture Notes in Computer Science; Vol. 14323) . Springer . Nicoletti, S. M. , Lopuhaä-Zwakenberg, M. , Hahn, E. M. & Stoelinga, M. https://doi.org/10.1007/978-3-031-47115-5_12 Cost-damage analysis of attack trees (2023) In 2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) (pp. 545-558) . IEEE . Lopuhaä-Zwakenberg, M. & Stoelinga, M. https://doi.org/10.1109/DSN58367.2023.00057 EmoClock: Communicating Real-Time Emotional States Through Data Physicalizations (2023) In Human-Computer Interaction – INTERACT 2023: 19th IFIP TC13 International Conference, York, UK, August 28 – September 1, 2023, Proceedings, Part I (pp. 416-425) (Lecture Notes in Computer Science; Vol. 14142) . Springer . Peeters, D. , Ranasinghe, C. , Degbelo, A. & Ahmad, F. https://doi.org/10.1007/978-3-031-42280-5_26 From Fault Trees to Piping and Instrumentation Diagrams (2023) In Proceedings of the 33rd European Safety and Reliability Conference (ESREL 2023) (pp. 1234-1235) . Research Publishing . Bos, W. , Volk, M. , Stoelinga, M. I. A. , Bouissou, M. & Krcál, P. https://doi.org/10.3850/978-981-18-8071-1_P537-cd Leveraging deep learning for Python version identification (2023) CEUR workshop proceedings, 3567 , 33-40 . Gerhold, M. , Solovyeva, L. & Zaytsev, V. Point cloud analysis of railway infrastructure: a systematic literature review (2023) IEEE Access, 11 , 134355-134373 . Dekker, B. , Ton, B. , Meijer, J. , Bouali, N. , Linssen, J. & Ahmed, F. https://doi.org/10.1109/ACCESS.2023.3337049 Preface (2023) In 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 (pp. vii-viii) (Lecture Notes in Computer Science; Vol. 13910) . Springer . Huisman, M. & Ravara, A. https://doi.org/10.1007/978-3-031-35355-0 Property Specification and Models for Risk: Towards Risk Propagation Graphs (2023) In SAFECOMP 2023 . Nicoletti, S. M. , Fumagalli, M. , Lopuhaä-Zwakenberg, M. , Hahn, E. M. , Guizzardi, G. & Stoelinga, M. I. A. SAFEST: the static and dynamic fault tree analysis tool (2023) In Proceedings of the 33rd European Safety and Reliability Conference (ESREL 2023) (pp. 193-200) . Research Publishing . Volk, M. , Ibne Irshad, M. , Katoen, J.-P. , Sher, F. , Stoelinga, M. I. A. & Zafar, A. https://doi.org/10.3850/978-981-18-8071-1_P407-cd Semantic Segmentation of Terrestrial Laser Scans of Railway Catenary Arches: A Use Case Perspective (2023) Sensors (Switzerland), 23(1) . Article 222 . Ton, B. , Ahmed, F. & Linssen, J. https://doi.org/10.3390/s23010222
2022
Optimizing Demonstrated Robot Manipulation Skills for Temporal Logic Constraints (2022) In IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2022 (pp. 1255-1262) (IEEE International Conference on Intelligent Robots and Systems; Vol. 2022-October) . IEEE . Dhonthi Ramesh Babu, A. , Schillinger, P. , Rozo, L. & Nardi, D. https://doi.org/10.1109/IROS47612.2022.9981384 Application of NLP on student's Discord messages for automatic Belbin role identification (2022) In 2022 International Conference on Frontiers of Information Technology (FIT) (pp. 302-307) . Article 10043095 . IEEE . Dichev, K. , Bukhsh, F. & Barrios-Fleitas, Y. https://doi.org/10.1109/FIT57066.2022.00062 ARCH-COMP22 Category Report: Stochastic Models (2022) In Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22) (pp. 113–141) (EPiC Series in Computing; Vol. 90) . EasyChair . Abate, A. , Blom, H. , Delicaris, J. , Haesaert, S. , Hartmanns, A. , van Huijgevoort, B. , Lavaei, A. , Ma, H. , Niehage, M. , Remke, A. , Schön, O. , Schupp, S. , Soudjani, S. & Willemsen, L. https://doi.org/10.29007/lsvc On a conjecture of Nikiforov involving a spectral radius condition for a graph to contain all trees (2022) Discrete mathematics, 345(12) . Article 113112 . Liu, X. , Broersma, H. & Wang, L. https://doi.org/10.1016/j.disc.2022.113112 The spectra of random mixed graphs (2022) Linear algebra and its applications, 653 , 320-338 . Hu, D. , Broersma, H. , Hou, J. & Zhang, S. https://doi.org/10.1016/j.laa.2022.08.019 Fisher Information as a Utility Metric for Frequency Estimation under Local Differential Privacy (2022) In WPES 2022 - Proceedings of the 21st Workshop on Privacy in the Electronic Society, co-located with CCS 2022 (pp. 41-53) . Association for Computing Machinery . Lopuhaä-Zwakenberg, M. , Škorić, B. & Li, N. https://doi.org/10.1145/3559613.3563194 Analysis of non-Markovian repairable fault trees through rare event simulation (2022) International journal on software tools for technology transfer, 24(5) , 821-841 . Budde, C. E. , D'Argenio, P. R. , Monti, R. E. & Stoelinga, M. https://doi.org/10.1007/s10009-022-00675-x Modelling Program Verification Tools for Software Engineers (2022) In MODELS '22: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems (pp. 98–108) . Association for Computing Machinery . Lathouwers, S. & Zaytsev, V. https://doi.org/10.1145/3550355.3552426 A refined model of ill-definedness in project-based learning (2022) In Proceedings - ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022: Companion Proceedings (pp. 115-122) (Proceedings - ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022: Companion Proceedings) . Association for Computing Machinery . Rump, A. & Zaytsev, V. https://doi.org/10.1145/3550356.3556505 Go with the flow: Software engineers and distractions (2022) In Proceedings - ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022: Companion Proceedings (pp. 934-938) . Association for Computing Machinery . Janssens, S. & Zaytsev, V. https://doi.org/10.1145/3550356.3559101 Alternating Good-for-MDPs Automata (2022) In Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings (pp. 303-319) (Lecture Notes in Computer Science; Vol. 13505) . Springer . Hahn, E. M. , Perez, M. , Schewe, S. , Somenzi, F. , Trivedi, A. & Wojtczak, D. https://doi.org/10.1007/978-3-031-19992-9_19 Exploring a Parallel SCC Algorithm: Using TLA + and the TLC Model Checker (2022) In Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings (pp. 535-555) (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13701 LNCS) . Springer . van de Pol, J. https://doi.org/10.1007/978-3-031-19849-6_30 Formal Methods Meet Machine Learning (F3ML) (2022) In 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 (pp. 393-405) (Lecture Notes in Computer Science; Vol. 13703) . Springer . Larsen, K. G. , Legay, A. , Nolte, G. , Schlüter, M. , Stoelinga, M. & Steffen, B. https://doi.org/10.1007/978-3-031-19759-8_24 On Deductive Verification of an Industrial Concurrent Software Component with VerCors (2022) In Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I (pp. 517-534) . Monti, R. E. , Rubbens, R. & Huisman, M. https://doi.org/10.1007/978-3-031-19849-6_29 SpecifyThis – Bridging Gaps Between Program Specification Paradigms (2022) In Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings (pp. 3-6) (Lecture Notes in Computer Science; Vol. 13701) . Springer . Ahrendt, W. , Herber, P. , Huisman, M. & Ulbrich, M. https://doi.org/10.1007/978-3-031-19849-6_1 The Modest State of Learning, Sampling, and Verifying Strategies (2022) In 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 (pp. 406-432) (Lecture Notes in Computer Science; Vol. 13703) . Springer . Hartmanns, A. & Klauck, M. https://doi.org/10.1007/978-3-031-19759-8_25 Verification and Validation of Concurrent and Distributed Heterogeneous Systems (Track Summary) (2022) In Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings (pp. 417-421) (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13701 LNCS) . Springer . Huisman, M. & Seceleanu, C. https://doi.org/10.1007/978-3-031-19849-6_24 ths-rwth/smtrat: 22.06 (2022) [Dataset Types › Dataset] . Zenodo . Nalbach, J. , Corzilius, F. , Junges, S. , Volk, M. , project, H. , Schupp, S. & Lauko, H. https://doi.org/10.5281/zenodo.5764568 The Erdős–Gyárfás function with respect to Gallai-colorings (2022) Journal of graph theory, 101(2) , 242-264 . Li, X. , Broersma, H. & Wang, L. https://doi.org/10.1002/jgt.22822 For a Few Dollars More: Verified Fine-Grained Algorithm Analysis Down to LLVM (2022) ACM Transactions on Programming Languages and Systems, 44(3) . Article 14 . Haslbeck, M. P. L. & Lammich, P. https://doi.org/10.1145/3486169 Experiments for 'Sampling-Based Verification of CTMCs with Uncertain Rates' (2022) [Dataset Types › Dataset] . Zenodo . Badings, T. , Jansen, N. , Junges, S. , Stoelinga, M. & Volk, M. https://doi.org/10.5281/zenodo.7104342 Comparing Statistical and Analytical Routing Approaches for Delay-Tolerant Networks (2022) In Quantitative Evaluation of Systems: 19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings (pp. 337-355) (Lecture Notes in Computer Science; Vol. 13479) . Springer . D'Argenio, P. R. , Fraire, J. A. , Hartmanns, A. & Raverta, F. D. https://doi.org/10.1007/978-3-031-16336-4_17 Reinforcement Learning with Guarantees that Hold for Ever (2022) In Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings (pp. 3-7) (Lecture Notes in Computer Science; Vol. 13487) . Springer . Hahn, E. M. , Perez, M. , Schewe, S. , Somenzi, F. , Trivedi, A. & Wojtczak, D. https://doi.org/10.1007/978-3-031-15008-1_1 Leveraging composability in model-based testing for microservices (2022) In BENEVOL’22: The 21st Belgium-Netherlands Software Evolution Workshop Mons, 12-13 September 2022: Proceedings of the Belgium-Netherlands Software Evolution Workshop (CEUR Workshop Proceedings; Vol. 3245) . CEUR . van den Brink, B. , Zameni, T. , Tikhonova, U. , Vinke, L. & Oprescu, A.-M. https://ceur-ws.org/Vol-3245/paper1.pdf Preface (2022) In Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings (pp. vi-vi) . Article 13487 (Lecture Notes in Computer Science; Vol. 13487) . Springer . Groote, J. F. & Huisman, M. https://link.springer.com/book/10.1007/978-3-031-15008-1 Deterioration modeling of sewer pipes via discrete-time Markov chains: A large-scale case study in the Netherlands (2022) In Proceedings of the 32nd European Safety and Reliability Conference (ESREL 2022) (pp. 1299-1306) . Jimenez-Roa, L. A. , Heskes, T. , Tinga, T. , Molegraaf, H. J. A. & Stoelinga, M. I. A. https://doi.org/10.3850/978-981-18-5183-4_R22-13-482-cd BFL: a Logic to Reason about Fault Trees (2022) [Working paper › Preprint] . ArXiv.org . Nicoletti, S. M. , Hahn, E. M. & Stoelinga, M. https://doi.org/10.48550/arXiv.2208.13424 Backwards Reachability for Probabilistic Timed Automata: A Replication Report (2022) [Contribution to conference › Paper] 1st Workshop on Reproducibility and Replication of Research Results, RRRR 2022 . Hartmanns, A. & Kohlen, B. https://doi.org/10.48550/arXiv.2208.11928 Data-Driven Inference of Fault Tree Models Exploiting Symmetry and Modularization (2022) In Computer Safety, Reliability, and Security: 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6–9, 2022, Proceedings (pp. 46-61) (Lecture notes in computer science; Vol. 13414) . Springer . Jimenez Roa, L. A. , Volk, M. & Stoelinga, M. I. A. https://doi.org/10.1007/978-3-031-14835-4_4 Sampling-Based Verification of CTMCs with Uncertain Rates (2022) In Computer Aided Verification (CAV 2022): 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II (pp. 26-47) (Lecture notes in computer science; Vol. 13372) . Badings, T. S. , Jansen, N. , Junges, S. , Stoelinga, M. & Volk, M. https://doi.org/10.1007/978-3-031-13188-2_2 Robust Optimization for Local Differential Privacy (2022) In 2022 IEEE International Symposium on Information Theory (ISIT) 2022 (pp. 1629-1634) . IEEE . Goseling, J. & Lopuhaä-Zwakenberg, M. https://doi.org/10.1109/ISIT50566.2022.9834796 moves-rwth/pycarl: v2.1.0 (2022) [Dataset Types › Dataset] . Zenodo . Volk, M. , Junges, S. , Janson, T. , Kremer, G. , Basgöze, D. & Klinkeberg, L. https://doi.org/10.5281/zenodo.7763174 moves-rwth/stormpy: vx.x.x (2022) [Dataset Types › Dataset] . Zenodo . Volk, M. & Junges, S. https://doi.org/10.5281/zenodo.7763208 moves-rwth/storm: vx.x.x (2022) [Dataset Types › Dataset] . Zenodo . Quatmann, T. , Junges, S. , Volk, M. , Berger, J. , Bork, A. , Gros, T. P. , Klein, J. , Kurowski, S. V. , Delgrange, F. , Bohlender, D. , Ruijters, E. & Berger, P. https://doi.org/10.5281/zenodo.1181896 ProVerB: Dataset of Tools and Formats for Program Verification (2022) [Dataset Types › Dataset] . 4TU.Centre for Research Data . Lathouwers, S. A. M. & Zaytsev, V. https://doi.org/10.4121/20347950.v1 Software accompanying paper: Refinement of Parallel Algorithms down to LLVM (2022) [Dataset Types › Dataset] . 4TU.Centre for Research Data . Lammich, P. https://doi.org/10.4121/20318514.v1 A Language-Based Causal Model for Safety (2022) In Theoretical Aspects of Software Engineering : 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings (pp. 290-307) (Lecture Notes in Computer Science; Vol. 13299) . Springer . Bonsangue, M. M. , Caltais, G. , Feng, H. & Tunç, H. C. https://doi.org/10.1007/978-3-031-10363-6 BFL: a Logic to Reason about Fault Trees (2022) In 2022 52nd Annual IEEE/IFIP International Conference On Dependable Systems And Networks (DSN 2022) (pp. 441-452) . Article 9833769 . IEEE . Nicoletti, S. M. , Hahn, E. M. & Stoelinga, M. I. A. https://doi.org/10.1109/DSN53405.2022.00051 Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise (2022) In 36th AAAI Conference on Artificial Intelligence (pp. 9669-9678) . AAAI . Badings, T. S. , Abate, A. , Jansen, N. , Parker, D. , Poonawala, H. A. & Stoelinga, M. Sampling-Based Verification of CTMCs with Uncertain Rates (2022) [Working paper › Preprint] . ArXiv.org . Badings, T. S. , Jansen, N. , Junges, S. , Stoelinga, M. I. A. & Volk, M. https://arxiv.org/abs/2205.08300 Formal Specifications Investigated: A Classification and Analysis of Annotations for Deductive Verifiers (2022) In Proceedings - IEEE/ACM 10th International Conference on Formal Methods in Software Engineering, FormaliSE 2022 (pp. 69-79) . Article 9796417 . IEEE . Lathouwers, S. & Huisman, M. https://doi.org/10.1145/3524482.3527652 The Hamiltonian properties in K1,r-free split graphs (2022) Discrete mathematics, 345(6) . Article 112826 . Dai, G. , Zhang, Z. B. , Broersma, H. & Zhang, X. https://doi.org/10.1016/j.disc.2022.112826 The Reactive Synthesis Competition (SYNTCOMP): 2018-2021 (2022) [Working paper › Preprint] . Jacobs, S. , Perez, G. A. , Abraham, R. , Bruyere, V. , Cadilhac, M. , Colange, M. , Delfosse, C. , Dijk, T. v. , Duret-Lutz, A. , Faymonville, P. , Finkbeiner, B. , Khalimov, A. , Klein, F. , Luttenberger, M. , Meyer, K. , Michaud, T. , Pommellet, A. , Renkin, F. , Schlehuber-Caissier, P. , … Walker, A. https://doi.org/10.48550/arXiv.2206.00251 BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees (2022) In NASA Formal Method: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings (pp. 713-732) . Article Chapter 38 (Lecture notes in computer science; Vol. 13260) . Springer . Basgöze, D. , Volk, M. , Katoen, J.-P. , Khan, S. & Stoelinga, M. https://doi.org/10.1007/978-3-031-06773-0_38 Learning to Learn HVAC Failures: Layering ML Experiments in the Absence of Ground Truth (2022) In Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 4th International Conference, RSSRail 2022, Paris, France, June 1–2, 2022, Proceedings (pp. 95-111) (Lecture notes in computer science; Vol. 13294) . Springer . Budde, C. E. , Jansen, D. , Locht, I. & Stoelinga, M. https://doi.org/10.1007/978-3-031-05814-1_7 Approximation Hierarchies for the Copositive Tensor Cone and Their Application to the Polynomial Optimization over the Simplex (2022) Mathematics, 10(10) . Article 1683 . Iqbal, M. F. & Ahmed, F. https://doi.org/10.3390/math10101683 Robust Optimization for Local Differential Privacy (2022) [Working paper › Preprint] . ArXiv.org . Goseling, J. & Lopuhaä-Zwakenberg, M. https://doi.org/10.48550/arXiv.2205.05015 Alternating Good-for-MDP Automata (2022) [Working paper › Preprint] . ArXiv.org . Hahn, E. M. , Perez, M. , Schewe, S. , Somenzi, F. , Trivedi, A. & Wojtczak, D. https://doi.org/10.48550/arXiv.2205.03243 Experiments for 'Sampling-Based Verification of CTMCs with Uncertain Rates' (2022) [Dataset Types › Dataset] . Zenodo . Badings, T. , Junges, S. , Jansen, N. , Stoelinga, M. & Volk, M. https://doi.org/10.5281/zenodo.6523864 Integer colorings with no rainbow 3-term arithmetic progression (2022) The Electronic journal of combinatorics, 29(2) . Article P2.28 . Li, X. , Broersma, H. & Wang, L. https://doi.org/10.37236/10249 Probabilistic Preference Planning Problem for Markov Decision Processes (2022) IEEE transactions on software engineering, 48(5) , 1545-1559 . Li, M. , Turrini, A. , Hahn, E. M. , She, Z. & Zhang, L. https://doi.org/10.1109/TSE.2020.3024215 Some New Bounds for the Inverse Sum Indeg Energy of Graphs (2022) Axioms, 11(5) . Article 243 . Li, F. , Ye, Q. & Broersma, H. https://doi.org/10.3390/axioms11050243 Formal verification of parallel prefix sum and stream compaction algorithms in CUDA (2022) Theoretical computer science, 912 , 81-98 . Safari, M. & Huisman, M. https://doi.org/10.1016/j.tcs.2022.02.027 Correct Optimized GPU Programs (2022) [Thesis › PhD Thesis - Research UT, graduation UT] . University of Twente . Safari, M. https://doi.org/10.3990/1.9789036553421 DFT modeling approach for operational risk assessment of railway infrastructure (2022) International journal on software tools for technology transfer, 24(3) , 331-350 . Weik, N. , Volk, M. , Katoen, J. P. & Nießen, N. https://doi.org/10.1007/s10009-022-00652-4 A Predicate Transformer for Choreographies: Computing Preconditions in Choreographic Programming (2022) In Programming Languages and Systems: 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings (pp. 520-547) . Springer . Jongmans, S.-S. & van den Bos, P. https://doi.org/10.1007/978-3-030-99336-8_19 DyNetKAT: An Algebra of Dynamic Networks (2022) In Foundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings (pp. 184-204) (Lecture Notes in Computer Science; Vol. 13242) . Springer . Caltais, G. , Hojjat, H. , Mousavi, M. R. & Tunç, H. C. https://doi.org/10.1007/978-3-030-99253-8_10 Artifact for "BDDs Strike Back - Efficient Analysis of Static and Dynamic Fault Trees" (2022) [Dataset Types › Dataset] . Zenodo . Basgöze, D. , Volk, M. , Katoen, J.-P. , Khan, S. & Stoelinga, M. https://doi.org/10.5281/zenodo.5834212 Database of Annotations for Deductive Verifiers (2022) [Dataset Types › Dataset] . 4TU.Centre for Research Data . Lathouwers, S. A. M. & Huisman, M. https://doi.org/10.4121/16545714.v1 An Overview of Modest Models and Tools for Real Stochastic Timed Systems (2022) In Proceedings Fifth Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2022, Munich, Germany, 2nd April 2022 (pp. 1-12) (EPTCS; Vol. 355) . Hartmanns, A. https://doi.org/10.4204/EPTCS.355.1 BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees (2022) [Working paper › Preprint] . ArXiv.org . Basgöze, D. , Volk, M. , Katoen, J.-P. , Khan, S. & Stoelinga, M. https://doi.org/10.48550/arXiv.2202.02829 PhD Thesis Artifact: Correct Optimized GPU Programs (2022) [Dataset Types › Dataset] . 4TU.Centre for Research Data . Safari, M. https://doi.org/10.4121/19055453 Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees (2022) In 2021 10th Latin-American Symposium on Dependable Computing (LADC) . Khan, S. , Katoen, J.-p. , Volk, M. , Zafar, A. & Sher, F. https://doi.org/10.1109/LADC53747.2021.9672579 Aligning observed and modelled behaviour by maximizing synchronous moves and using milestones (2022) Information systems, 103 . Article 101456 . Bloemen, V. , Zelst, S. v. , Aalst, W. v. d. , Dongen, B. v. & Pol, J. v. d. https://doi.org/10.1016/j.is.2019.101456 A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday (2022) [Book/Report › Book editing] . Springer . Jansen, N. , Stoelinga, M. & van den Bos, P. https://doi.org/10.1007/978-3-031-15629-8 Alpinist: An Annotation-Aware GPU Program Optimizer (2022) In Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II (pp. 332–352) (Lecture Notes in Computer Science; Vol. 13244) . Springer . Şakar, Ö. , Safari, M. , Huisman, M. & Wijs, A. https://doi.org/10.1007/978-3-030-99527-0_18 An Impossibility Result in Automata-Theoretic Reinforcement Learning (2022) In Automated Technology for Verification and Analysis (pp. 42-57) (Lecture Notes in Computer Science) . Springer . Hahn, E. M. , Perez, M. , Schewe, S. , Somenzi, F. , Trivedi, A. & Wojtczak, D. https://doi.org/10.1007/978-3-031-19992-9_3 Correct Probabilistic Model Checking with Floating-Point Arithmetic (2022) In Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II (pp. 41-59) (Lecture Notes in Computer Science; Vol. 13244) . Springer . Hartmanns, A. https://doi.org/10.1007/978-3-030-99527-0_3 Counterfactual Causality in Networks (2022) [Working paper › Working paper] . ArXiv.org . Caltais, G. & Olmezoglu, C. https://doi.org/10.48550/arXiv.2211.00758 Deriving Modernity Signatures for PHP Systems with Static Analysis (2022) In Proceedings - 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation, SCAM 2022 (pp. 181-185) (Proceedings IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM); Vol. 2022) . IEEE . van den Brink, W. , Gerhold, M. & Zaytsev, V. https://doi.org/10.1109/SCAM55253.2022.00027 Engineering Mobile Apps for Disaster Management: The Case of COVID-19 Apps in the Google Play Store (2022) IEEE software, 39(3) , 31-42 . Malavolta, I. , Ghaleb, T. A. , David, I. , van Rooijen, J. & Stoelinga, M. https://doi.org/10.1109/MS.2021.3129978 EPMC Gets Knowledge in Multi-agent Systems (2022) In Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings (pp. 93-107) (Lecture Notes in Computer Science; Vol. 13182) . Springer . Fu, C. , Hahn, E. M. , Li, Y. , Schewe, S. , Sun, M. , Turrini, A. & Zhang, L. https://doi.org/10.1007/978-3-030-94583-1_5 FFSPIN '22: Proceedings of the ACM SIGCOMM Workshop on Formal Foundations and Security of Programmable Network Infrastructures, Amsterdam, The Netherlands, August 22, 2022 (2022) [Book/Report › Book editing] . ACM Press . Barradas, D. , Liu, Z. & Caltais, G. https://doi.org/10.1145/3528082 Generating Customised Control Flow Graphs for Legacy Languages with Semi-Parsing (2022) In Proceedings - 2022 IEEE International Conference on Software Maintenance and Evolution, ICSME 2022 (pp. 523-532) (Proceedings IEEE International Conference on Software Maintenance and Evolution (ICSME); Vol. 2022) . IEEE . Deknop, C. , Fabry, J. , Mens, K. & Zaytsev, V. https://doi.org/10.1109/ICSME55016.2022.00072 Preface (2022) CEUR workshop proceedings, 3089 . Garavel, H. , de Lara, J. , Molina, P. J. , Paige, R. , di Ruscio, D. , Wimmer, M. , Barmpis, K. , Boronat, A. , Boubeta-Puig, J. , Bousse, E. , Le Calvar, T. , García-Domínguez, A. , Hinkel, G. , Horvath, A. , Rensink, A. , Cuadrado, J. S. , Varró, G. & Wei, R. Recursive Reinforcement Learning (2022) In Advances in Neural Information Processing Systems 35 - 36th Conference on Neural Information Processing Systems, NeurIPS 2022 (Advances in Neural Information Processing Systems; Vol. 35) . Neural information processing systems foundation . Hahn, E. M. , Perez, M. , Schewe, S. , Somenzi, F. , Trivedi, A. & Wojtczak, D. Refinement of Parallel Algorithms down to LLVM (2022) In 13th International Conference on Interactive Theorem Proving (ITP 2022) (pp. 24:1-24:18) . Article 24 . Dagstuhl . Lammich, P. https://doi.org/10.4230/LIPIcs.ITP.2022.24 Report on the Tenth International Workshop on Bidirectional Transformations (BX 2022) (2022) CEUR workshop proceedings, 3250 . He, X. , Xia, L. Y. & Zaytsev, V. https://ceur-ws.org/Vol-3250/bxpaper1.pdf Speak Well or Be Still: Solving Conversational AI with Weighted Attribute Grammars (Poster) (2022) CEUR workshop proceedings, 3250 . Zaytsev, V. https://ceur-ws.org/Vol-3250/messpaper5.pdf Teaching Design by Contract Using Snap! (2022) In The Logic of Software: A Tasting Menu of Formal Methods (pp. 243–263) (Lecture Notes in Computer Science; Vol. 13360) . Springer . Huisman, M. & Monti, R. E. https://doi.org/10.1007/978-3-031-08166-8_12 The Integration of Testing and Program Verification: A Position Paper (2022) In A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday (pp. 524–538) (Lecture Notes in Computer Science; Vol. 13560) . Springer . Bos, P. v. d. & Huisman, M. https://doi.org/10.1007/978-3-031-15629-8_28 Two for the price of one: communication efficient and privacy-preserving distributed average consensus using quantization (2022) In 30th European Signal Processing Conference (EUSIPCO 2022): Proceedings . EURASIP, European Association for Signal, Speech and Image Processing . Li, Q. , Lopuhaä-Zwakenberg, M. , Heusdens, R. & Christensen, M. G. https://doi.org/10.23919/EUSIPCO55093.2022.9909706 Using Exergames to Promote Healthy Habits in Schools (2022) In Advanced Virtual Enviroments and Education (pp. 134-146) (Communications in Computer and Information Science; Vol. 1425) . Springer . Gómez del Río, N. , González-González, C. S. , Barrios Fleitas, Y. , Toledo-Delgado, P. A. , García-Peñalvo, F. J. & Moreira, F. https://doi.org/10.1007/978-3-031-07018-1_11
2021
On a conjecture of Nikiforov involving a spectral radius condition for a graph to contain all trees (2021) [Working paper › Preprint] . ArXiv.org . Liu, X. , Broersma, H. & Wang, L. https://doi.org/10.48550/arXiv.2112.13253 ARCH-COMP21 Category Report: Stochastic Models (2021) In 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Brussels, Belgium, July 9, 2021 (pp. 55-89) (EPiC Series in Computing; Vol. 80) . EasyChair . Abate, A. , Blom, H. , Bouissou, M. , Cauchi, N. , Chraibi, H. , Delicaris, J. , Haesaert, S. , Hartmanns, A. , Khaled, M. , Lavaei, A. , Ma, H. , Mallik, K. , Niehage, M. , Remke, A. , Schupp, S. , Shmarov, F. , Soudjani, S. , Thorpe, A. , Turcuman, V. & Zuliani, P. https://doi.org/10.29007/dprv Be Lazy and Don't Care: Faster CTL Model Checking for Recursive State Machines (2021) In Software Engineering and Formal Methods: 19th International Conference (pp. 332-350) . Springer . Dubslaff, C. , Wienhöft, P. & Fehnker, A. https://doi.org/10.1007/978-3-030-92124-8_19 Synthesising middleware components for reusable software (2021) [Thesis › EngD Thesis] . University of Twente . van der Vlist, K. B. TOOLympics I: Competition on software testing: A special issue for Test-Comp 2019 (2021) International journal on software tools for technology transfer, 23(6) , 829-832 . Beyer, D. & Huisman, M. https://doi.org/10.1007/s10009-021-00611-5 TOOLympics II: competitions on formal methods: A Special Issue for TOOLympics 2019 (2021) International journal on software tools for technology transfer, 23(6) , 879-881 . Beyer, D. , Huisman, M. , Kordon, F. & Steffen, B. https://doi.org/10.1007/s10009-021-00631-1 VerifyThis 2019: a program verification competition (2021) International journal on software tools for technology transfer, 23(6) , 883-893 . Dross, C. , Furia, C. A. , Huisman, M. , Monahan, R. & Müller, P. https://doi.org/10.1007/s10009-021-00619-x Artifact for paper (Alpinist: an Annotation-Aware GPU Program Optimizer) (2021) [Dataset Types › Software] . 4TU.Centre for Research Data . Şakar, Ö. F. O. , Safari, M. , Huisman, M. & Wijs, A. J. https://doi.org/10.4121/16938556 Learning optimal decisions for stochastic hybrid systems (2021) In MEMOCODE '21: Prtoceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20-22, 2021 (pp. 44-55) . ACM Press . Niehage, M. , Hartmanns, A. & Remke, A. https://doi.org/10.1145/3487212.3487339 An ECHO of cartilage: In silico prediction of combinatorial treatments to switch between transient and permanent cartilage phenotypes with ex vivo validation (2021) Frontiers in bioengineering and biotechnology, 9 . Article 732917 . Khurana, S. , Schivo, S. , Plass, J. R. M. , Mersinis, N. , Scholma, J. , Kerkhofs, J. , Zhong, L. , van de Pol, J. , Langerak, R. , Geris, L. , Karperien, M. & Post, J. N. https://doi.org/10.3389/fbioe.2021.732917 A Scalable Log Differencing Visualisation Applied to COBOL Refactoring (2021) In 2021 Working Conference on Software Visualization (VISSOFT) (pp. 1-11) . IEEE . Deknop, C. , Mens, K. , Bergel, A. , Fabry, J. & Zaytsev, V. https://doi.org/10.1109/VISSOFT52517.2021.00010 Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives (2021) In 24th International Symposium on Formal Methods, FM 2021: Virtual Event, November 20–26, 2021, Proceedings (pp. 142-159) (Lecture Notes in Computer Science; Vol. 13047) . Springer . Hahn, E. M. , Perez, M. , Schewe, S. , Somenzi, F. , Trivedi, A. & Wojtczak, D. https://doi.org/10.1007/978-3-030-90870-6_8 Attack time analysis in dynamic attack trees via integer linear programming (2021) [Working paper › Working paper] . ArXiv.org . Lopuhaä-Zwakenberg, M. & Stoelinga, M. I. A. Extremal problems and results related to Gallai-colorings (2021) Discrete mathematics, 344(11) . Article 112567 . Li, X. , Broersma, H. & Wang, L. https://doi.org/10.1016/j.disc.2021.112567 Sufficient Spectral Radius Conditions for Hamilton-Connectivity of k-Connected Graphs (2021) Graphs and combinatorics, 37(6) , 2467-2485 . Zhou, Q. , Broersma, H. , Wang, L. & Lu, Y. https://doi.org/10.1007/s00373-021-02369-8 Two methods for the maximization of homogeneous polynomials over the simplex (2021) Computational optimization and applications, 80(2) , 523-548 . Ahmed, F. & Still, G. https://doi.org/10.1007/s10589-021-00307-1 mCRL2 models, requirements and test logs for the EULYNX Point interface case study (2021) [Dataset Types › Dataset] . Zenodo . Bouwman, M. & van der Wal, D. https://doi.org/10.5281/zenodo.5075647 There Is More Than One Way to Zen Your Python (2021) In SLE 2021: Proceedings of the 14th ACM SIGPLAN International Conference on Software Language Engineering (pp. 68-82) . Farooq, A. & Zaytsev, V. https://doi.org/10.1145/3486608.3486909 Automated Verification of the Parallel Bellman–Ford Algorithm (2021) In Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings (pp. 346-358) (Lecture Notes in Computer Science; Vol. 12913) . Springer . Safari, M. , Oortwijn, W. & Huisman, M. https://doi.org/10.1007/978-3-030-88806-0_17 Correct program parallelisations (2021) International journal on software tools for technology transfer, 23(5) , 741-763 . Blom, S. , Darabi, S. , Huisman, M. & Safari, M. https://doi.org/10.1007/s10009-020-00601-z Attack time analysis in dynamic attack trees via integer linear programming: code and data (2021) [Dataset Types › Dataset] . Zenodo . Lopuhaä - Zwakenberg, M. A. https://doi.org/10.5281/zenodo.5541760 Fault Trees, Decision Trees, and Binary Decision Diagrams: A systematic comparison (2021) In Proceedings of the 31st European Safety and Reliability Conference (ESREL 2021) (pp. 673-680) . Research Publishing . Jimenez-Roa, L. A. , Heskes, T. & Stoelinga, M. https://doi.org/10.3850/978-981-18-2016-8_241-cd EPMC: VMCAI 2022 Artifact (2021) [Dataset Types › Dataset] . Zenodo . Fu, C. , Hahn, E. M. , Li, Y. , Schewe, S. , Sun, M. , Turrini, A. & Zhang, L. https://doi.org/10.5281/zenodo.5512722 Atelier – Tutor Moderated Comments in Programming Education (2021) In Technology-Enhanced Learning for a Free, Safe, and Sustainable World (pp. 379-383) (Lecture Notes in Computer Science; Vol. 12884) . Springer . Fehnker, A. , Mader, A. H. & Rump, A. https://doi.org/10.1007/978-3-030-86436-1_39 Dopant Network Processing Units: Towards Efficient Neural-network Emulators with High-capacity Nanoelectronic Nodes (2021) Neuromorphic Computing and Engineering, 1(2) . Article 024002 . Ruiz Euler, H.-C. , Alegre Ibarra, U. , van de Ven, B. , Broersma, H. , Bobbert, P. A. & van der Wiel, W. G. https://doi.org/10.1088/2634-4386/ac1a7f Edge-colored complete graphs without properly colored even cycles: A full characterization (2021) Journal of graph theory, 98(1) , 110-124 . Li, R. , Broersma, H. , Yokota, M. & Yoshimoto, K. https://doi.org/10.1002/jgt.22684 Robust Local Differential Privacy (2021) In IEEE International Symposium on Information Theory: ISIT (pp. 557-562) . IEEE . Lopuhaä-Zwakenberg, M. & Goseling, J. https://doi.org/10.1109/ISIT45174.2021.9518151 State identification for labeled transition systems with inputs and outputs (2021) Science of computer programming, 209 . Article 102678 . Bos, P. v. d. & Vaandrager, F. https://doi.org/10.1016/j.scico.2021.102678 Zero-downtime schema changes (2021) [Thesis › EngD Thesis] . University of Twente . Dijkstra, J.-J. The 2020 Comparison of Tools for the Analysis of Quantitative Formal Models: Results and Reproduction (2021) [Dataset Types › Dataset] . Zenodo . Hartmanns, A. & Klauck, M. https://doi.org/10.5281/zenodo.3965313 Data accompanied to the paper: Modular Transformation of Java Exceptions Modulo Errors (2021) [Dataset Types › Dataset] . 4TU.Centre for Research Data . Rubbens, B. , Huisman, M. & Lathouwers, S. https://doi.org/10.4121/14905251 Attack Trees vs. Fault Trees: Two Sides of the Same Coin from Different Currencies (2021) In Quantitative Evaluation of Systems: 18th International Conference, QEST 2021, Proceedings (pp. 457-467) (Lecture Notes in Computer Science; Vol. 12846) . Springer . Budde, C. E. , Kolb, C. & Stoelinga, M. https://doi.org/10.1007/978-3-030-85172-9_24 Modular Transformation of Java Exceptions Modulo Errors (2021) In Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings (pp. 67-84) (Lecture notes in computer science; Vol. 12863) . Springer . Rubbens, R. , Lathouwers, S. & Huisman, M. https://doi.org/10.1007/978-3-030-85248-1_5 Probabilistic Verification for Reliability of a Two-by-Two Network-on-Chip System (2021) In Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings (pp. 232-248) (Lecture Notes in Computer Science; Vol. 12863) . Springer . Roberts, R. , Lewis, B. , Hartmanns, A. , Basu, P. , Roy, S. , Chakraborty, K. & Zhang, Z. https://doi.org/10.1007/978-3-030-85248-1_16 Tweaking the Odds in Probabilistic Timed Automata (2021) In Quantitative Evaluation of Systems - 18th International Conference, QEST 2021, Paris, France, August 23-27, 2021, Proceedings (pp. 39-58) (Lecture Notes in Computer Science; Vol. 12846) . Springer . Hartmanns, A. , Katoen, J.-P. , Kohlen, B. & Spel, J. https://doi.org/10.1007/978-3-030-85172-9_3 Efficient Algorithms for Quantitative Attack Tree Analysis (2021) In 2021 IEEE 34th Computer Security Foundations Symposium (CSF) . Budde, C. E. & Stoelinga, M. https://doi.org/10.1109/CSF51468.2021.00041 On Correctness, Precision, and Performance in Quantitative Verification - QComp 2020 Competition Report (2021) In Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings (pp. 216-241) (Lecture Notes in Computer Science; Vol. 12479) . Springer . Budde, C. E. , Hartmanns, A. , Klauck, M. , Kretínský, J. , Parker, D. , Quatmann, T. , Turrini, A. & Zhang, Z. https://doi.org/10.1007/978-3-030-83723-5_15 The Marriage Between Safety and Cybersecurity: Still Practicing (2021) In Model Checking Software. SPIN 2021: 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings (pp. 3-21) (Lecture Notes in Computer Science; Vol. 12864) . Springer . Stoelinga, M. I. A. , Kolb, C. , Nicoletti, S. M. , Budde, C. E. & Hahn, E. M. https://doi.org/10.1007/978-3-030-84629-9_1 Modeling Diagnostic Strategies to Manage Toxic Adverse Events following Cancer Immunotherapy (2021) Medical decision making, 41(6) , 693-705 . van Delft, F. , Muller, M. , Langerak, R. , Koffijberg, H. , Retèl, V. , van den Broek, D. & IJzerman, M. https://doi.org/10.1177/0272989X211002756 Almost-Symbolic Synthesis via Delta-2-Normalisation for Linear Temporal Logic (2021) [Contribution to conference › Paper] 10th Workshop on Synthesis, SYNT 2021 . van Dijk, T. , Abraham, R. & Sickert, S. Model-Free Reinforcement Learning for Branching Markov Decision Processes (2021) In Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II (pp. 651-673) (Lecture Notes in Computer Science; Vol. 12760) . Springer . Hahn, E. M. , Perez, M. , Schewe, S. , Somenzi, F. , Trivedi, A. & Wojtczak, D. https://doi.org/10.1007/978-3-030-81688-9_30 IntelliJML: A JML plugin for IntelliJ IDEA (2021) In FTfJP 2021 - Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-Like Programs, co-located with ECOOP/ISSTA 2021 (pp. 39-42) . Association for Computing Machinery . Monteiro, S. , Sokolovas, E. , Wittingen, E. , Dijk, T. v. & Huisman, M. https://doi.org/10.1145/3464971.3468423 Teaching Design by Contract using Snap! (2021) [Working paper › Working paper] . ArXiv.org . Huisman, M. & Monti, R. E. https://doi.org/10.48550/arXiv.2107.05679 Automated Assessment of Learning Objectives in Programming Assignments (2021) In Intelligent Tutoring Systems: 17th International Conference, ITS 2021, Virtual Event, June 7–11, 2021, Proceedings (pp. 299-309) (Lecture Notes in Computer Science; Vol. 12677) . Springer . Rump, A. , Fehnker, A. & Mader, A. https://doi.org/10.1007/978-3-030-80421-3_33 Teaching Design by Contract using Snap! (2021) In Proceedings - 2021 3rd International Workshop on Software Engineering Education for the Next Generation, SEENG 2021 (pp. 1-5) . Article 9474640 . IEEE . Huisman, M. & Monti, R. E. https://doi.org/10.1109/SEENG53126.2021.00007 A Modest approach to Markov automata (2021) ACM transactions on modeling and computer simulation, 31(3) . Article 14 . Butkova, Y. , Hartmanns, A. & Hermanns, H. https://doi.org/10.1145/3449355 Permission-Based Verification of Red-Black Trees and Their Merging (2021) In FormaliSE 21: Proceedings of the 9th International Conference on Formal Methods in Software Engineering (pp. 111-123) (IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE); Vol. 2021) . IEEE . Armborst, L. & Huisman, M. https://doi.org/10.1109/FormaliSE52586.2021.00017 Bounded-Deducibility Security (Invited Paper) (2021) In 12th International Conference on Interactive Theorem Proving, ITP 2021, June 29 to July 1, 2021, Rome, Italy (Virtual Conference) (pp. 3:1-3:20) . Dagstuhl . Popescu, A. , Bauereiss, T. & Lammich, P. https://doi.org/10.4230/LIPIcs.ITP.2021.3 On sufficient spectral radius conditions for hamiltonicity (2021) Discrete applied mathematics, 296 , 26-38 . Zhou, Q. , Broersma, H. , Wang, L. & Lu, Y. https://doi.org/10.1016/j.dam.2020.01.031 Model-based Joint Analysis of Safety and Security: Survey and Identification of Gaps (2021) [Working paper › Preprint] . ArXiv.org . Nicoletti, S. M. , Peppelman, M. , Kolb, C. & Stoelinga, M. https://doi.org/10.48550/arXiv.2106.06272 Multi-paradigm modelling for cyber–physical systems: a descriptive framework (2021) Software and systems modeling, 20(3) , 611-639 . Amrani, M. , Blouin, D. , Heinrich, R. , Rensink, A. , Vangheluwe, H. & Wortmann, A. https://doi.org/10.1007/s10270-021-00876-z A Formalisation of SysML State Machines in mCRL2 (2021) In Formal Techniques for Distributed Objects, Components, and Systems: 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings (pp. 42-59) . Article Chapter 3 ( Lecture Notes in Computer Science; Vol. 12719) . Springer . Bouwman, M. , Luttik, B. & Van der wal, D. https://doi.org/10.1007/978-3-030-78089-0_3 Atelier Hands-On Training (2021) [Non-textual form › Digital or Visual Products] ICAB conference 2020 . Blaas, R. , Fehnker, A. & Mader, A. H. https://www.oercommons.org/courseware/lesson/81318 Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids (2021) In NASA Formal Methods : 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings (pp. 1-18) (Lecture Notes in Computer Science; Vol. 12673) . Springer . Badings, T. S. , Hartmanns, A. , Jansen, N. & Suilen, M. https://doi.org/10.1007/978-3-030-76384-8 Efficient Algorithms for Quantitative Attack Tree Analysis (2021) [Working paper › Preprint] . Budde, C. E. & Stoelinga, M. https://doi.org/10.48550/arXiv.2105.07511 Removable Edges on a Hamilton Cycle or Outside a Cycle in a 4-Connected Graph (2021) Discussiones mathematicae. Graph theory, 41(2) , 559-587 . Wu, J. , Broersma, H. , Mao, Y. & Ma, Q. https://doi.org/10.7151/dmgt.2209 Toughness, Forbidden Subgraphs and Pancyclicity (2021) Graphs and combinatorics, 37 , 839-866 . Zheng, W. , Broersma, H. & Wang, L. https://doi.org/10.1007/s00373-021-02284-y Model-free Reinforcement Learning for Branching Markov Decision Processes (Artifact Evaluation for CAV 2021) (2021) [Dataset Types › Dataset] . Zenodo . Hahn, E. M. , Perez, M. , Schewe, S. , Somenzi, F. , Trivedi, A. & Wojtczak, D. https://doi.org/10.5281/zenodo.4726528 Symblicit exploration and elimination for probabilistic model checking (2021) In SAC '21: Proceedings of the 36th Annual ACM Symposium on Applied Computing, Virtual Event, Republic of Korea, March 22-26, 2021 (pp. 1798-1806) . Association for Computing Machinery . Hahn, E. M. & Hartmanns, A. https://doi.org/10.1145/3412841.3442052 Source code of the jEULYNX prototype framework (2021) [Dataset Types › Dataset] . 4TU.Centre for Research Data . van der Wal, D. https://doi.org/10.4121/14071319 Replicating RESTART with Prolonged Retrials: An Experimental Report (2021) In Tools and Algorithms for the Construction and Analysis of Systems- 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings, Part I (pp. 373-380) (Lecture Notes in Computer Science; Vol. LNCS 12652) . Springer . Budde, C. E. & Hartmanns, A. https://doi.org/10.1007/978-3-030-72013-1_21 A sports day for programming (2021) In CSERC '20: the 9th Computer Science Education Research Conference, Virtual Event, The Netherlands, 19-20 October, 2020 . Article 11 . ACM SIGCOMM . Fehnker, A. https://doi.org/10.1145/3442481.3442507 Extremality of VDB topological indices over f–benzenoids with given order (2021) Applied mathematics and computation, 393 . Article 125757 . Li, F. , Ye, Q. , Broersma, H. , Ye, R. & Zhang, X. https://doi.org/10.1016/j.amc.2020.125757 Correct-by-construction reach-avoid control of partially observable linear stochastic systems (2021) [Working paper › Preprint] . ArXiv.org . Badings, T. , Poonawala, H. A. , Stoelinga, M. & Jansen, N. https://doi.org/10.48550/arXiv.2103.02398 What is the Future of Modeling? (2021) IEEE software, 38(2) , 119-127 . Article 9354405 . Bucchiarone, A. , Ciccozzi, F. , Lambers, L. , Pierantonio, A. , Tichy, M. , Tisi, M. , Wortmann, A. & Zaytsev, V. https://doi.org/10.1109/MS.2020.3041522 Optimal Algorithm of Isolated Toughness for Interval Graphs (2021) In Parallel and Distributed Computing, Applications and Technologies: 21st International Conference, PDCAT 2020, Shenzhen, China, December 28–30, 2020, Proceedings (pp. 379-388) (Lecture Notes in Computer Science; Vol. 12606) . Springer . Li, F. , Ye, Q. , Broersma, H. & Zhang, X. https://doi.org/10.1007/978-3-030-69244-5_34 Integer colorings with no rainbow 3-term arithmetic progression (2021) [Working paper › Preprint] . ArXiv.org . Li, X. , Broersma, H. & Wang, L. https://doi.org/10.48550/arXiv.2102.08995 The Privacy-Utility Tradeoff of Robust Local Differential Privacy (2021) [Working paper › Preprint] . ArXiv.org . Lopuhaä-Zwakenberg, M. & Goseling, J. https://doi.org/10.48550/arXiv.2101.09139 On the spectra of general random mixed graphs (2021) The Electronic journal of combinatorics, 28(1) . Article P1.3 . Hu, D. , Broersma, H. , Hou, J. & Zhang, S. https://doi.org/10.37236/9638 Almost eulerian compatible spanning circuits in edge-colored graphs (2021) Discrete mathematics, 344(1) . Article 112174 . Guo, Z. , Broersma, H. , Li, B. & Zhang, S. https://doi.org/10.1016/j.disc.2020.112174 Beep-And-Sleep: Message and Energy Efficient Set Cover (2021) In Algorithms for Sensor Systems: 17th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2021, Lisbon, Portugal, September 9–10, 2021, Proceedings (pp. 94-110) (Lecture Notes in Computer Science; Vol. 12961) . Springer . Götte, T. , Kolb, C. , Scheideler, C. & Werthmann, J. https://doi.org/10.1007/978-3-030-89240-1_7 Etaps foreword (2021) In Programming Languages and Systems: 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings (pp. v-vi) (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12648) . Huisman, M. Fundamental Approaches to Software Engineering: 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings (2021) [Book/Report › Book editing] 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021 . Springer . Guerra, E. & Stoelinga, M. https://doi.org/10.1007/978-3-030-71500-7 Gallai-Ramsey numbers for graphs and their generalizations (2021) [Thesis › PhD Thesis - Research UT, graduation UT] . University of Twente . Li, X. https://doi.org/10.3990/1.9789036552486 Integration and Orchestration of Analysis Tools (2021) In Composing Model-Based Analysis Tools (pp. 71-95) . Springer . Heinrich, R. , Bousse, E. , Koch, S. , Rensink, A. , Riccobene, E. , Ratiu, D. & Sirjani, M. https://doi.org/10.1007/978-3-030-81915-6_5 On Completeness of Liveness Synthesis for Parametric Timed Automata (Extended Abstract) (2021) In Recent Trends in Algebraic Development Techniques: 25th International Workshop, WADT 2020 Virtual Event, April 29, 2020 Revised Selected Papers (pp. 3-10) (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12669) . Springer . van de Pol, J. & Petrucci, L. https://doi.org/10.1007/978-3-030-73785-6_1 On hamiltonicity of 1-tough triangle-free graphs (2021) Electronic journal of graph theory and applications, 9(2) , 433-441 . Zheng, W. , Broersma, H. & Wang, L. https://doi.org/10.5614/ejgta.2021.9.2.15 On the Efficacy of Online Proctoring using Proctorio (2021) In Proceedings of the 13th International Conference on Computer Supported Education (CSEDU 2021) (pp. 279-290) . SCITEPRESS . Bergmans, L. , Bouali, N. , Luttikhuis, M. & Rensink, A. https://doi.org/10.5220/0010399602790290 Permission-based Verification of Red-Black Trees and Their Merging - Code (2021) [Dataset Types › Dataset] . 4TU.Centre for Research Data . Armborst, L. https://doi.org/10.4121/13611578.v1 Preface (2021) In 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings (pp. v-vi) (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)) . Huisman, M. , Păsăreanu, C. & Zhan, N. Sharp upper bounds for augmented zagreb index of graphs with fixed parameters (2021) Match, 85(2) , 257-274 . Li, F. , Ye, Q. , Broersma, H. & Ye, R.
2020
An efficient statistical model checker for nondeterminism and rare events (2020) International journal on software tools for technology transfer, 22(6) , 759-780 . Budde, C. E. , D’Argenio, P. R. , Hartmanns, A. & Sedwards, S. https://doi.org/10.1007/s10009-020-00563-2 Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems (2020) In Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings (pp. 3-19) (Lecture Notes in Computer Science; Vol. 12531) . Springer . Arias, J. , Budde, C. E. , Penczek, W. , Petrucci, L. , Sidoruk, T. & Stoelinga, M. https://doi.org/10.1007/978-3-030-63406-3_1 Improving Performance of the VerCors Program Verifier (2020) In Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY (pp. 65-82) (Lecture Notes in Computer Science; Vol. 12345) . Springer . Mulder, H. , Huisman, M. & Joosten, S. https://doi.org/10.1007/978-3-030-64354-6_3 The VerifyThis Collaborative Long Term Challenge (2020) In Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY (pp. 246-260) (Lecture Notes in Computer Science; Vol. 12345) . Springer . Huisman, M. , Monti, R. E. , Ulbrich, M. & Weigl, A. https://doi.org/10.1007/978-3-030-64354-6_10 Atelier voor Creatief Programmeren (2020) [Non-textual form › Digital or Visual Products] SURF onderwijsdagen 2020 . SURF . Fehnker, A. , Mader, A. H. , Rump, A. , Rutgers, M. & Steenmeijer, L. https://www.youtube.com/watch?v=YY5uVYpuasw Tools for the construction and analysis of systems: A special issue for TACAS 2018 (2020) International journal on software tools for technology transfer, 22(6) , 685-687 . Beyer, D. & Huisman, M. https://doi.org/10.1007/s10009-020-00581-0 Formal Verification of Parallel Stream Compaction and Summed-Area Table Algorithms (2020) In Theoretical Aspects of Computing – ICTAC 2020: 17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings (pp. 181-199) (Lecture Notes in Computer Science; Vol. 12545) . Springer . Safari, M. & Huisman, M. https://doi.org/10.1007/978-3-030-64276-1_10 PrimaVera: Synergising Predictive Maintenance (2020) Applied Sciences, 10(23) , 1-19 . Article 8348 . Ton, B. , Basten, R. , Bolte, J. , Braaksma, J. , Bucchianico, A. D. , Calseyde, P. v. d. , Grooteman, F. , Heskes, T. , Jansen, N. , Teeuw, W. , Tinga, T. & Stoelinga, M. https://doi.org/10.3390/app10238348 Improving a Software Modernisation Process by Differencing Migration Logs (2020) In Product-Focused Software Process Improvement: 21st International Conference, PROFES 2020, Turin, Italy, November 25–27, 2020, Proceedings (pp. 270-286) (Lecture Notes in Computer Science; Vol. 12562) . Springer . Deknop, C. , Fabry, J. , Mens, K. & Zaytsev, V. https://doi.org/10.1007/978-3-030-64148-1_17 The Dynamic Fault Tree Rare Event Simulator: experimental replication package. (2020) [Dataset Types › Dataset] . figshare . Budde, C. E. & Ruijters, E. J. J. https://doi.org/10.6084/m9.figshare.12235889.v2 Software Language Engineers' Worst Nightmare (2020) In Proceedings of the 13th International Conference on Software Language Engineering (pp. 72-85) . ACM Publishing . Zaytsev, V. https://doi.org/10.1145/3426425.3426933 A Generic Approach to the Verification of the Permutation Property of Sequential and Parallel Swap-Based Sorting Algorithms (2020) In Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings (pp. 257-275) (Lecture Notes in Computer Science; Vol. 12546) . Springer . Safari, M. & Huisman, M. https://doi.org/10.1007/978-3-030-63461-2_14 Formal Methods for GPGPU Programming: Is the Demand Met? (2020) In Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings (pp. 160-177) (Lecture Notes in Computer Science; Vol. 12546) . Springer . Haak, L. B. v. d. , Wijs, A. , Brand, M. v. d. & Huisman, M. https://doi.org/10.1007/978-3-030-63461-2_9 Sampling Distributed Schedulers for Resilient Space Communication (Artifact) (2020) [Dataset Types › Dataset] . 4TU.Centre for Research Data . Hartmanns, A. https://doi.org/10.4121/uuid:6aa24e1a-3551-4073-b533-4ba6e408212d Card sorting data for Formal methods for GPGPU programming: is the demand met? (2020) [Dataset Types › Dataset] . 4TU.Centre for Research Data . Haak, L. B. v. d. , Wijs, A. , Brand, M. v. d. & Huisman, M. https://doi.org/10.4121/12988781 On sufficient spectral radius conditions for hamiltonicity of k-connected graphs (2020) Linear algebra and its applications, 604 , 129-145 . Zhou, Q. , Broersma, H. , Wang, L. & Lu, Y. https://doi.org/10.1016/j.laa.2020.06.012 Some algorithmic results for finding compatible spanning circuits in edge-colored graphs (2020) Journal of combinatorial optimization, 40(4) , 1008-1019 . Guo, Z. , Broersma, H. , Li, R. & Zhang, S. https://doi.org/10.1007/s10878-020-00644-7 What is the point: Formal analysis and test generation for a railway standard (2020) In Proceedings of the 30th European Safety and Reliability Conference and the 15th Probabilistic Safety Assessment and Management Conference (pp. 921-928) . Research Publishing Services . Bouwman, M. , van der Wal, D. , Luttik, B. , Stoelinga, M. & Rensink, A. https://doi.org/10.3850/978-981-14-8593-0_4410-cd Verification and Validation of Concurrent and Distributed Systems (Track Summary) (2020) In Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I (pp. 421-425) (Lecture Notes in Computer Science; Vol. 12476) (Theoretical Computer Science and General Issues) . Springer . Huisman, M. & Seceleanu, C. https://doi.org/10.1007/978-3-030-61362-4_24 On the Industrial Application of Critical Software Verification with VerCors (2020) In Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III (pp. 273-292) (Lecture Notes in Computer Science; Vol. 12478) (Theoretical Computer Science and General Issues) . Springer . Huisman, M. & Monti, R. E. https://doi.org/10.1007/978-3-030-61467-6_18 OOPSLE 2020: Open and Original Problems in Software Language Engineering (2020) In STAF 2020 Workshop Proceedings: 4th Workshop on Model-Driven Engineering for the Internet-of-Things, 1st International Workshop on Modeling Smart Cities, and 5th International Workshop on Open and Original Problems in Software Language Engineering co-located with Software Technologies: Applications and Foundations federation of conferences (STAF 2020, ) Bergen, Norway, June 22-26, 2020 (pp. 47-51) (CEUR workshop proceedings; Vol. 2707) . CEUR . Zaytsev, V. & Bagge, A. H. https://ceur-ws.org/Vol-2707/ Reflections on the Lack of Adoption of Domain Specific Languages (2020) In STAF 2020 Workshop Proceedings: 4th Workshop on Model-Driven Engineering for the Internet-of-Things, 1st International Workshop on Modeling Smart Cities, and 5th International Workshop on Open and Original Problems in Software Language Engineering co-located with Software Technologies: Applications and Foundations federation of conferences (STAF 2020, ) Bergen, Norway, June 22-26, 2020 (pp. 85-94) . Article 5 (CEUR Workshop Proceedings; Vol. 2707) . CEUR . Tomassetti, F. & Zaytsev, V. https://ceur-ws.org/Vol-2707/ A deep learning approach to realize funtionality in nanoelectronic devices (2020) Nature nanotechnology, 15 , 992-998 . Ruiz Euler, H.-C. , Boon, M. N. , Wildeboer, J. T. , van de Ven, B. , Chen, T. , Broersma, H. , Bobbert, P. A. & van der Wiel, W. G. https://doi.org/10.1038/s41565-020-00779-y Faithful and Effective Reward Schemes for Model-Free Reinforcement Learning of Omega-Regular Objectives (2020) In Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings (pp. 108-124) (Lecture Notes in Computer Science; Vol. 12302) . Springer . Hahn, E. M. , Perez, M. , Schewe, S. , Somenzi, F. , Trivedi, A. & Wojtczak, D. https://doi.org/10.1007/978-3-030-59152-6_6 Multi-cost Bounded Tradeoff Analysis in MDP (2020) Journal of automated reasoning, 64(7) , 1483-1522 . Hartmanns, A. , Junges, S. , Katoen, J.-P. & Quatmann, T. https://doi.org/10.1007/s10817-020-09574-9 Out for coffee: with Rob (2020) Acta informatica, 57(3-5) , 323-327 . Fehnker, A. https://doi.org/10.1007/s00236-020-00378-3 Selected and Extended Papers from TACAS 2018: Preface (2020) Journal of automated reasoning, 64(7) , 1331-1332 . Beyer, D. & Huisman, M. https://doi.org/10.1007/s10817-020-09575-8 Spectral properties of inverse sum indeg index of graphs (2020) Journal of Mathematical Chemistry, 58(9) , 2108-2139 . Li, F. , Li, X. & Broersma, H. https://doi.org/10.1007/s10910-020-01170-x Mind the app: Riflessioni per un contact tracing responsabile (2020) In Le parole della crisi, le politiche dopo la pandemia: Guida non emergenziale al post-Covid-19 (pp. 341-353) . Editoriale Scientifica . Nicoletti, S. M. & Bogliolo, A. Symbolic Parity Game Solvers that Yield Winning Strategies (2020) In Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification: Brussels, Belgium, September 21-22, 2020 (pp. 18-32) (Electronic Proceedings in Theoretical Computer Science; Vol. 326) . Open Publishing Association . Lijzenga, O. & van Dijk, T. https://doi.org/10.4204/EPTCS.326.2 Compatible spanning circuits in edge-colored graphs (2020) [Thesis › PhD Thesis - Research external, graduation UT] . University of Twente . Guo, Z. https://doi.org/10.3990/1.9789036550468 VerifyThis 2019: A Program Verification Competition (Extended Report) (2020) [Working paper › Working paper] . ArXiv.org . Dross, C. , Furia, C. A. , Huisman, M. , Monahan, R. & Müller, P. https://doi.org/10.48550/arXiv.2008.13610 DFTRES tool demo (video) (2020) [Dataset Types › Dataset] . figshare . Budde, C. E. https://doi.org/10.6084/m9.figshare.12792437.v2 A distributed blockchain model of selfish mining (2020) In Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I (pp. 350-361) (Lecture Notes in Computer Science; Vol. 12232) . Springer . Eijkel, D. & Fehnker, A. https://doi.org/10.1007/978-3-030-54994-7_26 Formal Verification of Parallel Prefix Sum (2020) In NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings (pp. 170-186) (Lecture Notes in Computer Science; Vol. 12229) . Springer . Safari, M. , Oortwijn, W. , Joosten, S. & Huisman, M. https://doi.org/10.1007/978-3-030-55754-6_10 Sampling Distributed Schedulers for Resilient Space Communication (2020) In NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings (pp. 291-310) (Lecture Notes in Computer Science; Vol. 12229) . Springer . D'Argenio, P. R. , Fraire, J. A. & Hartmanns, A. https://doi.org/10.1007/978-3-030-55754-6_17 Dopant Network Processing Units: Towards Efficient Neural-network Emulators with High-capacity Nanoelectronic Nodes (2020) [Working paper › Working paper] . ArXiv.org . Ruiz, H.-C. , Alegre Ibarra, U. , van de Ven, B. , Broersma, H. , Bobbert, P. A. & van der Wiel, W. G. https://arxiv.org/abs/2007.12371 Towards verified construction of correct and optimised GPU software (2020) In FTfJP 2020: Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs (pp. 10-14) . Association for Computing Machinery . Huisman, M. & Wijs, A. https://doi.org/10.1145/3427761.3428344 Of Flesh and Steel: Computational Creativity in Music and the Body Issue (2020) Journal of Contemporary Music, Art and Technology, I(4) , 24-42 . Merlini, M. & Nicoletti, S. M. https://doi.org/10.51191/issn.2637-1898.2020.3.4.24 Optimistic Value Iteration (2020) In Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II (pp. 488-511) (Lecture Notes in Computer Science; Vol. 12225) . Springer . Hartmanns, A. & Kaminski, B. L. https://doi.org/10.1007/978-3-030-53291-8_26 Compatible spanning circuits in edge-colored graphs (2020) Discrete mathematics, 343(7) . Article 111908 . Guo, Z. , Li, B. , Li, X. & Zhang, S. https://doi.org/10.1016/j.disc.2020.111908 On sufficient degree conditions for traceability of claw-free graphs (2020) Discrete mathematics, 343(7) . Article 111883 . Tian, T. , Broersma, H. & Xiong, L. https://doi.org/10.1016/j.disc.2020.111883 Vertex-disjoint properly edge-colored cycles in edge-colored complete graphs (2020) Journal of graph theory, 94(3) , 476-493 . Li, R. , Broersma, H. & Zhang, S. https://doi.org/10.1002/jgt.22536 Multi-Cost Bounded Tradeoff Analysis in MDP - Artifact (2020) [Dataset Types › Dataset] . Zenodo . Hartmanns, A. , Junges, S. , Katoen, J.-P. & Quatmann, T. https://doi.org/10.5281/zenodo.3894716 An Abstraction Technique for Verifying Shared-Memory Concurrency (2020) Applied Sciences, 10(11) . Article 3928 . Oortwijn, W. , Gurov, D. & Huisman, M. https://doi.org/10.3390/app10113928 A compositional semantics for repairable fault trees with general distributions (2020) In Proceedings of the 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (pp. 354-372) (EPiC Series in Computing; Vol. 73) . EasyChair . Monti, R. , Budde, C. E. & D’Argenio, P. R. https://doi.org/10.29007/p16v Software artefact for FIG: the Finite Improbability Generator (2020) [Dataset Types › Dataset] . 4TU.Centre for Research Data . Budde, C. https://doi.org/10.4121/uuid:1d5ddcd6-b3a9-4425-92b3-c46db98b7d8e Atelier for Creative Programming - Poster Video (2020) [Non-textual form › Digital or Visual Products] 12th International Conference on Computer Supported Education, CSEDU 2020 . Fehnker, A. & Mader, A. H. Atelier for Creative Programming (2020) [Contribution to conference › Abstract] 12th International Conference on Computer Supported Education, CSEDU 2020 . Fehnker, A. & Mader, A. Tinkering in Informatics as Teaching Method (2020) [Contribution to conference › Paper] 12th International Conference on Computer Supported Education, CSEDU 2020 . Mader, A. H. , Fehnker, A. & Dertien, E. C. https://doi.org/10.5220/0009467304500457 Preface (2020) Electronic proceedings in theoretical computer science, 316 . Fehnker, A. & Garavel, H. http://eptcs.web.cse.unsw.edu.au/content.cgi?MARS2020#EPTCS316.0 Classic and non-prophetic model checking for hybrid Petri nets with stochastic firings (2020) In HSCC '20: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control . Article 10 . Association for Computing Machinery . Pilch, C. , Hartmanns, A. & Remke, A. https://doi.org/10.1145/3365365.3382198 FIG: The Finite Improbability Generator (2020) In Tools and Algorithms for the Construction and Analysis of Systems- 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings, Part I (pp. 483-491) (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12078 LNCS) . Springer . Budde, C. E. https://doi.org/10.1007/978-3-030-45190-5_27 Rare Event Simulation for Non-Markovian Repairable Fault Trees (2020) In Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings (pp. 463-482) (Lecture Notes in Computer Science; Vol. 12078) . Springer . Budde, C. E. , Biagi, M. , Monti, R. E. , D’Argenio, P. R. & Stoelinga, M. https://doi.org/10.1007/978-3-030-45190-5_26 Data for paper "Parametric analyses of attack-fault trees" (2020) [Dataset Types › Dataset] . Zenodo . André, É. , Lime, D. , Ramparison, M. , Stoelinga, M. , Ramparison, M. , André, É. , Lime, D. & Stoelinga, M. https://doi.org/10.5281/zenodo.5062314 ECHO, the executable CHOndrocyte: A computational model to study articular chondrocytes in health and disease (2020) Cellular Signalling, 68 . Article 109471 . Schivo, S. , Khurana, S. , Govindaraj, K. , Scholma, J. , Kerkhofs, J. , Zhong, L. , Huang, X. , Pol, J. v. d. , Langerak, R. , Wijnen, A. J. v. , Geris, L. , Karperien, M. & Post, J. N. https://doi.org/10.1016/j.cellsig.2019.109471 Automated Rare Event Simulation for Fault Tree Analysis via Minimal Cut Sets (2020) In Measurement, Modelling and Evaluation of Computing Systems - 20th International GI/ITG Conference, MMB 2020, Proceedings (pp. 259-277) (Lecture Notes in Computer Science; Vol. 12040) . Springer . Budde, C. E. & Stoelinga, M. https://doi.org/10.1007/978-3-030-43024-5_16 A methodology for evaluating tooth wear monitoring using timed automata modelling (2020) Journal of Oral Rehabilitation, 47(3) , 353-360 . Wetselaar, P. , Lobbezoo, F. , de Jong, P. , Choudry, U. , van Rooijen, J. & Langerak, R. https://doi.org/10.1111/joor.12908 Special section on ICMT at STAF 2018 (2020) Software and systems modeling, 19(2) , 399-400 . Cuadrado, J. S. & Rensink, A. https://doi.org/10.1007/s10270-020-00775-9 Formal Methods: From Academia to Industrial Practice: A Travel Guide (2020) [Working paper › Preprint] . ArXiv.org . Huisman, M. , Gurov, D. & Malkis, A. https://doi.org/10.48550/arXiv.2002.07279 Classification with a disordered dopant-atom network in silicon (2020) Nature, 577 , 341-345 . Chen, T. , van Gelder, J. , van de Ven, B. , Amitonov, S. V. , de Wilde, B. , Ruiz Euler, H.-C. , Broersma, H. , Bobbert, P. A. , Zwanenburg, F. A. & van der Wiel, W. G. https://doi.org/10.1038/s41586-019-1901-0 Practical Abstractions for Automated Verification of Shared-Memory Concurrency (2020) In Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings (pp. 401-425) (Lecture Notes in Computer Science; Vol. 11990) (Theoretical Computer Science and General Issues) . Springer . Oortwijn, W. , Gurov, D. & Huisman, M. https://doi.org/10.1007/978-3-030-39322-9_19 Alice & Eve: A celebration of women in computing (2020) [Book/Report › Book] . University of Twente . van Huizen, N. , Kemper, P. , Stoelinga, M. , Schaafstal, A. , Huisman, M. & Lathouwers, S. https://doi.org/10.3990/1.9789036549554 Alice and Eve: a celebration of women in computer science (2020) In Engaging, Engineering, Education: Book of Abstracts, SEFI 48th Annual Conference University of Twente (online), 20-24 September, 2020 . University of Twente . van Huizen, J. C. , Huisman, M. , Lathouwers, S. A. M. , Schaafstal, A. M. & Stoelinga, M. I. A. ARCH-COMP20 Category Report: Stochastic Models (2020) In ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Berlin, Germany, July 12, 2020 (pp. 76-106) (EPiC Series in Computing) . EasyChair . Abate, A. , Blom, H. , Cauchi, N. , Delicaris, J. , Hartmanns, A. , Khaled, M. , Lavaei, A. , Pilch, C. , Remke, A. , Schupp, S. , Shmarov, F. , Soudjani, S. , Vinod, A. P. , Wooding, B. , Zamani, M. & Zuliani, P. https://doi.org/10.29007/mqzc Artifact for Automated Verification of Parallel Nested DFS, TACAS’20 (2020) [Dataset Types › Dataset] . 4TU.Centre for Research Data . Oortwijn, W. H. M. , Huisman, M. , Joosten, S. J. C. & van de Pol, J. https://doi.org/10.4121/uuid:36c00955-5574-44d9-9b26-340f7a1ea03b Atelier – Support for Creative Programming Education (2020) [Non-textual form › Digital or Visual Products] ICAB conference 2020 . Eindhoven University of Technology . Fehnker, A. & Mader, A. H. https://www.youtube.com/watch?v=M_YCjhbpmGQ Atelier: An Online Platform for Programming Tutorials (2020) In Proceedings of the 9th Computer Science Education Research Conference (CSERC '20) . Association for Computing Machinery . Fehnker, A. , Mader, A. , Rump, A. , Rutgers, M. , Steenmeijer, L. & Witteveen, C. https://doi.org/10.1145/3442481.3442511 Automated Verification of Parallel Nested DFS (2020) In Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I (pp. 247-265) (Lecture Notes in Computer Science; Vol. 12078) . Springer . Oortwijn, W. , Huisman, M. , Joosten, S. J. C. & Pol, J. v. d. https://doi.org/10.1007/978-3-030-45190-5_14 Conditions on subgraphs, degrees, and domination for hamiltonian properties of graphs (2020) Discrete mathematics, 343(1) . Article 111644 . Zheng, W. , Broersma, H. , Wang, L. & Zhang, S. https://doi.org/10.1016/j.disc.2019.111644 Correction to: The Dynamic Fault Tree Rare Event Simulator (2020) In Correction to: The Dynamic Fault Tree Rare Event Simulator . Budde, C. E. , Ruijters, E. & Stoelinga, M. https://doi.org/10.1007/978-3-030-59854-9_21 Double-Spending Analysis of Bitcoin (2020) In 24th Pacific Asia Conference on Information Systems, PACIS 2020, Dubai, UAE, June 22-24, 2020 (pp. 210) . Chaudhary, K. , Chand, V. & Fehnker, A. https://aisel.aisnet.org/pacis2020/210 Inhuman All Too Inhuman: Intrinsic Limits of Computational Creativity in Music (2020) Riffs, 4(1) , 28-47 . Nicoletti, S. M. & Merlini, M. https://doi.org/10.6084/M9.FIGSHARE.12689663.V1 Model-Free Reinforcement Learning for Stochastic Parity Games (2020) In 31st International Conference on Concurrency Theory (CONCUR 2020) . Article 21 (Leibniz International Proceedings in Informatics (LIPIcs); Vol. 171) . Dagstuhl . Hahn, E. M. , Perez, M. , Schewe, S. , Somenzi, F. , Trivedi, A. & Wojtczak, D. https://doi.org/10.4230/LIPICS.CONCUR.2020.21 Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2020, Dublin, Ireland, April 26, 2020 (2020) [Book/Report › Book editing] 4th Workshop on Models for Formal Analysis of Real Systems, MARS 2020 . ArXiv.org . Fehnker, A. & Garavel, H. https://doi.org/10.4204/EPTCS.316 The 2020 Expert Survey on Formal Methods (2020) In Formal Methods for Industrial Critical Systems - 25th International Conference, FMICS 2020, Proceedings (pp. 3-69) (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12327 LNCS) . Springer . Garavel, H. , Ter Beek, M. H. & Van De Pol, J. https://doi.org/10.1007/978-3-030-58298-2_1 The Dynamic Fault Tree Rare Event Simulator (2020) In Quantitative Evaluation of Systems: 17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020, Proceedings (pp. 233-238) (Lecture Notes in Computer Science; Vol. 12289) (Theoretical Computer Science and General Issues) . Springer . Budde, C. E. , Ruijters, E. & Stoelinga, M. https://doi.org/10.1007/978-3-030-59854-9_17 Verifying Sanitizer Correctness through Black-Box Learning: A Symbolic Finite Transducer Approach (2020) In Proceedings of the 6th International Conference on Information Systems Security and Privacy: Volume 1: ForSE (pp. 784-795) . SCITEPRESS . Lathouwers, S. , Everts, M. & Huisman, M. https://doi.org/10.5220/0009371207840795
2019
Interval Markov Decision Processes with Multiple Objectives: From Robust Strategies to Pareto Curves (2019) ACM transactions on modeling and computer simulation, 29(4) . Article 27 . Hahn, E. M. , Hashemi, V. , Hermanns, H. , Lahijanian, M. & Turrini, A. https://doi.org/10.1145/3309683 Contents for a Model-Based Software Engineering Body of Knowledge (2019) Software and systems modeling, 18(6) , 3193-3205 . Burgueño, L. , Ciccozzi, F. , Famelis, M. , Kappel, G. , Lambers, L. , Mosser, S. , Paige, R. F. , Pierantonio, A. , Rensink, A. , Salay, R. , Taentzer, G. , Vallecillo, A. & Wimmer, M. https://doi.org/10.1007/s10270-019-00746-9 Preface to the ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) (2019) In 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) (pp. xviii-xxiv) . Burgue, L. , Pretschner, A. , Voss, S. , Chaudron, M. , Kienzle, J. , Völter, M. , Gérard, S. , Zahedi, M. , Bousse, E. , Rensink, A. , Polack, F. , Engels, G. & Kappel, G. https://doi.org/10.1109/MODELS-C.2019.00005 Fault Trees from Data: Efficient Learning with an Evolutionary Algorithm (2019) In Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings (pp. 19-37) (Lecture Notes in Computer Science; Vol. 11951) (Programming and Software Engineering) . Springer . Linard, A. , Bucur, D. & Stoelinga, M. https://doi.org/10.1007/978-3-030-35540-1_2 Toughness, Forbidden Subgraphs, and Hamilton-Connected Graphs (2019) Discussiones mathematicae. Graph theory, 42(1) , 187-196 . Zheng, W. , Broersma, H. & Wang, L. https://doi.org/10.7151/dmgt.2247 A compositional semantics for Repairable Fault Trees with general distributions (2019) [Working paper › Working paper] . ArXiv.org . Monti, R. , D' Argenio, P. R. & Budde, C. E. https://doi.org/10.48550/arXiv.1910.10507 From Good Intentions to Behaviour Change: Probabilistic Feature Diagrams for Behaviour Support Agents (2019) In PRIMA 2019: Principles and Practice of Multi-Agent Systems: 22nd International Conference, Turin, Italy, October 28-31, 2019, Proceedings (pp. 354-369) (Lecture Notes in Computer Science; Vol. 11873) . Springer . Kließ, M. S. , Stoelinga, M. & van Riemsdijk, M. B. https://doi.org/10.1007/978-3-030-33792-6_22 Treatment of children obesity and diabetes through gamification: A case of study (2019) In Proceedings - TEEM ' 19: 7th International Conference on Technological Ecosystems for Enhancing Multiculturality (pp. 452-458) . Association for Computing Machinery . Gómez del Río, N. , González-González, C. S. , Martín-González, R. , Navarro-Adelantado, V. , Toledo-Delgado, P. , Marrero-Gordillo, N. , del Cristo Barrios-Fleitas, Y. , Armas-Ramos, H. & Gacía-Pẽalvo, F. https://doi.org/10.1145/3362789.3362935 A Distributed Blockchain Model of Selfish Mining (2019) [Contribution to conference › Paper] 3rd World Congress on Formal Methods, FM 2019 . Eijkel, D. & Fehnker, A. https://drive.google.com/file/d/1s0PkOn6RzTEVmZrWSK5zkGfTIHcRGzvk/view?usp=sharing Concurrent chaining hash maps for software model checking (2019) In 2019 Formal Methods in Computer Aided Design (FMCAD) (pp. 46-54) . Article 8894279 (Proceedings of the Conference on Formal Methods in Computer-Aided Design (FMCAD); Vol. 2019) . IEEE . van der Berg, F. I. & van de Pol, J. https://doi.org/10.23919/FMCAD.2019.8894279 Sound black-box checking in the LearnLib (2019) Innovations in systems and software engineering, 15(3-4) , 267-287 . Meijer, J. & van de Pol, J. https://doi.org/10.1007/s11334-019-00342-6 Towards a formal specification of multi-paradigm modelling (2019) In Proceedings - 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2019 (pp. 419-424) . Article 8904740 . IEEE . Amrani, M. , Blouin, D. , Heinrich, R. , Rensink, A. , Vangheluwe, H. & Wortmann, A. https://doi.org/10.1109/MODELS-C.2019.00067 Concurrent algorithms and data structures for model checking (2019) In 30th International Conference on Concurrency Theory, CONCUR 2019 . Article 4 (Leibniz International Proceedings in Informatics, LIPIcs; Vol. 140) . Dagstuhl . van de Pol, J. https://doi.org/10.4230/LIPIcs.CONCUR.2019.4 Probabilistic Verification for Reliable Network-on-Chip System Design (2019) In Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings (pp. 110-126) (Lecture Notes in Computer Science; Vol. 11687) . Springer . Lewis, B. , Hartmanns, A. , Basu, P. , Shridevi, R. J. , Chakraborty, K. , Roy, S. & Zhang, Z. https://doi.org/10.1007/978-3-030-27008-7_7 A polynomial algorithm for weighted scattering number in interval graphs (2019) Discrete applied mathematics, 264 , 118-124 . Li, F. , Zhang, X. & Broersma, H. https://doi.org/10.1016/j.dam.2019.01.004 Detecting and Addressing Design Smells in Novice Processing Programs (2019) In Computer Supported Education: 10th International Conference, CSEDU 2018, Funchal, Madeira, Portugal, March 15–17, 2018, Revised Selected Papers (pp. 507-531) (Communications in Computer and Information Science; Vol. 1022) . Springer . Fehnker, A. & de Man, R. https://doi.org/10.1007/978-3-030-21151-6_24 Model checking with generalized Rabin and Fin-less automata (2019) International journal on software tools for technology transfer, 21(3) , 307-324 . Bloemen, V. , Duret-Lutz, A. & van de Pol, J. https://doi.org/10.1007/s10009-019-00508-4 Parametric Analyses of Attack-Fault Trees (2019) In Proceedings - 2019 19th International Conference on Application of Concurrency to System Design, ACSD 2019 (pp. 33-42) (Proceedings - International Conference on Application of Concurrency to System Design, ACSD; Vol. 2019) . IEEE . André, É. , Lime, D. , Ramparison, M. & Stoelinga, M. https://doi.org/10.1109/ACSD.2019.00008 The Recent Applications of Machine Learning in Rail Track Maintenance: A Survey (2019) In Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings (pp. 91-105) (Lecture Notes in Computer Science; Vol. 11495) . Springer . Nakhaee, M. C. , Hiemstra, D. , Stoelinga, M. & Noort, M. v. https://doi.org/10.1007/978-3-030-18744-6_6 Presentation of the 9th Edition of the Model Checking Contest (2019) In Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings (pp. 50-68) (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11429 LNCS) . Springer . Amparore, E. , Berthomieu, B. , Ciardo, G. , Dal Zilio, S. , Gallà, F. , Hillah, L. M. , Hulin-Hubard, F. , Jensen, P. G. , Jezequel, L. , Kordon, F. , Le Botlan, D. , Liebke, T. , Meijer, J. , Miner, A. , Paviot-Adet, E. , Srba, J. , Thierry-Mieg, Y. , van Dijk, T. & Wolf, K. https://doi.org/10.1007/978-3-030-17502-3_4 The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models: Results and Replication (2019) [Dataset Types › Dataset] . Zenodo . Hartmanns, A. & Quatmann, T. https://doi.org/10.5281/zenodo.2628301 Rewriting Abstract Structures: Materialization Explained Categorically (2019) [Working paper › Preprint] . ArXiv.org . Corradini, A. , Heindel, T. , König, B. , Nolte, D. & Rensink, A. https://doi.org/10.48550/arXiv.1902.04809 A Parity Game Tale of Two Counters (2019) In Proceedings Tenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2019: Bordeaux, France, 2-3rd September 2019 (pp. 107-122) (Electronic Proceedings in Theoretical Computer Science (EPTCS); Vol. 305) . ArXiv.org . Dijk, T. v. https://doi.org/10.4204/EPTCS.305.8 Compatible spanning circuits in edge-colored Fan-type graphs (2019) [Contribution to conference › Paper] 17th Cologne-Twente Workshop on Graphs and Combinatorial Optimization, CTW 2019 . Guo, Z. , Broersma, H. , Li, B. & Zhang, S. ETAPS Foreword (2019) In Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III (pp. v-vi) (Lecture Notes in Computer Science; Vol. 11429) (Theoretical Computer Science and General Issues) . Springer . Katoen, J.-P. https://link.springer.com/content/pdf/bfm%3A978-3-030-17502-3%2F1.pdf Fault Trees from Data: Efficient Learning with an Evolutionary Algorithm (2019) [Working paper › Working paper] . ArXiv.org . Linard, A. , Bucur, D. & Stoelinga, M. https://arxiv.org/abs/1909.06258 Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-Agent Systems (2019) [Working paper › Working paper] . ArXiv.org . Arias, J. , Budde, C. E. , Penczek, W. , Petrucci, L. & Stoelinga, M. https://doi.org/10.48550/arXiv.1906.05283 Implicit heavy subgraph conditions for hamiltonicity of almost distance-hereditary graphs (2019) [Contribution to conference › Paper] 16th Cologne-Twente Workshop on Graphs and Combinatorial Optimization, CTW 2018 . Zheng, W. , Broersma, H. & Wang, L. Induction of Fault Trees through Bayesian Networks (2019) In Proceedings of the 29th European Safety and Reliability Conference (ESREL) (pp. 910-918) . Research Publishing . Linard, A. , Bueno, M. L. P. , Bucur, D. & Stoelinga, M. Minimal-time synthesis for parametric timed automata (2019) In Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings (pp. 211-228) (Lecture Notes in Computer Science; Vol. 11428) (Theoretical Computer Science and General Issues) . Springer . André, É. , Bloemen, V. , Petrucci, L. & van de Pol, J. https://doi.org/10.1007/978-3-030-17465-1_12 Multi-core On-The-Fly Saturation (2019) In Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings (pp. 58-75) (Lecture Notes in Computer Science; Vol. 11428) (Theoretical Computer Science and General Issues) . Springer . van Dijk, T. , Meijer, J. & van de Pol, J. https://doi.org/10.1007/978-3-030-17465-1_4 Omega-Regular Objectives in Model-Free Reinforcement Learning (2019) In Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings (pp. 395-412) (Lecture Notes in Computer Science; Vol. 11427) . Springer . Hahn, E. M. , Perez, M. , Schewe, S. , Somenzi, F. , Trivedi, A. , Trivedi, A. & Wojtczak, D. https://doi.org/10.1007/978-3-030-17462-0_27 On sufficient spectral radius conditions for hamiltonicity (2019) [Contribution to conference › Paper] 17th Cologne-Twente Workshop on Graphs and Combinatorial Optimization, CTW 2019 . Zhou, Q. , Broersma, H. , Wang, L. & Lu, Y. On the spectra of general random mixed graphs (2019) [Contribution to conference › Paper] 16th Cologne-Twente Workshop on Graphs and Combinatorial Optimization, CTW 2018 . Hu, D. , Broersma, H. , Hou, J. & Zhang, S. Preface (2019) In Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings (pp. v-v) (Lecture Notes in Computer Science; Vol. 11951) . Springer . Sun, J. , Katoen, J.-P. & Guan, N. https://link.springer.com/content/pdf/bfm%3A978-3-030-35540-1%2F1.pdf Rewriting Abstract Structures: Materialization Explained Categorically (2019) In Foundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings (pp. 169-188) (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11425 LNCS) . Springer . Corradini, A. , Heindel, T. , König, B. , Nolte, D. & Rensink, A. https://doi.org/10.1007/978-3-030-17127-8_10 Simple Fixpoint Iteration To Solve Parity Games (2019) In Proceedings Tenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2019: Bordeaux, France, 2-3rd September 2019 (pp. 123-139) (Electronic Proceedings in Theoretical Computer Science (EPTCS); Vol. 305) . ArXiv.org . Dijk, T. v. & Rubbens, B. https://doi.org/10.4204/EPTCS.305.9 Software Architecture of Modern Model Checkers (2019) In Computing and Software Science: State of the Art and Perspectives (pp. 393-419) (Lecture Notes in Computer Science; Vol. 10000) (Theoretical Computer Science and General Issues) . Springer . Kordon, F. , Leuschel, M. , Pol, J. v. d. & Thierry-Mieg, Y. https://doi.org/10.1007/978-3-319-91908-9_20 Sufficient degree conditions for traceability of claw-free graphs (2019) [Contribution to conference › Paper] 16th Cologne-Twente Workshop on Graphs and Combinatorial Optimization, CTW 2018 . Tian, T. , Broersma, H. & Xiong, L. Synchronous or Alternating?: LTL Black-Box Checking of Mealy Machines by Combining the LearnLib and LTSmin (2019) In Models, Mindsets, Meta: The What, the How, and the Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday (pp. 417-430) (Lecture Notes in Computer Science; Vol. 11200) (Theoretical Computer Science and General Issues) . Springer . van de Pol, J. & Meijer, J. https://doi.org/10.1007/978-3-030-22348-9_24 The 10,000 Facets of MDP Model Checking (2019) In Computing and Software Science: State of the Art and Perspectives (pp. 420-451) (Lecture Notes in Computer Science; Vol. 10000) . Springer . Baier, C. , Hermanns, H. & Katoen, J.-P. https://doi.org/10.1007/978-3-319-91908-9_21 TOOLympics 2019: An Overview of Competitions in Formal Methods (2019) In Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS (pp. 3-24) (Lecture Notes in Computer Science; Vol. 11429) . Springer . Bartocci, E. , Beyer, D. , Black, P. E. , Fedyukovich, G. , Garavel, H. , Hartmanns, A. , Huisman, M. , Kordon, F. , Nagele, J. , Sighireanu, M. , Steffen, B. , Suda, M. , Sutcliffe, G. , Weber, T. & Yamada, A. https://doi.org/10.1007/978-3-030-17502-3_1 Toughness and forbidden subgraphs for hamiltonian-connected graphs (2019) [Contribution to conference › Paper] 17th Cologne-Twente Workshop on Graphs and Combinatorial Optimization, CTW 2019 . Zheng, W. , Broersma, H. & Wang, L.
2018
Extremal benzenoid systems for two modified versions of the Randić index (2018) Applied mathematics and computation, 337 , 14-24 . Li, F. , Broersma, H. , Rada, J. & Sun, Y. https://doi.org/10.1016/j.amc.2018.05.021 FFORT dataset (2018) [Dataset Types › Dataset] . University of Twente . Soltani, R. , Peppelman, M. J. W. & Stoelinga, M. I. A. Graph Attribution Through Sub-Graphs (2018) In Graph Transformation, Specifications, and Nets: In Memory of Hartmut Ehrig (pp. 245-265) (Lecture Notes in Computer Science; Vol. 10800) . Springer . Kastenberg, H. & Rensink, A. https://doi.org/10.1007/978-3-319-75396-6_14 Rule-based conditioning of probabilistic data (2018) In Scalable Uncertainty Management: 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings (pp. 290-305) (Lecture Notes in Computer Science; Vol. 11142) . Springer . van Keulen, M. , Kaminski, B. , Matheja, C. & Katoen, J. P. https://doi.org/10.1007/978-3-030-00461-3_20
2017
Model-Based Testing of Probabilistic Systems with Stochastic Time (2017) In Tests and Proofs: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings (pp. 77-97) (Lecture notes in computer science; Vol. 10375) . Gerhold, M. & Stoelinga, M. https://doi.org/10.1007/978-3-319-61467-0_5 Cycle extension in edge-colored complete graphs (2017) Discrete mathematics, 340(6) , 1235-1241 . Li, R. , Broersma, H. J. , Xu, C. & Zhang, S. https://doi.org/10.1016/j.disc.2017.01.023 Computability and Complexity of Unconventional Computing Devices (2017) [Working paper › Preprint] . ArXiv.org . Broersma, H. , Stepney, S. & Wendin, G. https://doi.org/10.48550/arXiv.1702.02980 Complexity and information flow analysis for multi-threaded programs (2017) The European physical journal. Special topics, online pre-publication , 2375–2392 . Ngo, T. M. & Huisman, M. https://doi.org/10.1140/epjst/e2016-60402-0 The Road from Stochastic Automata to the Simulation of Rare Events (2017) In ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday (pp. 276-294) (Lecture Notes in Computer Science; Vol. 10500) . Springer . Budde, C. E. , D' Argenio, P. R. , Monti, R. E. , Lee, M. D. , Rodríguez, L. & Wolovick, N. https://doi.org/10.1007/978-3-319-68270-9_14
2016
Partial-Order Reduction for GPU Model Checking (2016) In Automated Technology for Verification and Analysis : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings (pp. 357-374) (Lecture Notes in Computer Science; Vol. 9938) . Springer . Neele, T. , Wijs, A. , Bošnački, D. & van de Pol, J. https://doi.org/10.1007/978-3-319-46520-3_23 Software that meets its Intent (2016) In Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II (pp. 609-625) (Lecture Notes in Computer Science; Vol. 9953) . Springer . Huisman, M. , Bos, H. , Brinkkemper, S. , van Deursen, A. , Groote, J. F. , Lago, P. , van de Pol, J. & Visser, E. https://doi.org/10.1007/978-3-319-47169-3_47 webANIMO front end source code (2016) [Dataset Types › Dataset] . Zenodo . Siers, W. , Bakker, M. , Rubbens, B. , Haasjes, R. , Brandt, J. & Schivo, S. https://doi.org/10.5281/zenodo.57206 Efficient Algorithms for Time- and Cost-Bounded Probabilistic Model Checking (2016) [Working paper › Preprint] . ArXiv.org . Hahn, E. M. & Hartmanns, A. https://doi.org/10.48550/arXiv.1605.05551
2015
Gamificao em aplicativos móveis para educar em hábitos de vida saudáveis (2015) In Jogos digitais e aprendizagem: Fundamentos para uma prática baseada em evidências (pp. 245-268) . Papirus . González-González, C. S. , Gómez del Río, N. , Martín González, R. & Barrios-Fleitas, Y.
2014
Setting Parameters for Biological Models With ANIMO (2014) [Working paper › Preprint] . ArXiv.org . Schivo, S. , Scholma, J. , Karperien, M. , Post, J. N. , van de Pol, J. & Langerak, R. https://doi.org/10.48550/arXiv.1404.0444
2013
DFTCalc: a tool for efficient fault tree analysis (2013) In Proceedings of the 32nd International Conference on Computer Safety, Reliability, and Security (SAFECOMP) (pp. 293-301) (Lecture Notes in Computer Science; Vol. 8153) . Springer . Arnold, F. , Belinfante, A. , van der Berg, F. , Guck, D. & Stoelinga, M. https://doi.org/10.1007/978-3-642-40793-2_27
2012
Quantitative modelling and analysis (2012) In Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II (pp. 290-292) (Lecture Notes in Computer Science; Vol. 7610) . Springer . Katoen, J.-P. & Larsen, K. G. https://doi.org/10.1007/978-3-642-34032-1_27 Recent Developments in the Theory of Graph Transformation, 2010 Preface (2012) Fundamenta informaticae, 118(1-2) , V-VII . Rensink, A. , Rozenberg, G. & Schürr, A. https://doi.org/10.3233/FI-2012-703
2011
Modeling biological pathway dynamics with timed automata (2011) [Contribution to conference › Poster] EMBO|EMBL Symposium on Structure and Dynamics of Protein Networks 2011 . Schivo, S. , Scholma, J. , Wanders, B. , Post, J. N. , Karperien, M. , van der Vet, P. E. , Langerak, R. & van de Pol, J.
2010
Preface (2010) In Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings (pp. v-vi) (Lecture Notes in Computer Science; Vol. 6349) . Springer . van de Pol, J. & Weber, M. https://doi.org/10.1007/978-3-642-16164-3
2005
Interface Abstraction for Compositional Verification (2005) In Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany (pp. 414-424) (IEEE International Conference on Software Engineering and Formal Methods (SEFM); Vol. 2005) . IEEE . Gurov, D. & Huisman, M. https://doi.org/10.1109/SEFM.2005.24
1995
Experience using Spin and Promela in the Design of a Storm Surge Barrier Control System (1995) [Contribution to conference › Abstract] 1st SPIN Workshop 1996 . Kars, P.
1994
Finite petri nets as models for recursive causal behaviour (1994) Theoretical computer science, 124(1) , 169-179 . Goltz, U. & Rensink, A. https://doi.org/10.1016/0304-3975(94)90058-2