Leonor Prensa Nieto

According to our database, Leonor Prensa Nieto authored at least 9 papers between 1999 and 2007.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2007

Secure information flow for a concurrent language with scheduling.

Gilles Barthe, Leonor Prensa Nieto

J. Comput. Secur., 2007

Verification of clock synchronization algorithms: experiments on a combination of deductive tools.

Damián Barsotti, Leonor Prensa Nieto, Alwen Tiu

Formal Aspects Comput., 2007

2006

Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants.

Pascal Fontaine, Jean-Yves Marion, Stephan Merz, Leonor Prensa Nieto, Alwen Fernanto Tiu

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

2004

Formally verifying information flow type systems for concurrent and thread systems.

Gilles Barthe, Leonor Prensa Nieto

Proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering, 2004

2003

The Rely-Guarantee Method in Isabelle/HOL.

Leonor Prensa Nieto

Proceedings of the Programming Languages and Systems, 2003

2002

Verification of parallel programs with the Owicki-Gries and Rely-Guarantee methods in Isabelle, HOL.

Leonor Prensa Nieto

PhD thesis, 2002

2001

Completeness of the Owicki-Gries System for Parameterized Parallel Programs.

Leonor Prensa Nieto

Proceedings of the 15th International Parallel & Distributed Processing Symposium (IPDPS-01), 2001

2000

Verifying Single and Multi-mutator Garbage Collectors with Owicki-Gries in Isabelle/HOL.

Leonor Prensa Nieto, Javier Esparza

Proceedings of the Mathematical Foundations of Computer Science 2000, 2000

1999

Owicki/Gries in Isabelle/HOL.

Tobias Nipkow, Leonor Prensa Nieto

Proceedings of the Fundamental Approaches to Software Engineering, 1999