No photo of Marieke Huisman

Marieke Huisman

prof.dr.

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

Research Output 2008 2018

Filter
PhD Thesis - Research UT, graduation UT
2018

Specification and verification of synchronisation classes in Java: A practical approach

Amighi, A. 17 Jan 2018 Enschede. 206 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

Open Access
File
Synchronization
Specifications
Data storage equipment
Data structures
Acoustic waves

Verification of program parallelization

Darabi, S. 2 Mar 2018 167 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

Open Access
File
Parallel programming
Computer programming languages
Semantics
2015

Closer to Reliable Software: Verifying Functional Behaviour of Concurrent Programs

Zaharieva, M. 1 Oct 2015 Enschede: Universiteit Twente. 236 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

File
2014

Qualitative and quantitative information flow analysis for multi-threaded programs

Ngo, M. T. 17 Apr 2014 Enschede: Universiteit Twente. 180 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

Open Access
File
Program processors
Security of data
Information systems
Computer systems
Scheduling