No photo of Marieke Huisman
Contact Expert

View Scopus Profile

Marieke Huisman

prof.dr.

 https://orcid.org/0000-0003-4467-072X
19982022

Research activity per year

If you made any changes in Pure these will be visible here soon.

Search results

  • 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 proceeding › Chapter › Academic › peer-review

    Open Access
    File
    36 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/EUCA, p. 69-79 11 p. 9796417

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

    Open Access
    File
    9 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 journal › Article › Academic › peer-review

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

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

  • Preface: Formal Methods for Industrial Critical Systems

    Groote, J. F. & Huisman, M., 5 Sep 2022, Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings. p. V (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
    8 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 Science + Business Media, p. 3-6 4 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

  • 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 proceeding › Chapter › Academic › peer-review

  • 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 proceeding › Chapter › Academic › peer-review

  • 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 Science + Business Media, 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

  • 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
    1 Citation (Scopus)
    51 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 journal › Article › Academic › peer-review

    Open Access
    File
    4 Citations (Scopus)
    69 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
    29 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 (ACM), p. 39-42 4 p.

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

    Open Access
    File
    40 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 proceeding › Chapter › Academic › peer-review

    Open Access
    File
    11 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. Vol. 1. p. 111-123 13 p.

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

    Open Access
    File
    1 Citation (Scopus)
    166 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 proceeding › Chapter › Academic

    Open Access
    File
    39 Downloads (Pure)

  • Teaching Design by Contract using Snap!

    Huisman, M. & Monti, R. E., 12 Jul 2021, arXiv.org, (arXiv.org).

    Research output: Working paper

    File
    49 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
    1 Citation (Scopus)
    11 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 journal › Article › Academic › peer-review

    Open Access
    File
    31 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 journal › Editorial › Academic › peer-review

    Open Access
    File
    25 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 journal › Article › Academic › peer-review

    Open Access
    File
    6 Citations (Scopus)
    29 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, (E-pub ahead of print/First online) Integrated Formal Methods - 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings. Dongol, B. & Troubitsyna, E. (eds.). 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
    3 Citations (Scopus)
    8 Downloads (Pure)

  • Alice & Eve: A celebration of women in computing

    van Huizen, N., Kemper, P., Stoelinga, M. (ed.), Schaafstal, A. (ed.), Huisman, M. (ed.) & Lathouwers, S. (ed.), 2020, Enschede: University of Twente. 133 p.

    Research output: Book/Report › Book › Professional

    Open Access
    File
    317 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
    87 Downloads (Pure)

  • An Abstraction Technique for Verifying Shared-Memory Concurrency

    Oortwijn, W., Gurov, D. & Huisman, M., 5 Jun 2020, In: Applied Sciences. 10, 11, 3928.

    Research output: Contribution to journal › Conference article › Academic › peer-review

    Open Access
    File
    4 Citations (Scopus)
    51 Downloads (Pure)

  • Automated Verification of Parallel Nested DFS

    Oortwijn, W., Huisman, M., Joosten, S. J. C. & Pol, J. V. D., 2020, 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. Biere, A. & Parker, D. (eds.). Springer, p. 247-265 (Lecture Notes in Computer Science; vol. 12078).

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

    Open Access
    File
    2 Citations (Scopus)
    75 Downloads (Pure)

  • Formal Methods: From Academia to Industrial Practice: A Travel Guide

    Huisman, M., Gurov, D. & Malkis, A., 17 Feb 2020, (Submitted) 22 p. (arXiv.org).

    Research output: Working paper

    File
    1574 Downloads (Pure)

  • Formal Methods for GPGPU Programming: Is the Demand Met?

    Haak, L. B. V. D., Wijs, A., Brand, M. V. D. & Huisman, M., 13 Nov 2020, (E-pub ahead of print/First online) Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings. Dongol, B. & Troubitsyna, E. (eds.). Springer, p. 160-177 (Lecture Notes in Computer Science; vol. 12546).

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

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

  • Formal Verification of Parallel Prefix Sum

    Safari, M., Oortwijn, W., Joosten, S. J. C. & Huisman, M., 10 Aug 2020, (E-pub ahead of print/First online) NASA Formal Methods - 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings. Lee, R., Jha, S. & Mavridou, A. (eds.). 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
    7 Citations (Scopus)
    32 Downloads (Pure)

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

    Safari, M. & Huisman, M., 25 Nov 2020, (E-pub ahead of print/First online) 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.). 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
    2 Citations (Scopus)
    7 Downloads (Pure)

  • Improving Performance of the VerCors Program Verifier

    Mulder, H., Huisman, M. & Joosten, S. J. C., 4 Dec 2020, (E-pub ahead of print/First online) Deductive Software Verification: Future Perspectives - Reflections on the Occasion of 20 Years of KeY. Ahrendt, W., Beckert, B., Bubel, R., Hähnle, R. & Ulbrich, M. (eds.). Springer, p. 65-82 18 p. (Lecture Notes in Computer Science; vol. 12345).

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

    Open Access
    File
    2 Downloads (Pure)

  • On the Industrial Application of Critical Software Verification with VerCors

    Huisman, M. & Monti, R. E., 27 Oct 2020, (E-pub ahead of print/First online) 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.). Springer, p. 273-292 20 p. (Lecture Notes in Computer Science; vol. 12478).

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

    Open Access
    File
    4 Citations (Scopus)
    4 Downloads (Pure)

  • Practical Abstractions for Automated Verification of Shared-Memory Concurrency

    Oortwijn, W., Gurov, D. & Huisman, M., 13 Jan 2020, (E-pub ahead of print/First online) 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.). Springer, p. 401-425 25 p. (Lecture Notes in Computer Science; vol. 11990).

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

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

  • Selected and Extended Papers from TACAS 2018: Preface

    Beyer, D. & Huisman, M., 1 Oct 2020, In: Journal of automated reasoning. 64, 7, p. 1331-1332 2 p.

    Research output: Contribution to journal › Editorial › Academic

    Open Access
    File
    49 Downloads (Pure)

  • The VerifyThis Collaborative Long Term Challenge

    Huisman, M., Monti, R. E., Ulbrich, M. & Weigl, A., 4 Dec 2020, (E-pub ahead of print/First online) Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY. Ahrendt, W., Beckert, B., Bubel, R., Hähnle, R. & Ulbrich, M. (eds.). Springer, p. 246-260 15 p. (Lecture Notes in Computer Science; vol. 12345).

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

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

  • Tools for the construction and analysis of systems A special issue for TACAS 2018

    Beyer, D. & Huisman, M., Dec 2020, In: International journal on software tools for technology transfer. 22, 6, p. 685-687 3 p.

    Research output: Contribution to journal › Conference article › Academic › peer-review

    Open Access
    File
    40 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 (ACM), p. 10-14 5 p.

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

    Open Access
    File
    9 Downloads (Pure)

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

    Huisman, M. & Seceleanu, C., 29 Oct 2020, (E-pub ahead of print/First online) 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.). Springer, p. 421-425 5 p. (Lecture Notes in Computer Science; vol. 12476).

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

    Open Access
    File
    9 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 Digital Library, p. 784-795 12 p.

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

    Open Access
    File
    125 Downloads (Pure)

  • VerifyThis 2019: A Program Verification Competition (Extended Report)

    Dross, C., Furia, C. A., Huisman, M., Monahan, R. & Müller, P., 31 Aug 2020, arXiv.org.

    Research output: Working paper

    Open Access
    File
    42 Downloads (Pure)
  • 2019

    Deductive Software Verification: From Pen-and-Paper Proofs to Industrial Tools

    Hähnle, R. & Huisman, M., 2019, Computing and Software Science : State of the Art and Perspectives. Steffen, B. & Woeginger, G. (eds.). Cham: Springer, p. 345-373 29 p. (Lecture Notes in Computer Science; vol. 10000)(Theoretical Computer Science and General Issues).

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

    26 Citations (Scopus)
    1 Downloads (Pure)

  • 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

    5 Citations (Scopus)

  • 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)

  • 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

    13 Citations (Scopus)
    1 Downloads (Pure)

  • 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. (ed.), Huisman, M. (ed.), Kordon, F. (ed.) & Steffen, B. (ed.), 2019, Springer. (Lecture Notes in Computer Science; vol. 11429)

    Research output: Book/Report › Book editing › Academic

    Open Access
    File
    423 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
    22 Citations (Scopus)
    149 Downloads (Pure)

  • VerifyThis2018: A Program Verification Competition

    Huisman, M., Monahan, R., Müller, P., Paskevich, A. & Ernst, G., Jan 2019

    Research output: Book/Report › Report › Academic

    Open Access
    File
    101 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
    8 Citations (Scopus)
    67 Downloads (Pure)
  • 2018

    A Broader View on Verification: From Static to Runtime and Back (Track Summary)

    Ahrendt, W., Huisman, M., Reger, G. & Rozier, K. Y., 2018, Leveraging Applications of Formal Methods, Verification and Validation. Verification : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II. Margaria, T. & Steffen, B. (eds.). Cham: Springer, p. 3-7 5 p. (Lecture Notes in Computer Science; no. 11245).

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

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

  • 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)
    127 Downloads (Pure)