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: ScientificPhD Thesis - Research UT, graduation UT

Synchronization
Specifications
Data structures

Verification of program parallelization

Darabi, S. 2 Mar 2018 167 p.

Research output: ScientificPhD Thesis - Research UT, graduation UT

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: ScientificPhD Thesis - Research UT, graduation UT

Formal logic
Machinery
Testing
Formal verification
2014

Qualitative and Quantitative Information Flow Analysis for Multi-threaded Programs

Ngo, M. T. 17 Apr 2014 Enschede: Centre for Telematics and Information Technology (CTIT). 189 p.

Research output: ScientificPhD Thesis - Research UT, graduation UT

Scheduling
Security of data
Industry
Information systems
Internet

Qualitative and quantitative information flow analysis for multi-thread programs

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

Research output: ScientificPhD Thesis - Research UT, graduation UT

Program processors
Security of data
Information systems
Computer systems
Scheduling