Search the dblp DataBase

Publications of Author

1. Gilles Barthe, Leonor Prensa Nieto
   Formally verifying information flow type systems for concurrent and thread systems. [Citation Graph (0, 0)][DBLP]
   FMSE, 2004, pp:13-22 [Conf]
   
2. Leonor Prensa Nieto
   The Rely-Guarantee Method in Isabelle/HOL. [Citation Graph (0, 0)][DBLP]
   ESOP, 2003, pp:348-362 [Conf]
   
3. Tobias Nipkow, Leonor Prensa Nieto
   Owicki/Gries in Isabelle/HOL. [Citation Graph (0, 0)][DBLP]
   FASE, 1999, pp:188-203 [Conf]
   
4. Leonor Prensa Nieto
   Completeness of the Owicki-Gries System for Parameterized Parallel Programs. [Citation Graph (0, 0)][DBLP]
   IPDPS, 2001, pp:150- [Conf]
   
5. Leonor Prensa Nieto, Javier Esparza
   Verifying Single and Multi-mutator Garbage Collectors with Owicki-Gries in Isabelle/HOL. [Citation Graph (0, 0)][DBLP]
   MFCS, 2000, pp:619-628 [Conf]
   
6. Pascal Fontaine, Jean-Yves Marion, Stephan Merz, Leonor Prensa Nieto, Alwen Fernanto Tiu
   Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants. [Citation Graph (0, 0)][DBLP]
   TACAS, 2006, pp:167-181 [Conf]
   
7. Damián Barsotti, Leonor Prensa Nieto, Alwen Fernanto Tiu
   Verification of Clock Synchronization Algorithms: Experiments on a Combination of Deductive Tools. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:145, n:, pp:63-78 [Journal]
   
8. Damián Barsotti, Leonor Prensa Nieto, Alwen Tiu
   Verification of clock synchronization algorithms: experiments on a combination of deductive tools. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2007, v:19, n:3, pp:321-341 [Journal]