Ryan Falzon

dblp:329/5727 · DBLP profile ↗
← Back
2ranked-venue papers
0as first author
2since 2021 · last 2022
0000-0001-7513-3658ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 2 · 2 since 2021
YearPublicationVenuePosition
2022 Tainting in Smart Contracts: Combining Static and Runtime Verification
Shaun Azzopardi, Joshua Ellul, Ryan Falzon, Gordon J. Pace
RV3
2022 AspectSol: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification
Shaun Azzopardi, Joshua Ellul, Ryan Falzon, Gordon J. Pace
RV3