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
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
Formal verification
Machinery
Testing
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
Industry
Security of data
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