No photo of Marieke Huisman
Contact Expert

Marieke Huisman

prof.dr.

20082020

Research output per year

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

Fingerprint Dive into the research topics where Marieke Huisman is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 2 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

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
107 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
    • 33 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
    • 23 Downloads (Pure)

    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

    • 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

    • 1 Citation (Scopus)

    Datasets

    Artifact for Automated Verification of Parallel Nested DFS, TACAS’20

    Oortwijn, W. H. M. (Creator), Huisman, M. (Creator), Joosten, S. J. C. (Creator), van de Pol, J. (Creator), 4TU.Centre for Research Data, 2020

    DOI: 10.4121/uuid:36c00955-5574-44d9-9b26-340f7a1ea03b

    Dataset