Delta-Oriented Monitor Specification. - Eric Bodden; Kevin Falzon; Ka I Pun; Volker Stolz (ISoLA (1), 2012)

Combining Testing and Runtime Verification Techniques. - Kevin Falzon; Gordon J. Pace (MOMPES, 2012)

Distributed Finite-State Runtime Monitoring with Aggregated Events. - Kevin Falzon; Eric Bodden; Rahul Purandare (RV, 2013)

How Useful Are Existing Monitoring Languages for Securing Android Apps? - Steven Arzt; Kevin Falzon; Andreas Follner; Siegfried Rasthofer; Eric Bodden; Volker Stolz (Software Engineering (Workshops), 2013)

Dynamically Provisioning Isolation in Hierarchical Architectures. - Kevin Falzon; Eric Bodden (ISC, 2015)

Towards a Comprehensive Model of Isolation for Mitigating Illicit Channels. - Kevin Falzon; Eric Bodden (POST, 2016)

On the Use of Migration to Stop Illicit Channels. - Kevin Falzon (2017)