Haskell Type System Analysis. - Rafael Castro G. Silva; Karina Girardi Roggia; Cristiano Damiani Vasconcellos (RITA, 2018)

Monadic W in Coq. - Rafael Castro G. Silva; Cristiano D. Vasconcellos; Karina Girardi Roggia (SBLP, 2020)

TimelyMon: A Streaming Parallel First-Order Monitor. - Lennard Reese; Rafael Castro G. Silva; Dmitriy Traytel (RV, 2024)

Brzozowski's Algorithm for Automata Minimization Verified in Coq. - Filipe Ramos; Karina Girardi Roggia; Rafael Castro G. Silva (SBMF, 2024)