BibTeX records: Benedikt Wolters

download as .bib file

@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},
  archivePrefix = {arXiv},
  eprint    = {1810.05554},
  timestamp = {Tue, 30 Oct 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1810-05554},
  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},
  year      = {2017},
  crossref  = {DBLP:conf/networking/2017},
  url       = {https://doi.org/10.23919/IFIPNetworking.2017.8264830},
  doi       = {10.23919/IFIPNetworking.2017.8264830},
  timestamp = {Thu, 25 Jan 2018 13:03:28 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/networking/ZimmermannRWH17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/ZimmermannWH17,
  author    = {Torsten Zimmermann and
               Benedikt Wolters and
               Oliver Hohlfeld},
  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},
  year      = {2017},
  crossref  = {DBLP:conf/sigcomm/2017iqoe},
  url       = {https://doi.org/10.1145/3098603.3098604},
  doi       = {10.1145/3098603.3098604},
  timestamp = {Tue, 06 Nov 2018 11:07:12 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigcomm/ZimmermannWH17},
  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},
  year      = {2017},
  crossref  = {DBLP:conf/trustcom/2017},
  url       = {https://doi.org/10.1109/Trustcom/BigDataSE/ICESS.2017.236},
  doi       = {10.1109/Trustcom/BigDataSE/ICESS.2017.236},
  timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/trustcom/HenzeWMZW17},
  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   = {Information Systems 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 = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/isf/NellenDNAW16},
  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},
  year      = {2015},
  crossref  = {DBLP:conf/IEEEcca/2015},
  url       = {https://doi.org/10.1109/CCA.2015.7320858},
  doi       = {10.1109/CCA.2015.7320858},
  timestamp = {Mon, 29 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/IEEEcca/GeulenJNFNWAAU15},
  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},
  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},
  pages     = {196--214},
  year      = {2015},
  crossref  = {DBLP:conf/gcai/2015},
  url       = {http://www.easychair.org/publications/paper/245315},
  timestamp = {Tue, 25 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/gcai/NellenWNGA15},
  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},
  title     = {A {CEGAR} Tool for the Reachability Analysis of PLC-Controlled Plants
               Using Hybrid Automata},
  booktitle = {Formalisms for Reuse and Systems Integration},
  pages     = {55--78},
  year      = {2015},
  crossref  = {DBLP:series/asc/2015-346},
  url       = {https://doi.org/10.1007/978-3-319-16577-6\_3},
  doi       = {10.1007/978-3-319-16577-6\_3},
  timestamp = {Tue, 16 May 2017 14:24:29 +0200},
  biburl    = {https://dblp.org/rec/bib/series/asc/NellenAW15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/networking/2017,
  title     = {2017 {IFIP} Networking Conference, {IFIP} Networking 2017 and Workshops,
               Stockholm, Sweden, June 12-16, 2017},
  publisher = {{IEEE}},
  year      = {2017},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8253906},
  isbn      = {978-3-901882-94-4},
  timestamp = {Thu, 25 Jan 2018 13:03:28 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/networking/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigcomm/2017iqoe,
  editor    = {Pedro Casas and
               Florian Wamser and
               Fabi{\'{a}}n E. Bustamante and
               David R. Choffnes},
  title     = {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},
  publisher = {{ACM}},
  year      = {2017},
  url       = {https://doi.org/10.1145/3098603},
  doi       = {10.1145/3098603},
  isbn      = {978-1-4503-5056-3},
  timestamp = {Tue, 06 Nov 2018 11:07:12 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigcomm/2017iqoe},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/trustcom/2017,
  title     = {2017 {IEEE} Trustcom/BigDataSE/ICESS, Sydney, Australia, August 1-4,
               2017},
  publisher = {{IEEE}},
  year      = {2017},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8027145},
  isbn      = {978-1-5090-4906-6},
  timestamp = {Fri, 15 Sep 2017 13:42:21 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/trustcom/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/IEEEcca/2015,
  title     = {2015 {IEEE} Conference on Control Applications, {CCA} 2015, Sydney,
               Australia, September 21-23, 2015},
  publisher = {{IEEE}},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7302355},
  isbn      = {978-1-4799-7787-1},
  timestamp = {Tue, 10 Nov 2015 15:59:02 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/IEEEcca/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gcai/2015,
  editor    = {Georg Gottlob and
               Geoff Sutcliffe and
               Andrei Voronkov},
  title     = {Global Conference on Artificial Intelligence, {GCAI} 2015, Tbilisi,
               Georgia, October 16-19, 2015},
  series    = {EPiC Series in Computing},
  volume    = {36},
  publisher = {EasyChair},
  year      = {2015},
  url       = {http://www.easychair.org/publications/volume/GCAI\_2015},
  timestamp = {Thu, 16 Jun 2016 17:11:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/gcai/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/asc/2015-346,
  editor    = {Thouraya Bouabana{-}Tebibel and
               Stuart H. Rubin},
  title     = {Formalisms for Reuse and Systems Integration},
  series    = {Advances in Intelligent Systems and Computing},
  volume    = {346},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-16577-6},
  doi       = {10.1007/978-3-319-16577-6},
  isbn      = {978-3-319-16576-9},
  timestamp = {Tue, 16 May 2017 14:24:29 +0200},
  biburl    = {https://dblp.org/rec/bib/series/asc/2015-346},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier