Concepedia

Leo Freitas

LF

Statistics

Publications

12

Citations

282

H-Index

11

Active since

2007

Affiliations

University of York(Current)

Newcastle University

Trinity College Dublin

United States Naval Research Laboratory

Leo Freitas is an author at University of York specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal VerificationSoftware EngineeringVerificationFormal MethodsSystem SoftwareSoftware AnalysisData SecuritySystems Engineering

Publications per year

2007–2019

12

Publications

12

POSIX file store in Z/Eves: an experiment in the verified software repository

Leo Freitas, Zheng Fu, Jim Woodcock · 2007 · 35 citations

Software Maintenance, Distributed File System, Engineering +26

Mechanising Mondex with Z/Eves

Leo Freitas, Jim Woodcock · Formal Aspects of Computing · 2007 · 32 citations · Full text

Mechanising a formal model of flash memory

Andrew Butterfield, Leo Freitas, Jim Woodcock · Science of Computer Programming · 2008 · 32 citations

Hardware Security, Memory Architecture, Engineering +8

Harvesting High Value Foreign Currency Transactions from EMV Contactless Credit Cards Without the PIN

Martin Emms, Budi Arief, Leo Freitas et al. · 2014 · 32 citations

Fraud Detection, Fintech, Fraudulent Transactions +14

POSIX and the Verification Grand Challenge: A Roadmap

Leo Freitas, Jim Woodcock, Andrew Butterfield · 2008 · 25 citations · Full text

Software Maintenance, Distributed File System, Engineering +24

1–5 of 12