Leo Freitas

According to our database, Leo Freitas authored at least 45 papers between 2002 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

International System of Quantities library in VDM.

Leo Freitas

CoRR, 2023

Topologically sorting VDM-SL definitions for Isabelle/HOL translation.

Leo Freitas

CoRR, 2023

VDM recursive functions in Isabelle/HOL.

Leo Freitas, Peter Gorm Larsen

CoRR, 2023

Specification-based CSV Support in VDM.

Leo Freitas, Aaron John Buhagiar

CoRR, 2023

2022

Digital Twins for Organ Preservation Devices.

Aaron John Buhagiar, Leo Freitas, William E. Scott III, Peter Gorm Larsen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022

2020

Medicine-by-wire: Practical considerations on formal techniques for dependable medical systems.

Leo Freitas, William E. Scott III, Patrick Degenaar

Sci. Comput. Program., 2020

Security Analysis of the Open Banking Account and Transaction API Protocol.

Abdulaziz Almehrej, Leo Freitas, Paolo Modesti

CoRR, 2020

Account and Transaction Protocol of the Open Banking Standard.

Abdulaziz Almehrej, Leo Freitas, Paolo Modesti

Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

2019

Formal techniques in the safety analysis of software components of a new dialysis machine.

Michael D. Harrison, Leo Freitas, Michael J. Drinnan, José Creissac Campos, Paolo Masci, Costanzo di Maria, Michael Whitaker

Sci. Comput. Program., 2019

2018

A Methodology for Protocol Verification Applied to EMV® 1.

Leo Freitas, Paolo Modesti, Martin Emms

Proceedings of the Formal Methods: Foundations and Applications - 21st Brazilian Symposium, 2018

VDM at Large: Modelling the EMV® 2^nd 2 nd Generation Kernel.

Leo Freitas

Proceedings of the Formal Methods: Foundations and Applications - 21st Brazilian Symposium, 2018

2017

Safety Analysis of Software Components of a Dialysis Machine Using Model Checking.

Michael D. Harrison, Michael J. Drinnan, José Creissac Campos, Paolo Masci, Leo Freitas, Costanzo di Maria, Michael Whitaker

Proceedings of the Formal Aspects of Component Software - 14th International Conference, 2017

2016

An Axiomatic Value Model for Isabelle/UTP.

Frank Zeyda, Simon Foster, Leo Freitas

Proceedings of the Unifying Theories of Programming - 6th International Symposium, 2016

Modelling and Verifying a Priority Scheduler for an SCJ Runtime Environment.

Leo Freitas, James Baxter, Ana Cavalcanti, Andy J. Wellings

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

2015

Safety-Critical Java Virtual Machine Services.

James Baxter, Ana Cavalcanti, Andy J. Wellings, Leo Freitas

Proceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems, 2015

2014

Formalizing workflows partitioning over federated clouds: multi-level security and costs.

Leo Freitas, Paul Watson

Int. J. Comput. Math., 2014

A Model for Capturing and Replaying Proof Strategies.

Leo Freitas, Cliff B. Jones, Andrius Velykis, Iain Whiteside

Proceedings of the Verified Software: Theories, Tools and Experiments, 2014

Proof Patterns for Formal Methods.

Leo Freitas, Iain Whiteside

Proceedings of the FM 2014: Formal Methods, 2014

Harvesting High Value Foreign Currency Transactions from EMV Contactless Credit Cards Without the PIN.

Martin Emms, Budi Arief, Leo Freitas, Joseph Hannon, Aad P. A. van Moorsel

Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014

Can a system learn from interactive proofs?

Leo Freitas, Cliff B. Jones, Andrius Velykis

Proceedings of the HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday, 2014

2013

Ours Is to Reason Why.

Cliff B. Jones, Leo Freitas, Andrius Velykis

Proceedings of the Theories of Programming and Formal Methods, 2013

2012

Formalising Workflows Partitioning over Federated Clouds: Multi-level Security and Costs.

Leo Freitas, Paul Watson

Proceedings of the Eighth IEEE World Congress on Services, 2012

2011

Formal methods for security in the Xenon hypervisor.

Leo Freitas, John P. McDermott

Int. J. Softw. Tools Technol. Transf., 2011

2010

Formal Modelling of Separation Kernel Components.

Andrius Velykis, Leo Freitas

Proceedings of the Theoretical Aspects of Computing, 2010

Using formal methods for security in the Xenon project.

John P. McDermott, Leo Freitas

Proceedings of the 6th Cyber Security and Information Intelligence Research Workshop, 2010

2009

Verifying the CICS File Control API with Z/Eves: An experiment in the verified software repository.

Leo Freitas, Jim Woodcock, Yichi Zhang

Sci. Comput. Program., 2009

POSIX file store in Z/Eves: An experiment in the verified software repository.

Leo Freitas, Jim Woodcock, Zheng Fu

Sci. Comput. Program., 2009

Mechanising a formal model of flash memory.

Andrew Butterfield, Leo Freitas, Jim Woodcock

Sci. Comput. Program., 2009

A Chain Datatype in Z.

Leo Freitas, Jim Woodcock

Int. J. Softw. Informatics, 2009

Mechanising Data-Types for Kernel Design in Z.

Leo Freitas

Proceedings of the Formal Methods: Foundations and Applications, 2009

2008

Mechanising Mondex with Z/Eves.

Leo Freitas, Jim Woodcock

Formal Aspects Comput., 2008

UTP and Temporal Logic Model Checking.

Hugh Anderson, Gabriel Ciobanu, Leo Freitas

Proceedings of the Unifying Theories of Programming, Second International Symposium, 2008

Linking VDM and Z.

Jim Woodcock, Leo Freitas

Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008

POSIX and the Verification Grand Challenge: A Roadmap.

Leo Freitas, Jim Woodcock, Andrew Butterfield

Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008

A formal security policy for xenon.

John P. McDermott, Leo Freitas

Proceedings of the 6th ACM Workshop on Formal Methods in Security Engineering, 2008

2007

Verifying the CICS File Control API with Z/Eves: An Experiment in the Verified Software Repository.

Leo Freitas, Konstantinos Mokos, Jim Woodcock

Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

Proving Theorems About JML Classes.

Leo Freitas, Jim Woodcock

Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007

2006

State-rich model checking.

Leo Freitas, Jim Woodcock, Ana Cavalcanti

Innov. Syst. Softw. Eng., 2006

FDR Explorer.

Leo Freitas, Jim Woodcock

Proceedings of the 11th Refinement Workshop, 2006

Z/Eves and the Mondex Electronic Purse.

Jim Woodcock, Leo Freitas

Proceedings of the Theoretical Aspects of Computing, 2006

Taking Our Own Medicine: Applying the Refinement Calculus to State-Rich Refinement Model Checking.

Leo Freitas, Ana Cavalcanti, Jim Woodcock

Proceedings of the Formal Methods and Software Engineering, 2006

2005

Model checking Circus.

Leonardo Freitas

PhD thesis, 2005

CZT Support for Z Extensions.

Tim Miller, Leo Freitas, Petra Malik, Mark Utting

Proceedings of the Integrated Formal Methods, 5th International Conference, 2005

Operational Semantics for Model Checking Circus.

Jim Woodcock, Ana Cavalcanti, Leonardo Freitas

Proceedings of the FM 2005: Formal Methods, 2005

2002

JACK: A Framework for Process Algebra Implementation in Java.

Leonardo Freitas, Augusto Sampaio, Ana Cavalcanti

Proceedings of the 16th Brazilian Symposium on Software Engineering, 2002