Software Modelling and Applied Logic

Search results

• Structuring Specifications of Reactive Systems using B

  Kan, P. (Author), Lano, K. (Supervisor), 1 Jul 2006

  Student thesis: Doctoral Thesis › Doctor of Philosophy

• Specification and Verification of Reactive Systems with RSDS

  Androutsopoulos, K. (Author), Lano, K. (Supervisor), 1 Jun 2004

  Student thesis: Doctoral Thesis › Doctor of Philosophy

  File

• Rewriting Formalisms With Binding Support: Comparing Combinatory Reduction Systems and Nominal Rewrite Systems with Atom Substitution

  Dominguez, J. (Author), Fernandez, M. I. (Supervisor) & Urban, C. (Supervisor), 2017

  Student thesis: Doctoral Thesis › Doctor of Philosophy

• Requirements Engineering for Model Transformation Development

  Yassipour Tehrani, S. (Author), Lano, K. (Supervisor) & Zschaler, S. (Supervisor), 2018

  Student thesis: Doctoral Thesis › Doctor of Philosophy

  File

• Relation-ontology drive topic classification

  Hao, Q. (Author), Keppens, J. (Supervisor) & Rodrigues, O. (Supervisor), 1 Nov 2020

  Student thesis: Doctoral Thesis › Doctor of Philosophy

  File

• Extending the Capacity of Enterprise Architecture Management Frameworks: Towards a model-driven handling of dynamics

  Almisned, F. A. (Author), McBurney, P. (Supervisor) & Zschaler, S. (Supervisor), 2018

  Student thesis: Doctoral Thesis › Doctor of Philosophy

  File

• Exploiting Digital Evidence Artefacts : Finding and joining digital dots

  Brady, O. D. (Author), Overill, R. (Supervisor) & Keppens, J. (Supervisor), 2018

  Student thesis: Doctoral Thesis › Doctor of Philosophy

  File

• Enforcing Role-Based and Category-Based Access Control In Java: A Hybrid Approach

  Ali, A. (Author), Fernandez, M. I. (Supervisor), Urban, C. (Supervisor) & Barker, S. G. (Supervisor), 2018

  Student thesis: Doctoral Thesis › Doctor of Philosophy

  File

• Efficient SMT-based verification of software programs

  Even Mendoza, K. (Author), Chockler, H. (Supervisor) & Viganò, L. (Supervisor), 1 Jul 2020

  Student thesis: Doctoral Thesis › Doctor of Philosophy

  File

• Editing composed languages

  Diekmann, L. (Author), Tratt, L. (Supervisor) & Urban, C. (Supervisor), 1 Jun 2019

  Student thesis: Doctoral Thesis › Doctor of Philosophy

  File

• Defining Models for Project Management Processes

  Singh, R. (Author), Lano, K. (Supervisor) & Zschaler, S. (Supervisor), 2018

  Student thesis: Doctoral Thesis › Doctor of Philosophy

  File

• A port graph rewriting system for visual data modelling

  Varga, J. (Author), Fernandez, M. (Supervisor) & Tratt, L. (Supervisor), 1 Oct 2020

  Student thesis: Doctoral Thesis › Doctor of Philosophy

  File

• A novel systematic and proactive approach to limit reflective DDoS attacks

  Vadura, M. (Author), Overill, R. (Supervisor) & Viganò, L. (Supervisor), 1 Jun 2019

  Student thesis: Doctoral Thesis › Doctor of Philosophy

• An extensible dynamically typed object oriented language with an application to model transformations

  Tratt, L. (Author), Lano, K. (Supervisor), 1 Aug 2005

  Student thesis: Doctoral Thesis › Doctor of Philosophy

• A formal approach for the analysis of the security of socio-technical systems

  Sempreboni, D. (Author), Viganò, L. (Supervisor), 1 Oct 2020

  Student thesis: Doctoral Thesis › Doctor of Philosophy

  File

• Accessibility and the Internet

  Jesmin, R. (Author), Lano, K. (Supervisor), 1 Oct 2006

  Student thesis: Doctoral Thesis › Doctor of Philosophy