BibTeX records: Carsten Varming

download as .bib file

@inproceedings{DBLP:conf/cav/BackesBBBCGJLMM20,
  author    = {John Backes and
               Ulises Berrueco and
               Tyler Bray and
               Daniel Brim and
               Byron Cook and
               Andrew Gacek and
               Ranjit Jhala and
               Kasper S{\o}e Luckow and
               Sean McLaughlin and
               Madhav Menon and
               Daniel Peebles and
               Ujjwal Pugalia and
               Neha Rungta and
               Cole Schlesinger and
               Adam Schodde and
               Anvesh Tanuku and
               Carsten Varming and
               Deepa Viswanathan},
  editor    = {Shuvendu K. Lahiri and
               Chao Wang},
  title     = {Stratified Abstraction of Access Control Policies},
  booktitle = {Computer Aided Verification - 32nd International Conference, {CAV}
               2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {12224},
  pages     = {165--176},
  publisher = {Springer},
  year      = {2020},
  url       = {https://doi.org/10.1007/978-3-030-53288-8\_9},
  doi       = {10.1007/978-3-030-53288-8\_9},
  timestamp = {Fri, 17 Jul 2020 11:43:29 +0200},
  biburl    = {https://dblp.org/rec/conf/cav/BackesBBBCGJLMM20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/BackesBCGLRSSTV19,
  author    = {John Backes and
               Pauline Bolignano and
               Byron Cook and
               Andrew Gacek and
               Kasper S{\o}e Luckow and
               Neha Rungta and
               Martin Sch{\"{a}}f and
               Cole Schlesinger and
               Rima Tanash and
               Carsten Varming and
               Michael W. Whalen},
  title     = {One-Click Formal Methods},
  journal   = {{IEEE} Softw.},
  volume    = {36},
  number    = {6},
  pages     = {61--65},
  year      = {2019},
  url       = {https://doi.org/10.1109/MS.2019.2930609},
  doi       = {10.1109/MS.2019.2930609},
  timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/software/BackesBCGLRSSTV19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BackesBCDGHKKKK19,
  author    = {John Backes and
               Sam Bayless and
               Byron Cook and
               Catherine Dodge and
               Andrew Gacek and
               Alan J. Hu and
               Temesghen Kahsai and
               Bill Kocik and
               Evgenii Kotelnikov and
               Jure Kukovec and
               Sean McLaughlin and
               Jason Reed and
               Neha Rungta and
               John Sizemore and
               Mark A. Stalzer and
               Preethi Srinivasan and
               Pavle Subotic and
               Carsten Varming and
               Blake Whaley},
  editor    = {Isil Dillig and
               Serdar Tasiran},
  title     = {Reachability Analysis for AWS-Based Networks},
  booktitle = {Computer Aided Verification - 31st International Conference, {CAV}
               2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part
               {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {11562},
  pages     = {231--241},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-25543-5\_14},
  doi       = {10.1007/978-3-030-25543-5\_14},
  timestamp = {Fri, 31 Jan 2020 21:32:18 +0100},
  biburl    = {https://dblp.org/rec/conf/cav/BackesBCDGHKKKK19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/BackesBCDGLRTV18,
  author    = {John Backes and
               Pauline Bolignano and
               Byron Cook and
               Catherine Dodge and
               Andrew Gacek and
               Kasper S{\o}e Luckow and
               Neha Rungta and
               Oksana Tkachuk and
               Carsten Varming},
  editor    = {Nikolaj Bj{\o}rner and
               Arie Gurfinkel},
  title     = {Semantic-based Automated Reasoning for {AWS} Access Policies using
               {SMT}},
  booktitle = {2018 Formal Methods in Computer Aided Design, {FMCAD} 2018, Austin,
               TX, USA, October 30 - November 2, 2018},
  pages     = {1--9},
  publisher = {{IEEE}},
  year      = {2018},
  url       = {https://doi.org/10.23919/FMCAD.2018.8602994},
  doi       = {10.23919/FMCAD.2018.8602994},
  timestamp = {Wed, 30 Oct 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/fmcad/BackesBCDGLRTV18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/BentonKV09,
  author    = {Nick Benton and
               Andrew Kennedy and
               Carsten Varming},
  editor    = {Stefan Berghofer and
               Tobias Nipkow and
               Christian Urban and
               Makarius Wenzel},
  title     = {Some Domain Theory and Denotational Semantics in Coq},
  booktitle = {Theorem Proving in Higher Order Logics, 22nd International Conference,
               TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5674},
  pages     = {115--130},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-03359-9\_10},
  doi       = {10.1007/978-3-642-03359-9\_10},
  timestamp = {Tue, 14 May 2019 10:00:48 +0200},
  biburl    = {https://dblp.org/rec/conf/tphol/BentonKV09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/VarmingB08,
  author    = {Carsten Varming and
               Lars Birkedal},
  editor    = {Andrej Bauer and
               Michael W. Mislove},
  title     = {Higher-Order Separation Logic in Isabelle/HOLCF},
  booktitle = {Proceedings of the 24th Conference on the Mathematical Foundations
               of Programming Semantics, {MFPS} 2008, Philadelphia, PA, USA, May
               22-25, 2008},
  series    = {Electronic Notes in Theoretical Computer Science},
  volume    = {218},
  pages     = {371--389},
  publisher = {Elsevier},
  year      = {2008},
  url       = {https://doi.org/10.1016/j.entcs.2008.10.022},
  doi       = {10.1016/j.entcs.2008.10.022},
  timestamp = {Mon, 13 Jan 2020 15:19:16 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/VarmingB08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics