Leo Freitas
Leo Freitas
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
632009
Model checking circus
L Freitas
University of York, 2005
522005
Mechanising mondex with Z/Eves
L Freitas, J Woodcock
Formal Aspects of Computing 20 (1), 117-139, 2008
462008
Mechanising a formal model of flash memory
A Butterfield, L Freitas, J Woodcock
Science of Computer Programming 74 (4), 219-237, 2009
392009
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
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
332014
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
322014
CZT support for Z extensions
T Miller, L Freitas, P Malik, M Utting
International Conference on Integrated Formal Methods, 227-245, 2005
312005
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
302014
A formal security policy for xenon
J McDermott, L Freitas
Proceedings of the 6th ACM workshop on Formal methods in security …, 2008
282008
Operational Semantics for Model Checking Circus
J Woodcock, A Cavalcanti, L Freitas
International Symposium on Formal Methods, 237-252, 2005
282005
Formal methods for security in the Xenon hypervisor
L Freitas, J McDermott
International journal on software tools for technology transfer 13 (5), 463, 2011
252011
Z/eves and the mondex electronic purse
J Woodcock, L Freitas
International Colloquium on Theoretical Aspects of Computing, 15-34, 2006
232006
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
222009
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
162019
Formal modelling of separation kernel components
A Velykis, L Freitas
International Colloquium on Theoretical Aspects of Computing, 230-244, 2010
152010
Linking VDM and Z
J Woodcock, L Freitas
13th IEEE International Conference on Engineering of Complex Computer …, 2008
142008
JACK: A process algebra implementation in Java
L Freitas
Centro de Informatica, Universidade Federal de Pernambuco, 2002
142002
Operational semantics for Circus
JCP Woodcock, ALC Cavalcanti, MC Gaudel, LJS Freitas
Formal aspects of computing 43, 100-103, 2007
132007
Taking our own medicine: Applying the refinement calculus to state-rich refinement model checking
L Freitas, A Cavalcanti, J Woodcock
International Conference on Formal Engineering Methods, 697-716, 2006
132006
The system can't perform the operation now. Try again later.
Articles 1–20