Skip to content

Past PhD Thesis

2016

Germanos, V. Model Checking of Mobile Systems and Diagnosability of Weakly-Fair Systems. School of Computing Science, University of Newcastle upon Tyne, 2016
Supervisor: Victor Khomenko

2015

Konios, A. Modelling and Verification of Ambient Systems using Petri Nets . School of Computing Science, University of Newcastle upon Tyne, 2015
Supervisor: Dr Marta Koutny

Velykis, A. Capturing Proof Process. School of Computing Science, University of Newcastle upon Tyne, 2015 
Supervisor: Prof Cliff Jones

Almanea, M.I.M. The Role of Transparency and Trust in the Selection of Cloud Service Providers. School of Computing Science, University of Newcastle upon Tyne, 2015 
Supervisor: Prof John Fitzgerald

2014

Zeng, W. Quantitative Analysis of Distributed Systems. School of Computing Science, University of Newcastle upon Tyne, 2014
Supervisor: Prof Maciej Koutny

2013

Bhattacharyya, A. Formal Modelling and Analysis of Dynamic Reconfiguration of Dependable Systems. School of Computing Science, University of Newcastle upon Tyne, 2013
Supervisor: Prof John Fitzgerald

Lovert, M.J. On the Mechanisation of the Logic of Partial Functions. School of Computing Science, University of Newcastle upon Tyne, 2013
Supervisor: Prof Cliff Jones

2012

Payne, R.J. Verifiable Resilience in Architectural Reconfiguration. School of Computing Science, University of Newcastle upon Tyne, 2012
Supervisor: Prof John Fitzgerald

Andrews, Z.H. Continuous Probability Distributions in Model-Based Specification Languages. School of Computing Science, University of Newcastle upon Tyne, 2012
Supervisor: Prof John Fitzgerald

2011

Ingram, C. Using Requirements and Design Information to Predict Volatility in Software Development. School of Computing Science, University of Newcastle upon Tyne, 2011
Supervisor: Prof John Fitzgerald

Gamble, C.J. Design time detection of architectural mismatches in service oriented architectures. School of Computing Science, University of Newcastle upon Tyne, 2011
Supervisor: Prof John Fitzgerald

Hughes, J.R.D. Reasoning about Programs using Operational Semantics and the Role of a Proof Support Tool. School of Computing Science, University of Newcastle upon Tyne, 2011
Supervisor: Prof Cliff Jones

2009

Pierce, K.G. Enhancing the Usability of Rely-Guarantee Conditions for Atomicity Refinement. School of Computing Science, University of Newcastle upon Tyne, 2009
Supervisor: Prof Cliff Jones

Banks, R.A. Qualitatively Modelling Genetic Regulatory Networks: Petri Net Techniques and Tools. School of Computing Science, University of Newcastle upon Tyne, 2009
Supervisor: Jason Steggles

2008

Ellis, M.A. Correct Synthesis and Integration of Compiler-Generated Function Units. School of Computing Science, University of Newcastle upon Tyne, 2008
Supervisor: Prof Cliff Jones

Coleman, J.W. Constructing a Tractable Reasoning Framework upon a Fine-Grained Structural Operational Semantics. School of Computing Science, University of Newcastle upon Tyne, 2008
Supervisor: Prof Cliff Jones

2006

Lawrie, A.T. The Effect of Diverse Development Goals on Computer-Based System Dependability. School of Computing Science, University of Newcastle upon Tyne, 2006
Supervisor: Prof Cliff Jones

Niaouris, A. An algebra of Petri nets with arc-based timing restrictions. School of Computing Science, University of Newcastle upon Tyne, 2006
Supervisor: Prof Maciej Koutny

close tray menu