Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Dr Leo Freitas

Newcastle AuthorsTitleYearFull text
Dr Leo Freitas
Dr Paolo Modesti
Account and Transaction Protocol of the Open Banking Standard2020
Sam Kennedy
Dr Leo Freitas
Mark Turner
Clinical Prioritisation Assistance Tool (CPAT) for COVID-192020
Dr Leo Freitas
Dr Bill Scott
Professor Patrick Degenaar
Medicine-by-wire: Practical considerations on formal techniques for dependable medical systems2020
Professor Michael Harrison
Dr Leo Freitas
Dr Michael Drinnan
Costanzo Di Maria
Formal Techniques in the Safety Analysis of Software Components of a new Dialysis Machine2019
Dr Leo Freitas
Dr Paolo Modesti
Dr Martin Emms
A methodology for protocol verification applied to EMV® 12018
Dr Leo Freitas
VDM at Large: Modelling the EMV® 2nd Generation Kernel2018
Professor Michael Harrison
Dr Michael Drinnan
Dr Leo Freitas
Costanzo Di Maria
Emeritus Professor Michael Whitaker
et al.		Safety Analysis of Software Components of a Dialysis Machine Using Model Checking2017
Dr Leo Freitas
An Axiomatic Value Model for Isabelle/UTP2016
Dr Leo Freitas
Modelling and verifying a priority scheduler for an SCJ runtime environment2016
Dr Leo Freitas
Safety-Critical Java Virtual Machine Services2015
123456