Leo Freitas

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 14

Top Topics

Java Virtual Machine

Safety Analysis

Software Components

Top Venues

Sci. Comput. Program.

Publications

Leo Freitas, Peter Gorm Larsen
VDM recursive functions in Isabelle/HOL. CoRR (2023)
Leo Freitas, Aaron John Buhagiar
Specification-based CSV Support in VDM. CoRR (2023)
Leo Freitas
International System of Quantities library in VDM. CoRR (2023)
Leo Freitas
Topologically sorting VDM-SL definitions for Isabelle/HOL translation. CoRR (2023)
Aaron John Buhagiar, Leo Freitas, William E. Scott III, Peter Gorm Larsen
Digital Twins for Organ Preservation Devices. ISoLA (4) (2022)
Abdulaziz Almehrej, Leo Freitas, Paolo Modesti
Security Analysis of the Open Banking Account and Transaction API Protocol. CoRR (2020)
Leo Freitas, William E. Scott III, Patrick Degenaar
Medicine-by-wire: Practical considerations on formal techniques for dependable medical systems. Sci. Comput. Program. 200 (2020)
Abdulaziz Almehrej, Leo Freitas, Paolo Modesti
Account and Transaction Protocol of the Open Banking Standard. ABZ (2020)
Michael D. Harrison, Leo Freitas, Michael J. Drinnan, José Creissac Campos, Paolo Masci, Costanzo di Maria, Michael Whitaker
Formal techniques in the safety analysis of software components of a new dialysis machine. Sci. Comput. Program. 175 (2019)
Leo Freitas
VDM at Large: Modelling the EMV® 2^nd 2 nd Generation Kernel. SBMF (2018)
Leo Freitas, Paolo Modesti, Martin Emms
A Methodology for Protocol Verification Applied to EMV® 1. SBMF (2018)
Michael D. Harrison, Michael J. Drinnan, José Creissac Campos, Paolo Masci, Leo Freitas, Costanzo di Maria, Michael Whitaker
Safety Analysis of Software Components of a Dialysis Machine Using Model Checking. FACS (2017)
Leo Freitas, James Baxter, Ana Cavalcanti, Andy J. Wellings
Modelling and Verifying a Priority Scheduler for an SCJ Runtime Environment. IFM (2016)
Frank Zeyda, Simon Foster, Leo Freitas
An Axiomatic Value Model for Isabelle/UTP. UTP (2016)
James Baxter, Ana Cavalcanti, Andy J. Wellings, Leo Freitas
Safety-Critical Java Virtual Machine Services. JTRES (2015)
Leo Freitas, Paul Watson
Formalizing workflows partitioning over federated clouds: multi-level security and costs. Int. J. Comput. Math. 91 (5) (2014)
Leo Freitas, Cliff B. Jones, Andrius Velykis, Iain Whiteside
A Model for Capturing and Replaying Proof Strategies. VSTTE (2014)
Martin Emms, Budi Arief, Leo Freitas, Joseph Hannon, Aad P. A. van Moorsel
Harvesting High Value Foreign Currency Transactions from EMV Contactless Credit Cards Without the PIN. CCS (2014)
Leo Freitas, Iain Whiteside
Proof Patterns for Formal Methods. FM (2014)
Cliff B. Jones, Leo Freitas, Andrius Velykis
Ours Is to Reason Why. Theories of Programming and Formal Methods (2013)
Leo Freitas, Paul Watson
Formalising Workflows Partitioning over Federated Clouds: Multi-level Security and Costs. SERVICES (2012)
Leo Freitas, John P. McDermott
Formal methods for security in the Xenon hypervisor. Int. J. Softw. Tools Technol. Transf. 13 (5) (2011)
John P. McDermott, Leo Freitas
Using formal methods for security in the Xenon project. CSIIRW (2010)
Andrius Velykis, Leo Freitas
Formal Modelling of Separation Kernel Components. ICTAC (2010)
Leo Freitas, Jim Woodcock
FDR Explorer. Formal Aspects Comput. 21 (1-2) (2009)
Andrew Butterfield, Leo Freitas, Jim Woodcock
Mechanising a formal model of flash memory. Sci. Comput. Program. 74 (4) (2009)
Leo Freitas, Jim Woodcock, Yichi Zhang
Verifying the CICS File Control API with Z/Eves: An experiment in the verified software repository. Sci. Comput. Program. 74 (4) (2009)
Leo Freitas, Jim Woodcock
A Chain Datatype in Z. Int. J. Softw. Informatics 3 (2-3) (2009)
Leo Freitas
Mechanising Data-Types for Kernel Design in Z. SBMF (2009)
Leo Freitas, Jim Woodcock, Zheng Fu
POSIX file store in Z/Eves: An experiment in the verified software repository. Sci. Comput. Program. 74 (4) (2009)
Leo Freitas, Jim Woodcock
Mechanising Mondex with Z/Eves. Formal Aspects Comput. 20 (1) (2008)
John P. McDermott, Leo Freitas
A formal security policy for xenon. FMSE (2008)
Jim Woodcock, Leo Freitas
Linking VDM and Z. ICECCS (2008)
Leo Freitas, Jim Woodcock, Andrew Butterfield
POSIX and the Verification Grand Challenge: A Roadmap. ICECCS (2008)
Hugh Anderson, Gabriel Ciobanu, Leo Freitas
UTP and Temporal Logic Model Checking. UTP (2008)
Leo Freitas, Jim Woodcock
Proving Theorems About JML Classes. Formal Methods and Hybrid Real-Time Systems (2007)
Leo Freitas, Jim Woodcock
FDR Explorer. Electron. Notes Theor. Comput. Sci. 187 (2007)
Leo Freitas, Konstantinos Mokos, Jim Woodcock
Verifying the CICS File Control API with Z/Eves: An Experiment in the Verified Software Repository. ICECCS (2007)
Leo Freitas, Zheng Fu, Jim Woodcock
POSIX file store in Z/Eves: an experiment in the verified software repository. ICECCS (2007)
Leo Freitas, Ana Cavalcanti, Jim Woodcock
Taking Our Own Medicine: Applying the Refinement Calculus to State-Rich Refinement Model Checking. ICFEM (2006)
Jim Woodcock, Leo Freitas
Z/Eves and the Mondex Electronic Purse. ICTAC (2006)
Leo Freitas, Jim Woodcock, Ana Cavalcanti
State-rich model checking. Innov. Syst. Softw. Eng. 2 (1) (2006)
Tim Miller, Leo Freitas, Petra Malik, Mark Utting
CZT Support for Z Extensions. IFM (2005)