BibTeX records: Benedikt Wolters

• > Home > Persons > Benedikt Wolters

@inproceedings{DBLP:conf/soups/WhalenMKDFFLMSW22,
  author       = {Tara Whalen and
                  Thibault Meunier and
                  Mrudula Kodali and
                  Alex Davidson and
                  Marwan Fayed and
                  Armando Faz{-}Hern{\'{a}}ndez and
                  Watson Ladd and
                  Deepak Maram and
                  Nick Sullivan and
                  Benedikt Wolters and
                  Maxime Guerreiro and
                  Andrew Galloni},
  editor       = {Sonia Chiasson and
                  Apu Kapadia},
  title        = {Let The Right One In: Attestation as a Usable {CAPTCHA} Alternative},
  booktitle    = {Eighteenth Symposium on Usable Privacy and Security, {SOUPS} 2022,
                  Boston, MA, USA, August 7-9, 2022},
  pages        = {599--612},
  publisher    = {{USENIX} Association},
  year         = {2022},
  url          = {https://www.usenix.org/conference/soups2022/presentation/whalen},
  timestamp    = {Wed, 26 Oct 2022 12:44:43 +0200},
  biburl       = {https://dblp.org/rec/conf/soups/WhalenMKDFFLMSW22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/conext/ZimmermannWHW18,
  author       = {Torsten Zimmermann and
                  Benedikt Wolters and
                  Oliver Hohlfeld and
                  Klaus Wehrle},
  editor       = {Xenofontas A. Dimitropoulos and
                  Alberto Dainotti and
                  Laurent Vanbever and
                  Theophilus Benson},
  title        = {Is the web ready for {HTTP/2} server push?},
  booktitle    = {Proceedings of the 14th International Conference on emerging Networking
                  EXperiments and Technologies, CoNEXT 2018, Heraklion, Greece, December
                  04-07, 2018},
  pages        = {13--19},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3281411.3281434},
  doi          = {10.1145/3281411.3281434},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/conext/ZimmermannWHW18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1810-05554,
  author       = {Torsten Zimmermann and
                  Benedikt Wolters and
                  Oliver Hohlfeld and
                  Klaus Wehrle},
  title        = {Is the Web ready for {HTTP/2} Server Push?},
  journal      = {CoRR},
  volume       = {abs/1810.05554},
  year         = {2018},
  url          = {http://arxiv.org/abs/1810.05554},
  eprinttype    = {arXiv},
  eprint       = {1810.05554},
  timestamp    = {Tue, 30 Oct 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1810-05554.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/networking/ZimmermannRWH17,
  author       = {Torsten Zimmermann and
                  Jan R{\"{u}}th and
                  Benedikt Wolters and
                  Oliver Hohlfeld},
  title        = {How {HTTP/2} pushes the web: An empirical study of {HTTP/2} server
                  push},
  booktitle    = {2017 {IFIP} Networking Conference, {IFIP} Networking 2017 and Workshops,
                  Stockholm, Sweden, June 12-16, 2017},
  pages        = {1--9},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.23919/IFIPNetworking.2017.8264830},
  doi          = {10.23919/IFIPNETWORKING.2017.8264830},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/networking/ZimmermannRWH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigcomm/ZimmermannWH17,
  author       = {Torsten Zimmermann and
                  Benedikt Wolters and
                  Oliver Hohlfeld},
  editor       = {Pedro Casas and
                  Florian Wamser and
                  Fabi{\'{a}}n E. Bustamante and
                  David R. Choffnes},
  title        = {A QoE Perspective on {HTTP/2} Server Push},
  booktitle    = {Proceedings of the 2017 Workshop on QoE-based Analysis and Management
                  of Data Communication Networks, Internet-QoE@SIGCOMM 2017, Los Angeles,
                  CA, USA, August 21, 2017},
  pages        = {1--6},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3098603.3098604},
  doi          = {10.1145/3098603.3098604},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigcomm/ZimmermannWH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/trustcom/HenzeWMZW17,
  author       = {Martin Henze and
                  Benedikt Wolters and
                  Roman Matzutt and
                  Torsten Zimmermann and
                  Klaus Wehrle},
  title        = {Distributed Configuration, Authorization and Management in the Cloud-Based
                  Internet of Things},
  booktitle    = {2017 {IEEE} Trustcom/BigDataSE/ICESS, Sydney, Australia, August 1-4,
                  2017},
  pages        = {185--192},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/Trustcom/BigDataSE/ICESS.2017.236},
  doi          = {10.1109/TRUSTCOM/BIGDATASE/ICESS.2017.236},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/trustcom/HenzeWMZW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/isf/NellenDNAW16,
  author       = {Johanna Nellen and
                  Kai Driessen and
                  Martin R. Neuh{\"{a}}u{\ss}er and
                  Erika {\'{A}}brah{\'{a}}m and
                  Benedikt Wolters},
  title        = {Two CEGAR-based approaches for the safety verification of PLC-controlled
                  plants},
  journal      = {Inf. Syst. Frontiers},
  volume       = {18},
  number       = {5},
  pages        = {927--952},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10796-016-9671-9},
  doi          = {10.1007/S10796-016-9671-9},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/isf/NellenDNAW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/IEEEcca/GeulenJNFNWAAU15,
  author       = {Sascha Geulen and
                  Martina Josevski and
                  Johanna Nellen and
                  Janosch Fuchs and
                  Lukas Netz and
                  Benedikt Wolters and
                  Dirk Abel and
                  Erika {\'{A}}brah{\'{a}}m and
                  Walter Unger},
  title        = {Learning-based control strategies for hybrid electric vehicles},
  booktitle    = {2015 {IEEE} Conference on Control Applications, {CCA} 2015, Sydney,
                  Australia, September 21-23, 2015},
  pages        = {1722--1728},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/CCA.2015.7320858},
  doi          = {10.1109/CCA.2015.7320858},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/IEEEcca/GeulenJNFNWAAU15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/gcai/NellenWNGA15,
  author       = {Johanna Nellen and
                  Benedikt Wolters and
                  Lukas Netz and
                  Sascha Geulen and
                  Erika {\'{A}}brah{\'{a}}m},
  editor       = {Georg Gottlob and
                  Geoff Sutcliffe and
                  Andrei Voronkov},
  title        = {A Genetic Algorithm based Control Strategy for the Energy Management
                  Problem in PHEVs},
  booktitle    = {Global Conference on Artificial Intelligence, {GCAI} 2015, Tbilisi,
                  Georgia, October 16-19, 2015},
  series       = {EPiC Series in Computing},
  volume       = {36},
  pages        = {196--214},
  publisher    = {EasyChair},
  year         = {2015},
  url          = {https://doi.org/10.29007/md3x},
  doi          = {10.29007/MD3X},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gcai/NellenWNGA15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/asc/NellenAW15,
  author       = {Johanna Nellen and
                  Erika {\'{A}}brah{\'{a}}m and
                  Benedikt Wolters},
  editor       = {Thouraya Bouabana{-}Tebibel and
                  Stuart H. Rubin},
  title        = {A {CEGAR} Tool for the Reachability Analysis of PLC-Controlled Plants
                  Using Hybrid Automata},
  booktitle    = {Formalisms for Reuse and Systems Integration},
  series       = {Advances in Intelligent Systems and Computing},
  volume       = {346},
  pages        = {55--78},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-16577-6\_3},
  doi          = {10.1007/978-3-319-16577-6\_3},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/asc/NellenAW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}