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
622009
Model checking circus
L Freitas
University of York, 2005
502005
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
302014
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
282014
A formal security policy for xenon
J McDermott, L Freitas
Proceedings of the 6th ACM workshop on Formal methods in security …, 2008
282008
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
272014
CZT support for Z extensions
T Miller, L Freitas, P Malik, M Utting
International Conference on Integrated Formal Methods, 227-245, 2005
272005
Operational Semantics for Model Checking Circus
J Woodcock, A Cavalcanti, L Freitas
International Symposium on Formal Methods, 237-252, 2005
262005
Formal methods for security in the Xenon hypervisor
L Freitas, J McDermott
International journal on software tools for technology transfer 13 (5), 463, 2011
242011
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 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
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
Operational semantics for Circus
JCP Woodcock, ALC Cavalcanti, MC Gaudel, LJS Freitas
Formal aspects of computing 43, 100-103, 2007
122007
A Chain Datatype in Z.
L Freitas, J Woodcock
Int. J. Software and Informatics 3 (2-3), 357-374, 2009
112009
The system can't perform the operation now. Try again later.
Articles 1–20