| 2022 | ISoLA | Digital Twins for Organ Preservation Devices. | Aaron John Buhagiar, Leo Freitas, William E. Scott III, Peter Gorm Larsen |
| 2016 | IFM | Modelling and Verifying a Priority Scheduler for an SCJ Runtime Environment. | Leo Freitas, James Baxter, Ana Cavalcanti, Andy J. Wellings |
| 2014 | CCS | 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 |
| 2014 | FM | Proof Patterns for Formal Methods. | Leo Freitas, Iain Whiteside |
| 2012 | SERVICES | Formalising Workflows Partitioning over Federated Clouds: Multi-level Security and Costs. | Leo Freitas, Paul Watson |
| 2010 | ICTAC | Formal Modelling of Separation Kernel Components. | Andrius Velykis, Leo Freitas |
| 2008 | CCS | A formal security policy for xenon. | John P. McDermott, Leo Freitas |
| 2008 | ICECCS | POSIX and the Verification Grand Challenge: A Roadmap. | Leo Freitas, Jim Woodcock, Andrew Butterfield |
| 2008 | ICECCS | Linking VDM and Z. | Jim Woodcock, Leo Freitas |
| 2007 | ICECCS | POSIX file store in Z/Eves: an experiment in the verified software repository. | Leo Freitas, Zheng Fu, Jim Woodcock |
| 2007 | ICECCS | Verifying the CICS File Control API with Z/Eves: An Experiment in the Verified Software Repository. | Leo Freitas, Konstantinos Mokos, Jim Woodcock |
| 2006 | ICFEM | Taking Our Own Medicine: Applying the Refinement Calculus to State-Rich Refinement Model Checking. | Leo Freitas, Ana Cavalcanti, Jim Woodcock |
| 2006 | ICTAC | Z/Eves and the Mondex Electronic Purse. | Jim Woodcock, Leo Freitas |
| 2005 | IFM | CZT Support for Z Extensions. | Tim Miller, Leo Freitas, Petra Malik, Mark Utting |