Marieke Huisman
Contact Expert

View Scopus Profile

Marieke Huisman

prof.dr.

 https://orcid.org/0000-0003-4467-072X
1998 …2024

Research activity per year

Filter
Conference contribution

Search results

  • 2024

    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 proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    53 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 proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    1 Citation (Scopus)
    46 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 proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    4 Citations (Scopus)
    25 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 proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    1 Citation (Scopus)
    44 Downloads (Pure)
  • 2023

    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 proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    78 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 proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    304 Downloads (Pure)
  • 2022

    Formal Methods for Industrial Critical Systems

    Groote, J. F. & Huisman, M., 15 Sept 2022, (Accepted/In press) Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings. Springer, p. V 13487. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13487).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    76 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 proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    3 Citations (Scopus)
    67 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 proceeding › Conference contribution › Academic

    Open Access
    File
    1 Citation (Scopus)
    91 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 proceeding › Conference contribution › Academic

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

    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 proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    3 Citations (Scopus)
    275 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 proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    69 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 proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    1 Citation (Scopus)
    152 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 proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    8 Citations (Scopus)
    346 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 proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    2 Citations (Scopus)
    87 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 proceeding › Conference contribution › Academic › peer-review

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

  • Alice and Eve: a celebration of women in computer science

    van Huizen, J. C., Huisman, M., Lathouwers, S. A. M., Schaafstal, A. M. & Stoelinga, M. I. A., 2020, Engaging, Engineering, Education: Book of Abstracts, SEFI 48th Annual Conference University of Twente (online), 20-24 September, 2020. van der Veen, J., van Hattum-Janssen, N., Järvinen, H.-M., de Laet, T. & ten Dam, I. (eds.). Enschede: University of Twente, 11 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    196 Downloads (Pure)

  • Formal Verification of Parallel Prefix Sum

    Safari, M., Oortwijn, W., Joosten, S. & Huisman, M., 10 Aug 2020, NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings. Lee, R., Jha, S. & Mavridou, A. (eds.). Cham: Springer, p. 170-186 17 p. (Lecture Notes in Computer Science; vol. 12229).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    13 Citations (Scopus)
    136 Downloads (Pure)

  • Formal Verification of Parallel Stream Compaction and Summed-Area Table Algorithms

    Safari, M. & Huisman, M., 25 Nov 2020, Theoretical Aspects of Computing – ICTAC 2020: 17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings. Pun, V. K. I., Stolz, V. & Simão, A. (eds.). Cham: Springer, p. 181-199 19 p. (Lecture Notes in Computer Science; vol. 12545).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    3 Citations (Scopus)
    70 Downloads (Pure)

  • On the Industrial Application of Critical Software Verification with VerCors

    Huisman, M. & Monti, R. E., 27 Oct 2020, 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. Margaria, T. & Steffen, B. (eds.). Cham: Springer, p. 273-292 20 p. (Lecture Notes in Computer Science; vol. 12478)(Theoretical Computer Science and General Issues).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    9 Citations (Scopus)
    91 Downloads (Pure)

  • Practical Abstractions for Automated Verification of Shared-Memory Concurrency

    Oortwijn, W., Gurov, D. & Huisman, M., 13 Jan 2020, Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings. Beyer, D. & Zufferey, D. (eds.). Cham: Springer, p. 401-425 25 p. (Lecture Notes in Computer Science; vol. 11990)(Theoretical Computer Science and General Issues).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    5 Citations (Scopus)
    55 Downloads (Pure)

  • Towards verified construction of correct and optimised GPU software

    Huisman, M. & Wijs, A., 23 Jul 2020, FTfJP 2020: Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs. Oortwijn, W. (ed.). Association for Computing Machinery, p. 10-14 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    69 Downloads (Pure)

  • Verification and Validation of Concurrent and Distributed Systems (Track Summary)

    Huisman, M. & Seceleanu, C., 29 Oct 2020, 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. Margaria, T. & Steffen, B. (eds.). Cham: Springer, p. 421-425 5 p. (Lecture Notes in Computer Science; vol. 12476)(Theoretical Computer Science and General Issues).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    62 Downloads (Pure)

  • Verifying Sanitizer Correctness through Black-Box Learning: A Symbolic Finite Transducer Approach

    Lathouwers, S., Everts, M. & Huisman, M., 2020, Proceedings of the 6th International Conference on Information Systems Security and Privacy: Volume 1: ForSE. Furnell, S., Mori, P., Weippl, E. & Camp, O. (eds.). SCITEPRESS, p. 784-795 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    204 Downloads (Pure)
  • 2019

    Formal Verification of an Industrial Safety-Critical Traffic Tunnel Control System

    Oortwijn, W. & Huisman, M., 2019, Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings. Ahrendt, W. & Tapia Tarifa, S. L. (eds.). Springer, p. 418-436 19 p. (Lecture Notes in Computer Science; vol. 11918).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    9 Citations (Scopus)
    18 Downloads (Pure)

  • Practical Abstractions for Automated Verification of Message Passing Concurrency

    Oortwijn, W. & Huisman, M., 22 Nov 2019, Integrated Formal Methods - 15th International Conference, IFM 2019, Proceedings. Ahrendt, W. & Tapia Tarifa, S. L. (eds.). Springer, p. 399-417 19 p. (Lecture Notes in Computer Science; vol. 11918).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    2 Citations (Scopus)
    12 Downloads (Pure)

  • Practical Mutation Testing for Smart Contracts

    Honig, J. J., Everts, M. H. & Huisman, M., 2019, Data Privacy Management, Cryptocurrencies and Blockchain Technology: ESORICS 2019 International Workshops, DPM 2019 and CBT 2019, Luxembourg, September 26-27, 2019, Proceedings. Pérez-Solà, C., Navarro-Arribas, G., Biryukov, A. & García-Alfaro, J. (eds.). Cham: Springer, p. 289-303 15 p. (Lecture Notes in Computer Science; vol. 11737).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    25 Citations (Scopus)
    79 Downloads (Pure)

  • TOOLympics 2019: An Overview of Competitions in Formal Methods

    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., 1 Jan 2019, Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS. Beyer, D., Huisman, M., Kordon, F. & Steffen, B. (eds.). Cham: Springer, p. 3-24 22 p. (Lecture Notes in Computer Science; vol. 11429).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

    Open Access
    File
    32 Citations (Scopus)
    231 Downloads (Pure)

  • VerifyThis - Verification Competition with a Human Factor

    Ernst, G., Huisman, M., Mostowski, W. & Ulbrich, M., 4 Apr 2019, 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. Beyer, D., Huisman, M., Kordon, F. & Steffen, B. (eds.). Cham: Springer, p. 176-195 20 p. (Lecture Notes in Computer Science; vol. 11429).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    11 Citations (Scopus)
    115 Downloads (Pure)
  • 2018

    An Exercise in Verifying Sequential Programs with VerCors

    Joosten, S. J. C., Oortwijn, W., Safari, M. & Huisman, M., 16 Jul 2018, ISSTA '18: Companion Proceedings for the ISSTA/ECOOP 2018 Workshops. 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    5 Citations (Scopus)
    140 Downloads (Pure)

  • Formal Methods in Industrial Practice: Bridging the Gap (Track Summary)

    Felderer, M., Gurov, D., Huisman, M., Lisper, B. & Schlick, R., 2018, Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV. Margaria, T. & Steffen, B. (eds.). Cham: Springer, p. 77-81 5 p. (Lecture Notes in Computer Science; vol. 11247).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    1 Citation (Scopus)
    459 Downloads (Pure)

  • On Models and Code: A Unified Approach to Support Large-Scale Deductive Program Verification

    Huisman, M., 2018, Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). Cham: Springer, p. 111-118 8 p. (Lecture Notes in Computer Science; vol. 11244).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    1 Citation (Scopus)
    166 Downloads (Pure)

  • Program Correctness by Transformation

    Huisman, M., Blom, S., Darabi, S. & Safari, M., 2018, Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). Cham: Springer, p. 365-380 16 p. (Lecture Notes in Computer Science; vol. 11244).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    6 Citations (Scopus)
    337 Downloads (Pure)

  • Reasoning About JML: Differences Between KeY and OpenJML

    Boerman, J., Huisman, M. & Joosten, S. J. C., 5 Sept 2018, Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018. Proceedings. Furia, C. A. & Winter, K. (eds.). Cham: Springer, p. 30-46 17 p. 3. (Lecture Notes in Computer Science; vol. 11023).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

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

  • Static Code Verification Through Process Models

    Joosten, S. J. C. & Huisman, M., 31 Oct 2018, Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III. Margaria, T. & Steffen, B. (eds.). Cham: Springer, p. 343-354 12 p. (Lecture Notes in Computer Science; vol. 11246).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    1 Citation (Scopus)
    181 Downloads (Pure)

  • Towards Reliable Concurrent Software

    Huisman, M. & Joosten, S. J. C., 2018, Principled Software Development: Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday. Müller, P. & Schaefer, I. (eds.). Cham: Springer, p. 129-146 18 p. (Principled Software Development).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    1 Citation (Scopus)
    352 Downloads (Pure)

  • Verification of Shared-Reading Synchronisers

    Amighi, A., Huisman, M. & Blom, S., 25 Jun 2018, Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design (Metrid). Bensalem, S. & Bliudze, S. (eds.). ArXiv.org, p. 107-120 14 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS; vol. 272).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    1 Citation (Scopus)
    124 Downloads (Pure)
  • 2017

    24 Challenges in Deductive Software Verification

    Hähnle, R. & Huisman, M., 2017, ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017. Reger, G. & Traytel, D. (eds.). EasyChair, p. 37-41 5 p. (EPiC Series in Computing; vol. 51).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    266 Downloads (Pure)

  • An Abstraction Technique for Describing Concurrent Program Behaviour

    Oortwijn, W., Blom, S., Gurov, D., Huisman, M. & Zaharieva, M., 2017, Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers. Paskevich, A. & Wies, T. (eds.). Springer, p. 191-209 19 p. (Lecture Notes in Computer Science; vol. 10712).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    14 Citations (Scopus)
    13 Downloads (Pure)

  • A verification technique for deterministic parallel programs: Invited abstract

    Huisman, M., 2017, Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017. Vanhoof, W. & Pientka, B. (eds.). ACM/Sheridan, p. 3 1 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

    14 Downloads (Pure)

  • A Verification Technique for Deterministic Parallel Programs

    Darabi, S., Blom, S. C. C. & Huisman, M., 2017, NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings. Barrett, C., Davies, M. & Kahsai, T. (eds.). p. 247-264 18 p. (Lecture Notes in Computer Science; vol. 10227).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    8 Citations (Scopus)
    8 Downloads (Pure)

  • The VerCors Tool Set: Verification of Parallel and Concurrent Software

    Blom, S., Darabi, S., Huisman, M. & Oortwijn, W., 2017, Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings. Polikarpova, N. & Schneider, S. (eds.). Springer, p. 102-110 9 p. (Lecture Notes in Computer Science; vol. 10510).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    55 Citations (Scopus)
    59 Downloads (Pure)

  • Verification of Concurrent Software with VerCors

    Huisman, M., 2017, Proceedings of the 29th Nordic Workshop on Programming Theory (NWPT). Walden, M. (ed.). p. 2 1 p. (TUCS lecture notes; no. 27).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

    Open Access
    File
    259 Downloads (Pure)
  • 2016

    Future-based Static Analysis of Message Passing Programs

    Oortwijn, W., Blom, S. & Huisman, M., Apr 2016, Proceedings of the Ninth workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2016. Orchard, D. & Yoshida, N. (eds.). ArXiv.org, p. 65-72 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    14 Citations (Scopus)
    133 Downloads (Pure)

  • Lazy Evaluation for Concurrent OLTP and Bulk Transactions

    Wevers, L., Huisman, M. & van Keulen, M., 11 Jul 2016, Proceedings of the 20th International Database Engineering & Applications Symposium (IDEAS 2016). New York: Association for Computing Machinery, p. 115-124 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    1 Citation (Scopus)
    275 Downloads (Pure)

  • Software that meets its Intent

    Huisman, M., Bos, H., Brinkkemper, S., van Deursen, A., Groote, J. F., Lago, P., van de Pol, J. & Visser, E., Oct 2016, 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. Margaria, T. & Steffen, B. (eds.). Springer, p. 609-625 17 p. (Lecture Notes in Computer Science; vol. 9953).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    2 Citations (Scopus)
    10 Downloads (Pure)

  • Specification and Verification of Synchronization with Condition Variables.

    Gomes, P., Gurov, D. & Huisman, M., Nov 2016, Proceedings of the Fifth International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2016). Artho, C. & Ölveczky, P. C. (eds.). London: Springer, p. 3-19 16 p. (Communications in Computer and Information Science; vol. 694).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    File
    4 Citations (Scopus)
    78 Downloads (Pure)

  • Static and runtime verification, competitors or friends? (Track summary)

    Gurov, D., Havelund, K., Huisman, M. & Monahan, R., Oct 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). Berlin: Springer, p. 397-401 5 p. (Lecture Notes in Computer Science; vol. 9952).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

    1 Citation (Scopus)
    4 Downloads (Pure)

  • VerCors: A Layered Approach to Practical Verification of Concurrent Software

    Amighi, A., Blom, S. & Huisman, M., Feb 2016, Proceedings of the 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2016). USA: IEEE, p. 495-503 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    File
    10 Citations (Scopus)
    139 Downloads (Pure)
  • 2015

    A Benchmark for Online Non-Blocking Schema Transformations

    Wevers, L., Hofstra, M., Tammens, M., Huisman, M. & van Keulen, M., 20 Jul 2015, Proceedings of 4th International Conference on Data Management Technologies and Applications, DATA 2015: July 20-22, 2015, in Colmar, Alsace, France. Helfert, M., Holzinger, A., Belo, O. & Francalanci, C. (eds.). SCITEPRESS, p. 288-298 11 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    3 Citations (Scopus)
    2337 Downloads (Pure)