Follow
Leo Freitas
Leo Freitas
Senior Lecturer in Formal Methods and Tools, School of Computing Science, Newcastle University, UK
Verified email at newcastle.ac.uk
Title
Cited by
Cited by
Year
POSIX file store in Z/Eves: an experiment in the verified software repository
L Freitas, J Woodcock, Z Fu
Science of Computer Programming 74 (4), 238-257, 2009
692009
Model checking circus
L Freitas
University of York, 2005
552005
Equilibrium, thermodynamic, and kinetic of Cr (VI) adsorption using a modified and unmodified bentonite clay
DJL Guerra, I Mello, LR Freitas, R Resende, RAR Silva
International Journal of Mining Science and Technology 24 (4), 525-535, 2014
522014
Mechanising mondex with Z/Eves
L Freitas, J Woodcock
Formal Aspects of Computing 20, 117-139, 2008
492008
Harvesting high value foreign currency transactions from EMV contactless credit cards without the PIN
M Emms, B Arief, L Freitas, J Hannon, A van Moorsel
Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications …, 2014
432014
Mechanising a formal model of flash memory
A Butterfield, L Freitas, J Woodcock
Science of Computer Programming 74 (4), 219-237, 2009
392009
Formalizing workflows partitioning over federated clouds: multi-level security and costs
L Freitas, P Watson
International Journal of Computer Mathematics 91 (5), 881-906, 2014
362014
POSIX and the verification grand challenge: A roadmap
L Freitas, J Woodcock, A Butterfield
13th IEEE International Conference on Engineering of Complex Computer …, 2008
362008
CZT support for Z extensions
T Miller, L Freitas, P Malik, M Utting
Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven …, 2005
342005
Operational Semantics for Model Checking Circus
J Woodcock, A Cavalcanti, L Freitas
FM 2005: Formal Methods: International Symposium of Formal Methods Europe …, 2005
302005
Formal techniques in the safety analysis of software components of a new dialysis machine
MD Harrison, L Freitas, M Drinnan, JC Campos, P Masci, C di Maria, ...
Science of Computer Programming 175, 17-34, 2019
292019
Formal methods for security in the Xenon hypervisor
L Freitas, J McDermott
International journal on software tools for technology transfer 13, 463-489, 2011
292011
A formal security policy for xenon
J McDermott, L Freitas
Proceedings of the 6th ACM workshop on Formal methods in security …, 2008
262008
Verifying the CICS File Control API with Z/Eves: An experiment in the verified software repository
L Freitas, J Woodcock, Y Zhang
Science of Computer Programming 74 (4), 197-218, 2009
252009
Z/eves and the mondex electronic purse
J Woodcock, L Freitas
International Colloquium on Theoretical Aspects of Computing, 15-34, 2006
242006
Formal modelling of separation kernel components
A Velykis, L Freitas
Theoretical Aspects of Computing–ICTAC 2010: 7th International Colloquium …, 2010
172010
JACK: A process algebra implementation in Java
L Freitas
PQDT-Global, 2002
152002
Linking VDM and Z
J Woodcock, L Freitas
13th IEEE International Conference on Engineering of Complex Computer …, 2008
142008
Operational semantics for Circus
JCP Woodcock, ALC Cavalcanti, MC Gaudel, LJS Freitas
Formal aspects of computing 43, 100-103, 2007
132007
Verifying FreeRTOS: from requirements to binary code
JT Mühlberg, F Leo
11th International Workshop on Automated Verification of Critical Systems …, 2011
122011
The system can't perform the operation now. Try again later.
Articles 1–20