Leo Freitas
Scholar

Leo Freitas

Google Scholar ID: YsVztpkAAAAJ
Senior Lecturer in Formal Methods and Tools, School of Computing Science, Newcastle University, UK
Formal verificationsoftware engineeringprogramming languages
Google Scholar↗
Citations & Impact
All-time
Citations
213
 
H-index
8
 
i10-index
4
 
Publications
20
 
Co-authors
30
list available
Publications
2 items
Translating a VDM Model of a Medical Device into Kapture
2025
Cited
0
Security Analysis of the Open Banking Account and Transaction API Protocol
Cyber Security and Applications · 2020
Cited
1
Co-authors
9 total
Jim Woodcock
Jim Woodcock
Professor of Software Engineering, University of York
Ana Cavalcanti
Ana Cavalcanti
University of York
Paolo Modesti
Paolo Modesti
Senior Lecturer in Cybersecurity, Teesside University, UK, Europe
Michael Harrison
Michael Harrison
Professor of Informatics, Newcastle University
Aad van Moorsel
Aad van Moorsel
Professor of Computer Science, University of Birmingham, UK
Budi Arief
Budi Arief
University of Kent
Mark Utting
Mark Utting
The University of Queensland
Tim Miller
Tim Miller
School of Electrical Engineering and Computer Science, The University of Queensland