Marieke Huisman

prof.dr.

20082020
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.

  • 4 Similar Profiles
Formal Methods Mathematics
Safety Mathematics
Specification Mathematics
Modularity Mathematics
Java Mathematics
Software System Mathematics
Compositional Verification Mathematics
Hardware Mathematics

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

Research Output 2008 2020

22 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/ReportBookProfessional

Open Access
File

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 proceedingChapterAcademicpeer-review

Trajectories

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

Oortwijn, W. & Huisman, M., 22 Nov 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 proceedingConference contributionAcademicpeer-review

Practical Abstractions for Automated Verification of Message Passing Concurrency

Oortwijn, W. & Huisman, M., 22 Nov 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. 399-417 19 p. (Lecture Notes in Computer Science; vol. 11918).

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

1 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 proceedingConference contributionAcademicpeer-review

Testing