Marieke Huisman

Research output

Research output per year 1998 2013 2014 2015 2016 2017 2018 2020 2021 2021

• 101 Conference contribution
• 26 Article
• 17 Report
• 9 Chapter
• 23 More
  • 7 Book editing
  • 6 Paper
  • 3 Working paper
  • 2 Conference article
  • 2 Editorial
  • 1 Book
  • 1 Inaugural speech
  • 1 PhD Thesis - Research external, graduation external

Research output per year

Research output per year

Search results

• 2021

  Automated Verification of the Parallel Bellman–Ford Algorithm

  Safari, M., Oortwijn, W. & Huisman, M., 13 Oct 2021, (E-pub ahead of print/First online) Static Analysis - 28th International Symposium, SAS 2021, Proceedings. Drăgoi, C., Mukherjee, S. & Namjoshi, K. (eds.). Springer, p. 346-358 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12913 LNCS).

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

  • Parallel Algorithms 100%
  • Parallel algorithms 84%
  • Graph Algorithms 59%
  • Verify 55%
  • Graph in graph theory 31%

• Correct program parallelisations

  Blom, S., Darabi, S., Huisman, M. & Safari, M., 14 Feb 2021, (E-pub ahead of print/First online) In: International journal on software tools for technology transfer. 23 p.

  Research output: Contribution to journal › Article › Academic › peer-review

  Open Access

  File

  • Program compilers 100%
  • Chemical analysis 73%
  • Fusion reactions 46%
  • Semantics 38%
  2 Citations (Scopus)

  36 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
  16 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

  • Modeling languages 100%
  • Formal specification 35%
  • Maintainability 33%
  • Semantics 20%
  2 Downloads (Pure)

• Modular Transformation of Java Exceptions Modulo Errors

  Rubbens, R., Lathouwers, S. & Huisman, M., 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

  • Flow control 100%
  • Computer programming languages 94%
  • Semantics 71%
  • Industry 45%

• 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

  • Merging 100%
  • Specifications 65%
  • Parallel algorithms 63%
  • Data structures 55%
  69 Downloads (Pure)

• Teaching Design by Contract using Snap!

  Huisman, M. & Monti, R. E., May 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

  • Teaching 100%
  • programming language 41%
  • Computer programming languages 34%
  • Specifications 24%
  • Specification languages 21%

• Teaching Design by Contract using Snap!

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

  Research output: Working paper

  File

  • Teaching 100%
  • Computer programming languages 34%
  • Specifications 24%
  • Specification languages 21%
  • Students 14%
  4 Downloads (Pure)

• TOOLympics I: Competition on software testing: A special issue for Test-Comp 2019

  Beyer, D. & Huisman, M., 6 May 2021, (E-pub ahead of print/First online) In: International journal on software tools for technology transfer.

  Research output: Contribution to journal › Article › Academic › peer-review

  Open Access

  File

  • Software testing 100%
  • Technology transfer 13%
  8 Downloads (Pure)

• TOOLympics II: competitions on formal methods: A Special Issue for TOOLympics 2019

  Beyer, D., Huisman, M., Kordon, F. & Steffen, B., 18 Jun 2021, (E-pub ahead of print/First online) In: International journal on software tools for technology transfer. 3 p.

  Research output: Contribution to journal › Article › Academic

  Open Access

  File

  • Formal methods 100%
  • Technology transfer 21%
  • Software testing 20%
  1 Downloads (Pure)

• VerifyThis 2019: a program verification competition

  Dross, C., Furia, C. A., Huisman, M., Monahan, R. & Müller, P., 19 May 2021, (E-pub ahead of print/First online) In: International journal on software tools for technology transfer.

  Research output: Contribution to journal › Article › Academic › peer-review

  Open Access

  File

  • Specifications 100%
  2 Citations (Scopus)

  8 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.). 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

  • Sorting 100%
  • Computer science 25%
  • Parallel algorithms 23%

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

  • computer science 100%
  • event 64%
  • role model 47%
  • female student 21%
  • engineering 13%
  41 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
  3 Citations (Scopus)

  30 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

  • Model checking 100%
  2 Citations (Scopus)

  23 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

  • industrial practice 100%
  • travel 65%
  • recommendation 54%
  • software development 46%
  • research method 40%
  935 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, 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

  • Formal methods 100%
  • Sorting 17%
  • Graphics processing unit 16%
  • Software engineering 13%
  • Synchronization 13%

• Formal Verification of Parallel Prefix Sum

  Safari, M., Oortwijn, W., Joosten, S. J. C. & 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.). 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

  • Formal verification 100%
  • Multicore programming 24%
  • Sorting 14%
  • Parallel algorithms 13%
  • Data storage equipment 8%
  5 Citations (Scopus)

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

  • Formal verification 100%
  • Compaction 72%
  • Parallel algorithms 8%
  • Data storage equipment 5%

• Improving Performance of the VerCors Program Verifier

  Mulder, H., Huisman, M. & Joosten, S. J. C., 2020, 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

• On the Industrial Application of Critical Software Verification with VerCors

  Huisman, M. & Monti, R. E., 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.). 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

  • Industrial applications 100%
  • Model checking 22%
  • Tunnels 18%
  • Engineers 15%
  • Concretes 14%
  3 Citations (Scopus)

• Practical Abstractions for Automated Verification of Shared-Memory Concurrency

  Oortwijn, W., Gurov, D. & Huisman, M., 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.). 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

  • Data storage equipment 100%
  • Bridge approaches 84%
  • Algebra 56%
  • Network protocols 37%
  2 Citations (Scopus)

• 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

  Research output: Contribution to journal › Editorial › Academic

  Open Access

  File
  22 Downloads (Pure)

• The VerifyThis Collaborative Long Term Challenge

  Huisman, M., Monti, R. E., Ulbrich, M. & Weigl, A., 4 Dec 2020, 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

  • Application programs 100%
  1 Citation (Scopus)

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

  • Formal verification 100%
  • Graphics processing unit 80%
  1 Downloads (Pure)

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

  Huisman, M. & Seceleanu, C., 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.). 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

  • Virtualization 100%

• 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

  • Transducers 100%
  • Learning algorithms 22%
  72 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

  • Specifications 100%
  27 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

  • Trajectories 100%
  19 Citations (Scopus)

• 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

  • Formal Verification 100%
  • Tunnel 89%
  • Formal verification 80%
  • Formal methods 79%
  • Safety 77%
  3 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

  • Message passing 100%
  • Model checking 49%
  • Communication 23%
  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

  • Testing 100%
  • Ethereum 80%
  • Blockchain 65%
  5 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
  282 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

  • Formal Methods 100%
  • Formal methods 84%
  • Community 37%
  • Software System 25%
  • Hardware 22%
  16 Citations (Scopus)

  74 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

  • software 100%
  • program 80%
  72 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

  • Human engineering 100%
  6 Citations (Scopus)

  36 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

  • methodology 100%
  1 Citation (Scopus)

  78 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

  • File editors 100%
  • Data structures 54%
  5 Citations (Scopus)

  127 Downloads (Pure)

• An overview of GPU Computing Research in the Netherlands: Results from the NIRICT GPGPU Reconnaissance workshop

  Huisman, M., Varbanescu, A. L., van Werkhoven, B. & Wijs, A., 2018. 7 p.

  Research output: Contribution to conference › Paper › peer-review

  Open Access

  File
  68 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

  Open Access

  File

  • Formal methods 100%
  • Software engineering 69%
  • Industry 37%
  114 Downloads (Pure)

• Mercedes: Maximal Reliability of Concurrent and Distributed Software

  Huisman, M., 2018. 1 p.

  Research output: Contribution to conference › Paper › peer-review

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

  77 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

  • Specifications 100%
  3 Citations (Scopus)

  143 Downloads (Pure)

• Reasoning About JML: Differences Between KeY and OpenJML

  Boerman, J., Huisman, M. & Joosten, S. J. C., 5 Sep 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

  • Specifications 100%
  • Formal verification 91%
  • Specification languages 88%
  • Interoperability 73%
  • Semantics 53%
  1 Citation (Scopus)

  81 Downloads (Pure)

• Software quality tools and techniques presented in FASE’17

  Huisman, M. & Rubin, J., 1 Nov 2018, In: International journal on software tools for technology transfer. 20, 6, p. 611-613 3 p.

  Research output: Contribution to journal › Article › Academic › peer-review

  Open Access

  File

  • Quality assurance 100%
  • Technology transfer 59%
  • Software engineering 38%
  65 Downloads (Pure)

• Software reliability for everyone

  Huisman, M., 25 Jan 2018, Enschede: University of Twente. 32 p.

  Research output: Book/Report › Inaugural speech › Other research output

  Open Access

  File
  105 Downloads (Pure)

• Specification and verification of synchronization with condition variables

  Gomes, P. D. C., Gurov, D., Huisman, M. & Artho, C., 1 Oct 2018, In: Science of computer programming. 163, p. 174-189 16 p.

  Research output: Contribution to journal › Article › Academic › peer-review

  Open Access

  File

  • Synchronization 100%
  • Specifications 80%
  • Petri nets 46%
  • Explosions 14%
  • Economics 10%
  5 Citations (Scopus)

  184 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

  • Model checking 100%
  1 Citation (Scopus)

  86 Downloads (Pure)