Leo Freitas

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