Leo Freitas
Leo Freitas
Senior Lecturer in Formal Methods and Tools, School of Computing Science, Newcastle University, UK
Geverifieerd e-mailadres voor newcastle.ac.uk
Titel
Geciteerd door
Geciteerd door
Jaar
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
512005
Mechanising mondex with Z/Eves
L Freitas, J Woodcock
Formal Aspects of Computing 20 (1), 117-139, 2008
492008
Mechanising a formal model of flash memory
A Butterfield, L Freitas, J Woodcock
Science of Computer Programming 74 (4), 219-237, 2009
402009
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
352014
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
352014
POSIX and the verification grand challenge: A roadmap
L Freitas, J Woodcock, A Butterfield
13th IEEE International Conference on Engineering of Complex Computer†…, 2008
352008
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
342014
CZT support for Z extensions
T Miller, L Freitas, P Malik, M Utting
International Conference on Integrated Formal Methods, 227-245, 2005
322005
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-489, 2011
272011
A formal security policy for xenon
J McDermott, L Freitas
Proceedings of the 6th ACM workshop on Formal methods in security†…, 2008
262008
Z/eves and the mondex electronic purse
J Woodcock, L Freitas
International Colloquium on Theoretical Aspects of Computing, 15-34, 2006
242006
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
232009
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
222019
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
152008
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
122006
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20