BibTeX records: Jörg Pfähler

download as .bib file

@phdthesis{DBLP:phd/dnb/Pfahler18,
  author    = {J{\"{o}}rg Pf{\"{a}}hler},
  title     = {A Modular Verification Methodology for Caching and Lock-Based Concurrency
               in File Systems},
  school    = {University of Augsburg, Germany},
  year      = {2018},
  url       = {https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/41890},
  urn       = {urn:nbn:de:bvb:384-opus4-418903},
  timestamp = {Thu, 20 Dec 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/phd/dnb/Pfahler18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/SchellhornEPBR18,
  author    = {Gerhard Schellhorn and
               Gidon Ernst and
               J{\"{o}}rg Pf{\"{a}}hler and
               Stefan Bodenm{\"{u}}ller and
               Wolfgang Reif},
  title     = {Symbolic execution for a clash-free subset of ASMs},
  journal   = {Sci. Comput. Program.},
  volume    = {158},
  pages     = {21--40},
  year      = {2018},
  url       = {https://doi.org/10.1016/j.scico.2017.08.014},
  doi       = {10.1016/j.scico.2017.08.014},
  timestamp = {Mon, 14 May 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/SchellhornEPBR18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/PfahlerEBSR17,
  author    = {J{\"{o}}rg Pf{\"{a}}hler and
               Gidon Ernst and
               Stefan Bodenm{\"{u}}ller and
               Gerhard Schellhorn and
               Wolfgang Reif},
  title     = {Modular Verification of Order-Preserving Write-Back Caches},
  booktitle = {Integrated Formal Methods - 13th International Conference, {IFM} 2017,
               Turin, Italy, September 20-22, 2017, Proceedings},
  pages     = {375--390},
  year      = {2017},
  crossref  = {DBLP:conf/ifm/2017},
  url       = {https://doi.org/10.1007/978-3-319-66845-1\_25},
  doi       = {10.1007/978-3-319-66845-1\_25},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifm/PfahlerEBSR17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ErnstPSR16,
  author    = {Gidon Ernst and
               J{\"{o}}rg Pf{\"{a}}hler and
               Gerhard Schellhorn and
               Wolfgang Reif},
  title     = {Modular, crash-safe refinement for ASMs with submachines},
  journal   = {Sci. Comput. Program.},
  volume    = {131},
  pages     = {3--21},
  year      = {2016},
  url       = {https://doi.org/10.1016/j.scico.2016.04.009},
  doi       = {10.1016/j.scico.2016.04.009},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/ErnstPSR16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/SchellhornEPR16,
  author    = {Gerhard Schellhorn and
               Gidon Ernst and
               J{\"{o}}rg Pf{\"{a}}hler and
               Wolfgang Reif},
  title     = {A Relational Encoding for a Clash-Free Subset of ASMs},
  booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 5th International
               Conference, {ABZ} 2016, Linz, Austria, May 23-27, 2016, Proceedings},
  pages     = {237--243},
  year      = {2016},
  crossref  = {DBLP:conf/asm/2016},
  url       = {https://doi.org/10.1007/978-3-319-33600-8\_15},
  doi       = {10.1007/978-3-319-33600-8\_15},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/asm/SchellhornEPR16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/ErnstPSHR15,
  author    = {Gidon Ernst and
               J{\"{o}}rg Pf{\"{a}}hler and
               Gerhard Schellhorn and
               Dominik Haneberg and
               Wolfgang Reif},
  title     = {{KIV:} overview and VerifyThis competition},
  journal   = {{STTT}},
  volume    = {17},
  number    = {6},
  pages     = {677--694},
  year      = {2015},
  url       = {https://doi.org/10.1007/s10009-014-0308-3},
  doi       = {10.1007/s10009-014-0308-3},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/sttt/ErnstPSHR15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/ErnstPSR15,
  author    = {Gidon Ernst and
               J{\"{o}}rg Pf{\"{a}}hler and
               Gerhard Schellhorn and
               Wolfgang Reif},
  title     = {Inside a Verified Flash File System: Transactions and Garbage Collection},
  booktitle = {Verified Software: Theories, Tools, and Experiments - 7th International
               Conference, {VSTTE} 2015, San Francisco, CA, USA, July 18-19, 2015.
               Revised Selected Papers},
  pages     = {73--93},
  year      = {2015},
  crossref  = {DBLP:conf/vstte/2015},
  url       = {https://doi.org/10.1007/978-3-319-29613-5\_5},
  doi       = {10.1007/978-3-319-29613-5\_5},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vstte/ErnstPSR15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/SchellhornTEPR14,
  author    = {Gerhard Schellhorn and
               Bogdan Tofan and
               Gidon Ernst and
               J{\"{o}}rg Pf{\"{a}}hler and
               Wolfgang Reif},
  title     = {{RGITL:} {A} temporal logic framework for compositional reasoning
               about interleaved programs},
  journal   = {Ann. Math. Artif. Intell.},
  volume    = {71},
  number    = {1-3},
  pages     = {131--174},
  year      = {2014},
  url       = {https://doi.org/10.1007/s10472-013-9389-z},
  doi       = {10.1007/s10472-013-9389-z},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/amai/SchellhornTEPR14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/SchellhornEPHR14,
  author    = {Gerhard Schellhorn and
               Gidon Ernst and
               J{\"{o}}rg Pf{\"{a}}hler and
               Dominik Haneberg and
               Wolfgang Reif},
  title     = {Development of a Verified Flash File System},
  booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 4th International
               Conference, {ABZ} 2014, Toulouse, France, June 2-6, 2014. Proceedings},
  pages     = {9--24},
  year      = {2014},
  crossref  = {DBLP:conf/asm/2014},
  url       = {https://doi.org/10.1007/978-3-662-43652-3\_2},
  doi       = {10.1007/978-3-662-43652-3\_2},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/asm/SchellhornEPHR14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/ErnstPSR14,
  author    = {Gidon Ernst and
               J{\"{o}}rg Pf{\"{a}}hler and
               Gerhard Schellhorn and
               Wolfgang Reif},
  title     = {Modular Refinement for Submachines of ASMs},
  booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 4th International
               Conference, {ABZ} 2014, Toulouse, France, June 2-6, 2014. Proceedings},
  pages     = {188--203},
  year      = {2014},
  crossref  = {DBLP:conf/asm/2014},
  url       = {https://doi.org/10.1007/978-3-662-43652-3\_16},
  doi       = {10.1007/978-3-662-43652-3\_16},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/asm/ErnstPSR14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/TofanSEPR13,
  author    = {Bogdan Tofan and
               Gerhard Schellhorn and
               Gidon Ernst and
               J{\"{o}}rg Pf{\"{a}}hler and
               Wolfgang Reif},
  title     = {Compositional Verification of a Lock-Free Stack with {RGITL}},
  journal   = {{ECEASST}},
  volume    = {66},
  year      = {2013},
  url       = {https://doi.org/10.14279/tuj.eceasst.66.885},
  doi       = {10.14279/tuj.eceasst.66.885},
  timestamp = {Wed, 22 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/eceasst/TofanSEPR13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/PfahlerESHR13,
  author    = {J{\"{o}}rg Pf{\"{a}}hler and
               Gidon Ernst and
               Gerhard Schellhorn and
               Dominik Haneberg and
               Wolfgang Reif},
  title     = {Formal Specification of an Erase Block Management Layer for Flash
               Memory},
  booktitle = {Hardware and Software: Verification and Testing - 9th International
               Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November
               5-7, 2013, Proceedings},
  pages     = {214--229},
  year      = {2013},
  crossref  = {DBLP:conf/hvc/2013},
  url       = {https://doi.org/10.1007/978-3-319-03077-7\_15},
  doi       = {10.1007/978-3-319-03077-7\_15},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hvc/PfahlerESHR13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/ErnstSHPR13,
  author    = {Gidon Ernst and
               Gerhard Schellhorn and
               Dominik Haneberg and
               J{\"{o}}rg Pf{\"{a}}hler and
               Wolfgang Reif},
  title     = {Verification of a Virtual Filesystem Switch},
  booktitle = {Verified Software: Theories, Tools, Experiments - 5th International
               Conference, {VSTTE} 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised
               Selected Papers},
  pages     = {242--261},
  year      = {2013},
  crossref  = {DBLP:conf/vstte/2013},
  url       = {https://doi.org/10.1007/978-3-642-54108-7\_13},
  doi       = {10.1007/978-3-642-54108-7\_13},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vstte/ErnstSHPR13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1211-6187,
  author    = {Gidon Ernst and
               Gerhard Schellhorn and
               Dominik Haneberg and
               J{\"{o}}rg Pf{\"{a}}hler and
               Wolfgang Reif},
  title     = {A Formal Model of a Virtual Filesystem Switch},
  booktitle = {Proceedings Seventh Conference on Systems Software Verification, {SSV}
               2012, Sydney, Australia, 28-30 November 2012},
  pages     = {33--45},
  year      = {2012},
  crossref  = {DBLP:journals/corr/abs-1211-5873},
  url       = {https://doi.org/10.4204/EPTCS.102.5},
  doi       = {10.4204/EPTCS.102.5},
  timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1211-6187},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifm/2017,
  editor    = {Nadia Polikarpova and
               Steve Schneider},
  title     = {Integrated Formal Methods - 13th International Conference, {IFM} 2017,
               Turin, Italy, September 20-22, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10510},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-66845-1},
  doi       = {10.1007/978-3-319-66845-1},
  isbn      = {978-3-319-66844-4},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifm/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asm/2016,
  editor    = {Michael J. Butler and
               Klaus{-}Dieter Schewe and
               Atif Mashkoor and
               Mikl{\'{o}}s Bir{\'{o}}},
  title     = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 5th International
               Conference, {ABZ} 2016, Linz, Austria, May 23-27, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9675},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-33600-8},
  doi       = {10.1007/978-3-319-33600-8},
  isbn      = {978-3-319-33599-5},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/asm/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vstte/2015,
  editor    = {Arie Gurfinkel and
               Sanjit A. Seshia},
  title     = {Verified Software: Theories, Tools, and Experiments - 7th International
               Conference, {VSTTE} 2015, San Francisco, CA, USA, July 18-19, 2015.
               Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9593},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-29613-5},
  doi       = {10.1007/978-3-319-29613-5},
  isbn      = {978-3-319-29612-8},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vstte/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asm/2014,
  editor    = {Yamine A{\"{\i}}t Ameur and
               Klaus{-}Dieter Schewe},
  title     = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 4th International
               Conference, {ABZ} 2014, Toulouse, France, June 2-6, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8477},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-662-43652-3},
  doi       = {10.1007/978-3-662-43652-3},
  isbn      = {978-3-662-43651-6},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/asm/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hvc/2013,
  editor    = {Valeria Bertacco and
               Axel Legay},
  title     = {Hardware and Software: Verification and Testing - 9th International
               Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November
               5-7, 2013, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8244},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-319-03077-7},
  doi       = {10.1007/978-3-319-03077-7},
  isbn      = {978-3-319-03076-0},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hvc/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vstte/2013,
  editor    = {Ernie Cohen and
               Andrey Rybalchenko},
  title     = {Verified Software: Theories, Tools, Experiments - 5th International
               Conference, {VSTTE} 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {8164},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-642-54108-7},
  doi       = {10.1007/978-3-642-54108-7},
  isbn      = {978-3-642-54107-0},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vstte/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1211-5873,
  editor    = {Franck Cassez and
               Ralf Huuck and
               Gerwin Klein and
               Bastian Schlich},
  title     = {Proceedings Seventh Conference on Systems Software Verification, {SSV}
               2012, Sydney, Australia, 28-30 November 2012},
  series    = {{EPTCS}},
  volume    = {102},
  year      = {2012},
  url       = {https://doi.org/10.4204/EPTCS.102},
  doi       = {10.4204/EPTCS.102},
  timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1211-5873},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics