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: 2025 | 2024 | 2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2012 | 2011 | 2010 | 2005 | 1995 | 1994
2025
Making ETAPS Gold Open Access (2025)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_23Artifact 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.15273670Artifact 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.https://doi.org/10.5281/zenodo.15228404Artefact of: Verified Parameterized Choreographies (2025)[Dataset Types › Dataset]. Zenodo. Rubbens, R., van den Bos, P. & Huisman, M.https://doi.org/10.5281/zenodo.15223434Artifact 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.v2Artifact 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-07b9ba601804Reproduction 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.15199589Artifact 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.14930103What 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.9789036565042Reproduction 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.14883218Estimating 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 (E-pub ahead of print/First online). Wetselaar-Glas, M. J. M., Voortman, N., van Mechelen, P.-H., Wetselaar, P. & Langerak, R.https://doi.org/10.1016/j.compbiomed.2025.109910Artefact of: Verified Parameterized Choreographies (2025)[Dataset Types › Dataset]. Zenodo. Rubbens, R., van den Bos, P. & Huisman, M.https://doi.org/10.5281/zenodo.14900264Executable BDD Scenario Models for RobotframeworkMBT (2025)[Dataset Types › Dataset]. Zenodo. Zameni, T. & Foederer, J.https://doi.org/10.5281/zenodo.14892704Supporting 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-9dd408ff9867Safety and Security Dependencies for Gridshield (2025)In IEEE PES Innovative Smart Grid Technologies Europe, ISGT EUROPE 2024 (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.10863084Reliability 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.9789036564076Reducing Late Night Snacking: Exploring the Potential of Ambient Tangible Interfaces (2025)[Contribution to conference › Poster] 10th Dutch Biomedical Engineering Conference, BME 2025 (Accepted/In press). 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.10127Sound 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.14602066Modest Models and Tools for Real Stochastic Timed Systems (2025)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_6Modular Criticality Analysis for Dynamic Fault Trees (2025)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_13No Risk, No Fun: A Tutorial on Risk Management (2025)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_26Tests 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-4The VerifyThis Collaborative Long-Term Challenge Series (2025)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_6Tools at the Frontiers of Quantitative Verification: QComp 2023 Competition Report (2025)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_4Turá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.114219Understanding 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
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_24Dodge: Ontology-Aware Risk Assessment via Object-Oriented Disruption Graphs (2024)[Working paper › Preprint]. ArXiv.org. Nicoletti, S. M., Hahn, E. M., Fumagalli, M., Guizzardi, G. & Stoelinga, M.https://doi.org/10.48550/arXiv.2412.13964Benchmark 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.14500423Greening 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.101490Provable 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.3516564Autonomous 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_3Automated 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_23Deductive 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_11Formal 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_1Leveraging 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.14222431How 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.14193935Measured 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_14Principles 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-5Bounds 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.019Principles 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 Medizin. 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-9VeyMont: 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_12Principles 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 Medizin. 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-4Artifact 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.13338380IterSHAP: 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_35Growth 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.23149If 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.9789036563437Towards 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.2423510Uomo 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.3688348Tracer: 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.23763Scalable 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_15SpecifyThis 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_1Requirements 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.13992349On 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.10715187Multi-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/FAIA240676How 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.06692The 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-1Turá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.9789036562553Attack 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.00005Reusable 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_14Efficient 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_11Safety-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_14Local conditions for Hamiltonicity of graphs (2024)[Thesis › PhD Thesis - Research UT, graduation UT]. University of Twente. Shang, W.https://doi.org/10.3990/1.9789036562478Refinement 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-wTertiary 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/make6030098Tracer: 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-6a16e3f7d10dSurpassing 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.3674568Tython v0.1 (2024)[Dataset Types › Dataset]. Zenodo. Ntagengerwa, M. A.https://doi.org/10.5281/zenodo.13366852A comparison of anomaly detection algorithms with applications on recoater streaking in an additive manufacturing process (2024)Rapid prototyping journal (E-pub ahead of print/First online). Stribos, R., Bouman, R., Jimenez, L., Slot, M. & Stoelinga, M. I. A.https://doi.org/10.1108/RPJ-03-2024-0125Fault 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_5Verifying 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_9Artifact 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.13348213An 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.00033On Categories of Nested Conditions (2024)[Working paper › Working paper]. ArXiv.org. Rensink, A. & Corradini, A.https://doi.org/10.48550/arXiv.2408.06196Extremal 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.120737Extending 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.00034The 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.00022Artifact 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-a1b32cfa3028Fast 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-00d8780c4a1aMaintenance 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.4091Comparing 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-530c1abddfbcTeam 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.12082528Mining Frequent Structures in Conceptual Models (2024)[Working paper › Preprint]. ArXiv.org. Fumagalli, M., Sales, T. P., Barcelos, P. P. F., Micale, G., Glaser, P.-L., Bork, D., Zaytsev, V., Calvanese, D. & Guizzardi, G.https://doi.org/10.48550/arXiv.2406.07129Graphs 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.120629Comparing Statistical, Analytical, and Learning-Based Routing Approaches for Delay-Tolerant Networks (2024)ACM transactions on modeling and computer simulation (E-pub ahead of print/First online). d' Argenio, P. R., Fraire, J., Hartmanns, A. & Raverta, F.https://doi.org/10.1145/3665927Online 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_22Tools 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.13583Surpassing 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.10971388Deriving 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.111973Model-based source code refactoring with interaction and visual cues (2024)Journal of software: Evolution and Process, 36(5). Article e2596. Hemati Moghadam, I., Ó Cinnéide, M., Sardarian, A. & Zarepour, F.https://doi.org/10.1002/smr.2596Survey 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.111972AthenaLLM: 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. Oliveira, B. D. & Castor, F.https://doi.org/10.1145/3643916.364443The 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.005Green 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.3644967Artifact 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-6d2606fe07baTrack 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.3647990First 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_15CTMCs 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_13HaliVer: 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_4Formal 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-3Omega-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.30105SAFEST: 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.10457719The 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.024The 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.003Artefact 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/21763274Fuzzy 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.08843Mechanisms for Robust Local Differential Privacy (2024)Entropy, 26(3). Article 233. Lopuhaä-Zwakenberg, M. & Goseling, J.https://doi.org/10.3390/e26030233The 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.24Querying 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.16015Fuzzy 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.10554727Progress Measures and Tangle Learning algorithm implementation and benchmarks (2024)[Dataset Types › Dataset]. Zenodo. Stekelenburg, A. & van Dijk, T.https://doi.org/10.5281/zenodo.10558315Considerations 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.48550/arXiv.2401.11905Fuzzy 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.12346HaliVer: 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.10778CTMCs 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.06574Artifact 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-3462bf30ff05Extending 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.10465264A 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.2464Adaptive 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.3343599AGNES: 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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 14500 LNCS). Springer. Dhonthi Ramesh Babu, A., Eiermann, M., Hahn, E. M. & Hashemi, V.https://doi.org/10.1007/978-3-031-50521-8_6Algorithms 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_9Edge 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.2450ETAPS 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-9Fault 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/0012334000003645Fuzzy 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_10Integral models of reductive groups and integral Mumford–Tate groups (2024)Annales Henri Lebesgue, 7. Lopuhaä-Zwakenberg, M.https://doi.org/10.5802/ahl.210Investigating 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/0012628000003693Joining 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_9Knor: 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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 14570 LNCS). Springer. van Dijk, T., van Abbema, F. & Tomov, N.https://doi.org/10.1007/978-3-031-57246-3_7Properly 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.23019Querying 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.10457796Sharp 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.113659Teaching 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/0012624200003693The 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_1Unplugged 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.10438984Fault tree reliability analysis via squarefree polynomials (2023)[Working paper › Preprint]. ArXiv.org. Lopuhaä-Zwakenberg, M.https://doi.org/10.48550/arXiv.2312.05836Fault tree reliability analysis via squarefree polynomials (2023)[Dataset Types › Dataset]. Zenodo. Lopuhaä-Zwakenberg, M.https://doi.org/10.5281/zenodo.10324544A 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-2Artifact 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-68f2137145a7Spectral 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.9789036558549Edge colorings of planar graphs (2023)[Thesis › PhD Thesis - Research UT, graduation UT]. University of Twente. Zhang, L.https://doi.org/10.3990/1.9789036558716Model-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.100597Properly 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.9789036558525Properly 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.9789036558693Artifact 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-20c5b6152862Attack 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_10Crossover: 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.3624055Fast 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_9Scenario 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_8Solving 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.3623535Exploring annotations for deductive verification (2023)[Thesis › PhD Thesis - Research UT, graduation UT]. University of Twente. Lathouwers, S.https://doi.org/10.3990/1.9789036558464Introduction 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/3626206Preface 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-7Understanding and Measuring Inter-Process Code Injection in Windows Malware (2023)In Proceedings of the International Conference on Security and Privacy in Communication Networks (SecureComm 2023). Starink, J., Huisman, M., Peter, A. & Continella, A.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/FAIA230368Reactive 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-a76a459a9d53Joining 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-cce19d8ac196ATM: 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.09231Conformance 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_14Optimal 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.8341170Code 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/FloorHZ23Perfecting 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-94e7b6fc6d9fThe 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.02223Data 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/drones7090565Efficient 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.3215752Polynomial 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.6345Artefact 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. A. & Stoelinga, M. I. A.https://doi.org/10.5281/zenodo.8199172Artifact 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.8181117Supporting 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-38324d516bf3Concise 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-4Attack 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.8173950Artifact 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.8172548Multi-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/3605950Graph entropy and related topics (2023)[Thesis › PhD Thesis - Research UT, graduation UT]. University of Twente. Dong, Y.https://doi.org/10.3990/1.9789036556675Automatic 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.3203805QuestionMark (2023)[Dataset Types › Dataset]. Zenodo. Zandbergen, N., van Keulen, M., van Dijk, T. & Flokstra, J.https://doi.org/10.5281/zenodo.8146101Introduction 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/3604594Evaluation 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-1f8bb55ed988Specification 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/21820458With 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_10WasmRef-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/3591224From 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.00019From 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.00036A 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/13Sharp 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.06362Principles 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.1With 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.13417A 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_24Mungojerrie: 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_27ETAPS 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_8Spectral 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.004Computer 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.3587196Supplementary material for WasmRef-Isabelle (2023)[Dataset Types › Dataset]. Zenodo. Watt, C., Trela, M., Lammich, P. & Märkl, F.https://doi.org/10.5281/zenodo.7815662Code 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-66ca02b217bbPFL: 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.17314Reproduction 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.020Artefact 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.7712109Balancing 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/14185139Backdoor 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_37Parameter 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.7697153PFL: 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_13VeyMont: 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_19A 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/3528207Covid 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.00049A 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-014Coverage-Driven SLAM Testing (2023)[Dataset Types › Dataset]. 4TU.Centre for Research Data. Tasche, P. & Herber, P.https://doi.org/10.4121/21946514Look 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.110126Robust 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.14253The 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.127533A 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.7509474A 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.00012A 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_12ATM: 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_12Cost-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.00057EmoClock: Communicating Real-Time Emotional States Through Data Physicalizations (2023)In Lecture Notes in Computer Science (LNCS) - Interact 2023 (pp. 416-425). Springer. Peeters, D., Ranasinghe, C., Degbelo, A. & Ahmad, F.https://doi.org/10.1007/978-3-031-42280-5_26From 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-cdLeveraging 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.3337049Preface (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-0Property 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-cdSemantic 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.9981384Application 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.00062ARCH-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/lsvcOn 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.113112The 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.019Fisher 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.3563194Analysis 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-xModelling 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.3552426A 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.3556505Go 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.3559101Alternating 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_19Exploring 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_30Formal 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_24On 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_29SpecifyThis – 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_1The 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_25Verification 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_24The 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.22822For a Few Dollars More: Verified Fine-Grained Algorithm Analysis Down to LLVM (2022)ACM Transactions on Programming Languages and Systems (TOPLAS), 44(3). Article 14. Haslbeck, M. P. L. & Lammich, P.https://doi.org/10.1145/3486169Experiments 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.7104342Comparing 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_17Reinforcement 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_1Leveraging 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.pdfPreface (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-1Deterioration 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-cdBFL: 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.13424Backwards 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.11928Data-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_4Sampling-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_2Robust 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.9834796moves-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.7763174moves-rwth/stormpy: v1.7.0 (2022)[Dataset Types › Dataset]. Zenodo. Volk, M. & Junges, S.https://doi.org/10.5281/zenodo.7763208ProVerB: 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.v1Software 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.v1A 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-6BFL: 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.00051Sampling-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.08300Formal 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.3527652The 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.112826The 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.00251BDDs 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_38Learning 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_7Approximation 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/math10101683Robust Optimization for Local Differential Privacy (2022)[Working paper › Preprint]. ArXiv.org. Goseling, J. & Lopuhaä-Zwakenberg, M.https://doi.org/10.48550/arXiv.2205.05015Experiments 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.6523864Integer 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/10249Probabilistic 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.3024215Some 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/axioms11050243Formal 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.027Correct Optimized GPU Programs (2022)[Thesis › PhD Thesis - Research UT, graduation UT]. University of Twente. Safari, M.https://doi.org/10.3990/1.9789036553421DFT 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-4A 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_19DyNetKAT: 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_10Database 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.v1An 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.1BDDs 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.02829PhD Thesis Artifact: Correct Optimized GPU Programs (2022)[Dataset Types › Dataset]. 4TU.Centre for Research Data. Safari, M.https://doi.org/10.4121/19055453Modelling 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.9672579Aligning 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.101456A 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-8Alpinist: 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_18An 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_3Correct 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_3Counterfactual Causality in Networks (2022)[Working paper › Working paper]. ArXiv.org. Caltais, G. & Olmezoglu, C.https://doi.org/10.48550/arXiv.2211.00758Deriving 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.00027Engineering 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.3129978EPMC 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). 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_5FFSPIN '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/3528082Generating 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.00072Preface (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.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.24Report 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.pdfSpeak 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.pdfTeaching 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_12The 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_28Two 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.9909706Using 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.13253ARCH-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/dprvBe 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_19Synthesising 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-5TOOLympics 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-1VerifyThis 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-xArtifact for paper (Alpinist: an Annotation-Aware GPU Program Optimizer) (2021)[Dataset Types › Dataset]. 4TU.Centre for Research Data. Şakar, Ö. F. O., Safari, M., Huisman, M. & Wijs, A.https://doi.org/10.4121/16938556.v2Artifact for paper (Alpinist: an Annotation-Aware GPU Program Optimizer) (2021)[Non-textual form › Software]. Şakar, Ö., Safari, M., Huisman, M. & Wijs, A.https://doi.org/10.4121/16938556Learning 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.3487339An 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.732917A 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.00010Model-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_8Attack 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.112567Sufficient 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-8Two 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-1There 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.3486909Automated 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_17Correct 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-zAttack 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.5541760Fault 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-cdAtelier – 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_39Dopant 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/ac1a7fEdge-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.22684Robust 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.9518151State 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.102678Zero-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.3965313Data 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/14905251Attack 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_24Modular 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_5Probabilistic 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_16Tweaking 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_3Efficient 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.00041On 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_15The 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_1Modeling 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/0272989X211002756Almost-Symbolic Synthesis via Delta-2-Normalisation for Linear Temporal Logic (2021)[Contribution to conference › Paper] 10th Workshop on Synthesis. 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_30IntelliJML: 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.3468423Teaching Design by Contract using Snap! (2021)[Working paper › Working paper]. ArXiv.org. Huisman, M. & Monti, R. E.https://doi.org/10.48550/arXiv.2107.05679Automated 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_33Teaching 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.00007A 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/3449355Permission-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.00017Bounded-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.3On 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.031Model-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.06272Multi-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-zA 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_3Atelier 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/81318Balancing 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-8Efficient Algorithms for Quantitative Attack Tree Analysis (2021)[Working paper › Preprint]. Budde, C. E. & Stoelinga, M.https://doi.org/10.48550/arXiv.2105.07511Removable 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.2209Toughness, 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-yModel-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.4726528Symblicit 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.3442052Replicating 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_21A 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.3442507Extremality 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.125757Correct-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.02398What 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.3041522Optimal 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_34Integer 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.08995The 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.09139On 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/9638Almost 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.112174Beep-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_7Etaps 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-7Gallai-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.9789036552486Integration 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_5On 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_1On 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.15On 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/0010399602790290Permission-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.v1Preface (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-2Hackers 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_1Improving 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_3The 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_10Atelier 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=YY5uVYpuaswTools 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-0Formal 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_10PrimaVera: 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/app10238348Improving 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_17The 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.v2Software 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.3426933A 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_14Formal 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_9Sampling 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-4ba6e408212dCard 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/12988781On 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.012Some 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-7What 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-cdVerification 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_24On 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_18OOPSLE 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-yFaithful 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_6Multi-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-9Out for coffee: with Rob (2020)Acta informatica, 57(3-5), 323-327. Fehnker, A.https://doi.org/10.1007/s00236-020-00378-3Selected 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-8Spectral 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-xMind 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.2Compatible 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.9789036550468VerifyThis 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.13610DFTRES tool demo (video) (2020)[Dataset Types › Dataset]. figshare. Budde, C. E.https://doi.org/10.6084/m9.figshare.12792437.v2A 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_26Formal 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_10Sampling 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_17Dopant 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.12371Towards 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.3428344Of 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.24Optimistic 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_26Compatible 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.111908On 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.111883Vertex-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.22536An 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/app10113928A 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/p16vSoftware 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-c46db98b7d8eAtelier 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/0009467304500457Preface (2020)Electronic proceedings in theoretical computer science, 316. Fehnker, A. & Garavel, H.http://eptcs.web.cse.unsw.edu.au/content.cgi?MARS2020#EPTCS316.0Classic 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.3382198FIG: 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_27Rare 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_26Data 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.5062314ECHO, 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.109471Automated 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_16A 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.12908Special 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-9Formal Methods: From Academia to Industrial Practice: A Travel Guide (2020)[Working paper › Working paper]. ArXiv.org. Huisman, M., Gurov, D. & Malkis, A.https://doi.org/10.48550/arXiv.2002.07279Classification 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-0Practical 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_19Alice & 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.9789036549554Alice 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/mqzcArtifact 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-340f7a1ea03bAtelier – 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_YCjhbpmGQAtelier: 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.3442511Automated 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_14Conditions 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.111644Correction 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_21Double-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/210Inhuman 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.V1Model-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.21Proceedings 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.316The 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_1The 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_17Verifying 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/3309683Contents 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-9Preface 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.00005Fault 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_2Toughness, 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.2247A 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.10507From 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_22Treatment 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.3362935A 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=sharingConcurrent 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.8894279Sound 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-6Towards 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.00067Concurrent 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.4Probabilistic 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_7A 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.004Detecting 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_24Model 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-4Parametric 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.00008The 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_6Presentation 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_4A 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.8Compatible 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.pdfFault 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.06258Hackers 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.05283Implicit 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_12Multi-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_4Omega-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_27On 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.pdfRewriting 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_10Simple 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.9Software 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_20Sufficient 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_24The 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_21TOOLympics 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_1Toughness 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.021FFORT 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_14Rule-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
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.023Complexity 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-0The 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_23Software 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_47webANIMO 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
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.
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_27Recent 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