Concepedia

Marieke Huisman

MH

25

Publications

600

Citations

14

H-Index

1998

Active since

Affiliations

University of Twente(Current)

Institut national de recherche en sciences et technologies du numérique

Radboud University Nijmegen

Karlsruhe Institute of Technology

National University of Ireland, Maynooth

Marieke Huisman is an author at University of Twente specializing in formal methods, formal verification, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationVerificationSoftware AnalysisProgram AnalysisSystem SoftwareAutomated ReasoningData Security

Publications per year

1998–2022

25

Publications

25

Reasoning about Java classes

Bart Jacobs, Joachim van den Berg, Marieke Huisman et al. · 1998 · 77 citations

Program Checking, Engineering, Verification +19

A Temporal Logic Characterisation of Oservational Determinism

Marieke Huisman, Pratik Worah, Kim Sunesen · 2006 · 71 citations

Engineering, Information Security, Multi-threaded Programs +20

Specification and verification of GPGPU programs

Stefan Blom, Marieke Huisman, Matej Mihelčić · Science of Computer Programming · 2014 · 51 citations

Gpu Architecture, Engineering, Gpu Benchmarking +11

Formal methods for smart cards: an experience report

Cees-Bart Breunesse, Néstor Cataño, Marieke Huisman et al. · Science of Computer Programming · 2004 · 50 citations

Hardware Security, Near Field Communication, Engineering +8

A case study in class library verification: Java’s vector class

Marieke Huisman, Bart Jacobs, Joachim van den Berg · International Journal on Software Tools for Technology Transfer · 2001 · 37 citations

Engineering, Vector Class, Polymorphism (Computer Science) +9

Rows per page

1–5 of 25