Owicki/Gries in Isabelle/HOL. - Tobias Nipkow; Leonor Prensa Nieto (FASE, 1999)

Verifying Single and Multi-mutator Garbage Collectors with Owicki-Gries in Isabelle/HOL. - Leonor Prensa Nieto; Javier Esparza (MFCS, 2000)

Completeness of the Owicki-Gries System for Parameterized Parallel Programs. - Leonor Prensa Nieto (IPDPS, 2001)

Verification of parallel programs with the Owicki-Gries and Rely-Guarantee methods in Isabelle, HOL. - Leonor Prensa Nieto (2002)

The Rely-Guarantee Method in Isabelle/HOL. - Leonor Prensa Nieto (ESOP, 2003)

Formally verifying information flow type systems for concurrent and thread systems. - Gilles Barthe; Leonor Prensa Nieto (FMSE, 2004)

Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants. - Pascal Fontaine; Jean-Yves Marion; Stephan Merz; Leonor Prensa Nieto; Alwen Fernanto Tiu (TACAS, 2006)

Verification of clock synchronization algorithms: experiments on a combination of deductive tools. - Damián Barsotti; Leonor Prensa Nieto; Alwen Tiu (Formal Aspects Comput., 2007)

Secure information flow for a concurrent language with scheduling. - Gilles Barthe; Leonor Prensa Nieto (J. Comput. Secur., 2007)