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
Contact
No contact links provided.
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
Resume (English only)
Co-authors
30 total
Jim Woodcock
Jim Woodcock
Professor of Software Engineering, University of York
Ana Cavalcanti
Ana Cavalcanti
University of York
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Co-author 8
Co-author 8