No photo of Marieke Huisman

Marieke Huisman

prof.dr.

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

Research Output 2008 2019

Filter
PhD Thesis - Research UT, graduation UT
2018
72 Downloads (Pure)

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

Amighi, A., 17 Jan 2018, Enschede: University of Twente. 206 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Synchronization
Specifications
Data storage equipment
Data structures
Acoustic waves
97 Downloads (Pure)

Verification of program parallelization

Darabi, S., 2 Mar 2018, 167 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Parallel programming
Computer programming languages
Semantics
2015
215 Downloads (Pure)

Closer to Reliable Software: Verifying Functional Behaviour of Concurrent Programs

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

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Formal logic
Machinery
Testing
Formal verification
2014
51 Downloads (Pure)

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 UTAcademic

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