Publications by Dr Leo Freitas - ePrints

Browsing publications by Dr Leo Freitas.

Newcastle Authors	Title	Year
Dr Leo Freitas Aaron Buhagiar Dr Bill Scott III	SmartAudits: Applying Timebands to a Medical Device	2024
Aaron Buhagiar Dr Leo Freitas Dr Bill Scott	Persufflation - Current State of Play	2021
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 Martin Emms Dr Leo Freitas	Mastercard Contactless Reader specification verification	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
Dr Leo Freitas Dr Martin Emms	Protocol Correctness Analysis EMV 2nd Generation Specifications - Formal specification of EMV 2nd Generation Kernel	2017
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
Dr Leo Freitas Emeritus Professor Cliff Jones Dr Andrius Velykis Dr Iain Whiteside	A Model for Capturing and Replaying Proof Strategies	2014
Diego Machado Dias Dr Leo Freitas Emeritus Professor Cliff Jones	Abstracting Interference in Postconditions	2014
Dr Leo Freitas Emeritus 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-guarantee	2014
Dr Leo Freitas Professor Paul Watson	Formalizing workflows partitioning over federated clouds: multi-level security and costs	2014
Dr Martin Emms Dr Leonardus Arief Dr Leo Freitas Joe Hannon Professor Aad van Moorsel et al.	Harvesting high value foreign currency transactions from EMV contactless cards without the PIN	2014
Dr Martin Emms Dr Leonardus Arief Dr Leo Freitas Joe Hannon Professor Aad van Moorsel et al.	Harvesting High Value Foreign Currency Transactions from EMV Contactless Credit Cards Without the PIN	2014
Dr Leo Freitas Dr Iain Whiteside	Proof Patterns for Formal Methods	2014
Dr Leo Freitas Dr Iain Whiteside	Proof Patterns for Formal Methods	2014
Dr Martin Emms Dr Leo Freitas Professor Aad van Moorsel	Rigorous Design and Implementation of an Emulator for EMV Contactless Payments	2014
Dr Leo Freitas Emeritus Professor Cliff Jones Dr Andrius Velykis Dr Iain Whiteside	How to say why (in AI4FM)	2013
Emeritus Professor Cliff Jones Dr Leo Freitas Dr Andrius Velykis	Ours is to reason why	2013
Dr Leo Freitas	Combining formal methods and testing: A case study on FreeRTOS	2011
Dr Leo Freitas	Formal methods for security in the Xenon hypervisor	2011
Dr Andrius Velykis Dr Leo Freitas	Formal Modelling of Separation Kernel Components	2010
Dr Leo Freitas Emeritus Professor Cliff Jones	Learning from an expert's proof: AI4FM	2010
Dr Leo Freitas	Using formal methods for security in the Xenon project	2010
Dr Leo Freitas	UTP and Temporal Logic Model Checking	2010
Dr Leo Freitas	A Chain Datatype in Z	2009
Dr Leo Freitas	FDR Explorer	2009
Dr Leo Freitas	Mechanising a formal model of flash memory	2009
Dr Leo Freitas	Mechanising Data-Types for Kernel Design in Z	2009
Dr Leo Freitas	POSIX file store in Z/Eves: An experiment in the verified software repository	2009
Dr Leo Freitas	Unifying Theories of Undefinedness	2009
Dr Leo Freitas	Verifying the CICS File Control API with Z/Eves: An experiment in the verified software repository	2009
Dr Leo Freitas	A formal security policy for xenon	2008
Dr Leo Freitas	Linking VDM and Z	2008
Dr Leo Freitas	Mechanising Mondex with Z/Eves	2008
Dr Leo Freitas	Operational Semantics for Circus	2008
Dr Leo Freitas	POSIX and the Verification Grand Challenge: A Roadmap	2008
Dr Leo Freitas	POSIX file store in Z/Eves: an experiment in the verified software repository	2007
Dr Leo Freitas	Proving Theorems About JML Classes	2007
Dr Leo Freitas	Verifying the CICS File Control API with Z/Eves: An Experiment in the Verified Software Repository	2007
Dr Leo Freitas	Mondex Case Study Second Workshop	2006
Dr Leo Freitas	State-rich model checking	2006
Dr Leo Freitas	Taking Our Own Medicine: Applying the Refinement Calculus to State-Rich Refinement Model Checking	2006
Dr Leo Freitas	Z/Eves and the Mondex Electronic Purse	2006
Dr Leo Freitas	CZT Support for Z Extensions	2005
Dr Leo Freitas	Operational Semantics for Model Checking Circus	2005
Dr Leo Freitas	JACK: A Framework for Process Algebra Implementation in Java	2002
Dr Leo Freitas	JACK: A process algebra implementation in Java [Masters Thesis]	2002
Dr Leo Freitas	Animating CSPm using Action Semantics	2001