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 | 66 | 2009 |
Model checking circus L Freitas University of York, 2005 | 54 | 2005 |
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 | 52 | 2014 |
Mechanising mondex with Z/Eves L Freitas, J Woodcock Formal Aspects of Computing 20, 117-139, 2008 | 48 | 2008 |
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 | 43 | 2014 |
Mechanising a formal model of flash memory A Butterfield, L Freitas, J Woodcock Science of Computer Programming 74 (4), 219-237, 2009 | 41 | 2009 |
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 | 37 | 2014 |
POSIX and the verification grand challenge: A roadmap L Freitas, J Woodcock, A Butterfield 13th IEEE International Conference on Engineering of Complex Computer …, 2008 | 34 | 2008 |
CZT support for Z extensions T Miller, L Freitas, P Malik, M Utting Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven …, 2005 | 33 | 2005 |
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 | 31 | 2019 |
Operational Semantics for Model Checking Circus J Woodcock, A Cavalcanti, L Freitas FM 2005: Formal Methods: International Symposium of Formal Methods Europe …, 2005 | 30 | 2005 |
Formal methods for security in the Xenon hypervisor L Freitas, J McDermott International journal on software tools for technology transfer 13, 463-489, 2011 | 29 | 2011 |
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 | 25 | 2009 |
A formal security policy for xenon J McDermott, L Freitas Proceedings of the 6th ACM workshop on Formal methods in security …, 2008 | 25 | 2008 |
Z/eves and the mondex electronic purse J Woodcock, L Freitas International Colloquium on Theoretical Aspects of Computing, 15-34, 2006 | 24 | 2006 |
Formal modelling of separation kernel components A Velykis, L Freitas Theoretical Aspects of Computing–ICTAC 2010: 7th International Colloquium …, 2010 | 17 | 2010 |
JACK: A process algebra implementation in Java L Freitas PQDT-Global, 2002 | 15 | 2002 |
Linking VDM and Z J Woodcock, L Freitas 13th IEEE International Conference on Engineering of Complex Computer …, 2008 | 14 | 2008 |
Operational semantics for Circus JCP Woodcock, ALC Cavalcanti, MC Gaudel, LJS Freitas Formal aspects of computing 43, 100-103, 2007 | 13 | 2007 |
Verifying FreeRTOS: from requirements to binary code JT Mühlberg, F Leo 11th International Workshop on Automated Verification of Critical Systems …, 2011 | 12 | 2011 |