עקוב אחר
Leo Freitas
Leo Freitas
Senior Lecturer in Formal Methods and Tools, School of Computing Science, Newcastle University, UK
כתובת אימייל מאומתת בדומיין newcastle.ac.uk
כותרת
צוטט על ידי
צוטט על ידי
שנה
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
672009
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
582014
Mechanising mondex with Z/Eves
L Freitas, J Woodcock
Formal Aspects of Computing 20, 117-139, 2008
552008
Model checking circus
L Freitas
University of York, 2005
532005
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
482014
Mechanising a formal model of flash memory
A Butterfield, L Freitas, J Woodcock
Science of Computer Programming 74 (4), 219-237, 2009
432009
POSIX and the verification grand challenge: A roadmap
L Freitas, J Woodcock, A Butterfield
13th IEEE International Conference on Engineering of Complex Computer …, 2008
382008
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
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
352019
CZT support for Z extensions
T Miller, L Freitas, P Malik, M Utting
Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven …, 2005
332005
Formal methods for security in the Xenon hypervisor
L Freitas, J McDermott
International journal on software tools for technology transfer 13, 463-489, 2011
312011
Operational Semantics for Model Checking Circus
J Woodcock, A Cavalcanti, L Freitas
FM 2005: Formal Methods: International Symposium of Formal Methods Europe …, 2005
312005
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
262009
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
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
172008
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
Verifying FreeRTOS: from requirements to binary code
JT Mühlberg, F Leo
11th International Workshop on Automated Verification of Critical Systems …, 2011
132011
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20