Sebastian Steinhorst
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
92
Venues
28
Active years
2008–2026
Best venue rank
A*
Where they publish
- ADATE28 papers
- BVTC7 papers
- A*DAC7 papers
- CDSD6 papers
- CFDL5 papers
- BICWE5 papers
- CETFA4 papers
- AICCAD4 papers
- BASPDAC4 papers
- BRTCSA3 papers
- BGLOBECOM2 papers
- AAsiaCCS1 paper
- MulticonferenceSAC1 paper
- BECRTS1 paper
- A*SP1 paper
- ASEAMS1 paper
- A*INFOCOM1 paper
- AMODELS1 paper
- BNOMS1 paper
- A*WWW1 paper
- NationalSCN1 paper
- CSECRYPT1 paper
- CINDIN1 paper
- ACoNEXT1 paper
- ARTSS1 paper
- BICCCN1 paper
- AISLPED1 paper
- CISCAS1 paper
Papers
92 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AsiaCCS | SoK: Security of the Image Processing Pipeline for Camera-based Sensing in Autonomous Vehicles. | Michael Khr, Mohammad Hamad, Pedram MohajerAnsari, Mert D. Pes, Sebastian Steinhorst |
| 2026 | SAC | CIAK-CP: Camera feed Injection AttacK in Collaborative Perception. | Marco Calipari, Fabian Schmidt, Mohammad Hamad, Sebastian Steinhorst |
| 2025 | DATE | Designing Resilient Autonomous Systems with the Reflex Pattern. | Julian Demicoli, Sebastian Steinhorst |
| 2025 | DATE | Multi-Partner Project: CyberSecDome - Framework for Secure, Collaborative, and Privacy-Aware Incident Handling for Digital Infrastructure. | Mohammad Hamad, Michael Khr, Haralambos Mouratidis, Eleni-Maria Kalogeraki, Christos A. Gizelis, Dimitrios Papanikas, Athanasios Bountioukos-Spinaris, Charilaos Skandylas, Evangelos Raptis, Andreas Alexopoulos, Grigorios Chrysos, Mina Marmpena, Sevasti Politi, Konstantinos Lieros, Nikolaos Papagiannopoulos, Iordanis Xanthopoulos, Spyros Papastergiou, Sotiris Ioannidis, Mikael Asplund, Marc-Oliver Pahl, Sebastian Steinhorst |
| 2025 | DATE | Cybersecurity Challenges of Autonomous Systems. | Mohammad Hamad, Christian Prehofer, Mikael Asplund, Tobias Lhr, Lucas Bublitz, Alexander Zeh, Mridula Singh, Sebastian Steinhorst |
| 2025 | DATE | Designing Secure Space Systems. | Zain Alabedin Haj Hammadeh, Mohammad Hamad, Andrzej Olchawa, Milenko Starcik, Ricardo Fradique, Stefan Langhammer, Manuel Hoffmann, Florian Ghler, Daniel Ldtke, Michael Felderer, Sebastian Steinhorst |
| 2025 | DSD | Cati - An Open-Source Framework to Evaluate Attacks on Cameras for Autonomous Vehicles. | Michael Khr, Maximilian Mittmann, Mohammad Hamad, Sebastian Steinhorst |
| 2025 | ECRTS | Sensor Fusion Desynchronization Attacks. | Andreas Finkenzeller, Andrew Roberts, Mauro Bellone, Olaf Maennel, Mohammad Hamad, Sebastian Steinhorst |
| 2025 | FDL | Flexpoch: Feature-rich 64-bit DateTime Encoding. | Emanuel Regnath, Andreas Finkenzeller, Sebastian Steinhorst |
| 2025 | ICWE | Interoperable Cyber-Physical Multi-Agent Systems Through Web of Things. | Roman Binkert, Fady Salama, Ege Korkan, Sebastian Kbisch, Sebastian Steinhorst |
| 2025 | ICWE | LLM-MaGe: A Generative Mashup Planner for the Web of Things. | Fady Salama, Franz J. Ennemoser, Roman Binkert, Ege Korkan, Sebastian Kbisch, Sebastian Steinhorst |
| 2025 | VTC | ADSecLang: a Domain-Specific Language for Cybersecurity Testing of Autonomous Vehicles. | Andrew Roberts, Jingyue Cheng, Olaf Maennel, Mohammad Hamad, Sebastian Steinhorst |
| 2025 | VTC | Adsecdata Platform: An Open-Source Data Platform for Autonomous Driving Cybersecurity. | Andrew Roberts, Mohsen Malayjerdi, Mauro Bellone, Raivo Sell, Olaf Maennel, Mohammad Hamad, Sebastian Steinhorst |
| 2025 | SP | Zero-Knowledge Location Privacy via Accurate Floating-Point SNARKs. | Jens Ernstberger, Chengru Zhang, Luca Ciprian, Philipp Jovanovic, Sebastian Steinhorst |
| 2025 | SEAMS | Analysis of Autonomous Driving Software to Low-Level Sensor Cyber Attacks. | Andrew Roberts, Mohsen Malayjerdi, Mauro Bellone, Raivo Sell, Olaf Maennel, Mohammad Hamad, Sebastian Steinhorst |
| 2024 | DATE | ADAssure: Debugging Methodology for Autonomous Driving Control Algorithms. | Andrew Roberts, Mohammad Reza Heidari Iman, Mauro Bellone, Tara Ghasempouri, Jaan Raik, Olaf Maennel, Mohammad Hamad, Sebastian Steinhorst |
| 2024 | INFOCOM | PTPsec: Securing the Precision Time Protocol Against Time Delay Attacks Using Cyclic Path Asymmetry Analysis. | Andreas Finkenzeller, Oliver Butowski, Emanuel Regnath, Mohammad Hamad, Sebastian Steinhorst |
| 2024 | ICWE | DyST: Dynamic Specification Mining for Heterogenous IoT Systems with WoT. | Ege Korkan, Silvia Oliva Ramirez, Sebastian Steinhorst |
| 2024 | MODELS | HoloWoT: A First Step Towards Mixed Reality Digital Twins for the Industrial Internet of Things. | Fady Salama, Idil Sezgin, Ege Korkan, Sebastian Kbisch, Sebastian Steinhorst |
| 2024 | NOMS | Quantifying the Impact of Frame Preemption on Combined TSN Shapers. | Rubi Debnath, Philipp Hortig, Luxi Zhao, Sebastian Steinhorst |
| 2024 | VTC | Autonomous Vehicular Systems: Architectural Strategies for Adaptive Multi-Objective Configuration. | Julian Demicoli, Nicolai Palm, Herbert Palm, Oliver Kleikemper, Sebastian Steinhorst |
| 2024 | VTC | Adaptability-Driven Multi-Objective Hardware Optimization for Vehicular Systems. | Julian Demicoli, Sebastian Steinhorst |
| 2024 | WWW | Blockchain Censorship. | Anton Wahrsttter, Jens Ernstberger, Aviv Yaish, Liyi Zhou, Kaihua Qin, Taro Tsuchiya, Sebastian Steinhorst, Davor Svetinovic, Nicolas Christin, Mikolaj Barczentewicz, Arthur Gervais |
| 2024 | SCN | zk-Bench: A Toolset for Comparative Evaluation and Performance Benchmarking of SNARKs. | Jens Ernstberger, Stefanos Chaliasos, George Kadianakis, Sebastian Steinhorst, Philipp Jovanovic, Arthur Gervais, Benjamin Livshits, Michele Orr |
| 2024 | SECRYPT | MATRaCAE: Time-Based Revocable Access Control in the IoT. | Clmentine Gritti, Emanuel Regnath, Sebastian Steinhorst |
| 2023 | DATE | Autonomous Hyperloop Control Architecture Design using MAPE-K. | Julian Demicoli, Laurin Prenzel, Sebastian Steinhorst |
| 2023 | VTC | 5GTQ: QoS-Aware 5G-TSN Simulation Framework. | Rubi Debnath, Mustafa Selman Akinci, Devika Ajith, Sebastian Steinhorst |
| 2023 | VTC | Simutack - An Attack Simulation Framework for Connected and Autonomous Vehicles. | Andreas Finkenzeller, Anshu Mathur, Jan Lauinger, Mohammad Hamad, Sebastian Steinhorst |
| 2023 | RTCSA | TEEVseL4: Trusted Execution Environment for Virtualized seL4-Based Systems. | Borna Blazevic, Michael Peter, Mohammad Hamad, Sebastian Steinhorst |
| 2023 | RTCSA | Advanced Modeling and Analysis of Individual and Combined TSN Shapers in OMNeT++. | Rubi Debnath, Philipp Hortig, Luxi Zhao, Sebastian Steinhorst |
| 2023 | RTCSA | Message from the Chairs: RTCSA 2023. | Hiroshi Yamada, Ting He, Hiroyuki Tomiyama, Nan Guan, Sebastian Steinhorst |
| 2022 | DATE | Attack Data Generation Framework for Autonomous Vehicle Sensors. | Jan Lauinger, Andreas Finkenzeller, Henrik Lautebach, Mohammad Hamad, Sebastian Steinhorst |
| 2022 | ETFA | How Real (Time) Are Virtual PLCs? | Diogenes Javier Perez, Josef Waltl, Laurin Prenzel, Sebastian Steinhorst |
| 2022 | ETFA | Towards Resilience by Self-Adaptation of Industrial Control Systems. | Laurin Prenzel, Sebastian Steinhorst |
| 2022 | ETFA | Supporting a Model-driven Development Process for Distributed Control Software. | Bianca Wiesmayr, Alois Zoitl, Laurin Prenzel, Sebastian Steinhorst |
| 2022 | GLOBECOM | Feasible Time Delay Attacks Against the Precision Time Protocol. | Andreas Finkenzeller, Thomas Wakim, Mohammad Hamad, Sebastian Steinhorst |
| 2022 | GLOBECOM | FLaaS6G: Federated Learning as a Service in 6G Using Distributed Data Management Architecture. | Wenxuan Ye, Xueli An, Xueqiang Yan, Mohammad Hamad, Sebastian Steinhorst |
| 2022 | INDIN | Rollback Sequences for Dynamic Reconfiguration of IEC 61499. | Laurin Prenzel, Simon Hofmann, Sebastian Steinhorst |
| 2022 | VTC | Toward a Multi-Layer Intrusion Response System for Connected Vehicles. | Jan Lauinger, Mohammad Hamad, Sebastian Steinhorst |
| 2021 | CoNEXT | Towards a behavioral description of cyber-physical systems using the thing description. | Fady Salama, Ege Korkan, Sebastian Kbisch, Sebastian Steinhorst |
| 2021 | DATE | SPPS: Secure Policy-based Publish/Subscribe System for V2C Communication. | Mohammad Hamad, Emanuel Regnath, Jan Lauinger, Vassilis Prevelakis, Sebastian Steinhorst |
| 2021 | DATE | Decentralized Autonomous Architecture for Resilient Cyber-Physical Production Systems. | Laurin Prenzel, Sebastian Steinhorst |
| 2021 | DATE | Worst-Case Failover Timing Analysis of Distributed Fail-Operational Automotive Applications. | Philipp Weiss, Sherif Elsabbahy, Andreas Weichslgartner, Sebastian Steinhorst |
| 2021 | DSD | Heterogeneous Communication Virtualization for Distributed Embedded Applications. | Thinh Hung Pham, Shanker Shreejith, Sebastian Steinhorst, Suhaib A. Fahmy, Samarjit Chakraborty |
| 2021 | DSD | Checkpointing Period Optimization of Distributed Fail-Operational Automotive Applications. | Philipp Weiss, Emil Daporta, Andreas Weichslgartner, Sebastian Steinhorst |
| 2021 | ETFA | Automated Dependency Resolution for Dynamic Reconfiguration of IEC 61499. | Laurin Prenzel, Sebastian Steinhorst |
| 2021 | ICWE | A-MaGe: Atomic Mashup Generator for the Web of Things. | Ege Korkan, Fady Salama, Sebastian Kaebisch, Sebastian Steinhorst |
| 2021 | RTSS | Cluster-Based Network Time Synchronization for Resilience with Energy Efficiency. | Nitin Shivaraman, Patrick Schuster, Saravanan Ramanathan, Arvind Easwaran, Sebastian Steinhorst |
| 2020 | DATE | AMSA: Adaptive Merkle Signature Architecture. | Emanuel Regnath, Sebastian Steinhorst |
| 2020 | DATE | Real-Time Energy Monitoring in IoT-enabled Mobile Devices. | Nitin Shivaraman, Seima Saki, Zhiwei Liu, Saravanan Ramanathan, Arvind Easwaran, Sebastian Steinhorst |
| 2020 | DATE | Adaptable Demonstrator Platform for the Simulation of Distributed Agent-Based Automotive Systems. | Philipp Weiss, Sebastian Nagel, Andreas Weichslgartner, Sebastian Steinhorst |
| 2020 | DATE | Fail-Operational Automotive Software Design Using Agent-Based Graceful Degradation. | Philipp Weiss, Andreas Weichslgartner, Felix Reimann, Sebastian Steinhorst |
| 2020 | DSD | Energy-Optimized Elastic Application Distribution for Automotive Systems in Hybrid Cloud Architectures. | Philipp Weber, Philipp Weiss, Dominik Reinhardt, Sebastian Steinhorst |
| 2020 | ICCCN | DeCoRIC: Decentralized Connected Resilient IoT Clustering. | Nitin Shivaraman, Saravanan Ramanathan, Shanker Shreejith, Arvind Easwaran, Sebastian Steinhorst |
| 2020 | ICWE | W-ADE: Timing Performance Benchmarking in Web of Things. | Verena Eileen Schlott, Ege Korkan, Sebastian Kbisch, Sebastian Steinhorst |
| 2019 | DAC | Learning Temporal Specifications from Imperfect Traces Using Bayesian Inference. | Artur Mrowca, Martin Nocker, Sebastian Steinhorst, Stephan Gnnemann |
| 2019 | DATE | Decentralized Non-Neighbor Active Charge Balancing in Large Battery Packs. | Alexander Lamprecht, Martin Baumann, Tobias Massier, Sebastian Steinhorst |
| 2019 | DATE | Cost/Privacy Co-optimization in Smart Energy Grids. | Alma Prbstl, Sangyoung Park, Sebastian Steinhorst, Samarjit Chakraborty |
| 2019 | DATE | CUBA: Chained Unanimous Byzantine Agreement for Decentralized Platoon Management. | Emanuel Regnath, Sebastian Steinhorst |
| 2019 | DSD | Enhancing Battery Pack Capacity Utilization in Electric Vehicle Fleets via SoC-Preconditioning. | Alexander Lamprecht, Ananth Garikapati, Swaminathan Narayanaswamy, Sebastian Steinhorst |
| 2018 | DAC | Automated interpretation and reduction of in-vehicle network traces at a large scale. | Artur Mrowca, Thomas Pramsohler, Sebastian Steinhorst, Uwe Baumgarten |
| 2018 | DATE | Improving fast charging efficiency of reconfigurable battery packs. | Alexander Lamprecht, Swaminathan Narayanaswamy, Sebastian Steinhorst |
| 2018 | DATE | SOH-aware active cell balancing strategy for high power battery packs. | Alma Prbstl, Sangyoung Park, Swaminathan Narayanaswamy, Sebastian Steinhorst, Samarjit Chakraborty |
| 2018 | FDL | Sequential Behavioral Modeling for Scalable IoT Devices and Systems. | Ege Korkan, Sebastian Kbisch, Matthias Kovatsch, Sebastian Steinhorst |
| 2018 | FDL | SmaCoNat: Smart Contracts in Natural Language. | Emanuel Regnath, Sebastian Steinhorst |
| 2018 | ICCAD | Design automation for battery systems. | Swaminathan Narayanaswamy, Sangyoung Park, Sebastian Steinhorst, Samarjit Chakraborty |
| 2018 | ICCAD | LeapChain: efficient blockchain verification for embedded IoT. | Emanuel Regnath, Sebastian Steinhorst |
| 2018 | ISLPED | Multi-Pattern Active Cell Balancing Architecture and Equalization Strategy for Battery Packs. | Swaminathan Narayanaswamy, Sangyoung Park, Sebastian Steinhorst, Samarjit Chakraborty |
| 2017 | DATE | Efficient decentralized active balancing strategy for smart battery cells. | Nitin Shivaraman, Arvind Easwaran, Sebastian Steinhorst |
| 2016 | ASPDAC | Distributed reconfigurable Battery System Management Architectures. | Sebastian Steinhorst, Zili Shao, Samarjit Chakraborty, Matthias Kauer, Shuai Li, Martin Lukasiewycz, Swaminathan Narayanaswamy, Muhammad Usman Rafique, Qixin Wang |
| 2016 | FDL | Feature based state space coverage of analog circuits. | Andreas Furtig, Sebastian Steinhorst, Lars Hedrich |
| 2016 | ICCAD | Formal approaches to design of active cell balancing architectures in battery management systems. | Sebastian Steinhorst, Martin Lukasiewycz |
| 2015 | ASPDAC | Many-to-many active cell balancing strategy design. | Matthias Kauer, Swaminathan Narayanaswamy, Sebastian Steinhorst, Martin Lukasiewycz, Samarjit Chakraborty |
| 2015 | DAC | Efficient design space exploration of embedded platforms. | Martin Lukasiewycz, Florian Sagstetter, Sebastian Steinhorst |
| 2015 | DAC | Security analysis of automotive architectures using probabilistic model checking. | Philipp Mundhenk, Sebastian Steinhorst, Martin Lukasiewycz, Suhaib A. Fahmy, Samarjit Chakraborty |
| 2015 | DATE | Inductor optimization for active cell balancing using geometric programming. | Matthias Kauer, Swaminathan Narayanaswamy, Martin Lukasiewycz, Sebastian Steinhorst, Samarjit Chakraborty |
| 2015 | DATE | Lightweight authentication for secure automotive networks. | Philipp Mundhenk, Sebastian Steinhorst, Martin Lukasiewycz, Suhaib A. Fahmy, Samarjit Chakraborty |
| 2015 | DATE | Topology identification for smart cells in modular batteries. | Sebastian Steinhorst, Martin Lukasiewycz |
| 2014 | ASPDAC | Automata-theoretic modeling of fixed-priority non-preemptive scheduling for formal timing verification. | Matthias Kauer, Sebastian Steinhorst, Reinhard Schneider, Martin Lukasiewycz, Samarjit Chakraborty |
| 2014 | DATE | Optimal dimensioning of active cell balancing architectures. | Swaminathan Narayanaswamy, Sebastian Steinhorst, Martin Lukasiewycz, Matthias Kauer, Samarjit Chakraborty |
| 2013 | ASPDAC | Formal verification of distributed controllers using Time-Stamped Event Count Automata. | Matthias Kauer, Sebastian Steinhorst, Dip Goswami, Reinhard Schneider, Martin Lukasiewycz, Samarjit Chakraborty |
| 2013 | DAC | Model-based development and verification of control software for electric vehicles. | Dip Goswami, Martin Lukasiewycz, Matthias Kauer, Sebastian Steinhorst, Alejandro Masrur, Samarjit Chakraborty, S. Ramesh |
| 2013 | DAC | Modular system-level architecture for concurrent cell balancing. | Matthias Kauer, Swaminathan Naranayaswami, Sebastian Steinhorst, Martin Lukasiewycz, Samarjit Chakraborty, Lars Hedrich |
| 2013 | DAC | System architecture and software design for electric vehicles. | Martin Lukasiewycz, Sebastian Steinhorst, Sidharta Andalam, Florian Sagstetter, Peter Waszecki, Wanli Chang, Matthias Kauer, Philipp Mundhenk, Shanker Shreejith, Suhaib A. Fahmy, Samarjit Chakraborty |
| 2013 | DATE | Priority assignment for event-triggered systems using mathematical programming. | Martin Lukasiewycz, Sebastian Steinhorst, Samarjit Chakraborty |
| 2013 | DATE | Security challenges in automotive hardware/software architecture design. | Florian Sagstetter, Martin Lukasiewycz, Sebastian Steinhorst, Marko Wolf, Alexandre Bouard, William R. Harris, Somesh Jha, Thomas Peyrin, Axel Poschmann, Samarjit Chakraborty |
| 2012 | DSD | Cyber-Physical Systems Design for Electric Vehicles. | Martin Lukasiewycz, Sebastian Steinhorst, Florian Sagstetter, Wanli Chang, Peter Waszecki, Matthias Kauer, Samarjit Chakraborty |
| 2012 | FDL | Analog assertion-based verification on partial state space representations using ASL. | Sebastian Steinhorst, Lars Hedrich |
| 2012 | ICCAD | Trajectory-Directed discrete state space modeling for formal verification of nonlinear analog circuits. | Sebastian Steinhorst, Lars Hedrich |
| 2010 | ISCAS | Improving verification coverage of analog circuit blocks by state space-guided transient simulation. | Sebastian Steinhorst, Lars Hedrich |
| 2009 | DATE | Formal approaches to analog circuit verification. | Erich Barke, Darius Grabowski, Helmut Graeb, Lars Hedrich, Stefan Heinen, Ralf Popp, Sebastian Steinhorst, Yifan Wang |
| 2008 | DATE | Model Checking of Analog Systems using an Analog Specification Language. | Sebastian Steinhorst, Lars Hedrich |