![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Sebastian Steinhorst
Person information
- affiliation: Technical University Munich, Germany
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2011
- [b1]Sebastian Steinhorst
:
Formal verification methodologies for nonlinear analog circuits (Formale Verifikationsmethodiken für nichtlineare analoge Schaltungen). Frankfurt University, Germany, 2011
Journal Articles
- 2024
- [j25]Mohammad Hamad
, Andreas Finkenzeller, Michael Kühr, Andrew Roberts
, Olaf Maennel
, Vassilis Prevelakis, Sebastian Steinhorst
:
REACT: Autonomous intrusion response system for intelligent vehicles. Comput. Secur. 145: 104008 (2024) - [j24]Firas Hamila, Mohammad Hamad
, Daniel Costa Salgado, Sebastian Steinhorst:
Enhancing security in Fiat-Shamir transformation-based non-interactive zero-knowledge protocols for IoT authentication. Int. J. Inf. Sec. 23(2): 1131-1148 (2024) - 2023
- [j23]Philipp Weiss, Sebastian Steinhorst
:
Predictable timing behavior of gracefully degrading automotive systems. Des. Autom. Embed. Syst. 27(1-2): 103-138 (2023) - [j22]Mohammad Hamad
, Andreas Finkenzeller
, Hangmao Liu
, Jan Lauinger
, Vassilis Prevelakis, Sebastian Steinhorst
:
SEEMQTT: Secure End-to-End MQTT-Based Communication for Mobile IoT Systems Using Secret Sharing and Trust Delegation. IEEE Internet Things J. 10(4): 3384-3406 (2023) - 2022
- [j21]Robert-Jeron Reifert
, Martin Krawczyk-Becker, Laurin Prenzel, Svyatoslav Pavlichkov, Mohammad Al Khatib, Sandesh Athni Hiremath
, Manar Al-Askary, Naim Bajçinca
, Sebastian Steinhorst
, Aydin Sezgin
:
Toward Resilience in Mixed Critical Industrial Control Systems: A Multi-Disciplinary View. IEEE Access 10: 124563-124581 (2022) - [j20]Alexander Lamprecht
, Ananth Garikapati
, Swaminathan Narayanaswamy, Johannes Machleid
, Sebastian Steinhorst
:
On the efficacy of SoC-preconditioning on the utilization of battery packs in Electric Vehicles. Microprocess. Microsystems 88: 103711 (2022) - [j19]Luxi Zhao
, Paul Pop
, Sebastian Steinhorst
:
Quantitative Performance Comparison of Various Traffic Shapers in Time-Sensitive Networking. IEEE Trans. Netw. Serv. Manag. 19(3): 2899-2928 (2022) - 2021
- [j18]Lea Schönberger
, Mohammad Hamad
, Javier Velasquez Gomez, Sebastian Steinhorst
, Selma Saidi:
Towards an Increased Detection Sensitivity of Time-Delay Attacks on Precision Time Protocol. IEEE Access 9: 157398-157410 (2021) - 2020
- [j17]Sebastian Steinhorst
:
Internet of Things. it Inf. Technol. 62(5-6): 205-206 (2020) - [j16]Ege Korkan
, Sebastian Kaebisch, Sebastian Steinhorst
:
Streamlining IoT system development with open standards. it Inf. Technol. 62(5-6): 215-226 (2020) - [j15]Saravanan Ramanathan
, Nitin Shivaraman, Seima Suryasekaran, Arvind Easwaran, Etienne Borde, Sebastian Steinhorst
:
A survey on time-sensitive resource allocation in the cloud continuum. it Inf. Technol. 62(5-6): 241-255 (2020) - 2019
- [j14]Thomas Zimmermann
, Mathias Mora
, Sebastian Steinhorst
, Daniel Mueller-Gritschneder
, Andreas Jossen
:
Analysis of Dissipative Losses in Modular Reconfigurable Energy Storage Systems Using SystemC TLM and SystemC-AMS. ACM Trans. Design Autom. Electr. Syst. 24(4): 40:1-40:33 (2019) - [j13]Swaminathan Narayanaswamy
, Sebastian Steinhorst
, Martin Lukasiewycz, Matthias Kauer, Samarjit Chakraborty
:
Optimal Dimensioning and Control of Active Cell Balancing Architectures. IEEE Trans. Veh. Technol. 68(10): 9632-9646 (2019) - 2017
- [j12]Shanker Shreejith
, Philipp Mundhenk, Andreas Ettner, Suhaib A. Fahmy
, Sebastian Steinhorst
, Martin Lukasiewycz, Samarjit Chakraborty
:
VEGa: A High Performance Vehicular Ethernet Gateway on Hybrid FPGA. IEEE Trans. Computers 66(10): 1790-1803 (2017) - [j11]Matthias Kauer
, Swaminathan Narayanaswamy, Sebastian Steinhorst
, Samarjit Chakraborty
:
Rapid Analysis of Active Cell Balancing Circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 36(4): 694-698 (2017) - [j10]Peter Waszecki
, Philipp Mundhenk, Sebastian Steinhorst
, Martin Lukasiewycz, Ramesh Karri
, Samarjit Chakraborty
:
Automotive Electrical and Electronic Architecture Security via Distributed In-Vehicle Traffic Monitoring. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 36(11): 1790-1803 (2017) - [j9]Philipp Mundhenk, Andrew Paverd
, Artur Mrowca, Sebastian Steinhorst
, Martin Lukasiewycz, Suhaib A. Fahmy, Samarjit Chakraborty
:
Security in Automotive Networks: Lightweight Authentication and Authorization. ACM Trans. Design Autom. Electr. Syst. 22(2): 25:1-25:27 (2017) - [j8]Swaminathan Narayanaswamy
, Matthias Kauer, Sebastian Steinhorst
, Martin Lukasiewycz, Samarjit Chakraborty
:
Modular Active Charge Balancing for Scalable Battery Packs. IEEE Trans. Very Large Scale Integr. Syst. 25(3): 974-987 (2017) - 2016
- [j7]Philipp Mundhenk, Artur Mrowca, Sebastian Steinhorst
, Martin Lukasiewycz, Suhaib A. Fahmy, Samarjit Chakraborty:
Open source model and simulator for real-time performance analysis of automotive network security. SIGBED Rev. 13(3): 8-13 (2016) - [j6]Florian Sagstetter, Peter Waszecki, Sebastian Steinhorst
, Martin Lukasiewycz, Samarjit Chakraborty
:
Multischedule Synthesis for Variant Management in Automotive Time-Triggered Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 35(4): 637-650 (2016) - [j5]Martin Lukasiewycz, Matthias Kauer, Sebastian Steinhorst
:
Synthesis of Active Cell Balancing Architectures for Battery Packs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 35(11): 1876-1889 (2016) - [j4]Martin Lukasiewycz, Philipp Mundhenk, Sebastian Steinhorst
:
Security-Aware Obfuscated Priority Assignment for Automotive CAN Platforms. ACM Trans. Design Autom. Electr. Syst. 21(2): 32:1-32:27 (2016) - [j3]Swaminathan Narayanaswamy, Steffen Schlüter, Sebastian Steinhorst
, Martin Lukasiewycz, Samarjit Chakraborty
, Harry Ernst Hoster
:
On Battery Recovery Effect in Wireless Sensor Nodes. ACM Trans. Design Autom. Electr. Syst. 21(4): 60:1-60:28 (2016) - [j2]Sebastian Steinhorst
, Matthias Kauer, Arne Meeuw, Swaminathan Narayanaswamy, Martin Lukasiewycz, Samarjit Chakraborty
:
Cyber-Physical Co-Simulation Framework for Smart Cells in Scalable Battery Packs. ACM Trans. Design Autom. Electr. Syst. 21(4): 62:1-62:26 (2016) - 2010
- [j1]Sebastian Steinhorst
, Lars Hedrich:
Advanced methods for equivalence checking of analog circuits with strong nonlinearities. Formal Methods Syst. Des. 36(2): 131-147 (2010)
Conference and Workshop Papers
- 2024
- [c101]Andrew Roberts, Mohammad Reza Heidari Iman, Mauro Bellone, Tara Ghasempouri, Jaan Raik, Olaf Maennel, Mohammad Hamad, Sebastian Steinhorst:
ADAssure: Debugging Methodology for Autonomous Driving Control Algorithms. DATE 2024: 1-6 - [c100]Ege Korkan
, Silvia Oliva Ramirez
, Sebastian Steinhorst
:
DyST: Dynamic Specification Mining for Heterogenous IoT Systems with WoT. ICWE 2024: 147-162 - [c99]Andreas Finkenzeller, Oliver Butowski, Emanuel Regnath, Mohammad Hamad, Sebastian Steinhorst:
PTPsec: Securing the Precision Time Protocol Against Time Delay Attacks Using Cyclic Path Asymmetry Analysis. INFOCOM 2024: 461-470 - [c98]Sherin Kalli Valappil, Lars Vogel, Mohammad Hamad, Sebastian Steinhorst:
Advanced IDPS Architecture for Connected and Autonomous Vehicles. IV 2024: 1779-1785 - [c97]Rubi Debnath, Philipp Hortig, Luxi Zhao, Sebastian Steinhorst:
Quantifying the Impact of Frame Preemption on Combined TSN Shapers. NOMS 2024: 1-9 - [c96]Clémentine Gritti, Emanuel Regnath, Sebastian Steinhorst:
MATRaCAE: Time-Based Revocable Access Control in the IoT. SECRYPT 2024: 274-285 - [c95]Anton Wahrstätter
, Jens Ernstberger
, Aviv Yaish
, Liyi Zhou
, Kaihua Qin
, Taro Tsuchiya
, Sebastian Steinhorst
, Davor Svetinovic
, Nicolas Christin
, Mikolaj Barczentewicz
, Arthur Gervais
:
Blockchain Censorship. WWW 2024: 1632-1643 - 2023
- [c94]Fady Salama
, Anatolii Tsirkunenko, Ege Korkan, Sebastian Käbisch, Sebastian Steinhorst
:
WoT-Phyng-Sim: Integrating Physics Simulations with IoT Digital Twins using the Web of Things. COINS 2023: 1-8 - [c93]Saad Bin Shams, Emanuel Regnath, Andreas Bogner, Sebastian Steinhorst
:
Trusted Single-Source Sensors using SNARKs. COINS 2023: 1-8 - [c92]Julian Demicoli, Laurin Prenzel, Sebastian Steinhorst:
Autonomous Hyperloop Control Architecture Design using MAPE-K. DATE 2023: 1-6 - [c91]Jens Ernstberger, Jan Lauinger, Fatima Elsheimy, Liyi Zhou, Sebastian Steinhorst
, Ran Canetti, Andrew Miller, Arthur Gervais, Dawn Song:
SoK: Data Sovereignty. EuroS&P 2023: 122-143 - [c90]Jan Lauinger, Jens Ernstberger, Sebastian Steinhorst
:
Anonymous Domain Ownership. ICBC 2023: 1-3 - [c89]Marco Liess, Julian Demicoli, Tobias Tiedje, Matthias Lohrmann, Matthias Nickel, M. Luniak, Dimitrios A. Prousalis
, Thomas Wild, Ronald Tetzlaff
, Diana Göhringer, Christian Mayr, Karlheinz Bock, Sebastian Steinhorst, Andreas Herkersdorf:
X-MAPE: Extending 6G-Connected Self-Adaptive Systems with Reflexive Actions. NFV-SDN 2023: 163-167 - [c88]Borna Blazevic, Michael Peter, Mohammad Hamad
, Sebastian Steinhorst
:
TEEVseL4: Trusted Execution Environment for Virtualized seL4-Based Systems. RTCSA 2023: 67-76 - [c87]Rubi Debnath, Philipp Hortig, Luxi Zhao, Sebastian Steinhorst
:
Advanced Modeling and Analysis of Individual and Combined TSN Shapers in OMNeT++. RTCSA 2023: 176-185 - [c86]Hiroshi Yamada, Ting He, Hiroyuki Tomiyama, Nan Guan, Sebastian Steinhorst:
Message from the Chairs: RTCSA 2023. RTCSA 2023: xi - [c85]Rubi Debnath, Mustafa Selman Akinci, Devika Ajith, Sebastian Steinhorst
:
5GTQ: QoS-Aware 5G-TSN Simulation Framework. VTC Fall 2023: 1-7 - [c84]Andreas Finkenzeller, Anshu Mathur, Jan Lauinger, Mohammad Hamad
, Sebastian Steinhorst:
Simutack - An Attack Simulation Framework for Connected and Autonomous Vehicles. VTC2023-Spring 2023: 1-7 - [c83]Fady Salama
, Zucheng Han, Ege Korkan, Sebastian Käbisch, Sebastian Steinhorst:
RobWoT: Generating Real-Time Digital Twin Simulations for the Robotic Web of Things. WF-IoT 2023: 1-7 - 2022
- [c82]Jan Lauinger, Andreas Finkenzeller, Henrik Lautebach, Mohammad Hamad
, Sebastian Steinhorst:
Attack Data Generation Framework for Autonomous Vehicle Sensors. DATE 2022: 128-131 - [c81]Diogenes Javier Perez, Josef Waltl, Laurin Prenzel, Sebastian Steinhorst
:
How Real (Time) Are Virtual PLCs? ETFA 2022: 1-8 - [c80]Laurin Prenzel, Sebastian Steinhorst
:
Towards Resilience by Self-Adaptation of Industrial Control Systems. ETFA 2022: 1-8 - [c79]Bianca Wiesmayr
, Alois Zoitl, Laurin Prenzel, Sebastian Steinhorst
:
Supporting a Model-driven Development Process for Distributed Control Software. ETFA 2022: 1-8 - [c78]Wenxuan Ye, Xueli An, Xueqiang Yan, Mohammad Hamad
, Sebastian Steinhorst
:
FLaaS6G: Federated Learning as a Service in 6G Using Distributed Data Management Architecture. GLOBECOM 2022: 1247-1252 - [c77]Andreas Finkenzeller, Thomas Wakim, Mohammad Hamad
, Sebastian Steinhorst:
Feasible Time Delay Attacks Against the Precision Time Protocol. GLOBECOM 2022: 3375-3380 - [c76]Laurin Prenzel, Simon Hofmann, Sebastian Steinhorst
:
Real-time Dynamic Reconfiguration for IEC 61499. ICPS 2022: 1-6 - [c75]Laurin Prenzel, Simon Hofmann, Sebastian Steinhorst
:
Rollback Sequences for Dynamic Reconfiguration of IEC 61499. INDIN 2022: 81-86 - [c74]Jan Lauinger, Mohammad Hamad
, Sebastian Steinhorst:
Toward a Multi-Layer Intrusion Response System for Connected Vehicles. VTC Fall 2022: 1-2 - 2021
- [c73]Ege Korkan
, Miguel Romero Karam, Sebastian Kaebisch, Sebastian Steinhorst
:
Runtime Deployment, Management and Monitoring of Web of Things Systems. COINS 2021: 1-6 - [c72]Emanuel Regnath
, Markus Birkner, Sebastian Steinhorst
:
CISCAV: Consensus-based Intersection Scheduling for Connected Autonomous Vehicles. COINS 2021: 1-7 - [c71]Fady Salama
, Ege Korkan, Sebastian Käbisch, Sebastian Steinhorst
:
Towards a behavioral description of cyber-physical systems using the thing description. DAI-SNAC@CoNEXT 2021: 6-9 - [c70]Mohammad Hamad
, Emanuel Regnath, Jan Lauinger, Vassilis Prevelakis, Sebastian Steinhorst
:
SPPS: Secure Policy-based Publish/Subscribe System for V2C Communication. DATE 2021: 529-534 - [c69]Philipp Weiss, Sherif Elsabbahy, Andreas Weichslgartner, Sebastian Steinhorst
:
Worst-Case Failover Timing Analysis of Distributed Fail-Operational Automotive Applications. DATE 2021: 1294-1299 - [c68]Laurin Prenzel, Sebastian Steinhorst
:
Decentralized Autonomous Architecture for Resilient Cyber-Physical Production Systems. DATE 2021: 1300-1303 - [c67]Thinh Hung Pham, Shanker Shreejith
, Sebastian Steinhorst, Suhaib A. Fahmy, Samarjit Chakraborty
:
Heterogeneous Communication Virtualization for Distributed Embedded Applications. DSD 2021: 251-258 - [c66]Philipp Weiss, Emil Daporta, Andreas Weichslgartner, Sebastian Steinhorst
:
Checkpointing Period Optimization of Distributed Fail-Operational Automotive Applications. DSD 2021: 389-395 - [c65]Laurin Prenzel, Sebastian Steinhorst
:
Automated Dependency Resolution for Dynamic Reconfiguration of IEC 61499. ETFA 2021: 1-8 - [c64]Jan Lauinger, Jens Ernstberger, Emanuel Regnath, Mohammad Hamad
, Sebastian Steinhorst
:
A-PoA: Anonymous Proof of Authorization for Decentralized Identity Management. IEEE ICBC 2021: 1-9 - [c63]Christoph Summerer, Emanuel Regnath, Hans Ehm, Sebastian Steinhorst
:
Human-based Consensus for Trust Installation in Ontologies. IEEE ICBC 2021: 1-3 - [c62]Ege Korkan
, Fady Salama
, Sebastian Kaebisch
, Sebastian Steinhorst
:
A-MaGe: Atomic Mashup Generator for the Web of Things. ICWE 2021: 320-327 - [c61]Nitin Shivaraman, Patrick Schuster, Saravanan Ramanathan
, Arvind Easwaran, Sebastian Steinhorst
:
Cluster-Based Network Time Synchronization for Resilience with Energy Efficiency. RTSS 2021: 149-161 - [c60]Nitin Shivaraman, Jakob Fittler, Saravanan Ramanathan
, Arvind Easwaran, Sebastian Steinhorst
:
A novel load distribution strategy for aggregators using IoT-enabled mobile devices. SmartGridComm 2021: 301-307 - 2020
- [c59]Philippos Barabas, Emanuel Regnath, Sebastian Steinhorst
:
COLAW: Cooperative Location Proof Architecture for VANETs based on Witnessing. COINS 2020: 1-8 - [c58]Adrian Kast, Ege Korkan
, Sebastian Käbisch, Sebastian Steinhorst
:
Web of Things System Description for Representation of Mashups. COINS 2020: 1-8 - [c57]Alexander Lamprecht, Moritz Riesterer, Sebastian Steinhorst
:
Random Forest Regression of Charge Balancing Data: A State of Health Estimation Method for Electric Vehicle Batteries. COINS 2020: 1-6 - [c56]Emanuel Regnath, Nitin Shivaraman, Shanker Shreejith
, Arvind Easwaran, Sebastian Steinhorst
:
Blockchain, what time is it? Trustless Datetime Synchronization for IoT. COINS 2020: 1-6 - [c55]Philipp Weiss, Sebastian Nagel, Andreas Weichslgartner, Sebastian Steinhorst
:
Adaptable Demonstrator Platform for the Simulation of Distributed Agent-Based Automotive Systems. ASD@DATE 2020: 3:1-3:6 - [c54]Nitin Shivaraman, Seima Saki, Zhiwei Liu, Saravanan Ramanathan
, Arvind Easwaran
, Sebastian Steinhorst
:
Real-Time Energy Monitoring in IoT-enabled Mobile Devices. DATE 2020: 991-994 - [c53]Philipp Weiss, Andreas Weichslgartner, Felix Reimann, Sebastian Steinhorst
:
Fail-Operational Automotive Software Design Using Agent-Based Graceful Degradation. DATE 2020: 1169-1174 - [c52]Emanuel Regnath
, Sebastian Steinhorst
:
AMSA: Adaptive Merkle Signature Architecture. DATE 2020: 1532-1537 - [c51]Philipp Weber, Philipp Weiss, Dominik Reinhardt, Sebastian Steinhorst
:
Energy-Optimized Elastic Application Distribution for Automotive Systems in Hybrid Cloud Architectures. DSD 2020: 455-462 - [c50]Anastasia Theodouli, Konstantinos Moschou, Konstantinos Votis, Dimitrios Tzovaras, Jan Lauinger, Sebastian Steinhorst:
Towards a Blockchain-based Identity and Trust Management Framework for the IoV Ecosystem. GIoTS 2020: 1-6 - [c49]Nitin Shivaraman, Saravanan Ramanathan
, Shanker Shreejith
, Arvind Easwaran, Sebastian Steinhorst
:
DeCoRIC: Decentralized Connected Resilient IoT Clustering. ICCCN 2020: 1-10 - [c48]Nitin Shivaraman, Jakob Fittler, Saravanan Ramanathan
, Arvind Easwaran
, Sebastian Steinhorst
:
WiP Abstract: Mobility-based Load Balancing for IoT-enabled Devices in Smart Grids. ICCPS 2020: 192-193 - [c47]Verena Eileen Schlott
, Ege Korkan
, Sebastian Käbisch
, Sebastian Steinhorst
:
W-ADE: Timing Performance Benchmarking in Web of Things. ICWE 2020: 70-86 - [c46]Nitin Shivaraman, Patrick Schuster, Saravanan Ramanathan
, Arvind Easwaran
, Sebastian Steinhorst
:
Poster Abstract: C-Sync: The Resilient Time Synchronization Protocol. IPSN 2020: 333-334 - [c45]Ege Korkan
, Emanuel Regnath, Sebastian Käbisch, Sebastian Steinhorst
:
No-Code Shadow Things Deployment for the IoT. WF-IoT 2020: 1-6 - 2019
- [c44]Artur Mrowca, Martin Nocker
, Sebastian Steinhorst
, Stephan Günnemann:
Learning Temporal Specifications from Imperfect Traces Using Bayesian Inference. DAC 2019: 96 - [c43]Emanuel Regnath, Sebastian Steinhorst
:
CUBA: Chained Unanimous Byzantine Agreement for Decentralized Platoon Management. DATE 2019: 426-431 - [c42]Alexander Lamprecht
, Martin Baumann, Tobias Massier
, Sebastian Steinhorst
:
Decentralized Non-Neighbor Active Charge Balancing in Large Battery Packs. DATE 2019: 432-437 - [c41]Alma Pröbstl, Sangyoung Park, Sebastian Steinhorst
, Samarjit Chakraborty
:
Cost/Privacy Co-optimization in Smart Energy Grids. DATE 2019: 872-877 - [c40]Alexander Lamprecht
, Ananth Garikapati, Swaminathan Narayanaswamy, Sebastian Steinhorst
:
Enhancing Battery Pack Capacity Utilization in Electric Vehicle Fleets via SoC-Preconditioning. DSD 2019: 359-364 - 2018
- [c39]Selma Saidi, Sebastian Steinhorst
, Arne Hamann, Dirk Ziegenbein, Marko Wolf
:
Future automotive systems design: research challenges and opportunities: special session. CODES+ISSS 2018: 2 - [c38]Artur Mrowca, Thomas Pramsohler, Sebastian Steinhorst
, Uwe Baumgarten:
Automated interpretation and reduction of in-vehicle network traces at a large scale. DAC 2018: 102:1-102:6 - [c37]Alma Pröbstl, Sangyoung Park, Swaminathan Narayanaswamy, Sebastian Steinhorst
, Samarjit Chakraborty
:
SOH-aware active cell balancing strategy for high power battery packs. DATE 2018: 431-436 - [c36]Alexander Lamprecht
, Swaminathan Narayanaswamy, Sebastian Steinhorst
:
Improving fast charging efficiency of reconfigurable battery packs. DATE 2018: 585-588 - [c35]Ege Korkan
, Sebastian Käbisch, Matthias Kovatsch, Sebastian Steinhorst
:
Sequential Behavioral Modeling for Scalable IoT Devices and Systems. FDL 2018: 5-16 - [c34]Emanuel Regnath
, Sebastian Steinhorst
:
SmaCoNat: Smart Contracts in Natural Language. FDL 2018: 5-16 - [c33]Swaminathan Narayanaswamy, Sangyoung Park, Sebastian Steinhorst
, Samarjit Chakraborty
:
Design automation for battery systems. ICCAD 2018: 27 - [c32]Emanuel Regnath
, Sebastian Steinhorst
:
LeapChain: efficient blockchain verification for embedded IoT. ICCAD 2018: 74 - [c31]Swaminathan Narayanaswamy, Sangyoung Park, Sebastian Steinhorst
, Samarjit Chakraborty
:
Multi-Pattern Active Cell Balancing Architecture and Equalization Strategy for Battery Packs. ISLPED 2018: 43:1-43:6 - 2017
- [c30]Nitin Shivaraman, Arvind Easwaran
, Sebastian Steinhorst
:
Efficient decentralized active balancing strategy for smart battery cells. DATE 2017: 1522-1527 - 2016
- [c29]Sebastian Steinhorst
, Zili Shao
, Samarjit Chakraborty
, Matthias Kauer, Shuai Li, Martin Lukasiewycz, Swaminathan Narayanaswamy, Muhammad Usman Rafique, Qixin Wang
:
Distributed reconfigurable Battery System Management Architectures. ASP-DAC 2016: 429-434 - [c28]Andreas Furtig, Sebastian Steinhorst
, Lars Hedrich:
Feature based state space coverage of analog circuits. FDL 2016: 1-7 - [c27]Sebastian Steinhorst
, Martin Lukasiewycz:
Formal approaches to design of active cell balancing architectures in battery management systems. ICCAD 2016: 86 - [c26]Sebastian Steinhorst
:
Design and verification methodologies for Smart Battery Cells. ISIC 2016: 1-4 - 2015
- [c25]Matthias Kauer, Swaminathan Narayanaswamy, Sebastian Steinhorst
, Martin Lukasiewycz, Samarjit Chakraborty
:
Many-to-many active cell balancing strategy design. ASP-DAC 2015: 267-272 - [c24]Philipp Mundhenk, Sebastian Steinhorst
, Martin Lukasiewycz, Suhaib A. Fahmy
, Samarjit Chakraborty
:
Security analysis of automotive architectures using probabilistic model checking. DAC 2015: 38:1-38:6 - [c23]Martin Lukasiewycz, Florian Sagstetter, Sebastian Steinhorst
:
Efficient design space exploration of embedded platforms. DAC 2015: 127:1-127:6 - [c22]Matthias Kauer, Swaminathan Narayanaswamy, Martin Lukasiewycz, Sebastian Steinhorst, Samarjit Chakraborty:
Inductor optimization for active cell balancing using geometric programming. DATE 2015: 281-284 - [c21]Philipp Mundhenk, Sebastian Steinhorst, Martin Lukasiewycz, Suhaib A. Fahmy, Samarjit Chakraborty:
Lightweight authentication for secure automotive networks. DATE 2015: 285-288 - [c20]Sebastian Steinhorst, Martin Lukasiewycz:
Topology identification for smart cells in modular batteries. DATE 2015: 1249-1252 - 2014
- [c19]Matthias Kauer, Sebastian Steinhorst
, Reinhard Schneider, Martin Lukasiewycz, Samarjit Chakraborty
:
Automata-theoretic modeling of fixed-priority non-preemptive scheduling for formal timing verification. ASP-DAC 2014: 812-817 - [c18]Philipp Mundhenk, Florian Sagstetter, Sebastian Steinhorst
, Martin Lukasiewycz, Samarjit Chakraborty
:
Policy-based message scheduling using FlexRay. CODES+ISSS 2014: 19:1-19:10 - [c17]Martin Lukasiewycz, Sebastian Steinhorst
, Swaminathan Narayanaswamy:
Verification of balancing architectures for modular batteries. CODES+ISSS 2014: 30:1-30:10 - [c16]Sebastian Steinhorst
, Martin Lukasiewycz, Swaminathan Narayanaswamy, Matthias Kauer, Samarjit Chakraborty
:
Smart Cells for Embedded Battery Management. CPSNA 2014: 59-64 - [c15]Swaminathan Narayanaswamy, Sebastian Steinhorst
, Martin Lukasiewycz, Matthias Kauer, Samarjit Chakraborty:
Optimal dimensioning of active cell balancing architectures. DATE 2014: 1-6 - 2013
- [c14]Matthias Kauer, Sebastian Steinhorst
, Dip Goswami, Reinhard Schneider, Martin Lukasiewycz, Samarjit Chakraborty
:
Formal verification of distributed controllers using Time-Stamped Event Count Automata. ASP-DAC 2013: 411-416 - [c13]Wanli Chang, Martin Lukasiewycz, Sebastian Steinhorst
, Samarjit Chakraborty
:
Dimensioning and configuration of EES systems for electric vehicles with boundary-conditioned adaptive scalarization. CODES+ISSS 2013: 26:1-26:10 - [c12]Martin Lukasiewycz, Sebastian Steinhorst
, Sidharta Andalam, Florian Sagstetter, Peter Waszecki, Wanli Chang, Matthias Kauer, Philipp Mundhenk, Shanker Shreejith
, Suhaib A. Fahmy
, Samarjit Chakraborty
:
System architecture and software design for electric vehicles. DAC 2013: 95:1-95:6 - [c11]Dip Goswami, Martin Lukasiewycz, Matthias Kauer, Sebastian Steinhorst
, Alejandro Masrur, Samarjit Chakraborty
, S. Ramesh:
Model-based development and verification of control software for electric vehicles. DAC 2013: 96:1-96:9 - [c10]Matthias Kauer, Swaminathan Naranayaswami, Sebastian Steinhorst
, Martin Lukasiewycz, Samarjit Chakraborty
, Lars Hedrich:
Modular system-level architecture for concurrent cell balancing. DAC 2013: 155:1-155:10 - [c9]Florian Sagstetter, Martin Lukasiewycz, Sebastian Steinhorst
, Marko Wolf
, Alexandre Bouard, William R. Harris, Somesh Jha, Thomas Peyrin, Axel Poschmann, Samarjit Chakraborty:
Security challenges in automotive hardware/software architecture design. DATE 2013: 458-463 - [c8]Martin Lukasiewycz, Sebastian Steinhorst
, Samarjit Chakraborty:
Priority assignment for event-triggered systems using mathematical programming. DATE 2013: 982-987 - 2012
- [c7]Martin Lukasiewycz, Sebastian Steinhorst
, Florian Sagstetter, Wanli Chang, Peter Waszecki, Matthias Kauer, Samarjit Chakraborty
:
Cyber-Physical Systems Design for Electric Vehicles. DSD 2012: 477-484 - [c6]Sebastian Steinhorst, Lars Hedrich:
Analog assertion-based verification on partial state space representations using ASL. FDL 2012: 98-104 - [c5]Sebastian Steinhorst
, Lars Hedrich:
Trajectory-Directed discrete state space modeling for formal verification of nonlinear analog circuits. ICCAD 2012: 202-209 - [c4]Sebastian Steinhorst
, Lars Hedrich:
Equivalence checking of nonlinear analog circuits for hierarchical AMS System Verification. VLSI-SoC 2012: 135-140 - 2010
- [c3]Sebastian Steinhorst
, Lars Hedrich:
Improving verification coverage of analog circuit blocks by state space-guided transient simulation. ISCAS 2010: 645-648 - 2009
- [c2]Erich Barke, Darius Grabowski, Helmut Graeb, Lars Hedrich, Stefan Heinen, Ralf Popp, Sebastian Steinhorst, Yifan Wang:
Formal approaches to analog circuit verification. DATE 2009: 724-729 - 2008
- [c1]Sebastian Steinhorst
, Lars Hedrich:
Model Checking of Analog Systems using an Analog Specification Language. DATE 2008: 324-329
Editorship
- 2020
- [e2]Sebastian Steinhorst
, Jyotirmoy V. Deshmukh:
2nd International Workshop on Autonomous Systems Design, ASD 2020, March 13, 2020, Grenoble, France (Virtual Conference). OASIcs 79, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-141-2 [contents] - 2018
- [e1]Hiren D. Patel, Tom J. Kazmierski, Sebastian Steinhorst:
2018 Forum on Specification & Design Languages, FDL 2018, Garching, Germany, September 10-12, 2018. IEEE 2018, ISBN 978-1-5386-6418-6 [contents]
Informal and Other Publications
- 2024
- [i21]Mohammad Hamad, Andreas Finkenzeller, Michael Kühr, Andrew Roberts, Olaf Maennel, Vassilis Prevelakis, Sebastian Steinhorst:
REACT: Autonomous Intrusion Response System for Intelligent Vehicles. CoRR abs/2401.04792 (2024) - [i20]Andreas Finkenzeller, Oliver Butowski, Emanuel Regnath, Mohammad Hamad, Sebastian Steinhorst:
PTPsec: Securing the Precision Time Protocol Against Time Delay Attacks Using Cyclic Path Asymmetry Analysis. CoRR abs/2401.10664 (2024) - [i19]Rubi Debnath, Philipp Hortig, Luxi Zhao, Sebastian Steinhorst:
Quantifying the Impact of Frame Preemption on Combined TSN Shapers. CoRR abs/2401.13631 (2024) - [i18]Jens Ernstberger, Chengru Zhang, Luca Ciprian, Philipp Jovanovic, Sebastian Steinhorst:
Zero-Knowledge Location Privacy via Accurate Floating Point SNARKs. CoRR abs/2404.14983 (2024) - [i17]Jens Ernstberger, Jan Lauinger, Yinnan Wu, Arthur Gervais, Sebastian Steinhorst:
ORIGO: Proving Provenance of Sensitive Data with Constant Communication. IACR Cryptol. ePrint Arch. 2024: 447 (2024) - 2023
- [i16]Philipp Weiss, Ali Younessi, Sebastian Steinhorst:
Reliability Analysis of Gracefully Degrading Automotive Systems. CoRR abs/2305.07401 (2023) - [i15]Anton Wahrstätter
, Jens Ernstberger, Aviv Yaish, Liyi Zhou, Kaihua Qin, Taro Tsuchiya, Sebastian Steinhorst, Davor Svetinovic, Nicolas Christin
, Mikolaj Barczentewicz, Arthur Gervais:
Blockchain Censorship. CoRR abs/2305.18545 (2023) - [i14]Mohammad Hamad, Sebastian Steinhorst:
Security Challenges in Autonomous Systems Design. CoRR abs/2312.00018 (2023) - [i13]Jens Ernstberger, Jan Lauinger, Fatima Elsheimy, Liyi Zhou, Sebastian Steinhorst, Ran Canetti, Andrew Miller, Arthur Gervais, Dawn Song:
SoK: Data Sovereignty. IACR Cryptol. ePrint Arch. 2023: 967 (2023) - [i12]Jan Lauinger, Jens Ernstberger, Andreas Finkenzeller, Sebastian Steinhorst:
Janus: Fast Privacy-Preserving Data Provenance For TLS 1.3. IACR Cryptol. ePrint Arch. 2023: 1377 (2023) - [i11]Jens Ernstberger, Stefanos Chaliasos, George Kadianakis, Sebastian Steinhorst, Philipp Jovanovic, Arthur Gervais, Benjamin Livshits, Michele Orrù:
zk-Bench: A Toolset for Comparative Evaluation and Performance Benchmarking of SNARKs. IACR Cryptol. ePrint Arch. 2023: 1503 (2023) - 2021
- [i10]Jan Lauinger, Mudassar Aslam, Mohammad Hamad, Shahid Raza, Sebastian Steinhorst:
Quantitative System-Level Security Verification of the IoV Infrastructure. CoRR abs/2101.06137 (2021) - [i9]Luxi Zhao, Paul Pop, Sebastian Steinhorst:
Quantitative Performance Comparison of Various Traffic Shapers in Time-Sensitive Networking. CoRR abs/2103.13424 (2021) - [i8]Clémentine Gritti, Emanuel Regnath, Sebastian Steinhorst:
Practical and Scalable Access Control Mechanism for the Internet of Things. IACR Cryptol. ePrint Arch. 2021: 140 (2021) - 2020
- [i7]Nitin Shivaraman, Saravanan Ramanathan, Shanker Shreejith, Arvind Easwaran, Sebastian Steinhorst:
DeCoRIC: Decentralized Connected Resilient IoT Clustering. CoRR abs/2004.14072 (2020) - [i6]Saravanan Ramanathan, Nitin Shivaraman, Seima Suryasekaran, Arvind Easwaran, Etienne Borde, Sebastian Steinhorst:
A Survey on Time-Sensitive Resource Allocation in the Cloud Continuum. CoRR abs/2004.14559 (2020) - [i5]Nitin Shivaraman, Seima Saki, Zhiwei Liu, Saravanan Ramanathan, Arvind Easwaran, Sebastian Steinhorst:
Real-Time Energy Monitoring in IoT-enabled Mobile Devices. CoRR abs/2004.14804 (2020) - 2019
- [i4]Ege Korkan, Hassib Belhaj Hassine, Verena Eileen Schlott
, Sebastian Käbisch, Sebastian Steinhorst:
WoTify: A platform to bring Web of Things to your devices. CoRR abs/1909.03296 (2019) - [i3]Hassib Belhaj Hassine, Ege Korkan, Sebastian Steinhorst:
Virtual-Thing: Thing Description based Virtualization. CoRR abs/1909.03297 (2019) - [i2]Dirk Ziegenbein, Selma Saidi, Xiaobo Sharon Hu, Sebastian Steinhorst:
Future Automotive HW/SW Platform Design (Dagstuhl Seminar 19502). Dagstuhl Reports 9(12): 28-66 (2019) - 2017
- [i1]Philipp Mundhenk, Andrew Paverd, Artur Mrowca, Sebastian Steinhorst, Martin Lukasiewycz, Suhaib A. Fahmy, Samarjit Chakraborty:
Security in Automotive Networks: Lightweight Authentication and Authorization. CoRR abs/1703.03652 (2017)
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-09 01:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint