Model Checking of Analog Systems using an Analog Specification Language. - Sebastian Steinhorst; Lars Hedrich (DATE, 2008)

Formal approaches to analog circuit verification. - Erich Barke; Darius Grabowski; Helmut Graeb; Lars Hedrich; Stefan Heinen; Ralf Popp; Sebastian Steinhorst; Yifan Wang 001 (DATE, 2009)

Improving verification coverage of analog circuit blocks by state space-guided transient simulation. - Sebastian Steinhorst; Lars Hedrich (ISCAS, 2010)

Advanced methods for equivalence checking of analog circuits with strong nonlinearities. - Sebastian Steinhorst; Lars Hedrich (Formal Methods Syst. Des., 2010)

Formal verification methodologies for nonlinear analog circuits (Formale Verifikationsmethodiken für nichtlineare analoge Schaltungen) - Sebastian Steinhorst (2011)

Cyber-Physical Systems Design for Electric Vehicles. - Martin Lukasiewycz; Sebastian Steinhorst; Florian Sagstetter; Wanli Chang 001; Peter Waszecki; Matthias Kauer; Samarjit Chakraborty (DSD, 2012)

Analog assertion-based verification on partial state space representations using ASL. - Sebastian Steinhorst; Lars Hedrich (FDL, 2012)

Trajectory-Directed discrete state space modeling for formal verification of nonlinear analog circuits. - Sebastian Steinhorst; Lars Hedrich (ICCAD, 2012)

Equivalence checking of nonlinear analog circuits for hierarchical AMS System Verification. - Sebastian Steinhorst; Lars Hedrich (VLSI-SoC, 2012)

Formal verification of distributed controllers using Time-Stamped Event Count Automata. - Matthias Kauer; Sebastian Steinhorst; Dip Goswami; Reinhard Schneider 001; Martin Lukasiewycz; Samarjit Chakraborty (ASP-DAC, 2013)

Dimensioning and configuration of EES systems for electric vehicles with boundary-conditioned adaptive scalarization. - Wanli Chang 001; Martin Lukasiewycz; Sebastian Steinhorst; Samarjit Chakraborty (CODES+ISSS, 2013)

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 002 (DAC, 2013)

Modular system-level architecture for concurrent cell balancing. - Matthias Kauer; Swaminathan Naranayaswami; Sebastian Steinhorst; Martin Lukasiewycz; Samarjit Chakraborty; Lars Hedrich (DAC, 2013)

System architecture and software design for electric vehicles. - Martin Lukasiewycz; Sebastian Steinhorst; Sidharta Andalam; Florian Sagstetter; Peter Waszecki; Wanli Chang 001; Matthias Kauer; Philipp Mundhenk; Shanker Shreejith; Suhaib A. Fahmy; Samarjit Chakraborty (DAC, 2013)

Priority assignment for event-triggered systems using mathematical programming. - Martin Lukasiewycz; Sebastian Steinhorst; Samarjit Chakraborty (DATE, 2013)

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 (DATE, 2013)

Automata-theoretic modeling of fixed-priority non-preemptive scheduling for formal timing verification. - Matthias Kauer; Sebastian Steinhorst; Reinhard Schneider 001; Martin Lukasiewycz; Samarjit Chakraborty (ASP-DAC, 2014)

Verification of balancing architectures for modular batteries. - Martin Lukasiewycz; Sebastian Steinhorst; Swaminathan Narayanaswamy (CODES+ISSS, 2014)

Policy-based message scheduling using FlexRay. - Philipp Mundhenk; Florian Sagstetter; Sebastian Steinhorst; Martin Lukasiewycz; Samarjit Chakraborty (CODES+ISSS, 2014)

Smart Cells for Embedded Battery Management. - Sebastian Steinhorst; Martin Lukasiewycz; Swaminathan Narayanaswamy; Matthias Kauer; Samarjit Chakraborty (CPSNA, 2014)

Optimal dimensioning of active cell balancing architectures. - Swaminathan Narayanaswamy; Sebastian Steinhorst; Martin Lukasiewycz; Matthias Kauer; Samarjit Chakraborty (DATE, 2014)

Many-to-many active cell balancing strategy design. - Matthias Kauer; Swaminathan Narayanaswamy; Sebastian Steinhorst; Martin Lukasiewycz; Samarjit Chakraborty (ASP-DAC, 2015)

Efficient design space exploration of embedded platforms. - Martin Lukasiewycz; Florian Sagstetter; Sebastian Steinhorst (DAC, 2015)

Security analysis of automotive architectures using probabilistic model checking. - Philipp Mundhenk; Sebastian Steinhorst; Martin Lukasiewycz; Suhaib A. Fahmy; Samarjit Chakraborty (DAC, 2015)

Inductor optimization for active cell balancing using geometric programming. - Matthias Kauer; Swaminathan Narayanaswamy; Martin Lukasiewycz; Sebastian Steinhorst; Samarjit Chakraborty (DATE, 2015)

Lightweight authentication for secure automotive networks. - Philipp Mundhenk; Sebastian Steinhorst; Martin Lukasiewycz; Suhaib A. Fahmy; Samarjit Chakraborty (DATE, 2015)

Topology identification for smart cells in modular batteries. - Sebastian Steinhorst; Martin Lukasiewycz (DATE, 2015)

Distributed reconfigurable Battery System Management Architectures. - Sebastian Steinhorst; Zili Shao; Samarjit Chakraborty; Matthias Kauer; Shuai Li 002; Martin Lukasiewycz; Swaminathan Narayanaswamy; Muhammad Usman Rafique; Qixin Wang (ASP-DAC, 2016)

Feature based state space coverage of analog circuits. - Andreas Furtig; Sebastian Steinhorst; Lars Hedrich (FDL, 2016)

Formal approaches to design of active cell balancing architectures in battery management systems. - Sebastian Steinhorst; Martin Lukasiewycz (ICCAD, 2016)

Design and verification methodologies for Smart Battery Cells. - Sebastian Steinhorst (ISIC, 2016)

Open source model and simulator for real-time performance analysis of automotive network security. - Philipp Mundhenk; Artur Mrowca; Sebastian Steinhorst; Martin Lukasiewycz; Suhaib A. Fahmy; Samarjit Chakraborty (SIGBED Rev., 2016)

Synthesis of Active Cell Balancing Architectures for Battery Packs. - Martin Lukasiewycz; Matthias Kauer; Sebastian Steinhorst (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016)

Multischedule Synthesis for Variant Management in Automotive Time-Triggered Systems. - Florian Sagstetter; Peter Waszecki; Sebastian Steinhorst; Martin Lukasiewycz; Samarjit Chakraborty (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016)

Security-Aware Obfuscated Priority Assignment for Automotive CAN Platforms. - Martin Lukasiewycz; Philipp Mundhenk; Sebastian Steinhorst (ACM Trans. Design Autom. Electr. Syst., 2016)

On Battery Recovery Effect in Wireless Sensor Nodes. - Swaminathan Narayanaswamy; Steffen Schlüter; Sebastian Steinhorst; Martin Lukasiewycz; Samarjit Chakraborty; Harry Ernst Hoster (ACM Trans. Design Autom. Electr. Syst., 2016)

Cyber-Physical Co-Simulation Framework for Smart Cells in Scalable Battery Packs. - Sebastian Steinhorst; Matthias Kauer; Arne Meeuw; Swaminathan Narayanaswamy; Martin Lukasiewycz; Samarjit Chakraborty (ACM Trans. Design Autom. Electr. Syst., 2016)

Efficient decentralized active balancing strategy for smart battery cells. - Nitin Shivaraman; Arvind Easwaran; Sebastian Steinhorst (DATE, 2017)

VEGa: A High Performance Vehicular Ethernet Gateway on Hybrid FPGA. - Shanker Shreejith; Philipp Mundhenk; Andreas Ettner; Suhaib A. Fahmy; Sebastian Steinhorst; Martin Lukasiewycz; Samarjit Chakraborty (IEEE Trans. Computers, 2017)

Rapid Analysis of Active Cell Balancing Circuits. - Matthias Kauer; Swaminathan Narayanaswamy; Sebastian Steinhorst; Samarjit Chakraborty (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2017)

Automotive Electrical and Electronic Architecture Security via Distributed In-Vehicle Traffic Monitoring. - Peter Waszecki; Philipp Mundhenk; Sebastian Steinhorst; Martin Lukasiewycz; Ramesh Karri; Samarjit Chakraborty (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2017)

Security in Automotive Networks: Lightweight Authentication and Authorization. - Philipp Mundhenk; Andrew Paverd; Artur Mrowca; Sebastian Steinhorst; Martin Lukasiewycz; Suhaib A. Fahmy; Samarjit Chakraborty (ACM Trans. Design Autom. Electr. Syst., 2017)

Modular Active Charge Balancing for Scalable Battery Packs. - Swaminathan Narayanaswamy; Matthias Kauer; Sebastian Steinhorst; Martin Lukasiewycz; Samarjit Chakraborty (IEEE Trans. Very Large Scale Integr. Syst., 2017)

Future automotive systems design: research challenges and opportunities: special session. - Selma Saidi; Sebastian Steinhorst; Arne Hamann 001; Dirk Ziegenbein; Marko Wolf (CODES+ISSS, 2018)

Automated interpretation and reduction of in-vehicle network traces at a large scale. - Artur Mrowca; Thomas Pramsohler; Sebastian Steinhorst; Uwe Baumgarten (DAC, 2018)

Improving fast charging efficiency of reconfigurable battery packs. - Alexander Lamprecht; Swaminathan Narayanaswamy; Sebastian Steinhorst (DATE, 2018)

SOH-aware active cell balancing strategy for high power battery packs. - Alma Pröbstl; Sangyoung Park; Swaminathan Narayanaswamy; Sebastian Steinhorst; Samarjit Chakraborty (DATE, 2018)

Sequential Behavioral Modeling for Scalable IoT Devices and Systems. - Ege Korkan; Sebastian Käbisch; Matthias Kovatsch; Sebastian Steinhorst (FDL, 2018)

SmaCoNat: Smart Contracts in Natural Language. - Emanuel Regnath; Sebastian Steinhorst (FDL, 2018)

Design automation for battery systems. - Swaminathan Narayanaswamy; Sangyoung Park; Sebastian Steinhorst; Samarjit Chakraborty (ICCAD, 2018)

LeapChain: efficient blockchain verification for embedded IoT. - Emanuel Regnath; Sebastian Steinhorst (ICCAD, 2018)

Multi-Pattern Active Cell Balancing Architecture and Equalization Strategy for Battery Packs. - Swaminathan Narayanaswamy; Sangyoung Park; Sebastian Steinhorst; Samarjit Chakraborty (ISLPED, 2018)

Learning Temporal Specifications from Imperfect Traces Using Bayesian Inference. - Artur Mrowca; Martin Nocker; Sebastian Steinhorst; Stephan Günnemann (DAC, 2019)

Decentralized Non-Neighbor Active Charge Balancing in Large Battery Packs. - Alexander Lamprecht; Martin Baumann 004; Tobias Massier; Sebastian Steinhorst (DATE, 2019)

Cost/Privacy Co-optimization in Smart Energy Grids. - Alma Pröbstl; Sangyoung Park; Sebastian Steinhorst; Samarjit Chakraborty (DATE, 2019)

CUBA: Chained Unanimous Byzantine Agreement for Decentralized Platoon Management. - Emanuel Regnath; Sebastian Steinhorst (DATE, 2019)

Enhancing Battery Pack Capacity Utilization in Electric Vehicle Fleets via SoC-Preconditioning. - Alexander Lamprecht; Ananth Garikapati; Swaminathan Narayanaswamy; Sebastian Steinhorst (DSD, 2019)

WoTify: A platform to bring Web of Things to your devices. - Ege Korkan; Hassib Belhaj Hassine; Verena Eileen Schlott; Sebastian Käbisch; Sebastian Steinhorst (CoRR, 2019)

Virtual-Thing: Thing Description based Virtualization. - Hassib Belhaj Hassine; Ege Korkan; Sebastian Steinhorst (CoRR, 2019)

Future Automotive HW/SW Platform Design (Dagstuhl Seminar 19502). - Dirk Ziegenbein; Selma Saidi; Xiaobo Sharon Hu; Sebastian Steinhorst (Dagstuhl Reports, 2019)

Analysis of Dissipative Losses in Modular Reconfigurable Energy Storage Systems Using SystemC TLM and SystemC-AMS. - Thomas Zimmermann 006; Mathias Mora; Sebastian Steinhorst; Daniel Mueller-Gritschneder; Andreas Jossen (ACM Trans. Design Autom. Electr. Syst., 2019)

Optimal Dimensioning and Control of Active Cell Balancing Architectures. - Swaminathan Narayanaswamy; Sebastian Steinhorst; Martin Lukasiewycz; Matthias Kauer; Samarjit Chakraborty (IEEE Trans. Veh. Technol., 2019)

COLAW: Cooperative Location Proof Architecture for VANETs based on Witnessing. - Philippos Barabas; Emanuel Regnath; Sebastian Steinhorst (COINS, 2020)

Web of Things System Description for Representation of Mashups. - Adrian Kast; Ege Korkan; Sebastian Käbisch; Sebastian Steinhorst (COINS, 2020)

Random Forest Regression of Charge Balancing Data: A State of Health Estimation Method for Electric Vehicle Batteries. - Alexander Lamprecht; Moritz Riesterer; Sebastian Steinhorst (COINS, 2020)

Blockchain, what time is it? Trustless Datetime Synchronization for IoT. - Emanuel Regnath; Nitin Shivaraman; Shanker Shreejith; Arvind Easwaran; Sebastian Steinhorst (COINS, 2020)

AMSA: Adaptive Merkle Signature Architecture. - Emanuel Regnath; Sebastian Steinhorst (DATE, 2020)

Real-Time Energy Monitoring in IoT-enabled Mobile Devices. - Nitin Shivaraman; Seima Saki; Zhiwei Liu; Saravanan Ramanathan; Arvind Easwaran; Sebastian Steinhorst (DATE, 2020)

Adaptable Demonstrator Platform for the Simulation of Distributed Agent-Based Automotive Systems. - Philipp Weiss; Sebastian Nagel 004; Andreas Weichslgartner; Sebastian Steinhorst (ASD@DATE, 2020)

Fail-Operational Automotive Software Design Using Agent-Based Graceful Degradation. - Philipp Weiss; Andreas Weichslgartner; Felix Reimann; Sebastian Steinhorst (DATE, 2020)

Energy-Optimized Elastic Application Distribution for Automotive Systems in Hybrid Cloud Architectures. - Philipp Weber; Philipp Weiss; Dominik Reinhardt; Sebastian Steinhorst (DSD, 2020)

Towards a Blockchain-based Identity and Trust Management Framework for the IoV Ecosystem. - Anastasia Theodouli; Konstantinos Moschou; Konstantinos Votis; Dimitrios Tzovaras; Jan Lauinger; Sebastian Steinhorst (GIoTS, 2020)

DeCoRIC: Decentralized Connected Resilient IoT Clustering. - Nitin Shivaraman; Saravanan Ramanathan; Shanker Shreejith; Arvind Easwaran; Sebastian Steinhorst (ICCCN, 2020)

WiP Abstract: Mobility-based Load Balancing for IoT-enabled Devices in Smart Grids. - Nitin Shivaraman; Jakob Fittler; Saravanan Ramanathan; Arvind Easwaran; Sebastian Steinhorst (ICCPS, 2020)

W-ADE: Timing Performance Benchmarking in Web of Things. - Verena Eileen Schlott; Ege Korkan; Sebastian Käbisch; Sebastian Steinhorst (ICWE, 2020)

Poster Abstract: C-Sync: The Resilient Time Synchronization Protocol. - Nitin Shivaraman; Patrick Schuster; Saravanan Ramanathan; Arvind Easwaran; Sebastian Steinhorst (IPSN, 2020)

No-Code Shadow Things Deployment for the IoT. - Ege Korkan; Emanuel Regnath; Sebastian Käbisch; Sebastian Steinhorst (WF-IoT, 2020)

Streamlining IoT system development with open standards. - Ege Korkan; Sebastian Kaebisch; Sebastian Steinhorst (it Inf. Technol., 2020)

A survey on time-sensitive resource allocation in the cloud continuum. - Saravanan Ramanathan; Nitin Shivaraman; Seima Suryasekaran; Arvind Easwaran; Etienne Borde; Sebastian Steinhorst (it Inf. Technol., 2020)

Internet of Things. - Sebastian Steinhorst (it Inf. Technol., 2020)

Runtime Deployment, Management and Monitoring of Web of Things Systems. - Ege Korkan; Miguel Romero Karam; Sebastian Kaebisch; Sebastian Steinhorst (COINS, 2021)

CISCAV: Consensus-based Intersection Scheduling for Connected Autonomous Vehicles. - Emanuel Regnath; Markus Birkner; Sebastian Steinhorst (COINS, 2021)

Towards a behavioral description of cyber-physical systems using the thing description. - Fady Salama; Ege Korkan; Sebastian Käbisch; Sebastian Steinhorst (DAI-SNAC@CoNEXT, 2021)

SPPS: Secure Policy-based Publish/Subscribe System for V2C Communication. - Mohammad Hamad; Emanuel Regnath; Jan Lauinger; Vassilis Prevelakis; Sebastian Steinhorst (DATE, 2021)

Decentralized Autonomous Architecture for Resilient Cyber-Physical Production Systems. - Laurin Prenzel; Sebastian Steinhorst (DATE, 2021)

Worst-Case Failover Timing Analysis of Distributed Fail-Operational Automotive Applications. - Philipp Weiss; Sherif Elsabbahy; Andreas Weichslgartner; Sebastian Steinhorst (DATE, 2021)

Heterogeneous Communication Virtualization for Distributed Embedded Applications. - Thinh Hung Pham; Shanker Shreejith; Sebastian Steinhorst; Suhaib A. Fahmy; Samarjit Chakraborty (DSD, 2021)

Checkpointing Period Optimization of Distributed Fail-Operational Automotive Applications. - Philipp Weiss; Emil Daporta; Andreas Weichslgartner; Sebastian Steinhorst (DSD, 2021)

Automated Dependency Resolution for Dynamic Reconfiguration of IEC 61499. - Laurin Prenzel; Sebastian Steinhorst (ETFA, 2021)

A-PoA: Anonymous Proof of Authorization for Decentralized Identity Management. - Jan Lauinger; Jens Ernstberger; Emanuel Regnath; Mohammad Hamad; Sebastian Steinhorst (IEEE ICBC, 2021)

Human-based Consensus for Trust Installation in Ontologies. - Christoph Summerer; Emanuel Regnath; Hans Ehm; Sebastian Steinhorst (IEEE ICBC, 2021)

A-MaGe: Atomic Mashup Generator for the Web of Things. - Ege Korkan; Fady Salama; Sebastian Kaebisch; Sebastian Steinhorst (ICWE, 2021)

Cluster-Based Network Time Synchronization for Resilience with Energy Efficiency. - Nitin Shivaraman; Patrick Schuster; Saravanan Ramanathan; Arvind Easwaran; Sebastian Steinhorst (RTSS, 2021)

A novel load distribution strategy for aggregators using IoT-enabled mobile devices. - Nitin Shivaraman; Jakob Fittler; Saravanan Ramanathan; Arvind Easwaran; Sebastian Steinhorst (SmartGridComm, 2021)

Towards an Increased Detection Sensitivity of Time-Delay Attacks on Precision Time Protocol. - Lea Schönberger; Mohammad Hamad; Javier Velasquez Gomez; Sebastian Steinhorst; Selma Saidi (IEEE Access, 2021)

Quantitative System-Level Security Verification of the IoV Infrastructure. - Jan Lauinger; Mudassar Aslam; Mohammad Hamad; Shahid Raza; Sebastian Steinhorst (CoRR, 2021)

Practical and Scalable Access Control Mechanism for the Internet of Things. - Clémentine Gritti; Emanuel Regnath; Sebastian Steinhorst (IACR Cryptol. ePrint Arch., 2021)

Attack Data Generation Framework for Autonomous Vehicle Sensors. - Jan Lauinger; Andreas Finkenzeller; Henrik Lautebach; Mohammad Hamad; Sebastian Steinhorst (DATE, 2022)

How Real (Time) Are Virtual PLCs? - Diogenes Javier Perez; Josef Waltl; Laurin Prenzel; Sebastian Steinhorst (ETFA, 2022)

Towards Resilience by Self-Adaptation of Industrial Control Systems. - Laurin Prenzel; Sebastian Steinhorst (ETFA, 2022)

Supporting a Model-driven Development Process for Distributed Control Software. - Bianca Wiesmayr; Alois Zoitl; Laurin Prenzel; Sebastian Steinhorst (ETFA, 2022)

Feasible Time Delay Attacks Against the Precision Time Protocol. - Andreas Finkenzeller; Thomas Wakim; Mohammad Hamad; Sebastian Steinhorst (GLOBECOM, 2022)

FLaaS6G: Federated Learning as a Service in 6G Using Distributed Data Management Architecture. - Wenxuan Ye; Xueli An; Xueqiang Yan; Mohammad Hamad; Sebastian Steinhorst (GLOBECOM, 2022)

Real-time Dynamic Reconfiguration for IEC 61499. - Laurin Prenzel; Simon Hofmann; Sebastian Steinhorst (ICPS, 2022)

Rollback Sequences for Dynamic Reconfiguration of IEC 61499. - Laurin Prenzel; Simon Hofmann; Sebastian Steinhorst (INDIN, 2022)

Toward a Multi-Layer Intrusion Response System for Connected Vehicles. - Jan Lauinger; Mohammad Hamad; Sebastian Steinhorst (VTC Fall, 2022)

Toward Resilience in Mixed Critical Industrial Control Systems: A Multi-Disciplinary View. - 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 (IEEE Access, 2022)

Quantitative Performance Comparison of Various Traffic Shapers in Time-Sensitive Networking. - Luxi Zhao 001; Paul Pop; Sebastian Steinhorst (IEEE Trans. Netw. Serv. Manag., 2022)

On the efficacy of SoC-preconditioning on the utilization of battery packs in Electric Vehicles. - Alexander Lamprecht; Ananth Garikapati; Swaminathan Narayanaswamy; Johannes Machleid; Sebastian Steinhorst (Microprocess. Microsystems, 2022)

WoT-Phyng-Sim: Integrating Physics Simulations with IoT Digital Twins using the Web of Things. - Fady Salama; Anatolii Tsirkunenko; Ege Korkan; Sebastian Käbisch; Sebastian Steinhorst (COINS, 2023)

Trusted Single-Source Sensors using SNARKs. - Saad Bin Shams; Emanuel Regnath; Andreas Bogner; Sebastian Steinhorst (COINS, 2023)

Autonomous Hyperloop Control Architecture Design using MAPE-K. - Julian Demicoli; Laurin Prenzel; Sebastian Steinhorst (DATE, 2023)

Anonymous Domain Ownership. - Jan Lauinger; Jens Ernstberger; Sebastian Steinhorst (ICBC, 2023)

X-MAPE: Extending 6G-Connected Self-Adaptive Systems with Reflexive Actions. - Marco Liess; Julian Demicoli; Tobias Tiedje; Matthias Lohrmann; Matthias Nickel; M. Luniak; Dimitrios A. Prousalis; Thomas Wild; Ronald Tetzlaff; Diana Göhringer; Christian Mayr 001; Karlheinz Bock; et al. (NFV-SDN, 2023)

TEEVseL4: Trusted Execution Environment for Virtualized seL4-Based Systems. - Borna Blazevic; Michael Peter; Mohammad Hamad; Sebastian Steinhorst (RTCSA, 2023)

Advanced Modeling and Analysis of Individual and Combined TSN Shapers in OMNeT++. - Rubi Debnath; Philipp Hortig; Luxi Zhao 001; Sebastian Steinhorst (RTCSA, 2023)

Message from the Chairs: RTCSA 2023. - Hiroshi Yamada; Ting He; Hiroyuki Tomiyama; Nan Guan; Sebastian Steinhorst (RTCSA, 2023)

5GTQ: QoS-Aware 5G-TSN Simulation Framework. - Rubi Debnath; Mustafa Selman Akinci; Devika Ajith; Sebastian Steinhorst (VTC Fall, 2023)

Simutack - An Attack Simulation Framework for Connected and Autonomous Vehicles. - Andreas Finkenzeller; Anshu Mathur; Jan Lauinger; Mohammad Hamad; Sebastian Steinhorst (VTC2023-Spring, 2023)

RobWoT: Generating Real-Time Digital Twin Simulations for the Robotic Web of Things. - Fady Salama; Zucheng Han; Ege Korkan; Sebastian Käbisch; Sebastian Steinhorst (WF-IoT, 2023)

Reliability Analysis of Gracefully Degrading Automotive Systems. - Philipp Weiss; Ali Younessi; Sebastian Steinhorst (CoRR, 2023)

Security Challenges in Autonomous Systems Design. - Mohammad Hamad; Sebastian Steinhorst (CoRR, 2023)

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ù (IACR Cryptol. ePrint Arch., 2023)

SoK: Data Sovereignty. - Jens Ernstberger; Jan Lauinger; Fatima Elsheimy; Liyi Zhou; Sebastian Steinhorst; Ran Canetti; Andrew Miller 001; Arthur Gervais; Dawn Song (IACR Cryptol. ePrint Arch., 2023)

Janus: Fast Privacy-Preserving Data Provenance For TLS 1.3. - Jan Lauinger; Jens Ernstberger; Andreas Finkenzeller; Sebastian Steinhorst (IACR Cryptol. ePrint Arch., 2023)

SEEMQTT: Secure End-to-End MQTT-Based Communication for Mobile IoT Systems Using Secret Sharing and Trust Delegation. - Mohammad Hamad; Andreas Finkenzeller; Hangmao Liu; Jan Lauinger; Vassilis Prevelakis; Sebastian Steinhorst (IEEE Internet Things J., 2023)

Predictable timing behavior of gracefully degrading automotive systems. - Philipp Weiss; Sebastian Steinhorst (Des. Autom. Embed. Syst., 2023)

Stateful-WoT: Capturing the Behavior of Highly Dynamic Cyber-Physical Systems. - Fady Salama; Ege Korkan; Sebastian Käbisch; Sebastian Steinhorst (COINS, 2024)

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 (DATE, 2024)

Portal: Time-Bound and Replay-Resistant Zero-Knowledge Proofs for Single Sign-On. - Jan Lauinger; Serhat Bezmez; Jens Ernstberger; Sebastian Steinhorst (ICBC, 2024)

zkGen: Policy-to-Circuit Transpiler. - Jan Lauinger; Jens Ernstberger; Sebastian Steinhorst (ICBC, 2024)

DyST: Dynamic Specification Mining for Heterogenous IoT Systems with WoT. - Ege Korkan; Silvia Oliva Ramirez; Sebastian Steinhorst (ICWE, 2024)

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 (INFOCOM, 2024)

Advanced IDPS Architecture for Connected and Autonomous Vehicles. - Sherin Kalli Valappil; Lars Vogel; Mohammad Hamad; Sebastian Steinhorst (IV, 2024)

HoloWoT: A First Step Towards Mixed Reality Digital Twins for the Industrial Internet of Things. - Fady Salama; Idil Sezgin; Ege Korkan; Sebastian Käbisch; Sebastian Steinhorst (MoDELS (Companion), 2024)

Quantifying the Impact of Frame Preemption on Combined TSN Shapers. - Rubi Debnath; Philipp Hortig; Luxi Zhao 001; Sebastian Steinhorst (NOMS, 2024)

A Gamified Learning Approach for IoT Security Education Using Capture-the-Flag Competitions: Architecture and Insights. - Mohammad Hamad; Andreas Finkenzeller; Monowar Hasan; Marc-Oliver Pahl; Sebastian Steinhorst (NordSec, 2024)

MATRaCAE: Time-Based Revocable Access Control in the IoT. - Clémentine Gritti; Emanuel Regnath; Sebastian Steinhorst (SECRYPT, 2024)

Autonomous Vehicular Systems: Architectural Strategies for Adaptive Multi-Objective Configuration. - Julian Demicoli; Nicolai Palm; Herbert Palm; Oliver Kleikemper; Sebastian Steinhorst (VTC Spring, 2024)

Adaptability-Driven Multi-Objective Hardware Optimization for Vehicular Systems. - Julian Demicoli; Sebastian Steinhorst (VTC Fall, 2024)

Blockchain Censorship. - Anton Wahrstätter; Jens Ernstberger; Aviv Yaish; Liyi Zhou; Kaihua Qin; Taro Tsuchiya; Sebastian Steinhorst; Davor Svetinovic; Nicolas Christin; Mikolaj Barczentewicz; Arthur Gervais (WWW, 2024)

REACT: Autonomous intrusion response system for intelligent vehicles. - Mohammad Hamad; Andreas Finkenzeller; Michael Kühr; Andrew Roberts; Olaf Maennel; Vassilis Prevelakis; Sebastian Steinhorst (Comput. Secur., 2024)

SoK: Security of the Image Processing Pipeline in Autonomous Vehicles. - Michael Kühr; Mohammad Hamad; Pedram MohajerAnsari; Mert D. Pesé; Sebastian Steinhorst (CoRR, 2024)

Contextualizing Security and Privacy of Software-Defined Vehicles: State of the Art and Industry Perspectives. - Marco De Vincenzi 001; Mert D. Pesé; Chiara Bodei; Ilaria Matteucci; Richard R. Brooks; Monowar Hasan; Andrea Saracino; Mohammad Hamad; Sebastian Steinhorst (CoRR, 2024)

Zero-Knowledge Location Privacy via Accurate Floating-Point SNARKs. - Jens Ernstberger; Chengru Zhang; Luca Ciprian; Philipp Jovanovic; Sebastian Steinhorst (IACR Cryptol. ePrint Arch., 2024)

Enhancing security in Fiat-Shamir transformation-based non-interactive zero-knowledge protocols for IoT authentication. - Firas Hamila; Mohammad Hamad; Daniel Costa Salgado; Sebastian Steinhorst (Int. J. Inf. Sec., 2024)

CyclicSim: Comprehensive Evaluation of Cyclic Shapers in Time-Sensitive Networking. - Rubi Debnath; Luxi Zhao 001; Mohammadreza Barzegaran; Sebastian Steinhorst (CCNC, 2025)

Designing Resilient Autonomous Systems with the Reflex Pattern. - Julian Demicoli; Sebastian Steinhorst (DATE, 2025)

Multi-Partner Project: CyberSecDome - Framework for Secure, Collaborative, and Privacy-Aware Incident Handling for Digital Infrastructure. - Mohammad Hamad; Michael Kühr; Haralambos Mouratidis; Eleni-Maria Kalogeraki; Christos A. Gizelis; Dimitrios Papanikas; Athanasios Bountioukos-Spinaris; Charilaos Skandylas; Evangelos Raptis; Andreas Alexopoulos; Grigorios Chrysos 001; Mina Marmpena; et al. (DATE, 2025)

Cybersecurity Challenges of Autonomous Systems. - Mohammad Hamad; Christian Prehofer; Mikael Asplund; Tobias Löhr; Lucas Bublitz; Alexander Zeh; Mridula Singh; Sebastian Steinhorst (DATE, 2025)

Designing Secure Space Systems. - Zain Alabedin Haj Hammadeh; Mohammad Hamad; Andrzej Olchawa; Milenko Starcik; Ricardo Fradique; Stefan Langhammer; Manuel Hoffmann; Florian Göhler; Daniel Lüdtke; Michael Felderer; Sebastian Steinhorst (DATE, 2025)

Sensor Fusion Desynchronization Attacks. - Andreas Finkenzeller; Andrew Roberts; Mauro Bellone; Olaf Maennel; Mohammad Hamad; Sebastian Steinhorst (ECRTS, 2025)

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 (SEAMS@ICSE, 2025)

Sensor Fusion Desynchronization Attacks (Artifact). - Andreas Finkenzeller; Andrew Roberts; Mauro Bellone; Olaf Maennel; Mohammad Hamad; Sebastian Steinhorst (Dagstuhl Artifacts Ser., 2025)

ORIGO: Proving Provenance of Sensitive Data with Constant Communication. - Jens Ernstberger; Jan Lauinger; Yinnan Wu; Arthur Gervais; Sebastian Steinhorst (Proc. Priv. Enhancing Technol., 2025)

Janus: Fast Privacy-Preserving Data Provenance For TLS. - Jan Lauinger; Jens Ernstberger; Andreas Finkenzeller; Sebastian Steinhorst (Proc. Priv. Enhancing Technol., 2025)

Learning-Based Traffic Classification for Mixed-Critical Flows in Time-Sensitive Networking. - Rubi Debnath; Luxi Zhao 001; Sebastian Steinhorst (CoRR, 2025)

FuzzSense: Towards A Modular Fuzzing Framework for Autonomous Driving Software. - Andrew Roberts; Lorenz Teply; Mert D. Pesé; Olaf Maennel; Mohammad Hamad; Sebastian Steinhorst (CoRR, 2025)

On the Natural Robustness of Vision-Language Models Against Visual Perception Attacks in Autonomous Driving. - Pedram MohajerAnsari; Amir Salarpour; Michael Kühr; Siyu Huang; Mohammad Hamad; Sebastian Steinhorst; Habeeb Olufowobi; Mert D. Pesé (CoRR, 2025)

Towards an Optimized Multi-Cyclic Queuing and Forwarding in Time Sensitive Networking with Time Injection. - Rubi Debnath; Mohammadreza Barzegaran; Sebastian Steinhorst (CoRR, 2025)

Securing the Precision Time Protocol with SDN-enabled Cyclic Path Asymmetry Analysis. - Andreas Finkenzeller; Arne Fucks; Emanuel Regnath; Mohammad Hamad; Sebastian Steinhorst (ACM Trans. Cyber Phys. Syst., 2025)