BibTeX records: Emanuel Regnath

download as .bib file

@inproceedings{DBLP:conf/date/RegnathS19,
  author    = {Emanuel Regnath and
               Sebastian Steinhorst},
  editor    = {J{\"{u}}rgen Teich and
               Franco Fummi},
  title     = {{CUBA:} Chained Unanimous Byzantine Agreement for Decentralized Platoon
               Management},
  booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
               {DATE} 2019, Florence, Italy, March 25-29, 2019},
  pages     = {426--431},
  publisher = {{IEEE}},
  year      = {2019},
  url       = {https://doi.org/10.23919/DATE.2019.8715047},
  doi       = {10.23919/DATE.2019.8715047},
  timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/date/RegnathS19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/RegnathS18,
  author    = {Emanuel Regnath and
               Sebastian Steinhorst},
  editor    = {Hiren Patel and
               Tom J. Kazmierski and
               Sebastian Steinhorst},
  title     = {SmaCoNat: Smart Contracts in Natural Language},
  booktitle = {2018 Forum on Specification {\&} Design Languages, {FDL} 2018,
               Garching, Germany, September 10-12, 2018},
  pages     = {5--16},
  publisher = {{IEEE}},
  year      = {2018},
  url       = {https://doi.org/10.1109/FDL.2018.8524068},
  doi       = {10.1109/FDL.2018.8524068},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/conf/fdl/RegnathS18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/RegnathS18,
  author    = {Emanuel Regnath and
               Sebastian Steinhorst},
  editor    = {Iris Bahar},
  title     = {LeapChain: efficient blockchain verification for embedded IoT},
  booktitle = {Proceedings of the International Conference on Computer-Aided Design,
               {ICCAD} 2018, San Diego, CA, USA, November 05-08, 2018},
  pages     = {74},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3240765.3240820},
  doi       = {10.1145/3240765.3240820},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/iccad/RegnathS18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/BeckerRC17,
  author    = {Martin Becker and
               Emanuel Regnath and
               Samarjit Chakraborty},
  editor    = {Stefano Tonetta and
               Erwin Schoitsch and
               Friedemann Bitsch},
  title     = {Development and Verification of a Flight Stack for a High-Altitude
               Glider in Ada/SPARK 2014},
  booktitle = {Computer Safety, Reliability, and Security - 36th International Conference,
               {SAFECOMP} 2017, Trento, Italy, September 13-15, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10488},
  pages     = {105--116},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-66266-4\_7},
  doi       = {10.1007/978-3-319-66266-4\_7},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/conf/safecomp/BeckerRC17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/0001RC17,
  author    = {Martin Becker and
               Emanuel Regnath and
               Samarjit Chakraborty},
  title     = {Development and Verification of a Flight Stack for a High-Altitude
               Glider in Ada/SPARK 2014},
  journal   = {CoRR},
  volume    = {abs/1707.00945},
  year      = {2017},
  url       = {http://arxiv.org/abs/1707.00945},
  archivePrefix = {arXiv},
  eprint    = {1707.00945},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/0001RC17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/ProbstlKRC15,
  author    = {Alma Pr{\"{o}}bstl and
               Philipp Kindt and
               Emanuel Regnath and
               Samarjit Chakraborty},
  title     = {Smart2: Smart Charging for Smart Phones},
  booktitle = {21st {IEEE} International Conference on Embedded and Real-Time Computing
               Systems and Applications, {RTCSA} 2015, Hong Kong, China, August 19-21,
               2015},
  pages     = {41--50},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {https://doi.org/10.1109/RTCSA.2015.21},
  doi       = {10.1109/RTCSA.2015.21},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/conf/rtcsa/ProbstlKRC15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics