BibTeX records: Ralf Vogler

download as .bib file

@inproceedings{DBLP:conf/birthday/SeidlEV15,
  author    = {Helmut Seidl and
               Julian Erhard and
               Ralf Vogler},
  title     = {Incremental Abstract Interpretation},
  booktitle = {From Lambda Calculus to Cybersecurity Through Program Analysis - Essays
               Dedicated to Chris Hankin on the Occasion of His Retirement},
  pages     = {132--148},
  year      = {2020},
  crossref  = {DBLP:conf/birthday/2020hankin},
  url       = {https://doi.org/10.1007/978-3-030-41103-9\_5},
  doi       = {10.1007/978-3-030-41103-9\_5},
  timestamp = {Sat, 21 Mar 2020 18:49:30 +0100},
  biburl    = {https://dblp.org/rec/conf/birthday/SeidlEV15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/FrielinghausSV18,
  author    = {Stefan Schulze Frielinghaus and
               Helmut Seidl and
               Ralf Vogler},
  title     = {Enforcing termination of interprocedural analysis},
  journal   = {Formal Methods Syst. Des.},
  volume    = {53},
  number    = {2},
  pages     = {313--338},
  year      = {2018},
  url       = {https://doi.org/10.1007/s10703-017-0288-5},
  doi       = {10.1007/s10703-017-0288-5},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/fmsd/FrielinghausSV18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/SeidlV18,
  author    = {Helmut Seidl and
               Ralf Vogler},
  title     = {Three Improvements to the Top-Down Solver},
  booktitle = {Proceedings of the 20th International Symposium on Principles and
               Practice of Declarative Programming, {PPDP} 2018, Frankfurt am Main,
               Germany, September 03-05, 2018},
  pages     = {21:1--21:14},
  year      = {2018},
  crossref  = {DBLP:conf/ppdp/2018},
  url       = {https://doi.org/10.1145/3236950.3236967},
  doi       = {10.1145/3236950.3236967},
  timestamp = {Mon, 23 Mar 2020 12:22:51 +0100},
  biburl    = {https://dblp.org/rec/conf/ppdp/SeidlV18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/SeidlV17,
  author    = {Helmut Seidl and
               Ralf Vogler},
  title     = {Proving Absence of Starvation by Means of Abstract Interpretation
               and Model Checking},
  booktitle = {Automated Technology for Verification and Analysis - 15th International
               Symposium, {ATVA} 2017, Pune, India, October 3-6, 2017, Proceedings},
  pages     = {3--22},
  year      = {2017},
  crossref  = {DBLP:conf/atva/2017},
  url       = {https://doi.org/10.1007/978-3-319-68167-2\_1},
  doi       = {10.1007/978-3-319-68167-2\_1},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/atva/SeidlV17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/VojdaniARSVV16,
  author    = {Vesal Vojdani and
               Kalmer Apinis and
               Vootele R{\~{o}}tov and
               Helmut Seidl and
               Varmo Vene and
               Ralf Vogler},
  title     = {Static race detection for device drivers: the Goblint approach},
  booktitle = {Proceedings of the 31st {IEEE/ACM} International Conference on Automated
               Software Engineering, {ASE} 2016, Singapore, September 3-7, 2016},
  pages     = {391--402},
  year      = {2016},
  crossref  = {DBLP:conf/kbse/2016},
  url       = {https://doi.org/10.1145/2970276.2970337},
  doi       = {10.1145/2970276.2970337},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/conf/kbse/VojdaniARSVV16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/FrielinghausSV16,
  author    = {Stefan Schulze Frielinghaus and
               Helmut Seidl and
               Ralf Vogler},
  title     = {Enforcing Termination of Interprocedural Analysis},
  booktitle = {Static Analysis - 23rd International Symposium, {SAS} 2016, Edinburgh,
               UK, September 8-10, 2016, Proceedings},
  pages     = {447--468},
  year      = {2016},
  crossref  = {DBLP:conf/sas/2016},
  url       = {https://doi.org/10.1007/978-3-662-53413-7\_22},
  doi       = {10.1007/978-3-662-53413-7\_22},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/conf/sas/FrielinghausSV16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FrielinghausSV16,
  author    = {Stefan Schulze Frielinghaus and
               Helmut Seidl and
               Ralf Vogler},
  title     = {Enforcing Termination of Interprocedural Analysis},
  journal   = {CoRR},
  volume    = {abs/1606.07687},
  year      = {2016},
  url       = {http://arxiv.org/abs/1606.07687},
  archivePrefix = {arXiv},
  eprint    = {1606.07687},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/FrielinghausSV16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2020hankin,
  editor    = {Alessandra Di Pierro and
               Pasquale Malacaria and
               Rajagopal Nagarajan},
  title     = {From Lambda Calculus to Cybersecurity Through Program Analysis - Essays
               Dedicated to Chris Hankin on the Occasion of His Retirement},
  series    = {Lecture Notes in Computer Science},
  volume    = {12065},
  publisher = {Springer},
  year      = {2020},
  url       = {https://doi.org/10.1007/978-3-030-41103-9},
  doi       = {10.1007/978-3-030-41103-9},
  isbn      = {978-3-030-41102-2},
  timestamp = {Sat, 21 Mar 2020 18:49:30 +0100},
  biburl    = {https://dblp.org/rec/conf/birthday/2020hankin.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2018,
  editor    = {David Sabel and
               Peter Thiemann},
  title     = {Proceedings of the 20th International Symposium on Principles and
               Practice of Declarative Programming, {PPDP} 2018, Frankfurt am Main,
               Germany, September 03-05, 2018},
  publisher = {{ACM}},
  year      = {2018},
  url       = {http://dl.acm.org/citation.cfm?id=3236950},
  timestamp = {Mon, 23 Mar 2020 12:22:51 +0100},
  biburl    = {https://dblp.org/rec/conf/ppdp/2018.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atva/2017,
  editor    = {Deepak D'Souza and
               K. Narayan Kumar},
  title     = {Automated Technology for Verification and Analysis - 15th International
               Symposium, {ATVA} 2017, Pune, India, October 3-6, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10482},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-68167-2},
  doi       = {10.1007/978-3-319-68167-2},
  isbn      = {978-3-319-68166-5},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/atva/2017.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kbse/2016,
  editor    = {David Lo and
               Sven Apel and
               Sarfraz Khurshid},
  title     = {Proceedings of the 31st {IEEE/ACM} International Conference on Automated
               Software Engineering, {ASE} 2016, Singapore, September 3-7, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2970276},
  doi       = {10.1145/2970276},
  isbn      = {978-1-4503-3845-5},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/conf/kbse/2016.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sas/2016,
  editor    = {Xavier Rival},
  title     = {Static Analysis - 23rd International Symposium, {SAS} 2016, Edinburgh,
               UK, September 8-10, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9837},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-662-53413-7},
  doi       = {10.1007/978-3-662-53413-7},
  isbn      = {978-3-662-53412-0},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/conf/sas/2016.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics