Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Sebastian Steinhorst
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.