Newcastle University
Toggle Main Menu
Toggle Search
Home
Browse
Latest
Stats
Policies
About
Home
Browse
Latest
Policies
About
ePrints
Browse by author
Browsing publications by
Dr Leo Freitas
Newcastle Authors
Title
Year
Full text
Dr Leo Freitas
Dr Paolo Modesti
Account and Transaction Protocol of the Open Banking Standard
2020
Sam Kennedy
Dr Leo Freitas
Mark Turner
Clinical Prioritisation Assistance Tool (CPAT) for COVID-19
2020
Dr Leo Freitas
Dr Bill Scott
Professor Patrick Degenaar
Medicine-by-wire: Practical considerations on formal techniques for dependable medical systems
2020
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 Machine
2019
Dr Leo Freitas
Dr Paolo Modesti
Dr Martin Emms
A methodology for protocol verification applied to EMV
®
1
2018
Dr Leo Freitas
VDM at Large: Modelling the EMV
®
2
nd
Generation Kernel
2018
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 Checking
2017
Dr Leo Freitas
An Axiomatic Value Model for Isabelle/UTP
2016
Dr Leo Freitas
Modelling and verifying a priority scheduler for an SCJ runtime environment
2016
Dr Leo Freitas
Safety-Critical Java Virtual Machine Services
2015
1
2
3
4
5
6