BibTeX records: Sebastian Steinhorst

download as .bib file

@article{DBLP:journals/corr/abs-2401-04792,
  author       = {Mohammad Hamad and
                  Andreas Finkenzeller and
                  Michael K{\"{u}}hr and
                  Andrew Roberts and
                  Olaf Maennel and
                  Vassilis Prevelakis and
                  Sebastian Steinhorst},
  title        = {{REACT:} Autonomous Intrusion Response System for Intelligent Vehicles},
  journal      = {CoRR},
  volume       = {abs/2401.04792},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2401.04792},
  doi          = {10.48550/ARXIV.2401.04792},
  eprinttype    = {arXiv},
  eprint       = {2401.04792},
  timestamp    = {Wed, 24 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2401-04792.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-10664,
  author       = {Andreas Finkenzeller and
                  Oliver Butowski and
                  Emanuel Regnath and
                  Mohammad Hamad and
                  Sebastian Steinhorst},
  title        = {PTPsec: Securing the Precision Time Protocol Against Time Delay Attacks
                  Using Cyclic Path Asymmetry Analysis},
  journal      = {CoRR},
  volume       = {abs/2401.10664},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2401.10664},
  doi          = {10.48550/ARXIV.2401.10664},
  eprinttype    = {arXiv},
  eprint       = {2401.10664},
  timestamp    = {Fri, 02 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2401-10664.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-13631,
  author       = {Rubi Debnath and
                  Philipp Hortig and
                  Luxi Zhao and
                  Sebastian Steinhorst},
  title        = {Quantifying the Impact of Frame Preemption on Combined {TSN} Shapers},
  journal      = {CoRR},
  volume       = {abs/2401.13631},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2401.13631},
  doi          = {10.48550/ARXIV.2401.13631},
  eprinttype    = {arXiv},
  eprint       = {2401.13631},
  timestamp    = {Thu, 07 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2401-13631.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dafes/WeissS23,
  author       = {Philipp Weiss and
                  Sebastian Steinhorst},
  title        = {Predictable timing behavior of gracefully degrading automotive systems},
  journal      = {Des. Autom. Embed. Syst.},
  volume       = {27},
  number       = {1-2},
  pages        = {103--138},
  year         = {2023},
  url          = {https://doi.org/10.1007/s10617-023-09271-x},
  doi          = {10.1007/S10617-023-09271-X},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dafes/WeissS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iotj/HamadFLLPS23,
  author       = {Mohammad Hamad and
                  Andreas Finkenzeller and
                  Hangmao Liu and
                  Jan Lauinger and
                  Vassilis Prevelakis and
                  Sebastian Steinhorst},
  title        = {{SEEMQTT:} Secure End-to-End MQTT-Based Communication for Mobile IoT
                  Systems Using Secret Sharing and Trust Delegation},
  journal      = {{IEEE} Internet Things J.},
  volume       = {10},
  number       = {4},
  pages        = {3384--3406},
  year         = {2023},
  url          = {https://doi.org/10.1109/JIOT.2022.3221857},
  doi          = {10.1109/JIOT.2022.3221857},
  timestamp    = {Mon, 30 Oct 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iotj/HamadFLLPS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coins/SalamaTKKS23,
  author       = {Fady Salama and
                  Anatolii Tsirkunenko and
                  Ege Korkan and
                  Sebastian K{\"{a}}bisch and
                  Sebastian Steinhorst},
  title        = {WoT-Phyng-Sim: Integrating Physics Simulations with IoT Digital Twins
                  using the Web of Things},
  booktitle    = {{IEEE} International Conference on Omni-layer Intelligent Systems,
                  {COINS} 2023, Berlin, Germany, July 23-25, 2023},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/COINS57856.2023.10189326},
  doi          = {10.1109/COINS57856.2023.10189326},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coins/SalamaTKKS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coins/ShamsRBS23,
  author       = {Saad Bin Shams and
                  Emanuel Regnath and
                  Andreas Bogner and
                  Sebastian Steinhorst},
  title        = {Trusted Single-Source Sensors using SNARKs},
  booktitle    = {{IEEE} International Conference on Omni-layer Intelligent Systems,
                  {COINS} 2023, Berlin, Germany, July 23-25, 2023},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/COINS57856.2023.10189292},
  doi          = {10.1109/COINS57856.2023.10189292},
  timestamp    = {Fri, 04 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coins/ShamsRBS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/DemicoliPS23,
  author       = {Julian Demicoli and
                  Laurin Prenzel and
                  Sebastian Steinhorst},
  title        = {Autonomous Hyperloop Control Architecture Design using {MAPE-K}},
  booktitle    = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
                  {DATE} 2023, Antwerp, Belgium, April 17-19, 2023},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.23919/DATE56975.2023.10137235},
  doi          = {10.23919/DATE56975.2023.10137235},
  timestamp    = {Wed, 07 Jun 2023 22:08:03 +0200},
  biburl       = {https://dblp.org/rec/conf/date/DemicoliPS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosp/ErnstbergerLEZSCMGS23,
  author       = {Jens Ernstberger and
                  Jan Lauinger and
                  Fatima Elsheimy and
                  Liyi Zhou and
                  Sebastian Steinhorst and
                  Ran Canetti and
                  Andrew Miller and
                  Arthur Gervais and
                  Dawn Song},
  title        = {SoK: Data Sovereignty},
  booktitle    = {8th {IEEE} European Symposium on Security and Privacy, EuroS{\&}P
                  2023, Delft, Netherlands, July 3-7, 2023},
  pages        = {122--143},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/EuroSP57164.2023.00017},
  doi          = {10.1109/EUROSP57164.2023.00017},
  timestamp    = {Mon, 07 Aug 2023 15:56:23 +0200},
  biburl       = {https://dblp.org/rec/conf/eurosp/ErnstbergerLEZSCMGS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icbc2/LauingerES23,
  author       = {Jan Lauinger and
                  Jens Ernstberger and
                  Sebastian Steinhorst},
  title        = {Anonymous Domain Ownership},
  booktitle    = {{IEEE} International Conference on Blockchain and Cryptocurrency,
                  {ICBC} 2023, Dubai, United Arab Emirates, May 1-5, 2023},
  pages        = {1--3},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ICBC56567.2023.10174991},
  doi          = {10.1109/ICBC56567.2023.10174991},
  timestamp    = {Fri, 21 Jul 2023 12:10:41 +0200},
  biburl       = {https://dblp.org/rec/conf/icbc2/LauingerES23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfvsdn/LiessDTLNLPWTGMBSH23,
  author       = {Marco Liess and
                  Julian Demicoli and
                  Tobias Tiedje and
                  Matthias Lohrmann and
                  Matthias Nickel and
                  M. Luniak and
                  Dimitrios Prousalis and
                  Thomas Wild and
                  Ronald Tetzlaff and
                  Diana G{\"{o}}hringer and
                  Christian Mayr and
                  Karlheinz Bock and
                  Sebastian Steinhorst and
                  Andreas Herkersdorf},
  editor       = {Frank H. P. Fitzek and
                  Larry J. Horner and
                  Molka Gharbaoui and
                  Giang Nguyen and
                  Rentao Gu and
                  Tobias Meuser},
  title        = {{X-MAPE:} Extending 6G-Connected Self-Adaptive Systems with Reflexive
                  Actions},
  booktitle    = {{IEEE} Conference on Network Function Virtualization and Software
                  Defined Networks, {NFV-SDN} 2023, Dresden, Germany, November 7-9,
                  2023},
  pages        = {163--167},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/NFV-SDN59219.2023.10329602},
  doi          = {10.1109/NFV-SDN59219.2023.10329602},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/nfvsdn/LiessDTLNLPWTGMBSH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/BlazevicPHS23,
  author       = {Borna Blazevic and
                  Michael Peter and
                  Mohammad Hamad and
                  Sebastian Steinhorst},
  title        = {TEEVseL4: Trusted Execution Environment for Virtualized seL4-Based
                  Systems},
  booktitle    = {29th {IEEE} International Conference on Embedded and Real-Time Computing
                  Systems and Applications, {RTCSA} 2023, Niigata, Japan, August 30
                  - Sept. 1, 2023},
  pages        = {67--76},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/RTCSA58653.2023.00017},
  doi          = {10.1109/RTCSA58653.2023.00017},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtcsa/BlazevicPHS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/DebnathHZS23,
  author       = {Rubi Debnath and
                  Philipp Hortig and
                  Luxi Zhao and
                  Sebastian Steinhorst},
  title        = {Advanced Modeling and Analysis of Individual and Combined {TSN} Shapers
                  in OMNeT++},
  booktitle    = {29th {IEEE} International Conference on Embedded and Real-Time Computing
                  Systems and Applications, {RTCSA} 2023, Niigata, Japan, August 30
                  - Sept. 1, 2023},
  pages        = {176--185},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/RTCSA58653.2023.00029},
  doi          = {10.1109/RTCSA58653.2023.00029},
  timestamp    = {Thu, 07 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtcsa/DebnathHZS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/YamadaHTGS23,
  author       = {Hiroshi Yamada and
                  Ting He and
                  Hiroyuki Tomiyama and
                  Nan Guan and
                  Sebastian Steinhorst},
  title        = {Message from the Chairs: {RTCSA} 2023},
  booktitle    = {29th {IEEE} International Conference on Embedded and Real-Time Computing
                  Systems and Applications, {RTCSA} 2023, Niigata, Japan, August 30
                  - Sept. 1, 2023},
  pages        = {xi},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/RTCSA58653.2023.00005},
  doi          = {10.1109/RTCSA58653.2023.00005},
  timestamp    = {Mon, 13 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtcsa/YamadaHTGS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vtc/DebnathAAS23,
  author       = {Rubi Debnath and
                  Mustafa Selman Akinci and
                  Devika Ajith and
                  Sebastian Steinhorst},
  title        = {5GTQ: QoS-Aware 5G-TSN Simulation Framework},
  booktitle    = {98th {IEEE} Vehicular Technology Conference, {VTC} Fall 2023, Hong
                  Kong, SAR, China, October 10-13, 2023},
  pages        = {1--7},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/VTC2023-Fall60731.2023.10333533},
  doi          = {10.1109/VTC2023-FALL60731.2023.10333533},
  timestamp    = {Wed, 10 Jan 2024 16:12:42 +0100},
  biburl       = {https://dblp.org/rec/conf/vtc/DebnathAAS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vtc/FinkenzellerMLHS23,
  author       = {Andreas Finkenzeller and
                  Anshu Mathur and
                  Jan Lauinger and
                  Mohammad Hamad and
                  Sebastian Steinhorst},
  title        = {Simutack - An Attack Simulation Framework for Connected and Autonomous
                  Vehicles},
  booktitle    = {97th {IEEE} Vehicular Technology Conference, {VTC} Spring 2023, Florence,
                  Italy, June 20-23, 2023},
  pages        = {1--7},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/VTC2023-Spring57618.2023.10200555},
  doi          = {10.1109/VTC2023-SPRING57618.2023.10200555},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vtc/FinkenzellerMLHS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-07401,
  author       = {Philipp Weiss and
                  Ali Younessi and
                  Sebastian Steinhorst},
  title        = {Reliability Analysis of Gracefully Degrading Automotive Systems},
  journal      = {CoRR},
  volume       = {abs/2305.07401},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2305.07401},
  doi          = {10.48550/ARXIV.2305.07401},
  eprinttype    = {arXiv},
  eprint       = {2305.07401},
  timestamp    = {Wed, 17 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2305-07401.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-18545,
  author       = {Anton Wahrst{\"{a}}tter and
                  Jens Ernstberger and
                  Aviv Yaish and
                  Liyi Zhou and
                  Kaihua Qin and
                  Taro Tsuchiya and
                  Sebastian Steinhorst and
                  Davor Svetinovic and
                  Nicolas Christin and
                  Mikolaj Barczentewicz and
                  Arthur Gervais},
  title        = {Blockchain Censorship},
  journal      = {CoRR},
  volume       = {abs/2305.18545},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2305.18545},
  doi          = {10.48550/ARXIV.2305.18545},
  eprinttype    = {arXiv},
  eprint       = {2305.18545},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2305-18545.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-00018,
  author       = {Mohammad Hamad and
                  Sebastian Steinhorst},
  title        = {Security Challenges in Autonomous Systems Design},
  journal      = {CoRR},
  volume       = {abs/2312.00018},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2312.00018},
  doi          = {10.48550/ARXIV.2312.00018},
  eprinttype    = {arXiv},
  eprint       = {2312.00018},
  timestamp    = {Fri, 08 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2312-00018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/ErnstbergerLEZSCMGS23,
  author       = {Jens Ernstberger and
                  Jan Lauinger and
                  Fatima Elsheimy and
                  Liyi Zhou and
                  Sebastian Steinhorst and
                  Ran Canetti and
                  Andrew Miller and
                  Arthur Gervais and
                  Dawn Song},
  title        = {SoK: Data Sovereignty},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {967},
  year         = {2023},
  url          = {https://eprint.iacr.org/2023/967},
  timestamp    = {Mon, 03 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/ErnstbergerLEZSCMGS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/LauingerEFS23,
  author       = {Jan Lauinger and
                  Jens Ernstberger and
                  Andreas Finkenzeller and
                  Sebastian Steinhorst},
  title        = {Janus: Fast Privacy-Preserving Data Provenance For {TLS} 1.3},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {1377},
  year         = {2023},
  url          = {https://eprint.iacr.org/2023/1377},
  timestamp    = {Sat, 07 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/LauingerEFS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/ErnstbergerCKSJGLO23,
  author       = {Jens Ernstberger and
                  Stefanos Chaliasos and
                  George Kadianakis and
                  Sebastian Steinhorst and
                  Philipp Jovanovic and
                  Arthur Gervais and
                  Benjamin Livshits and
                  Michele Orr{\`{u}}},
  title        = {zk-Bench: {A} Toolset for Comparative Evaluation and Performance Benchmarking
                  of SNARKs},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {1503},
  year         = {2023},
  url          = {https://eprint.iacr.org/2023/1503},
  timestamp    = {Sat, 07 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/ErnstbergerCKSJGLO23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/ReifertKPPKHABS22,
  author       = {Robert{-}Jeron Reifert and
                  Martin Krawczyk{-}Becker and
                  Laurin Prenzel and
                  Svyatoslav Pavlichkov and
                  Mohammad Al Khatib and
                  Sandesh Athni Hiremath and
                  Manar Al{-}Askary and
                  Naim Baj{\c{c}}inca and
                  Sebastian Steinhorst and
                  Aydin Sezgin},
  title        = {Toward Resilience in Mixed Critical Industrial Control Systems: {A}
                  Multi-Disciplinary View},
  journal      = {{IEEE} Access},
  volume       = {10},
  pages        = {124563--124581},
  year         = {2022},
  url          = {https://doi.org/10.1109/ACCESS.2022.3224425},
  doi          = {10.1109/ACCESS.2022.3224425},
  timestamp    = {Sun, 25 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/access/ReifertKPPKHABS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/LamprechtGNMS22,
  author       = {Alexander Lamprecht and
                  Ananth Garikapati and
                  Swaminathan Narayanaswamy and
                  Johannes Machleid and
                  Sebastian Steinhorst},
  title        = {On the efficacy of SoC-preconditioning on the utilization of battery
                  packs in Electric Vehicles},
  journal      = {Microprocess. Microsystems},
  volume       = {88},
  pages        = {103711},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.micpro.2020.103711},
  doi          = {10.1016/J.MICPRO.2020.103711},
  timestamp    = {Wed, 17 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mam/LamprechtGNMS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tnsm/ZhaoPS22,
  author       = {Luxi Zhao and
                  Paul Pop and
                  Sebastian Steinhorst},
  title        = {Quantitative Performance Comparison of Various Traffic Shapers in
                  Time-Sensitive Networking},
  journal      = {{IEEE} Trans. Netw. Serv. Manag.},
  volume       = {19},
  number       = {3},
  pages        = {2899--2928},
  year         = {2022},
  url          = {https://doi.org/10.1109/TNSM.2022.3180160},
  doi          = {10.1109/TNSM.2022.3180160},
  timestamp    = {Wed, 21 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tnsm/ZhaoPS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/LauingerFLHS22,
  author       = {Jan Lauinger and
                  Andreas Finkenzeller and
                  Henrik Lautebach and
                  Mohammad Hamad and
                  Sebastian Steinhorst},
  editor       = {Cristiana Bolchini and
                  Ingrid Verbauwhede and
                  Ioana Vatajelu},
  title        = {Attack Data Generation Framework for Autonomous Vehicle Sensors},
  booktitle    = {2022 Design, Automation {\&} Test in Europe Conference {\&}
                  Exhibition, {DATE} 2022, Antwerp, Belgium, March 14-23, 2022},
  pages        = {128--131},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.23919/DATE54114.2022.9774542},
  doi          = {10.23919/DATE54114.2022.9774542},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/date/LauingerFLHS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/PerezWPS22,
  author       = {Diogenes Javier Perez and
                  Josef Waltl and
                  Laurin Prenzel and
                  Sebastian Steinhorst},
  title        = {How Real (Time) Are Virtual PLCs?},
  booktitle    = {27th {IEEE} International Conference on Emerging Technologies and
                  Factory Automation, {ETFA} 2022, Stuttgart, Germany, September 6-9,
                  2022},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/ETFA52439.2022.9921545},
  doi          = {10.1109/ETFA52439.2022.9921545},
  timestamp    = {Wed, 02 Nov 2022 18:01:35 +0100},
  biburl       = {https://dblp.org/rec/conf/etfa/PerezWPS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/PrenzelS22,
  author       = {Laurin Prenzel and
                  Sebastian Steinhorst},
  title        = {Towards Resilience by Self-Adaptation of Industrial Control Systems},
  booktitle    = {27th {IEEE} International Conference on Emerging Technologies and
                  Factory Automation, {ETFA} 2022, Stuttgart, Germany, September 6-9,
                  2022},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/ETFA52439.2022.9921597},
  doi          = {10.1109/ETFA52439.2022.9921597},
  timestamp    = {Wed, 02 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/etfa/PrenzelS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/WiesmayrZPS22,
  author       = {Bianca Wiesmayr and
                  Alois Zoitl and
                  Laurin Prenzel and
                  Sebastian Steinhorst},
  title        = {Supporting a Model-driven Development Process for Distributed Control
                  Software},
  booktitle    = {27th {IEEE} International Conference on Emerging Technologies and
                  Factory Automation, {ETFA} 2022, Stuttgart, Germany, September 6-9,
                  2022},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/ETFA52439.2022.9921506},
  doi          = {10.1109/ETFA52439.2022.9921506},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/etfa/WiesmayrZPS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/globecom/YeAYHS22,
  author       = {Wenxuan Ye and
                  Xueli An and
                  Xueqiang Yan and
                  Mohammad Hamad and
                  Sebastian Steinhorst},
  title        = {FLaaS6G: Federated Learning as a Service in 6G Using Distributed Data
                  Management Architecture},
  booktitle    = {{IEEE} Global Communications Conference, {GLOBECOM} 2022, Rio de Janeiro,
                  Brazil, December 4-8, 2022},
  pages        = {1247--1252},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/GLOBECOM48099.2022.10001307},
  doi          = {10.1109/GLOBECOM48099.2022.10001307},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/globecom/YeAYHS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/globecom/FinkenzellerWHS22,
  author       = {Andreas Finkenzeller and
                  Thomas Wakim and
                  Mohammad Hamad and
                  Sebastian Steinhorst},
  title        = {Feasible Time Delay Attacks Against the Precision Time Protocol},
  booktitle    = {{IEEE} Global Communications Conference, {GLOBECOM} 2022, Rio de Janeiro,
                  Brazil, December 4-8, 2022},
  pages        = {3375--3380},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/GLOBECOM48099.2022.10001666},
  doi          = {10.1109/GLOBECOM48099.2022.10001666},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/globecom/FinkenzellerWHS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icphys/PrenzelHS22,
  author       = {Laurin Prenzel and
                  Simon Hofmann and
                  Sebastian Steinhorst},
  title        = {Real-time Dynamic Reconfiguration for {IEC} 61499},
  booktitle    = {5th {IEEE} International Conference on Industrial Cyber-Physical Systems,
                  {ICPS} 2022, Coventry, United Kingdom, May 24-26, 2022},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/ICPS51978.2022.9816872},
  doi          = {10.1109/ICPS51978.2022.9816872},
  timestamp    = {Mon, 06 Nov 2023 13:38:03 +0100},
  biburl       = {https://dblp.org/rec/conf/icphys/PrenzelHS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indin/PrenzelHS22,
  author       = {Laurin Prenzel and
                  Simon Hofmann and
                  Sebastian Steinhorst},
  title        = {Rollback Sequences for Dynamic Reconfiguration of {IEC} 61499},
  booktitle    = {20th {IEEE} International Conference on Industrial Informatics, {INDIN}
                  2022, Perth, Australia, July 25-28, 2022},
  pages        = {81--86},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/INDIN51773.2022.9976148},
  doi          = {10.1109/INDIN51773.2022.9976148},
  timestamp    = {Fri, 06 Jan 2023 16:53:15 +0100},
  biburl       = {https://dblp.org/rec/conf/indin/PrenzelHS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vtc/LauingerHS22,
  author       = {Jan Lauinger and
                  Mohammad Hamad and
                  Sebastian Steinhorst},
  title        = {Toward a Multi-Layer Intrusion Response System for Connected Vehicles},
  booktitle    = {96th Vehicular Technology Conference, {VTC} Fall 2022, London, United
                  Kingdom, September 26-29, 2022},
  pages        = {1--2},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/VTC2022-Fall57202.2022.10012711},
  doi          = {10.1109/VTC2022-FALL57202.2022.10012711},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vtc/LauingerHS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/SchonbergerHGSS21,
  author       = {Lea Sch{\"{o}}nberger and
                  Mohammad Hamad and
                  Javier Velasquez Gomez and
                  Sebastian Steinhorst and
                  Selma Saidi},
  title        = {Towards an Increased Detection Sensitivity of Time-Delay Attacks on
                  Precision Time Protocol},
  journal      = {{IEEE} Access},
  volume       = {9},
  pages        = {157398--157410},
  year         = {2021},
  url          = {https://doi.org/10.1109/ACCESS.2021.3127852},
  doi          = {10.1109/ACCESS.2021.3127852},
  timestamp    = {Wed, 15 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/access/SchonbergerHGSS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coins/KorkanKKS21,
  author       = {Ege Korkan and
                  Miguel Romero Karam and
                  Sebastian Kaebisch and
                  Sebastian Steinhorst},
  title        = {Runtime Deployment, Management and Monitoring of Web of Things Systems},
  booktitle    = {2021 {IEEE} International Conference on Omni-Layer Intelligent Systems,
                  {COINS} 2021, Barcelona, Spain, August 23-25, 2021},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/COINS51742.2021.9524213},
  doi          = {10.1109/COINS51742.2021.9524213},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/coins/KorkanKKS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coins/RegnathBS21,
  author       = {Emanuel Regnath and
                  Markus Birkner and
                  Sebastian Steinhorst},
  title        = {{CISCAV:} Consensus-based Intersection Scheduling for Connected Autonomous
                  Vehicles},
  booktitle    = {2021 {IEEE} International Conference on Omni-Layer Intelligent Systems,
                  {COINS} 2021, Barcelona, Spain, August 23-25, 2021},
  pages        = {1--7},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/COINS51742.2021.9524266},
  doi          = {10.1109/COINS51742.2021.9524266},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coins/RegnathBS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/conext/SalamaKKS21,
  author       = {Fady Salama and
                  Ege Korkan and
                  Sebastian K{\"{a}}bisch and
                  Sebastian Steinhorst},
  title        = {Towards a behavioral description of cyber-physical systems using the
                  thing description},
  booktitle    = {DAI-SNAC@CoNEXT 2021: Proceedings of the 2021 Workshop on Descriptive
                  Approaches to IoT Security, Network, and Application Configuration,
                  Virtual Event, Munich, Germany, 7 December 2021},
  pages        = {6--9},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3488661.3494030},
  doi          = {10.1145/3488661.3494030},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/conext/SalamaKKS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/HamadRLPS21,
  author       = {Mohammad Hamad and
                  Emanuel Regnath and
                  Jan Lauinger and
                  Vassilis Prevelakis and
                  Sebastian Steinhorst},
  title        = {{SPPS:} Secure Policy-based Publish/Subscribe System for {V2C} Communication},
  booktitle    = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
                  {DATE} 2021, Grenoble, France, February 1-5, 2021},
  pages        = {529--534},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.23919/DATE51398.2021.9474070},
  doi          = {10.23919/DATE51398.2021.9474070},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/date/HamadRLPS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/WeissEWS21,
  author       = {Philipp Weiss and
                  Sherif Elsabbahy and
                  Andreas Weichslgartner and
                  Sebastian Steinhorst},
  title        = {Worst-Case Failover Timing Analysis of Distributed Fail-Operational
                  Automotive Applications},
  booktitle    = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
                  {DATE} 2021, Grenoble, France, February 1-5, 2021},
  pages        = {1294--1299},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.23919/DATE51398.2021.9473950},
  doi          = {10.23919/DATE51398.2021.9473950},
  timestamp    = {Wed, 21 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/date/WeissEWS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/PrenzelS21,
  author       = {Laurin Prenzel and
                  Sebastian Steinhorst},
  title        = {Decentralized Autonomous Architecture for Resilient Cyber-Physical
                  Production Systems},
  booktitle    = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
                  {DATE} 2021, Grenoble, France, February 1-5, 2021},
  pages        = {1300--1303},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.23919/DATE51398.2021.9473954},
  doi          = {10.23919/DATE51398.2021.9473954},
  timestamp    = {Wed, 21 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/date/PrenzelS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/PhamSSFC21,
  author       = {Thinh Hung Pham and
                  Shanker Shreejith and
                  Sebastian Steinhorst and
                  Suhaib A. Fahmy and
                  Samarjit Chakraborty},
  editor       = {Francesco Leporati and
                  Salvatore Vitabile and
                  Amund Skavhaug},
  title        = {Heterogeneous Communication Virtualization for Distributed Embedded
                  Applications},
  booktitle    = {24th Euromicro Conference on Digital System Design, {DSD} 2021, Virtual
                  Event / Palermo, Sicily, Italy, September 1-3, 2021},
  pages        = {251--258},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/DSD53832.2021.00047},
  doi          = {10.1109/DSD53832.2021.00047},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsd/PhamSSFC21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/WeissDWS21,
  author       = {Philipp Weiss and
                  Emil Daporta and
                  Andreas Weichslgartner and
                  Sebastian Steinhorst},
  editor       = {Francesco Leporati and
                  Salvatore Vitabile and
                  Amund Skavhaug},
  title        = {Checkpointing Period Optimization of Distributed Fail-Operational
                  Automotive Applications},
  booktitle    = {24th Euromicro Conference on Digital System Design, {DSD} 2021, Virtual
                  Event / Palermo, Sicily, Italy, September 1-3, 2021},
  pages        = {389--395},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/DSD53832.2021.00066},
  doi          = {10.1109/DSD53832.2021.00066},
  timestamp    = {Fri, 15 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsd/WeissDWS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/PrenzelS21,
  author       = {Laurin Prenzel and
                  Sebastian Steinhorst},
  title        = {Automated Dependency Resolution for Dynamic Reconfiguration of {IEC}
                  61499},
  booktitle    = {26th {IEEE} International Conference on Emerging Technologies and
                  Factory Automation, {ETFA} 2021, Vasteras, Sweden, September 7-10,
                  2021},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/ETFA45728.2021.9613156},
  doi          = {10.1109/ETFA45728.2021.9613156},
  timestamp    = {Tue, 07 Dec 2021 09:17:59 +0100},
  biburl       = {https://dblp.org/rec/conf/etfa/PrenzelS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icbc2/LauingerERHS21,
  author       = {Jan Lauinger and
                  Jens Ernstberger and
                  Emanuel Regnath and
                  Mohammad Hamad and
                  Sebastian Steinhorst},
  title        = {A-PoA: Anonymous Proof of Authorization for Decentralized Identity
                  Management},
  booktitle    = {{IEEE} International Conference on Blockchain and Cryptocurrency,
                  {ICBC} 2021, Sydney, Australia, May 3-6, 2021},
  pages        = {1--9},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/ICBC51069.2021.9461082},
  doi          = {10.1109/ICBC51069.2021.9461082},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icbc2/LauingerERHS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icbc2/SummererRES21,
  author       = {Christoph Summerer and
                  Emanuel Regnath and
                  Hans Ehm and
                  Sebastian Steinhorst},
  title        = {Human-based Consensus for Trust Installation in Ontologies},
  booktitle    = {{IEEE} International Conference on Blockchain and Cryptocurrency,
                  {ICBC} 2021, Sydney, Australia, May 3-6, 2021},
  pages        = {1--3},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/ICBC51069.2021.9461140},
  doi          = {10.1109/ICBC51069.2021.9461140},
  timestamp    = {Wed, 30 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icbc2/SummererRES21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icwe/KorkanSKS21,
  author       = {Ege Korkan and
                  Fady Salama and
                  Sebastian Kaebisch and
                  Sebastian Steinhorst},
  editor       = {Marco Brambilla and
                  Richard Chbeir and
                  Flavius Frasincar and
                  Ioana Manolescu},
  title        = {A-MaGe: Atomic Mashup Generator for the Web of Things},
  booktitle    = {Web Engineering - 21st International Conference, {ICWE} 2021, Biarritz,
                  France, May 18-21, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12706},
  pages        = {320--327},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-74296-6\_24},
  doi          = {10.1007/978-3-030-74296-6\_24},
  timestamp    = {Sun, 16 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icwe/KorkanSKS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/ShivaramanSRES21,
  author       = {Nitin Shivaraman and
                  Patrick Schuster and
                  Saravanan Ramanathan and
                  Arvind Easwaran and
                  Sebastian Steinhorst},
  title        = {Cluster-Based Network Time Synchronization for Resilience with Energy
                  Efficiency},
  booktitle    = {42nd {IEEE} Real-Time Systems Symposium, {RTSS} 2021, Dortmund, Germany,
                  December 7-10, 2021},
  pages        = {149--161},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/RTSS52674.2021.00024},
  doi          = {10.1109/RTSS52674.2021.00024},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtss/ShivaramanSRES21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smartgridcomm/ShivaramanFRES21,
  author       = {Nitin Shivaraman and
                  Jakob Fittler and
                  Saravanan Ramanathan and
                  Arvind Easwaran and
                  Sebastian Steinhorst},
  title        = {A novel load distribution strategy for aggregators using IoT-enabled
                  mobile devices},
  booktitle    = {{IEEE} International Conference on Communications, Control, and Computing
                  Technologies for Smart Grids, SmartGridComm 2021, Aachen, Germany,
                  October 25-28, 2021},
  pages        = {301--307},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/SmartGridComm51999.2021.9632317},
  doi          = {10.1109/SMARTGRIDCOMM51999.2021.9632317},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/smartgridcomm/ShivaramanFRES21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-06137,
  author       = {Jan Lauinger and
                  Mudassar Aslam and
                  Mohammad Hamad and
                  Shahid Raza and
                  Sebastian Steinhorst},
  title        = {Quantitative System-Level Security Verification of the IoV Infrastructure},
  journal      = {CoRR},
  volume       = {abs/2101.06137},
  year         = {2021},
  url          = {https://arxiv.org/abs/2101.06137},
  eprinttype    = {arXiv},
  eprint       = {2101.06137},
  timestamp    = {Fri, 22 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2101-06137.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-13424,
  author       = {Luxi Zhao and
                  Paul Pop and
                  Sebastian Steinhorst},
  title        = {Quantitative Performance Comparison of Various Traffic Shapers in
                  Time-Sensitive Networking},
  journal      = {CoRR},
  volume       = {abs/2103.13424},
  year         = {2021},
  url          = {https://arxiv.org/abs/2103.13424},
  eprinttype    = {arXiv},
  eprint       = {2103.13424},
  timestamp    = {Wed, 21 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2103-13424.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/GrittiRS21,
  author       = {Cl{\'{e}}mentine Gritti and
                  Emanuel Regnath and
                  Sebastian Steinhorst},
  title        = {Practical and Scalable Access Control Mechanism for the Internet of
                  Things},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {140},
  year         = {2021},
  url          = {https://eprint.iacr.org/2021/140},
  timestamp    = {Tue, 02 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iacr/GrittiRS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/it/Steinhorst20,
  author       = {Sebastian Steinhorst},
  title        = {Internet of Things},
  journal      = {it Inf. Technol.},
  volume       = {62},
  number       = {5-6},
  pages        = {205--206},
  year         = {2020},
  url          = {https://doi.org/10.1515/itit-2020-0047},
  doi          = {10.1515/ITIT-2020-0047},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/it/Steinhorst20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/it/KorkanKS20,
  author       = {Ege Korkan and
                  Sebastian Kaebisch and
                  Sebastian Steinhorst},
  title        = {Streamlining IoT system development with open standards},
  journal      = {it Inf. Technol.},
  volume       = {62},
  number       = {5-6},
  pages        = {215--226},
  year         = {2020},
  url          = {https://doi.org/10.1515/itit-2020-0016},
  doi          = {10.1515/ITIT-2020-0016},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/it/KorkanKS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/it/RamanathanSSEBS20,
  author       = {Saravanan Ramanathan and
                  Nitin Shivaraman and
                  Seima Suryasekaran and
                  Arvind Easwaran and
                  Etienne Borde and
                  Sebastian Steinhorst},
  title        = {A survey on time-sensitive resource allocation in the cloud continuum},
  journal      = {it Inf. Technol.},
  volume       = {62},
  number       = {5-6},
  pages        = {241--255},
  year         = {2020},
  url          = {https://doi.org/10.1515/itit-2020-0013},
  doi          = {10.1515/ITIT-2020-0013},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/it/RamanathanSSEBS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coins/BarabasRS20,
  author       = {Philippos Barabas and
                  Emanuel Regnath and
                  Sebastian Steinhorst},
  title        = {{COLAW:} Cooperative Location Proof Architecture for VANETs based
                  on Witnessing},
  booktitle    = {2020 International Conference on Omni-layer Intelligent Systems, {COINS}
                  2020, Barcelona, Spain, August 31 - September 2, 2020},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/COINS49042.2020.9191402},
  doi          = {10.1109/COINS49042.2020.9191402},
  timestamp    = {Tue, 22 Sep 2020 09:56:44 +0200},
  biburl       = {https://dblp.org/rec/conf/coins/BarabasRS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coins/KastKKS20,
  author       = {Adrian Kast and
                  Ege Korkan and
                  Sebastian K{\"{a}}bisch and
                  Sebastian Steinhorst},
  title        = {Web of Things System Description for Representation of Mashups},
  booktitle    = {2020 International Conference on Omni-layer Intelligent Systems, {COINS}
                  2020, Barcelona, Spain, August 31 - September 2, 2020},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/COINS49042.2020.9191677},
  doi          = {10.1109/COINS49042.2020.9191677},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/coins/KastKKS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coins/LamprechtRS20,
  author       = {Alexander Lamprecht and
                  Moritz Riesterer and
                  Sebastian Steinhorst},
  title        = {Random Forest Regression of Charge Balancing Data: {A} State of Health
                  Estimation Method for Electric Vehicle Batteries},
  booktitle    = {2020 International Conference on Omni-layer Intelligent Systems, {COINS}
                  2020, Barcelona, Spain, August 31 - September 2, 2020},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/COINS49042.2020.9191421},
  doi          = {10.1109/COINS49042.2020.9191421},
  timestamp    = {Tue, 22 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coins/LamprechtRS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coins/RegnathSSES20,
  author       = {Emanuel Regnath and
                  Nitin Shivaraman and
                  Shanker Shreejith and
                  Arvind Easwaran and
                  Sebastian Steinhorst},
  title        = {Blockchain, what time is it? Trustless Datetime Synchronization for
                  IoT},
  booktitle    = {2020 International Conference on Omni-layer Intelligent Systems, {COINS}
                  2020, Barcelona, Spain, August 31 - September 2, 2020},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/COINS49042.2020.9191420},
  doi          = {10.1109/COINS49042.2020.9191420},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/coins/RegnathSSES20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/WeissNWS20,
  author       = {Philipp Weiss and
                  Sebastian Nagel and
                  Andreas Weichslgartner and
                  Sebastian Steinhorst},
  editor       = {Sebastian Steinhorst and
                  Jyotirmoy V. Deshmukh},
  title        = {Adaptable Demonstrator Platform for the Simulation of Distributed
                  Agent-Based Automotive Systems},
  booktitle    = {2nd International Workshop on Autonomous Systems Design, {ASD} 2020,
                  March 13, 2020, Grenoble, France (Virtual Conference)},
  series       = {OASIcs},
  volume       = {79},
  pages        = {3:1--3:6},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2020},
  url          = {https://doi.org/10.4230/OASIcs.ASD.2020.3},
  doi          = {10.4230/OASICS.ASD.2020.3},
  timestamp    = {Tue, 15 Feb 2022 09:40:05 +0100},
  biburl       = {https://dblp.org/rec/conf/date/WeissNWS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/ShivaramanSLRES20,
  author       = {Nitin Shivaraman and
                  Seima Saki and
                  Zhiwei Liu and
                  Saravanan Ramanathan and
                  Arvind Easwaran and
                  Sebastian Steinhorst},
  title        = {Real-Time Energy Monitoring in IoT-enabled Mobile Devices},
  booktitle    = {2020 Design, Automation {\&} Test in Europe Conference {\&}
                  Exhibition, {DATE} 2020, Grenoble, France, March 9-13, 2020},
  pages        = {991--994},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.23919/DATE48585.2020.9116577},
  doi          = {10.23919/DATE48585.2020.9116577},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/date/ShivaramanSLRES20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/WeissWRS20,
  author       = {Philipp Weiss and
                  Andreas Weichslgartner and
                  Felix Reimann and
                  Sebastian Steinhorst},
  title        = {Fail-Operational Automotive Software Design Using Agent-Based Graceful
                  Degradation},
  booktitle    = {2020 Design, Automation {\&} Test in Europe Conference {\&}
                  Exhibition, {DATE} 2020, Grenoble, France, March 9-13, 2020},
  pages        = {1169--1174},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.23919/DATE48585.2020.9116322},
  doi          = {10.23919/DATE48585.2020.9116322},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/date/WeissWRS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/RegnathS20,
  author       = {Emanuel Regnath and
                  Sebastian Steinhorst},
  title        = {{AMSA:} Adaptive Merkle Signature Architecture},
  booktitle    = {2020 Design, Automation {\&} Test in Europe Conference {\&}
                  Exhibition, {DATE} 2020, Grenoble, France, March 9-13, 2020},
  pages        = {1532--1537},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.23919/DATE48585.2020.9116517},
  doi          = {10.23919/DATE48585.2020.9116517},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/date/RegnathS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/WeberWRS20,
  author       = {Philipp Weber and
                  Philipp Weiss and
                  Dominik Reinhardt and
                  Sebastian Steinhorst},
  title        = {Energy-Optimized Elastic Application Distribution for Automotive Systems
                  in Hybrid Cloud Architectures},
  booktitle    = {23rd Euromicro Conference on Digital System Design, {DSD} 2020, Kranj,
                  Slovenia, August 26-28, 2020},
  pages        = {455--462},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/DSD51259.2020.00078},
  doi          = {10.1109/DSD51259.2020.00078},
  timestamp    = {Wed, 14 Oct 2020 14:37:25 +0200},
  biburl       = {https://dblp.org/rec/conf/dsd/WeberWRS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/giots/TheodouliMVTLS20,
  author       = {Anastasia Theodouli and
                  Konstantinos Moschou and
                  Konstantinos Votis and
                  Dimitrios Tzovaras and
                  Jan Lauinger and
                  Sebastian Steinhorst},
  title        = {Towards a Blockchain-based Identity and Trust Management Framework
                  for the IoV Ecosystem},
  booktitle    = {2020 Global Internet of Things Summit, GIoTS 2020, Dublin, Ireland,
                  June 3, 2020},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/GIOTS49054.2020.9119623},
  doi          = {10.1109/GIOTS49054.2020.9119623},
  timestamp    = {Fri, 26 Jun 2020 12:40:01 +0200},
  biburl       = {https://dblp.org/rec/conf/giots/TheodouliMVTLS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icccn/ShivaramanRSES20,
  author       = {Nitin Shivaraman and
                  Saravanan Ramanathan and
                  Shanker Shreejith and
                  Arvind Easwaran and
                  Sebastian Steinhorst},
  title        = {DeCoRIC: Decentralized Connected Resilient IoT Clustering},
  booktitle    = {29th International Conference on Computer Communications and Networks,
                  {ICCCN} 2020, Honolulu, HI, USA, August 3-6, 2020},
  pages        = {1--10},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/ICCCN49398.2020.9209755},
  doi          = {10.1109/ICCCN49398.2020.9209755},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icccn/ShivaramanRSES20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/ShivaramanFRES20,
  author       = {Nitin Shivaraman and
                  Jakob Fittler and
                  Saravanan Ramanathan and
                  Arvind Easwaran and
                  Sebastian Steinhorst},
  title        = {WiP Abstract: Mobility-based Load Balancing for IoT-enabled Devices
                  in Smart Grids},
  booktitle    = {11th {ACM/IEEE} International Conference on Cyber-Physical Systems,
                  {ICCPS} 2020, Sydney, Australia, April 21-25, 2020},
  pages        = {192--193},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/ICCPS48487.2020.00029},
  doi          = {10.1109/ICCPS48487.2020.00029},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccps/ShivaramanFRES20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icwe/SchlottKKS20,
  author       = {Verena Eileen Schlott and
                  Ege Korkan and
                  Sebastian K{\"{a}}bisch and
                  Sebastian Steinhorst},
  editor       = {M{\'{a}}ria Bielikov{\'{a}} and
                  Tommi Mikkonen and
                  Cesare Pautasso},
  title        = {{W-ADE:} Timing Performance Benchmarking in Web of Things},
  booktitle    = {Web Engineering - 20th International Conference, {ICWE} 2020, Helsinki,
                  Finland, June 9-12, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12128},
  pages        = {70--86},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-50578-3\_6},
  doi          = {10.1007/978-3-030-50578-3\_6},
  timestamp    = {Tue, 16 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icwe/SchlottKKS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipsn/ShivaramanSRES20,
  author       = {Nitin Shivaraman and
                  Patrick Schuster and
                  Saravanan Ramanathan and
                  Arvind Easwaran and
                  Sebastian Steinhorst},
  title        = {Poster Abstract: C-Sync: The Resilient Time Synchronization Protocol},
  booktitle    = {19th {ACM/IEEE} International Conference on Information Processing
                  in Sensor Networks, {IPSN} 2020, Sydney, Australia, April 21-24, 2020},
  pages        = {333--334},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/IPSN48710.2020.00-20},
  doi          = {10.1109/IPSN48710.2020.00-20},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipsn/ShivaramanSRES20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wf-iot/KorkanRKS20,
  author       = {Ege Korkan and
                  Emanuel Regnath and
                  Sebastian K{\"{a}}bisch and
                  Sebastian Steinhorst},
  title        = {No-Code Shadow Things Deployment for the IoT},
  booktitle    = {6th {IEEE} World Forum on Internet of Things, WF-IoT 2020, New Orleans,
                  LA, USA, June 2-16, 2020},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/WF-IoT48130.2020.9221368},
  doi          = {10.1109/WF-IOT48130.2020.9221368},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wf-iot/KorkanRKS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/date/2020asd,
  editor       = {Sebastian Steinhorst and
                  Jyotirmoy V. Deshmukh},
  title        = {2nd International Workshop on Autonomous Systems Design, {ASD} 2020,
                  March 13, 2020, Grenoble, France (Virtual Conference)},
  series       = {OASIcs},
  volume       = {79},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2020},
  url          = {https://www.dagstuhl.de/dagpub/978-3-95977-141-2},
  isbn         = {978-3-95977-141-2},
  timestamp    = {Tue, 15 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/date/2020asd.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-14072,
  author       = {Nitin Shivaraman and
                  Saravanan Ramanathan and
                  Shanker Shreejith and
                  Arvind Easwaran and
                  Sebastian Steinhorst},
  title        = {DeCoRIC: Decentralized Connected Resilient IoT Clustering},
  journal      = {CoRR},
  volume       = {abs/2004.14072},
  year         = {2020},
  url          = {https://arxiv.org/abs/2004.14072},
  eprinttype    = {arXiv},
  eprint       = {2004.14072},
  timestamp    = {Sat, 02 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2004-14072.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-14559,
  author       = {Saravanan Ramanathan and
                  Nitin Shivaraman and
                  Seima Suryasekaran and
                  Arvind Easwaran and
                  Etienne Borde and
                  Sebastian Steinhorst},
  title        = {A Survey on Time-Sensitive Resource Allocation in the Cloud Continuum},
  journal      = {CoRR},
  volume       = {abs/2004.14559},
  year         = {2020},
  url          = {https://arxiv.org/abs/2004.14559},
  eprinttype    = {arXiv},
  eprint       = {2004.14559},
  timestamp    = {Sun, 03 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2004-14559.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-14804,
  author       = {Nitin Shivaraman and
                  Seima Saki and
                  Zhiwei Liu and
                  Saravanan Ramanathan and
                  Arvind Easwaran and
                  Sebastian Steinhorst},
  title        = {Real-Time Energy Monitoring in IoT-enabled Mobile Devices},
  journal      = {CoRR},
  volume       = {abs/2004.14804},
  year         = {2020},
  url          = {https://arxiv.org/abs/2004.14804},
  eprinttype    = {arXiv},
  eprint       = {2004.14804},
  timestamp    = {Sun, 03 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2004-14804.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/ZimmermannMSMJ19,
  author       = {Thomas Zimmermann and
                  Mathias Mora and
                  Sebastian Steinhorst and
                  Daniel Mueller{-}Gritschneder and
                  Andreas Jossen},
  title        = {Analysis of Dissipative Losses in Modular Reconfigurable Energy Storage
                  Systems Using SystemC {TLM} and SystemC-AMS},
  journal      = {{ACM} Trans. Design Autom. Electr. Syst.},
  volume       = {24},
  number       = {4},
  pages        = {40:1--40:33},
  year         = {2019},
  url          = {https://doi.org/10.1145/3321387},
  doi          = {10.1145/3321387},
  timestamp    = {Sat, 08 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/todaes/ZimmermannMSMJ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tvt/NarayanaswamySL19,
  author       = {Swaminathan Narayanaswamy and
                  Sebastian Steinhorst and
                  Martin Lukasiewycz and
                  Matthias Kauer and
                  Samarjit Chakraborty},
  title        = {Optimal Dimensioning and Control of Active Cell Balancing Architectures},
  journal      = {{IEEE} Trans. Veh. Technol.},
  volume       = {68},
  number       = {10},
  pages        = {9632--9646},
  year         = {2019},
  url          = {https://doi.org/10.1109/TVT.2019.2936646},
  doi          = {10.1109/TVT.2019.2936646},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tvt/NarayanaswamySL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/MrowcaNSG19,
  author       = {Artur Mrowca and
                  Martin Nocker and
                  Sebastian Steinhorst and
                  Stephan G{\"{u}}nnemann},
  title        = {Learning Temporal Specifications from Imperfect Traces Using Bayesian
                  Inference},
  booktitle    = {Proceedings of the 56th Annual Design Automation Conference 2019,
                  {DAC} 2019, Las Vegas, NV, USA, June 02-06, 2019},
  pages        = {96},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3316781.3317847},
  doi          = {10.1145/3316781.3317847},
  timestamp    = {Sun, 06 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dac/MrowcaNSG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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/date/LamprechtBMS19,
  author       = {Alexander Lamprecht and
                  Martin Baumann and
                  Tobias Massier and
                  Sebastian Steinhorst},
  editor       = {J{\"{u}}rgen Teich and
                  Franco Fummi},
  title        = {Decentralized Non-Neighbor Active Charge Balancing in Large Battery
                  Packs},
  booktitle    = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
                  {DATE} 2019, Florence, Italy, March 25-29, 2019},
  pages        = {432--437},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.23919/DATE.2019.8714894},
  doi          = {10.23919/DATE.2019.8714894},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/date/LamprechtBMS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/ProbstlPSC19,
  author       = {Alma Pr{\"{o}}bstl and
                  Sangyoung Park and
                  Sebastian Steinhorst and
                  Samarjit Chakraborty},
  editor       = {J{\"{u}}rgen Teich and
                  Franco Fummi},
  title        = {Cost/Privacy Co-optimization in Smart Energy Grids},
  booktitle    = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
                  {DATE} 2019, Florence, Italy, March 25-29, 2019},
  pages        = {872--877},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.23919/DATE.2019.8715181},
  doi          = {10.23919/DATE.2019.8715181},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/date/ProbstlPSC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/LamprechtGNS19,
  author       = {Alexander Lamprecht and
                  Ananth Garikapati and
                  Swaminathan Narayanaswamy and
                  Sebastian Steinhorst},
  title        = {Enhancing Battery Pack Capacity Utilization in Electric Vehicle Fleets
                  via SoC-Preconditioning},
  booktitle    = {22nd Euromicro Conference on Digital System Design, {DSD} 2019, Kallithea,
                  Greece, August 28-30, 2019},
  pages        = {359--364},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/DSD.2019.00059},
  doi          = {10.1109/DSD.2019.00059},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsd/LamprechtGNS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-03296,
  author       = {Ege Korkan and
                  Hassib Belhaj Hassine and
                  Verena Eileen Schlott and
                  Sebastian K{\"{a}}bisch and
                  Sebastian Steinhorst},
  title        = {WoTify: {A} platform to bring Web of Things to your devices},
  journal      = {CoRR},
  volume       = {abs/1909.03296},
  year         = {2019},
  url          = {http://arxiv.org/abs/1909.03296},
  eprinttype    = {arXiv},
  eprint       = {1909.03296},
  timestamp    = {Sat, 23 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1909-03296.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-03297,
  author       = {Hassib Belhaj Hassine and
                  Ege Korkan and
                  Sebastian Steinhorst},
  title        = {Virtual-Thing: Thing Description based Virtualization},
  journal      = {CoRR},
  volume       = {abs/1909.03297},
  year         = {2019},
  url          = {http://arxiv.org/abs/1909.03297},
  eprinttype    = {arXiv},
  eprint       = {1909.03297},
  timestamp    = {Tue, 17 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1909-03297.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/ZiegenbeinSHS19,
  author       = {Dirk Ziegenbein and
                  Selma Saidi and
                  Xiaobo Sharon Hu and
                  Sebastian Steinhorst},
  title        = {Future Automotive {HW/SW} Platform Design (Dagstuhl Seminar 19502)},
  journal      = {Dagstuhl Reports},
  volume       = {9},
  number       = {12},
  pages        = {28--66},
  year         = {2019},
  url          = {https://doi.org/10.4230/DagRep.9.12.28},
  doi          = {10.4230/DAGREP.9.12.28},
  timestamp    = {Fri, 17 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/ZiegenbeinSHS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codes/SaidiSHZW18,
  author       = {Selma Saidi and
                  Sebastian Steinhorst and
                  Arne Hamann and
                  Dirk Ziegenbein and
                  Marko Wolf},
  editor       = {Aviral Shrivastava and
                  Sudeep Pasricha},
  title        = {Future automotive systems design: research challenges and opportunities:
                  special session},
  booktitle    = {Proceedings of the International Conference on Hardware/Software Codesign
                  and System Synthesis, {CODES+ISSS} 2018, part of {ESWEEK} 2018, Torino,
                  Italy, September 30 - October 5, 2018},
  pages        = {2},
  publisher    = {{IEEE} / {ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1109/CODESISSS.2018.8525873},
  doi          = {10.1109/CODESISSS.2018.8525873},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/codes/SaidiSHZW18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/MrowcaPSB18,
  author       = {Artur Mrowca and
                  Thomas Pramsohler and
                  Sebastian Steinhorst and
                  Uwe Baumgarten},
  title        = {Automated interpretation and reduction of in-vehicle network traces
                  at a large scale},
  booktitle    = {Proceedings of the 55th Annual Design Automation Conference, {DAC}
                  2018, San Francisco, CA, USA, June 24-29, 2018},
  pages        = {102:1--102:6},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3195970.3196000},
  doi          = {10.1145/3195970.3196000},
  timestamp    = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl       = {https://dblp.org/rec/conf/dac/MrowcaPSB18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/ProbstlPNSC18,
  author       = {Alma Pr{\"{o}}bstl and
                  Sangyoung Park and
                  Swaminathan Narayanaswamy and
                  Sebastian Steinhorst and
                  Samarjit Chakraborty},
  editor       = {Jan Madsen and
                  Ayse K. Coskun},
  title        = {SOH-aware active cell balancing strategy for high power battery packs},
  booktitle    = {2018 Design, Automation {\&} Test in Europe Conference {\&}
                  Exhibition, {DATE} 2018, Dresden, Germany, March 19-23, 2018},
  pages        = {431--436},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.23919/DATE.2018.8342048},
  doi          = {10.23919/DATE.2018.8342048},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/date/ProbstlPNSC18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/LamprechtNS18,
  author       = {Alexander Lamprecht and
                  Swaminathan Narayanaswamy and
                  Sebastian Steinhorst},
  editor       = {Jan Madsen and
                  Ayse K. Coskun},
  title        = {Improving fast charging efficiency of reconfigurable battery packs},
  booktitle    = {2018 Design, Automation {\&} Test in Europe Conference {\&}
                  Exhibition, {DATE} 2018, Dresden, Germany, March 19-23, 2018},
  pages        = {585--588},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.23919/DATE.2018.8342075},
  doi          = {10.23919/DATE.2018.8342075},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/date/LamprechtNS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/KorkanKKS18,
  author       = {Ege Korkan and
                  Sebastian K{\"{a}}bisch and
                  Matthias Kovatsch and
                  Sebastian Steinhorst},
  editor       = {Hiren D. Patel and
                  Tom J. Kazmierski and
                  Sebastian Steinhorst},
  title        = {Sequential Behavioral Modeling for Scalable IoT Devices and Systems},
  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.8524065},
  doi          = {10.1109/FDL.2018.8524065},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/KorkanKKS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/RegnathS18,
  author       = {Emanuel Regnath and
                  Sebastian Steinhorst},
  editor       = {Hiren D. 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    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/RegnathS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/NarayanaswamyPS18,
  author       = {Swaminathan Narayanaswamy and
                  Sangyoung Park and
                  Sebastian Steinhorst and
                  Samarjit Chakraborty},
  editor       = {Iris Bahar},
  title        = {Design automation for battery systems},
  booktitle    = {Proceedings of the International Conference on Computer-Aided Design,
                  {ICCAD} 2018, San Diego, CA, USA, November 05-08, 2018},
  pages        = {27},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3240765.3243469},
  doi          = {10.1145/3240765.3243469},
  timestamp    = {Mon, 09 Aug 2021 14:54:01 +0200},
  biburl       = {https://dblp.org/rec/conf/iccad/NarayanaswamyPS18.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    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iccad/RegnathS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/islped/NarayanaswamyPS18,
  author       = {Swaminathan Narayanaswamy and
                  Sangyoung Park and
                  Sebastian Steinhorst and
                  Samarjit Chakraborty},
  title        = {Multi-Pattern Active Cell Balancing Architecture and Equalization
                  Strategy for Battery Packs},
  booktitle    = {Proceedings of the International Symposium on Low Power Electronics
                  and Design, {ISLPED} 2018, Seattle, WA, USA, July 23-25, 2018},
  pages        = {43:1--43:6},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3218603.3218607},
  doi          = {10.1145/3218603.3218607},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/islped/NarayanaswamyPS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fdl/2018,
  editor       = {Hiren D. Patel and
                  Tom J. Kazmierski and
                  Sebastian Steinhorst},
  title        = {2018 Forum on Specification {\&} Design Languages, {FDL} 2018,
                  Garching, Germany, September 10-12, 2018},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/8501260/proceeding},
  isbn         = {978-1-5386-6418-6},
  timestamp    = {Tue, 29 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/2018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/ShreejithMEFSLC17,
  author       = {Shanker Shreejith and
                  Philipp Mundhenk and
                  Andreas Ettner and
                  Suhaib A. Fahmy and
                  Sebastian Steinhorst and
                  Martin Lukasiewycz and
                  Samarjit Chakraborty},
  title        = {VEGa: {A} High Performance Vehicular Ethernet Gateway on Hybrid {FPGA}},
  journal      = {{IEEE} Trans. Computers},
  volume       = {66},
  number       = {10},
  pages        = {1790--1803},
  year         = {2017},
  url          = {https://doi.org/10.1109/TC.2017.2700277},
  doi          = {10.1109/TC.2017.2700277},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tc/ShreejithMEFSLC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/KauerNSC17,
  author       = {Matthias Kauer and
                  Swaminathan Narayanaswamy and
                  Sebastian Steinhorst and
                  Samarjit Chakraborty},
  title        = {Rapid Analysis of Active Cell Balancing Circuits},
  journal      = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
  volume       = {36},
  number       = {4},
  pages        = {694--698},
  year         = {2017},
  url          = {https://doi.org/10.1109/TCAD.2016.2597224},
  doi          = {10.1109/TCAD.2016.2597224},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcad/KauerNSC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/WaszeckiMSLKC17,
  author       = {Peter Waszecki and
                  Philipp Mundhenk and
                  Sebastian Steinhorst and
                  Martin Lukasiewycz and
                  Ramesh Karri and
                  Samarjit Chakraborty},
  title        = {Automotive Electrical and Electronic Architecture Security via Distributed
                  In-Vehicle Traffic Monitoring},
  journal      = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
  volume       = {36},
  number       = {11},
  pages        = {1790--1803},
  year         = {2017},
  url          = {https://doi.org/10.1109/TCAD.2017.2666605},
  doi          = {10.1109/TCAD.2017.2666605},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcad/WaszeckiMSLKC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/MundhenkPMSLFC17,
  author       = {Philipp Mundhenk and
                  Andrew Paverd and
                  Artur Mrowca and
                  Sebastian Steinhorst and
                  Martin Lukasiewycz and
                  Suhaib A. Fahmy and
                  Samarjit Chakraborty},
  title        = {Security in Automotive Networks: Lightweight Authentication and Authorization},
  journal      = {{ACM} Trans. Design Autom. Electr. Syst.},
  volume       = {22},
  number       = {2},
  pages        = {25:1--25:27},
  year         = {2017},
  url          = {https://doi.org/10.1145/2960407},
  doi          = {10.1145/2960407},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/todaes/MundhenkPMSLFC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tvlsi/NarayanaswamyKS17,
  author       = {Swaminathan Narayanaswamy and
                  Matthias Kauer and
                  Sebastian Steinhorst and
                  Martin Lukasiewycz and
                  Samarjit Chakraborty},
  title        = {Modular Active Charge Balancing for Scalable Battery Packs},
  journal      = {{IEEE} Trans. Very Large Scale Integr. Syst.},
  volume       = {25},
  number       = {3},
  pages        = {974--987},
  year         = {2017},
  url          = {https://doi.org/10.1109/TVLSI.2016.2611526},
  doi          = {10.1109/TVLSI.2016.2611526},
  timestamp    = {Wed, 11 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tvlsi/NarayanaswamyKS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/ShivaramanES17,
  author       = {Nitin Shivaraman and
                  Arvind Easwaran and
                  Sebastian Steinhorst},
  editor       = {David Atienza and
                  Giorgio Di Natale},
  title        = {Efficient decentralized active balancing strategy for smart battery
                  cells},
  booktitle    = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
                  {DATE} 2017, Lausanne, Switzerland, March 27-31, 2017},
  pages        = {1522--1527},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.23919/DATE.2017.7927232},
  doi          = {10.23919/DATE.2017.7927232},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/date/ShivaramanES17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MundhenkPMSLFC17,
  author       = {Philipp Mundhenk and
                  Andrew Paverd and
                  Artur Mrowca and
                  Sebastian Steinhorst and
                  Martin Lukasiewycz and
                  Suhaib A. Fahmy and
                  Samarjit Chakraborty},
  title        = {Security in Automotive Networks: Lightweight Authentication and Authorization},
  journal      = {CoRR},
  volume       = {abs/1703.03652},
  year         = {2017},
  url          = {http://arxiv.org/abs/1703.03652},
  eprinttype    = {arXiv},
  eprint       = {1703.03652},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/MundhenkPMSLFC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/MundhenkMSLFC16,
  author       = {Philipp Mundhenk and
                  Artur Mrowca and
                  Sebastian Steinhorst and
                  Martin Lukasiewycz and
                  Suhaib A. Fahmy and
                  Samarjit Chakraborty},
  title        = {Open source model and simulator for real-time performance analysis
                  of automotive network security},
  journal      = {{SIGBED} Rev.},
  volume       = {13},
  number       = {3},
  pages        = {8--13},
  year         = {2016},
  url          = {https://doi.org/10.1145/2983185.2983186},
  doi          = {10.1145/2983185.2983186},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigbed/MundhenkMSLFC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/SagstetterWSLC16,
  author       = {Florian Sagstetter and
                  Peter Waszecki and
                  Sebastian Steinhorst and
                  Martin Lukasiewycz and
                  Samarjit Chakraborty},
  title        = {Multischedule Synthesis for Variant Management in Automotive Time-Triggered
                  Systems},
  journal      = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
  volume       = {35},
  number       = {4},
  pages        = {637--650},
  year         = {2016},
  url          = {https://doi.org/10.1109/TCAD.2015.2488480},
  doi          = {10.1109/TCAD.2015.2488480},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcad/SagstetterWSLC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/LukasiewyczKS16,
  author       = {Martin Lukasiewycz and
                  Matthias Kauer and
                  Sebastian Steinhorst},
  title        = {Synthesis of Active Cell Balancing Architectures for Battery Packs},
  journal      = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
  volume       = {35},
  number       = {11},
  pages        = {1876--1889},
  year         = {2016},
  url          = {https://doi.org/10.1109/TCAD.2016.2531049},
  doi          = {10.1109/TCAD.2016.2531049},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcad/LukasiewyczKS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/LukasiewyczMS16,
  author       = {Martin Lukasiewycz and
                  Philipp Mundhenk and
                  Sebastian Steinhorst},
  title        = {Security-Aware Obfuscated Priority Assignment for Automotive {CAN}
                  Platforms},
  journal      = {{ACM} Trans. Design Autom. Electr. Syst.},
  volume       = {21},
  number       = {2},
  pages        = {32:1--32:27},
  year         = {2016},
  url          = {https://doi.org/10.1145/2831232},
  doi          = {10.1145/2831232},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/todaes/LukasiewyczMS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/NarayanaswamySS16,
  author       = {Swaminathan Narayanaswamy and
                  Steffen Schl{\"{u}}ter and
                  Sebastian Steinhorst and
                  Martin Lukasiewycz and
                  Samarjit Chakraborty and
                  Harry Ernst Hoster},
  title        = {On Battery Recovery Effect in Wireless Sensor Nodes},
  journal      = {{ACM} Trans. Design Autom. Electr. Syst.},
  volume       = {21},
  number       = {4},
  pages        = {60:1--60:28},
  year         = {2016},
  url          = {https://doi.org/10.1145/2890501},
  doi          = {10.1145/2890501},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/todaes/NarayanaswamySS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/SteinhorstKMNLC16,
  author       = {Sebastian Steinhorst and
                  Matthias Kauer and
                  Arne Meeuw and
                  Swaminathan Narayanaswamy and
                  Martin Lukasiewycz and
                  Samarjit Chakraborty},
  title        = {Cyber-Physical Co-Simulation Framework for Smart Cells in Scalable
                  Battery Packs},
  journal      = {{ACM} Trans. Design Autom. Electr. Syst.},
  volume       = {21},
  number       = {4},
  pages        = {62:1--62:26},
  year         = {2016},
  url          = {https://doi.org/10.1145/2891407},
  doi          = {10.1145/2891407},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/todaes/SteinhorstKMNLC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/SteinhorstSCKLL16,
  author       = {Sebastian Steinhorst and
                  Zili Shao and
                  Samarjit Chakraborty and
                  Matthias Kauer and
                  Shuai Li and
                  Martin Lukasiewycz and
                  Swaminathan Narayanaswamy and
                  Muhammad Usman Rafique and
                  Qixin Wang},
  title        = {Distributed reconfigurable Battery System Management Architectures},
  booktitle    = {21st Asia and South Pacific Design Automation Conference, {ASP-DAC}
                  2016, Macao, Macao, January 25-28, 2016},
  pages        = {429--434},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/ASPDAC.2016.7428049},
  doi          = {10.1109/ASPDAC.2016.7428049},
  timestamp    = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl       = {https://dblp.org/rec/conf/aspdac/SteinhorstSCKLL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/FurtigSH16,
  author       = {Andreas Furtig and
                  Sebastian Steinhorst and
                  Lars Hedrich},
  editor       = {Rolf Drechsler and
                  Robert Wille},
  title        = {Feature based state space coverage of analog circuits},
  booktitle    = {2016 Forum on Specification and Design Languages, {FDL} 2016, Bremen,
                  Germany, September 14-16, 2016},
  pages        = {1--7},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/FDL.2016.7880388},
  doi          = {10.1109/FDL.2016.7880388},
  timestamp    = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/FurtigSH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/SteinhorstL16,
  author       = {Sebastian Steinhorst and
                  Martin Lukasiewycz},
  editor       = {Frank Liu},
  title        = {Formal approaches to design of active cell balancing architectures
                  in battery management systems},
  booktitle    = {Proceedings of the 35th International Conference on Computer-Aided
                  Design, {ICCAD} 2016, Austin, TX, USA, November 7-10, 2016},
  pages        = {86},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2966986.2980088},
  doi          = {10.1145/2966986.2980088},
  timestamp    = {Fri, 23 Jun 2023 22:29:48 +0200},
  biburl       = {https://dblp.org/rec/conf/iccad/SteinhorstL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isicir/Steinhorst16,
  author       = {Sebastian Steinhorst},
  title        = {Design and verification methodologies for Smart Battery Cells},
  booktitle    = {International Symposium on Integrated Circuits, {ISIC} 2016, Singapore,
                  December 12-14, 2016},
  pages        = {1--4},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/ISICIR.2016.7829706},
  doi          = {10.1109/ISICIR.2016.7829706},
  timestamp    = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl       = {https://dblp.org/rec/conf/isicir/Steinhorst16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/KauerNSLC15,
  author       = {Matthias Kauer and
                  Swaminathan Narayanaswamy and
                  Sebastian Steinhorst and
                  Martin Lukasiewycz and
                  Samarjit Chakraborty},
  title        = {Many-to-many active cell balancing strategy design},
  booktitle    = {The 20th Asia and South Pacific Design Automation Conference, {ASP-DAC}
                  2015, Chiba, Japan, January 19-22, 2015},
  pages        = {267--272},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/ASPDAC.2015.7059016},
  doi          = {10.1109/ASPDAC.2015.7059016},
  timestamp    = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl       = {https://dblp.org/rec/conf/aspdac/KauerNSLC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/MundhenkSLFC15,
  author       = {Philipp Mundhenk and
                  Sebastian Steinhorst and
                  Martin Lukasiewycz and
                  Suhaib A. Fahmy and
                  Samarjit Chakraborty},
  title        = {Security analysis of automotive architectures using probabilistic
                  model checking},
  booktitle    = {Proceedings of the 52nd Annual Design Automation Conference, San Francisco,
                  CA, USA, June 7-11, 2015},
  pages        = {38:1--38:6},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2744769.2744906},
  doi          = {10.1145/2744769.2744906},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/MundhenkSLFC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/LukasiewyczSS15,
  author       = {Martin Lukasiewycz and
                  Florian Sagstetter and
                  Sebastian Steinhorst},
  title        = {Efficient design space exploration of embedded platforms},
  booktitle    = {Proceedings of the 52nd Annual Design Automation Conference, San Francisco,
                  CA, USA, June 7-11, 2015},
  pages        = {127:1--127:6},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2744769.2744829},
  doi          = {10.1145/2744769.2744829},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/LukasiewyczSS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/KauerNLSC15,
  author       = {Matthias Kauer and
                  Swaminathan Narayanaswamy and
                  Martin Lukasiewycz and
                  Sebastian Steinhorst and
                  Samarjit Chakraborty},
  editor       = {Wolfgang Nebel and
                  David Atienza},
  title        = {Inductor optimization for active cell balancing using geometric programming},
  booktitle    = {Proceedings of the 2015 Design, Automation {\&} Test in Europe
                  Conference {\&} Exhibition, {DATE} 2015, Grenoble, France, March
                  9-13, 2015},
  pages        = {281--284},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {http://dl.acm.org/citation.cfm?id=2755815},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/date/KauerNLSC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/MundhenkSLFC15,
  author       = {Philipp Mundhenk and
                  Sebastian Steinhorst and
                  Martin Lukasiewycz and
                  Suhaib A. Fahmy and
                  Samarjit Chakraborty},
  editor       = {Wolfgang Nebel and
                  David Atienza},
  title        = {Lightweight authentication for secure automotive networks},
  booktitle    = {Proceedings of the 2015 Design, Automation {\&} Test in Europe
                  Conference {\&} Exhibition, {DATE} 2015, Grenoble, France, March
                  9-13, 2015},
  pages        = {285--288},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {http://dl.acm.org/citation.cfm?id=2755816},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/date/MundhenkSLFC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/SteinhorstL15,
  author       = {Sebastian Steinhorst and
                  Martin Lukasiewycz},
  editor       = {Wolfgang Nebel and
                  David Atienza},
  title        = {Topology identification for smart cells in modular batteries},
  booktitle    = {Proceedings of the 2015 Design, Automation {\&} Test in Europe
                  Conference {\&} Exhibition, {DATE} 2015, Grenoble, France, March
                  9-13, 2015},
  pages        = {1249--1252},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {http://dl.acm.org/citation.cfm?id=2757102},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/date/SteinhorstL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/KauerS0LC14,
  author       = {Matthias Kauer and
                  Sebastian Steinhorst and
                  Reinhard Schneider and
                  Martin Lukasiewycz and
                  Samarjit Chakraborty},
  title        = {Automata-theoretic modeling of fixed-priority non-preemptive scheduling
                  for formal timing verification},
  booktitle    = {19th Asia and South Pacific Design Automation Conference, {ASP-DAC}
                  2014, Singapore, January 20-23, 2014},
  pages        = {812--817},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/ASPDAC.2014.6742990},
  doi          = {10.1109/ASPDAC.2014.6742990},
  timestamp    = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl       = {https://dblp.org/rec/conf/aspdac/KauerS0LC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codes/MundhenkSSLC14,
  author       = {Philipp Mundhenk and
                  Florian Sagstetter and
                  Sebastian Steinhorst and
                  Martin Lukasiewycz and
                  Samarjit Chakraborty},
  editor       = {Radu Marculescu and
                  Gabriela Nicolescu},
  title        = {Policy-based message scheduling using FlexRay},
  booktitle    = {2014 International Conference on Hardware/Software Codesign and System
                  Synthesis, {CODES+ISSS} 2014, Uttar Pradesh, India, October 12-17,
                  2014},
  pages        = {19:1--19:10},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2656075.2656094},
  doi          = {10.1145/2656075.2656094},
  timestamp    = {Sun, 08 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/codes/MundhenkSSLC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codes/LukasiewyczSN14,
  author       = {Martin Lukasiewycz and
                  Sebastian Steinhorst and
                  Swaminathan Narayanaswamy},
  editor       = {Radu Marculescu and
                  Gabriela Nicolescu},
  title        = {Verification of balancing architectures for modular batteries},
  booktitle    = {2014 International Conference on Hardware/Software Codesign and System
                  Synthesis, {CODES+ISSS} 2014, Uttar Pradesh, India, October 12-17,
                  2014},
  pages        = {30:1--30:10},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2656075.2656104},
  doi          = {10.1145/2656075.2656104},
  timestamp    = {Sun, 08 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/codes/LukasiewyczSN14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsna/SteinhorstLNKC14,
  author       = {Sebastian Steinhorst and
                  Martin Lukasiewycz and
                  Swaminathan Narayanaswamy and
                  Matthias Kauer and
                  Samarjit Chakraborty},
  title        = {Smart Cells for Embedded Battery Management},
  booktitle    = {2014 {IEEE} International Conference on Cyber-Physical Systems, Networks,
                  and Applications, {CPSNA} 2014, Hong Kong, China, August 25-26, 2014},
  pages        = {59--64},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/CPSNA.2014.22},
  doi          = {10.1109/CPSNA.2014.22},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpsna/SteinhorstLNKC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/NarayanaswamySLKC14,
  author       = {Swaminathan Narayanaswamy and
                  Sebastian Steinhorst and
                  Martin Lukasiewycz and
                  Matthias Kauer and
                  Samarjit Chakraborty},
  editor       = {Gerhard P. Fettweis and
                  Wolfgang Nebel},
  title        = {Optimal dimensioning of active cell balancing architectures},
  booktitle    = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
                  {DATE} 2014, Dresden, Germany, March 24-28, 2014},
  pages        = {1--6},
  publisher    = {European Design and Automation Association},
  year         = {2014},
  url          = {https://doi.org/10.7873/DATE.2014.153},
  doi          = {10.7873/DATE.2014.153},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/date/NarayanaswamySLKC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/KauerSGSLC13,
  author       = {Matthias Kauer and
                  Sebastian Steinhorst and
                  Dip Goswami and
                  Reinhard Schneider and
                  Martin Lukasiewycz and
                  Samarjit Chakraborty},
  title        = {Formal verification of distributed controllers using Time-Stamped
                  Event Count Automata},
  booktitle    = {18th Asia and South Pacific Design Automation Conference, {ASP-DAC}
                  2013, Yokohama, Japan, January 22-25, 2013},
  pages        = {411--416},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/ASPDAC.2013.6509631},
  doi          = {10.1109/ASPDAC.2013.6509631},
  timestamp    = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl       = {https://dblp.org/rec/conf/aspdac/KauerSGSLC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codes/ChangLSC13,
  author       = {Wanli Chang and
                  Martin Lukasiewycz and
                  Sebastian Steinhorst and
                  Samarjit Chakraborty},
  title        = {Dimensioning and configuration of {EES} systems for electric vehicles
                  with boundary-conditioned adaptive scalarization},
  booktitle    = {Proceedings of the International Conference on Hardware/Software Codesign
                  and System Synthesis, {CODES+ISSS} 2013, Montreal, QC, Canada, September
                  29 - October 4, 2013},
  pages        = {26:1--26:10},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/CODES-ISSS.2013.6659013},
  doi          = {10.1109/CODES-ISSS.2013.6659013},
  timestamp    = {Sat, 22 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/codes/ChangLSC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/LukasiewyczSASWCKMSFC13,
  author       = {Martin Lukasiewycz and
                  Sebastian Steinhorst and
                  Sidharta Andalam and
                  Florian Sagstetter and
                  Peter Waszecki and
                  Wanli Chang and
                  Matthias Kauer and
                  Philipp Mundhenk and
                  Shanker Shreejith and
                  Suhaib A. Fahmy and
                  Samarjit Chakraborty},
  title        = {System architecture and software design for electric vehicles},
  booktitle    = {The 50th Annual Design Automation Conference 2013, {DAC} '13, Austin,
                  TX, USA, May 29 - June 07, 2013},
  pages        = {95:1--95:6},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2463209.2488852},
  doi          = {10.1145/2463209.2488852},
  timestamp    = {Sat, 22 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dac/LukasiewyczSASWCKMSFC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/GoswamiLKSMCR13,
  author       = {Dip Goswami and
                  Martin Lukasiewycz and
                  Matthias Kauer and
                  Sebastian Steinhorst and
                  Alejandro Masrur and
                  Samarjit Chakraborty and
                  S. Ramesh},
  title        = {Model-based development and verification of control software for electric
                  vehicles},
  booktitle    = {The 50th Annual Design Automation Conference 2013, {DAC} '13, Austin,
                  TX, USA, May 29 - June 07, 2013},
  pages        = {96:1--96:9},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2463209.2488853},
  doi          = {10.1145/2463209.2488853},
  timestamp    = {Tue, 14 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/GoswamiLKSMCR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/KauerNSLCH13,
  author       = {Matthias Kauer and
                  Swaminathan Naranayaswami and
                  Sebastian Steinhorst and
                  Martin Lukasiewycz and
                  Samarjit Chakraborty and
                  Lars Hedrich},
  title        = {Modular system-level architecture for concurrent cell balancing},
  booktitle    = {The 50th Annual Design Automation Conference 2013, {DAC} '13, Austin,
                  TX, USA, May 29 - June 07, 2013},
  pages        = {155:1--155:10},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2463209.2488926},
  doi          = {10.1145/2463209.2488926},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/KauerNSLCH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/SagstetterLSWBHJPPC13,
  author       = {Florian Sagstetter and
                  Martin Lukasiewycz and
                  Sebastian Steinhorst and
                  Marko Wolf and
                  Alexandre Bouard and
                  William R. Harris and
                  Somesh Jha and
                  Thomas Peyrin and
                  Axel Poschmann and
                  Samarjit Chakraborty},
  editor       = {Enrico Macii},
  title        = {Security challenges in automotive hardware/software architecture design},
  booktitle    = {Design, Automation and Test in Europe, {DATE} 13, Grenoble, France,
                  March 18-22, 2013},
  pages        = {458--463},
  publisher    = {{EDA} Consortium San Jose, CA, {USA} / {ACM} {DL}},
  year         = {2013},
  url          = {https://doi.org/10.7873/DATE.2013.102},
  doi          = {10.7873/DATE.2013.102},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/date/SagstetterLSWBHJPPC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/LukasiewyczSC13,
  author       = {Martin Lukasiewycz and
                  Sebastian Steinhorst and
                  Samarjit Chakraborty},
  editor       = {Enrico Macii},
  title        = {Priority assignment for event-triggered systems using mathematical
                  programming},
  booktitle    = {Design, Automation and Test in Europe, {DATE} 13, Grenoble, France,
                  March 18-22, 2013},
  pages        = {982--987},
  publisher    = {{EDA} Consortium San Jose, CA, {USA} / {ACM} {DL}},
  year         = {2013},
  url          = {https://doi.org/10.7873/DATE.2013.205},
  doi          = {10.7873/DATE.2013.205},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/date/LukasiewyczSC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/LukasiewyczSSCWKC12,
  author       = {Martin Lukasiewycz and
                  Sebastian Steinhorst and
                  Florian Sagstetter and
                  Wanli Chang and
                  Peter Waszecki and
                  Matthias Kauer and
                  Samarjit Chakraborty},
  title        = {Cyber-Physical Systems Design for Electric Vehicles},
  booktitle    = {15th Euromicro Conference on Digital System Design, {DSD} 2012, Cesme,
                  Izmir, Turkey, September 5-8, 2012},
  pages        = {477--484},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/DSD.2012.39},
  doi          = {10.1109/DSD.2012.39},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsd/LukasiewyczSSCWKC12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/SteinhorstH12,
  author       = {Sebastian Steinhorst and
                  Lars Hedrich},
  title        = {Analog assertion-based verification on partial state space representations
                  using {ASL}},
  booktitle    = {Proceeding of the 2012 Forum on Specification and Design Languages,
                  Vienna, Austria, September 18-20, 2012},
  pages        = {98--104},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://ieeexplore.ieee.org/document/6336992/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/SteinhorstH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/SteinhorstH12,
  author       = {Sebastian Steinhorst and
                  Lars Hedrich},
  editor       = {Alan J. Hu},
  title        = {Trajectory-Directed discrete state space modeling for formal verification
                  of nonlinear analog circuits},
  booktitle    = {2012 {IEEE/ACM} International Conference on Computer-Aided Design,
                  {ICCAD} 2012, San Jose, CA, USA, November 5-8, 2012},
  pages        = {202--209},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2429384.2429423},
  doi          = {10.1145/2429384.2429423},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iccad/SteinhorstH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vlsi/SteinhorstH12,
  author       = {Sebastian Steinhorst and
                  Lars Hedrich},
  editor       = {Srinivas Katkoori and
                  Matthew R. Guthaus and
                  Ayse K. Coskun and
                  Andreas Burg and
                  Ricardo Reis},
  title        = {Equivalence checking of nonlinear analog circuits for hierarchical
                  {AMS} System Verification},
  booktitle    = {20th {IEEE/IFIP} International Conference on {VLSI} and System-on-Chip,
                  VLSI-SoC 2012, Santa Cruz, CA, USA, October 7-10, 2012},
  pages        = {135--140},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/VLSI-SoC.2012.6379019},
  doi          = {10.1109/VLSI-SOC.2012.6379019},
  timestamp    = {Tue, 06 Sep 2022 16:02:54 +0200},
  biburl       = {https://dblp.org/rec/conf/vlsi/SteinhorstH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/SteinhorstH10,
  author       = {Sebastian Steinhorst and
                  Lars Hedrich},
  title        = {Advanced methods for equivalence checking of analog circuits with
                  strong nonlinearities},
  journal      = {Formal Methods Syst. Des.},
  volume       = {36},
  number       = {2},
  pages        = {131--147},
  year         = {2010},
  url          = {https://doi.org/10.1007/s10703-009-0086-9},
  doi          = {10.1007/S10703-009-0086-9},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/SteinhorstH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/SteinhorstH10,
  author       = {Sebastian Steinhorst and
                  Lars Hedrich},
  title        = {Improving verification coverage of analog circuit blocks by state
                  space-guided transient simulation},
  booktitle    = {International Symposium on Circuits and Systems {(ISCAS} 2010), May
                  30 - June 2, 2010, Paris, France},
  pages        = {645--648},
  publisher    = {{IEEE}},
  year         = {2010},
  url          = {https://doi.org/10.1109/ISCAS.2010.5537507},
  doi          = {10.1109/ISCAS.2010.5537507},
  timestamp    = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl       = {https://dblp.org/rec/conf/iscas/SteinhorstH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/BarkeGGHHPSW09,
  author       = {Erich Barke and
                  Darius Grabowski and
                  Helmut Graeb and
                  Lars Hedrich and
                  Stefan Heinen and
                  Ralf Popp and
                  Sebastian Steinhorst and
                  Yifan Wang},
  editor       = {Luca Benini and
                  Giovanni De Micheli and
                  Bashir M. Al{-}Hashimi and
                  Wolfgang M{\"{u}}ller},
  title        = {Formal approaches to analog circuit verification},
  booktitle    = {Design, Automation and Test in Europe, {DATE} 2009, Nice, France,
                  April 20-24, 2009},
  pages        = {724--729},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {http://dl.acm.org/citation.cfm?id=1874798},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/date/BarkeGGHHPSW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/SteinhorstH08,
  author       = {Sebastian Steinhorst and
                  Lars Hedrich},
  editor       = {Donatella Sciuto},
  title        = {Model Checking of Analog Systems using an Analog Specification Language},
  booktitle    = {Design, Automation and Test in Europe, {DATE} 2008, Munich, Germany,
                  March 10-14, 2008},
  pages        = {324--329},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1109/DATE.2008.4484700},
  doi          = {10.1109/DATE.2008.4484700},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/date/SteinhorstH08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics