Marieke Huisman

prof.dr.

1998 …2025

Research activity per year

Search results

  • 2025

    Making ETAPS Gold Open Access

    Hermanns, H. & Huisman, M., 18 Nov 2025, Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III. Jansen, N., Junges, S., Kaminski, B. L., Matheja , C., Noll, T., Quatmann, T., Stoelinga, M. & Volk, M. (eds.). Cham, Switzerland: Springer, p. 487-500 14 p. (Lecture Notes in Computer Science; vol. 15262).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    Open Access
    File
    2 Downloads (Pure)
  • Tests and Proofs - 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings

    Huisman, M. (Editor) & Howar, F. (Editor), 2025, Springer. (Lecture Notes in Computer Science; vol. 15153)

    Research output: Book/ReportBook editingAcademic

  • The VerifyThis Collaborative Long-Term Challenge Series

    Ahrendt, W., Ernst, G., Herber, P., Huisman, M., Monti, R. E., Ulbrich, M. & Weigl, A., 2025, TOOLympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competitions. Beyer, D., Hartmanns, A. & Kordon, F. (eds.). Springer, p. 160-170 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14550 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    1 Downloads (Pure)
  • 2024

    Automated Invariant Generation for Efficient Deductive Reasoning About Embedded Systems

    Tasche, P., Herber, P. & Huisman, M., 26 Nov 2024, Software Engineering and Formal Methods: 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024. Proceedings. Madeira, A. & Knapp, A. (eds.). Cham, Switzerland: Springer, p. 404-422 19 p. (Lecture Notes in Computer Science; vol. 15280).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    2 Downloads (Pure)
  • Deductive Verification of Parameterized Embedded Systems Modeled in SystemC

    Tasche, P., Monti, R. E., Drerup, S. E., Blohm, P., Herber, P. & Huisman, M., 2024, Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024 London, United Kingdom, January 15–16, 2024 Proceedings, Part II. Dimitrova, R., Lahav, O. & Wolff, S. (eds.). Springer, p. 187-209 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14500 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    3 Citations (Scopus)
    131 Downloads (Pure)
  • Deductive Verification of SYCL in VerCors

    Wittingen, E., Huisman, M. & Şakar, Ö., 26 Nov 2024, Software Engineering and Formal Methods: 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024. Proceedings. Madeira, A. & Knapp, A. (eds.). Cham, Switzerland: Springer, p. 182-199 18 p. (Lecture Notes in Computer Science; vol. 15280).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    6 Downloads (Pure)
  • ETAPS Foreword

    Huisman, M., 2024, 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. Kobayashi, N. & Worrell, J. (eds.). Cham: Springer, p. v-vi (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14575).

    Research output: Chapter in Book/Report/Conference proceedingForeword/postscriptAcademic

    Open Access
    File
    40 Downloads (Pure)
  • First Steps towards Deductive Verification of LLVM IR

    Oorschot, D. V., Huisman, M. & Şakar, Ö., 6 Apr 2024, 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. Beyer, D. & Cavalcanti, A. (eds.). p. 290-303 14 p. (Lecture Notes in Computer Science; vol. 14573).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    Open Access
    File
    28 Downloads (Pure)
  • Formal Methods for Industrial Critical Systems

    Groote, J. F. & Huisman, M., Apr 2024, In: International journal on software tools for technology transfer. 26, 2, p. 127-129 3 p.

    Research output: Contribution to journalArticleAcademicpeer-review

    Open Access
    File
    59 Downloads (Pure)
  • HaliVer: Deductive Verification and Scheduling Languages Join Forces

    Haak, L. B. V. D., Wijs, A., Huisman, M. & Brand, M. V. D., 19 Jan 2024, ArXiv.org.

    Research output: Working paperPreprintAcademic

    Open Access
    File
    41 Downloads (Pure)
  • HaliVer: Deductive Verification and Scheduling Languages Join Forces

    Haak, L. B. V. D., Wijs, A., Huisman, M. & Brand, M. V. D., 5 Apr 2024, 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. Finkbeiner, B. & Kovács, L. (eds.). p. 71-89 19 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    1 Citation (Scopus)
    87 Downloads (Pure)
  • Joining Forces! Reusing Contracts for Deductive Verifiers Through Automatic Translation

    Armborst, L., Lathouwers, S. & Huisman, M., 2024, iFM 2023: 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings. Herber, P. & Wijs, A. (eds.). Cham: Springer, p. 153-171 19 p. (Lecture Notes in Computer Science; vol. 14300).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    4 Citations (Scopus)
    75 Downloads (Pure)
  • Scalable Verification and Validation of Concurrent and Distributed Systems (ScaVeri) (Track Summary)

    Huisman, M., Merz, S. & Seceleanu, C., 30 Oct 2024, Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification - 12th International Symposium, ISoLA 2024, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer, p. 269-273 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15221 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    1 Downloads (Pure)
  • SpecifyThis Bridging Gaps Between Program Specification Paradigms: Track Introduction

    Ernst, G., Herber, P., Huisman, M. & Ulbrich, M., 30 Oct 2024, 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. Margaria, T. & Steffen, B. (eds.). Cham, Switzerland: Springer, p. 3-7 5 p. (Lecture Notes in Computer Science; vol. 15221).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    1 Downloads (Pure)
  • Survey of annotation generators for deductive verifiers

    Lathouwers, S. & Huisman, M., May 2024, In: Journal of Systems and Software. 211, 111972.

    Research output: Contribution to journalArticleAcademicpeer-review

    Open Access
    File
    1 Citation (Scopus)
    105 Downloads (Pure)
  • The VerCors Verifier: A Progress Report

    Armborst, L., Bos, P., van den Haak, L. B., Huisman, M., Rubbens, R., Şakar, Ö. & Tasche, P., 2024, Computer Aided Verification - 36th International Conference, CAV 2024, Proceedings: 36th International Conference on Computer Aided Verification. Gurfinkel, A. & Ganesh, V. (eds.). Springer, Vol. 2. p. 3-18 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14682 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    4 Citations (Scopus)
    116 Downloads (Pure)
  • Verifying a Radio Telescope Pipeline Using HaliVer: Solving Nonlinear and Quantifier Challenges

    van den Haak, L. B., Wijs, A., Huisman, M. & van den Brand, M., 21 Aug 2024, Formal Methods for Industrial Critical Systems - 29th International Conference, FMICS 2024, Proceedings. Haxthausen, A. E. & Serwe, W. (eds.). Springer, p. 152-169 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14952 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    1 Downloads (Pure)
  • VeyMont: Choreography-Based Generation of Correct Concurrent Programs with Shared Memory

    Rubbens, R., van den Bos, P. V. & Huisman, M., 13 Nov 2024, Integrated Formal Methods - 19th International Conference, IFM 2024, Proceedings. Kosmatov, N. & Kovács, L. (eds.). Springer, p. 217-236 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15234 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    2 Downloads (Pure)
  • 2023

    A reply: On the need for program contracts

    Huisman, M., 11 May 2023, In: Journal of cross-disciplinary research in computational law. 1, 3, p. 19-20 2 p.

    Research output: Contribution to journalComment/Letter to the editorAcademic

    Open Access
    File
    68 Downloads (Pure)
  • Concise Guide to Software Verification: From Model Checking to Annotation Checking

    Huisman, M. & Wijs, A. J., 25 Jul 2023, 1 ed. Cham: Springer. 248 p. (Texts in Computer Science)

    Research output: Book/ReportBookAcademic

  • ETAPS Foreword

    Huisman, M., 21 Apr 2023, 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. p. v-vi (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13992).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    80 Downloads (Pure)
  • Introduction to the Special Section on FM 2021

    Huisman, M., Pasareanu, C. & Zhan, N., 23 Jun 2023, In: Formal aspects of computing. 35, 2, p. 1-2 2 p., 6.

    Research output: Contribution to journalEditorialAcademic

    Open Access
    File
    31 Downloads (Pure)
  • JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java

    Bliudze, S., Bos, P. V. D., Huisman, M., Rubbens, R. & Safina, L., 20 Apr 2023, 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. Lambers, L. & Uchitel, S. (eds.). p. 143-150 8 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    Open Access
    File
    2 Citations (Scopus)
    93 Downloads (Pure)
  • Preface

    Huisman, M. & Ravara, A., 2023, 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. Huisman, M. & Ravara, A. (eds.). Cham, Switzerland: Springer, p. vii-viii 2 p. (Lecture Notes in Computer Science; vol. 13910).

    Research output: Chapter in Book/Report/Conference proceedingForeword/postscriptAcademic

    14 Downloads (Pure)
  • Preface for the formal methods in system design special issue on ‘Formal Methods 2021’

    Huisman, M., Păsăreanu, C. S. & Zhan, N., 2 Oct 2023, In: Formal methods in system design. 61, p. 1-2 2 p.

    Research output: Contribution to journalEditorialAcademic

    15 Downloads (Pure)
  • Principles of Contract Languages: Dagstuhl Seminar 22451

    Gurov, D., Hähnle, R., Huisman, M., Reger, G. & Lidström, C., 4 May 2023, In: Dagstuhl reports. 12, 11, p. 1-27 27 p.

    Research output: Contribution to journalConference articleAcademicpeer-review

    Open Access
    File
    89 Downloads (Pure)
  • Understanding and Measuring Inter-Process Code Injection in Windows Malware

    Starink, J., Huisman, M., Peter, A. & Continella, A., 1 Oct 2023, Proceedings of the International Conference on Security and Privacy in Communication Networks (SecureComm 2023). 23 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    532 Downloads (Pure)
  • 2022

    Alpinist: An Annotation-Aware GPU Program Optimizer

    Şakar, Ö., Safari, M., Huisman, M. & Wijs, A., 2022, 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. Fisman, D. & Rosu, G. (eds.). Cham: Springer, p. 332–352 21 p. (Lecture Notes in Computer Science; vol. 13244).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    Open Access
    File
    6 Citations (Scopus)
    153 Downloads (Pure)
  • Formal Specifications Investigated: A Classification and Analysis of Annotations for Deductive Verifiers

    Lathouwers, S. & Huisman, M., 20 Jun 2022, Proceedings - IEEE/ACM 10th International Conference on Formal Methods in Software Engineering, FormaliSE 2022. IEEE, p. 69-79 11 p. 9796417

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    4 Citations (Scopus)
    108 Downloads (Pure)
  • Formal verification of parallel prefix sum and stream compaction algorithms in CUDA

    Safari, M. & Huisman, M., 12 Apr 2022, In: Theoretical computer science. 912, p. 81-98 18 p.

    Research output: Contribution to journalArticleAcademicpeer-review

    Open Access
    File
    14 Citations (Scopus)
    319 Downloads (Pure)
  • On Deductive Verification of an Industrial Concurrent Software Component with VerCors

    Monti, R. E., Rubbens, R. & Huisman, M., 17 Oct 2022, Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). p. 517-534 18 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    Open Access
    File
    2 Citations (Scopus)
    114 Downloads (Pure)
  • Preface

    Groote, J. F. & Huisman, M., Sept 2022, Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings. Springer, p. vi-vi 13487. (Lecture Notes in Computer Science; vol. 13487).

    Research output: Chapter in Book/Report/Conference proceedingForeword/postscriptAcademic

    Open Access
    File
    85 Downloads (Pure)
  • SpecifyThis – Bridging Gaps Between Program Specification Paradigms

    Ahrendt, W., Herber, P., Huisman, M. & Ulbrich, M., 17 Oct 2022, Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer, p. 3-6 4 p. (Lecture Notes in Computer Science; vol. 13701).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    Open Access
    File
    2 Citations (Scopus)
    120 Downloads (Pure)
  • Teaching Design by Contract Using Snap!

    Huisman, M. & Monti, R. E., 2022, The Logic of Software: A Tasting Menu of Formal Methods. Ahrendt, W., Beckert, B., Bubel, R. & Johnsen, E. B. (eds.). 1 ed. Springer, p. 243–263 21 p. (Lecture Notes in Computer Science; vol. 13360).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    Open Access
    File
    62 Downloads (Pure)
  • The Integration of Testing and Program Verification: A Position Paper

    Bos, P. V. D. & Huisman, M., 2022, A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday. Jansen, N., Stoelinga, M. & van den Bos, P. (eds.). Cham: Springer, p. 524–538 15 p. (Lecture Notes in Computer Science; vol. 13560).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    Open Access
    File
    1 Citation (Scopus)
    112 Downloads (Pure)
  • Verification and Validation of Concurrent and Distributed Heterogeneous Systems (Track Summary)

    Huisman, M. & Seceleanu, C., 17 Oct 2022, Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer, p. 417-421 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13701 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    Open Access
    File
    1 Citation (Scopus)
    83 Downloads (Pure)
  • 2021

    Artifact for paper (Alpinist: an Annotation-Aware GPU Program Optimizer)

    Şakar, Ö., Safari, M., Huisman, M. & Wijs, A., 22 Nov 2021

    Research output: Non-textual formSoftwareAcademic

    Open Access
  • Automated Verification of the Parallel Bellman–Ford Algorithm

    Safari, M., Oortwijn, W. & Huisman, M., 13 Oct 2021, Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings. Drăgoi, C., Mukherjee, S. & Namjoshi, K. (eds.). Cham: Springer, p. 346-358 13 p. (Lecture Notes in Computer Science; vol. 12913).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    5 Citations (Scopus)
    338 Downloads (Pure)
  • Correct program parallelisations

    Blom, S., Darabi, S., Huisman, M. & Safari, M., Oct 2021, In: International journal on software tools for technology transfer. 23, 5, p. 741-763 23 p.

    Research output: Contribution to journalArticleAcademicpeer-review

    Open Access
    File
    10 Citations (Scopus)
    134 Downloads (Pure)
  • Etaps foreword

    Huisman, M., 2021, 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. p. v-vi (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12648).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    79 Downloads (Pure)
  • IntelliJML: A JML plugin for IntelliJ IDEA

    Monteiro, S., Sokolovas, E., Wittingen, E., Dijk, T. V. & Huisman, M., 13 Jul 2021, FTfJP 2021 - Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-Like Programs, co-located with ECOOP/ISSTA 2021. Cok, D. R. (ed.). New York, NY: Association for Computing Machinery, p. 39-42 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    1 Citation (Scopus)
    162 Downloads (Pure)
  • Modular Transformation of Java Exceptions Modulo Errors

    Rubbens, R., Lathouwers, S. & Huisman, M., 19 Aug 2021, Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings. Lluch Lafuente, A. & Mavridou, A. (eds.). Springer, p. 67-84 18 p. (Lecture notes in computer science; vol. 12863).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    Open Access
    File
    86 Downloads (Pure)
  • Permission-Based Verification of Red-Black Trees and Their Merging

    Armborst, L. & Huisman, M., 24 Jun 2021, FormaliSE 21: Proceedings of the 9th International Conference on Formal Methods in Software Engineering. IEEE, Vol. 1. p. 111-123 13 p. (IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE); vol. 2021, no. 9).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    8 Citations (Scopus)
    390 Downloads (Pure)
  • Preface

    Huisman, M., Păsăreanu, C. & Zhan, N., 2021, 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings . Vol. 13047 LNCS. p. v-vi (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    Open Access
    File
    126 Downloads (Pure)
  • Teaching Design by Contract using Snap!

    Huisman, M. & Monti, R. E., 8 Jul 2021, Proceedings - 2021 3rd International Workshop on Software Engineering Education for the Next Generation, SEENG 2021. Piscataway, NJ: IEEE, p. 1-5 5 p. 9474640

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    2 Citations (Scopus)
    108 Downloads (Pure)
  • Teaching Design by Contract using Snap!

    Huisman, M. & Monti, R. E., 12 Jul 2021, ArXiv.org.

    Research output: Working paper

    Open Access
    File
    105 Downloads (Pure)
  • TOOLympics I: Competition on software testing: A special issue for Test-Comp 2019

    Beyer, D. & Huisman, M., Dec 2021, In: International journal on software tools for technology transfer. 23, 6, p. 829-832 4 p.

    Research output: Contribution to journalArticleAcademicpeer-review

    Open Access
    File
    80 Downloads (Pure)
  • TOOLympics II: competitions on formal methods: A Special Issue for TOOLympics 2019

    Beyer, D., Huisman, M., Kordon, F. & Steffen, B., Dec 2021, In: International journal on software tools for technology transfer. 23, 6, p. 879-881 3 p.

    Research output: Contribution to journalEditorialAcademicpeer-review

    Open Access
    File
    65 Downloads (Pure)
  • VerifyThis 2019: a program verification competition

    Dross, C., Furia, C. A., Huisman, M., Monahan, R. & Müller, P., Dec 2021, In: International journal on software tools for technology transfer. 23, 6, p. 883-893 11 p.

    Research output: Contribution to journalArticleAcademicpeer-review

    Open Access
    File
    10 Citations (Scopus)
    77 Downloads (Pure)
  • 2020

    A Generic Approach to the Verification of the Permutation Property of Sequential and Parallel Swap-Based Sorting Algorithms

    Safari, M. & Huisman, M., 13 Nov 2020, Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings. Dongol, B. & Troubitsyna, E. (eds.). Cham: Springer, p. 257-275 19 p. (Lecture Notes in Computer Science; vol. 12546).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    8 Citations (Scopus)
    128 Downloads (Pure)