Leonor Prensa Nieto

Publication Activity (10 Years)

Years Active: 1999-2007
Publications (10 Years): 0

Technical University Munich, Germany (PHD)

Education History

Technical University Munich, Germany

PHD

Publications

Gilles Barthe, Leonor Prensa Nieto
Secure information flow for a concurrent language with scheduling. J. Comput. Secur. 15 (6) (2007)
Damián Barsotti, Leonor Prensa Nieto, Alwen Tiu
Verification of clock synchronization algorithms: experiments on a combination of deductive tools. Formal Aspects Comput. 19 (3) (2007)
Damián Barsotti, Leonor Prensa Nieto, Alwen Fernanto Tiu
Verification of Clock Synchronization Algorithms: Experiments on a Combination of Deductive Tools. Electron. Notes Theor. Comput. Sci. 145 (2006)
Pascal Fontaine, Jean-Yves Marion, Stephan Merz, Leonor Prensa Nieto, Alwen Fernanto Tiu
Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants. TACAS (2006)
Gilles Barthe, Leonor Prensa Nieto
Formally verifying information flow type systems for concurrent and thread systems. FMSE (2004)
Leonor Prensa Nieto
The Rely-Guarantee Method in Isabelle/HOL. ESOP (2003)
Leonor Prensa Nieto
Completeness of the Owicki-Gries System for Parameterized Parallel Programs. IPDPS (2001)
Leonor Prensa Nieto, Javier Esparza
Verifying Single and Multi-mutator Garbage Collectors with Owicki-Gries in Isabelle/HOL. MFCS (2000)
Tobias Nipkow, Leonor Prensa Nieto
Owicki/Gries in Isabelle/HOL. FASE (1999)