VyPR2: A Framework for Runtime Verification of Python Web Services. - Joshua Heneage Dawes; Giles Reger; Giovanni Franzoni; Andreas Pfeiffer; Giacomo Govi (TACAS (2), 2019)

The HSF Conditions Database Reference Implementation. - Ruslan Mashinistov; Lino Gerlach; Paul Laycock; Andrea Formica; Giacomo Govi; Chris Pinkenburg (CoRR, 2024)