Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Dr Leo Freitas

Newcastle AuthorsTitleYearFull text
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
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
Dr Leo Freitas
Professor Cliff Jones
Dr Andrius Velykis
Dr Iain Whiteside
A Model for Capturing and Replaying Proof Strategies2014
Diego Machado Dias
Dr Leo Freitas
Professor Cliff Jones
Abstracting Interference in Postconditions2014
Dr Leo Freitas
Professor Cliff Jones
Dr Andrius Velykis
Can a system learn from interactive proofs?2014
Diego Machado Dias
Dr Leo Freitas
Designing an unbounded buffer in rely-guarantee2014
12345