Folgen
Leo Freitas
Leo Freitas
Senior Lecturer in Formal Methods and Tools, School of Computing Science, Newcastle University, UK
Bestätigte E-Mail-Adresse bei newcastle.ac.uk
Titel
Zitiert von
Zitiert von
Jahr
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
662009
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
542014
Model checking circus
L Freitas
University of York, 2005
542005
Mechanising mondex with Z/Eves
L Freitas, J Woodcock
Formal Aspects of Computing 20, 117-139, 2008
502008
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
452014
Mechanising a formal model of flash memory
A Butterfield, L Freitas, J Woodcock
Science of Computer Programming 74 (4), 219-237, 2009
422009
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
372014
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
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
332019
CZT support for Z extensions
T Miller, L Freitas, P Malik, M Utting
Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven …, 2005
332005
Operational Semantics for Model Checking Circus
J Woodcock, A Cavalcanti, L Freitas
FM 2005: Formal Methods: International Symposium of Formal Methods Europe …, 2005
312005
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
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
A formal security policy for xenon
J McDermott, L Freitas
Proceedings of the 6th ACM workshop on Formal methods in security …, 2008
252008
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
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
PQDT-Global, 2002
152002
Proof patterns for formal methods
L Freitas, I Whiteside
FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16 …, 2014
132014
Operational semantics for Circus
JCP Woodcock, ALC Cavalcanti, MC Gaudel, LJS Freitas
Formal aspects of computing 43, 100-103, 2007
132007
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20