BibTeX records: Leonor Prensa Nieto

download as .bib file

@article{DBLP:journals/fac/BarsottiNT07,
  author    = {Dami{\'{a}}n Barsotti and
               Leonor Prensa Nieto and
               Alwen Tiu},
  title     = {Verification of clock synchronization algorithms: experiments on a
               combination of deductive tools},
  journal   = {Formal Asp. Comput.},
  volume    = {19},
  number    = {3},
  pages     = {321--341},
  year      = {2007},
  url       = {https://doi.org/10.1007/s00165-007-0027-6},
  doi       = {10.1007/s00165-007-0027-6},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fac/BarsottiNT07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/BartheN07,
  author    = {Gilles Barthe and
               Leonor Prensa Nieto},
  title     = {Secure information flow for a concurrent language with scheduling},
  journal   = {Journal of Computer Security},
  volume    = {15},
  number    = {6},
  pages     = {647--689},
  year      = {2007},
  url       = {http://content.iospress.com/articles/journal-of-computer-security/jcs295},
  timestamp = {Mon, 18 May 2015 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jcs/BartheN07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/BarsottiNT06,
  author    = {Dami{\'{a}}n Barsotti and
               Leonor Prensa Nieto and
               Alwen Fernanto Tiu},
  title     = {Verification of Clock Synchronization Algorithms: Experiments on a
               Combination of Deductive Tools},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {145},
  pages     = {63--78},
  year      = {2006},
  url       = {https://doi.org/10.1016/j.entcs.2005.10.005},
  doi       = {10.1016/j.entcs.2005.10.005},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/BarsottiNT06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/FontaineMMNT06,
  author    = {Pascal Fontaine and
               Jean{-}Yves Marion and
               Stephan Merz and
               Leonor Prensa Nieto and
               Alwen Fernanto Tiu},
  title     = {Expressiveness + Automation + Soundness: Towards Combining {SMT} Solvers
               and Interactive Proof Assistants},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
               12th International Conference, {TACAS} 2006 Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2006,
               Vienna, Austria, March 25 - April 2, 2006, Proceedings},
  pages     = {167--181},
  year      = {2006},
  crossref  = {DBLP:conf/tacas/2006},
  url       = {https://doi.org/10.1007/11691372\_11},
  doi       = {10.1007/11691372\_11},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/FontaineMMNT06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/BartheN04,
  author    = {Gilles Barthe and
               Leonor Prensa Nieto},
  title     = {Formally verifying information flow type systems for concurrent and
               thread systems},
  booktitle = {Proceedings of the 2004 {ACM} Workshop on Formal Methods in Security
               Engineering, {FMSE} 2004, Washington, DC, USA, October 29, 2004},
  pages     = {13--22},
  year      = {2004},
  crossref  = {DBLP:conf/ccs/2004},
  url       = {https://doi.org/10.1145/1029133.1029136},
  doi       = {10.1145/1029133.1029136},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ccs/BartheN04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Nieto03,
  author    = {Leonor Prensa Nieto},
  title     = {The Rely-Guarantee Method in Isabelle/HOL},
  booktitle = {Programming Languages and Systems, 12th European Symposium on Programming,
               {ESOP} 2003, Held as Part of the Joint European Conferences on Theory
               and Practice of Software, {ETAPS} 2003, Warsaw, Poland, April 7-11,
               2003, Proceedings},
  pages     = {348--362},
  year      = {2003},
  crossref  = {DBLP:conf/esop/2003},
  url       = {https://doi.org/10.1007/3-540-36575-3\_24},
  doi       = {10.1007/3-540-36575-3\_24},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/Nieto03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Nieto02,
  author    = {Leonor Prensa Nieto},
  title     = {Verification of parallel programs with the Owicki-Gries and Rely-Guarantee
               methods in Isabelle, {HOL}},
  school    = {Technical University Munich, Germany},
  year      = {2002},
  url       = {http://tumb1.biblio.tu-muenchen.de/publ/diss/in/2002/prensa\_nieto.html},
  urn       = {urn:nbn:de:bvb:91-diss2002021117027},
  timestamp = {Fri, 20 Jan 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/phd/dnb/Nieto02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/Nieto01,
  author    = {Leonor Prensa Nieto},
  title     = {Completeness of the Owicki-Gries System for Parameterized Parallel
               Programs},
  booktitle = {Proceedings of the 15th International Parallel {\&} Distributed
               Processing Symposium (IPDPS-01), San Francisco, CA, USA, April 23-27,
               2001},
  pages     = {150},
  year      = {2001},
  crossref  = {DBLP:conf/ipps/2001},
  url       = {https://doi.org/10.1109/IPDPS.2001.925138},
  doi       = {10.1109/IPDPS.2001.925138},
  timestamp = {Thu, 21 Jun 2018 07:39:23 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ipps/Nieto01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/NietoE00,
  author    = {Leonor Prensa Nieto and
               Javier Esparza},
  title     = {Verifying Single and Multi-mutator Garbage Collectors with Owicki-Gries
               in Isabelle/HOL},
  booktitle = {Mathematical Foundations of Computer Science 2000, 25th International
               Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September
               1, 2000, Proceedings},
  pages     = {619--628},
  year      = {2000},
  crossref  = {DBLP:conf/mfcs/2000},
  url       = {https://doi.org/10.1007/3-540-44612-5\_57},
  doi       = {10.1007/3-540-44612-5\_57},
  timestamp = {Wed, 24 May 2017 15:40:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mfcs/NietoE00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/NipkowN99,
  author    = {Tobias Nipkow and
               Leonor Prensa Nieto},
  title     = {Owicki/Gries in Isabelle/HOL},
  booktitle = {Fundamental Approaches to Software Engineering, Second Internationsl
               Conference, FASE'99, Held as Part of the European Joint Conferences
               on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands,
               March 22-28, 1999, Proceedings},
  pages     = {188--203},
  year      = {1999},
  crossref  = {DBLP:conf/fase/1999},
  url       = {https://doi.org/10.1007/978-3-540-49020-3\_13},
  doi       = {10.1007/978-3-540-49020-3\_13},
  timestamp = {Tue, 23 May 2017 14:54:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fase/NipkowN99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2006,
  editor    = {Holger Hermanns and
               Jens Palsberg},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems,
               12th International Conference, {TACAS} 2006 Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2006,
               Vienna, Austria, March 25 - April 2, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3920},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11691372},
  doi       = {10.1007/11691372},
  isbn      = {3-540-33056-9},
  timestamp = {Wed, 24 May 2017 08:28:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ccs/2004,
  editor    = {Vijayalakshmi Atluri and
               Michael Backes and
               David A. Basin and
               Michael Waidner},
  title     = {Proceedings of the 2004 {ACM} Workshop on Formal Methods in Security
               Engineering, {FMSE} 2004, Washington, DC, USA, October 29, 2004},
  publisher = {{ACM}},
  year      = {2004},
  url       = {http://dl.acm.org/citation.cfm?id=1030083},
  isbn      = {1-58113-971-3},
  timestamp = {Fri, 02 Jan 2015 14:47:12 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ccs/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/2003,
  editor    = {Pierpaolo Degano},
  title     = {Programming Languages and Systems, 12th European Symposium on Programming,
               {ESOP} 2003, Held as Part of the Joint European Conferences on Theory
               and Practice of Software, {ETAPS} 2003, Warsaw, Poland, April 7-11,
               2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2618},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-36575-3},
  doi       = {10.1007/3-540-36575-3},
  isbn      = {3-540-00886-1},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ipps/2001,
  title     = {Proceedings of the 15th International Parallel {\&} Distributed
               Processing Symposium (IPDPS-01), San Francisco, CA, USA, April 23-27,
               2001},
  publisher = {{IEEE} Computer Society},
  year      = {2001},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7373},
  isbn      = {0-7695-0990-8},
  timestamp = {Thu, 21 Jun 2018 07:39:23 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ipps/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mfcs/2000,
  editor    = {Mogens Nielsen and
               Branislav Rovan},
  title     = {Mathematical Foundations of Computer Science 2000, 25th International
               Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September
               1, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1893},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-44612-5},
  doi       = {10.1007/3-540-44612-5},
  isbn      = {3-540-67901-4},
  timestamp = {Wed, 24 May 2017 15:40:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mfcs/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fase/1999,
  editor    = {Jean{-}Pierre Finance},
  title     = {Fundamental Approaches to Software Engineering, Second Internationsl
               Conference, FASE'99, Held as Part of the European Joint Conferences
               on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands,
               March 22-28, 1999, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1577},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/b92746},
  doi       = {10.1007/b92746},
  isbn      = {3-540-65718-5},
  timestamp = {Tue, 23 May 2017 14:54:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fase/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier