Sebastian Steinhorst

191 papers A* 10A 34B 13C 24Misc 4Journal 63Unranked 41

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	ADSecLang: a Domain-Specific Language for Cybersecurity Testing of Autonomous Vehicles. VTC2025-Spring Andrew Roberts, Jingyue Cheng, Olaf Maennel, Mohammad Hamad, Sebastian Steinhorst
2025	—	`conf`	Adsecdata Platform: An Open-Source Data Platform for Autonomous Driving Cybersecurity. VTC2025-Spring Andrew Roberts, Mohsen Malayjerdi, Mauro Bellone, Raivo Sell, Olaf Maennel, Mohammad Hamad, Sebastian Steinhorst
2025	—	`conf`	Analysis of Autonomous Driving Software to Low-Level Sensor Cyber Attacks. SEAMS@ICSE Andrew Roberts, Mohsen Malayjerdi, Mauro Bellone, Raivo Sell, Olaf Maennel, Mohammad Hamad, Sebastian Steinhorst
2025	C	`conf`	Cati - An Open-Source Framework to Evaluate Attacks on Cameras for Autonomous Vehicles. DSD Michael Kühr, Maximilian Mittmann, Mohammad Hamad, Sebastian Steinhorst
2025	A	`conf`	Cybersecurity Challenges of Autonomous Systems. DATE Mohammad Hamad, Christian Prehofer, Mikael Asplund, Tobias Löhr, Lucas Bublitz, Alexander Zeh, Mridula Singh, Sebastian Steinhorst
2025	—	`conf`	CyclicSim: Comprehensive Evaluation of Cyclic Shapers in Time-Sensitive Networking. CCNC Rubi Debnath, Luxi Zhao, Mohammadreza Barzegaran, Sebastian Steinhorst
2025	A	`conf`	Designing Resilient Autonomous Systems with the Reflex Pattern. DATE Julian Demicoli, Sebastian Steinhorst
2025	A	`conf`	Designing Secure Space Systems. DATE 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
2025	J	`jnl`	Enhancing Security Through Task Migration in Software-Defined Vehicles. IEEE Internet Things J. Mohammad Hamad, Zain Alabedin Haj Hammadeh, Davide Alessi, Monowar Hasan, Mert D. Pesé, Daniel Lüdtke, Sebastian Steinhorst
2025	C	`conf`	Flexpoch: Feature-rich 64-bit DateTime Encoding. FDL Emanuel Regnath, Andreas Finkenzeller, Sebastian Steinhorst
2025	J	`jnl`	FuzzSense: Towards A Modular Fuzzing Framework for Autonomous Driving Software. CoRR Andrew Roberts, Lorenz Teply, Mert D. Pesé, Olaf Maennel, Mohammad Hamad, Sebastian Steinhorst
2025	B	`conf`	Interoperable Cyber-Physical Multi-Agent Systems Through Web of Things. ICWE Roman Binkert, Fady Salama, Ege Korkan, Sebastian Käbisch, Sebastian Steinhorst
2025	J	`jnl`	Introducing Large Language Models into the Design Flow of Time Sensitive Networking. CoRR Rubi Debnath, Luxi Zhao, Mohammadreza Barzegaran, Sebastian Steinhorst
2025	J	`jnl`	Janus: Fast Privacy-Preserving Data Provenance For TLS. Proc. Priv. Enhancing Technol. Jan Lauinger, Jens Ernstberger, Andreas Finkenzeller, Sebastian Steinhorst
2025	B	`conf`	LLM-MaGe: A Generative Mashup Planner for the Web of Things. ICWE Fady Salama, Franz J. Ennemoser, Roman Binkert, Ege Korkan, Sebastian Käbisch, Sebastian Steinhorst
2025	—	`conf`	Learning-Based Traffic Classification for Mixed-Critical Flows in Time-Sensitive Networking. ICC Rubi Debnath, Luxi Zhao, Sebastian Steinhorst
2025	J	`jnl`	Learning-Based Traffic Classification for Mixed-Critical Flows in Time-Sensitive Networking. CoRR Rubi Debnath, Luxi Zhao, Sebastian Steinhorst
2025	A	`conf`	Multi-Partner Project: CyberSecDome - Framework for Secure, Collaborative, and Privacy-Aware Incident Handling for Digital Infrastructure. DATE 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, Mina Marmpena, Sevasti Politi, Konstantinos Lieros, Nikolaos Papagiannopoulos, Iordanis Xanthopoulos, Spyros Papastergiou, Sotiris Ioannidis, Mikael Asplund, Marc-Oliver Pahl, Sebastian Steinhorst
2025	J	`jnl`	ORIGO: Proving Provenance of Sensitive Data with Constant Communication. Proc. Priv. Enhancing Technol. Jens Ernstberger, Jan Lauinger, Yinnan Wu, Arthur Gervais, Sebastian Steinhorst
2025	J	`jnl`	On the Natural Robustness of Vision-Language Models Against Visual Perception Attacks in Autonomous Driving. CoRR Pedram MohajerAnsari, Amir Salarpour, Michael Kühr, Siyu Huang, Mohammad Hamad, Sebastian Steinhorst, Habeeb Olufowobi, Mert D. Pesé
2025	—	`conf`	RobWoTAR: Web of Things Approach to Universally Control Robots in Augmented Reality. IOT Roman Binkert, Abdullah Al-Hatem, Fady Salama, Ege Korkan, Sebastian Käbisch, Sebastian Steinhorst
2025	J	`jnl`	Securing the Precision Time Protocol with SDN-enabled Cyclic Path Asymmetry Analysis. ACM Trans. Cyber Phys. Syst. Andreas Finkenzeller, Arne Fucks, Emanuel Regnath, Mohammad Hamad, Sebastian Steinhorst
2025	J	`jnl`	Sensor Fusion Desynchronization Attacks (Artifact). Dagstuhl Artifacts Ser. Andreas Finkenzeller, Andrew Roberts, Mauro Bellone, Olaf Maennel, Mohammad Hamad, Sebastian Steinhorst
2025	B	`conf`	Sensor Fusion Desynchronization Attacks. ECRTS Andreas Finkenzeller, Andrew Roberts, Mauro Bellone, Olaf Maennel, Mohammad Hamad, Sebastian Steinhorst
2025	J	`jnl`	Toward an Optimized Multi-Cyclic Queuing and Forwarding in Time-Sensitive Networking With Time Injection. IEEE Internet Things J. Rubi Debnath, Mohammadreza Barzegaran, Sebastian Steinhorst
2025	J	`jnl`	Towards an Optimized Multi-Cyclic Queuing and Forwarding in Time Sensitive Networking with Time Injection. CoRR Rubi Debnath, Mohammadreza Barzegaran, Sebastian Steinhorst
2025	A*	`conf`	Zero-Knowledge Location Privacy via Accurate Floating-Point SNARKs. SP Jens Ernstberger, Chengru Zhang, Luca Ciprian, Philipp Jovanovic, Sebastian Steinhorst
2024	—	`conf`	A Gamified Learning Approach for IoT Security Education Using Capture-the-Flag Competitions: Architecture and Insights. NordSec Mohammad Hamad, Andreas Finkenzeller, Monowar Hasan, Marc-Oliver Pahl, Sebastian Steinhorst
2024	J	`jnl`	A novel load distribution strategy for aggregators using IoT-enabled mobile devices. CoRR Nitin Shivaraman, Jakob Fittler, Saravanan Ramanathan, Arvind Easwaran, Sebastian Steinhorst
2024	A	`conf`	ADAssure: Debugging Methodology for Autonomous Driving Control Algorithms. DATE Andrew Roberts, Mohammad Reza Heidari Iman, Mauro Bellone, Tara Ghasempouri, Jaan Raik, Olaf Maennel, Mohammad Hamad, Sebastian Steinhorst
2024	—	`conf`	Adaptability-Driven Multi-Objective Hardware Optimization for Vehicular Systems. VTC Fall Julian Demicoli, Sebastian Steinhorst
2024	C	`conf`	Advanced IDPS Architecture for Connected and Autonomous Vehicles. IV Sherin Kalli Valappil, Lars Vogel, Mohammad Hamad, Sebastian Steinhorst
2024	—	`conf`	Autonomous Vehicular Systems: Architectural Strategies for Adaptive Multi-Objective Configuration. VTC Spring Julian Demicoli, Nicolai Palm, Herbert Palm, Oliver Kleikemper, Sebastian Steinhorst
2024	A*	`conf`	Blockchain Censorship. WWW Anton Wahrstätter, Jens Ernstberger, Aviv Yaish, Liyi Zhou, Kaihua Qin, Taro Tsuchiya, Sebastian Steinhorst, Davor Svetinovic, Nicolas Christin, Mikolaj Barczentewicz, Arthur Gervais
2024	J	`jnl`	Cluster-based Network Time Synchronization for Resilience with Energy Efficiency. CoRR Nitin Shivaraman, Patrick Schuster, Saravanan Ramanathan, Arvind Easwaran, Sebastian Steinhorst
2024	J	`jnl`	Contextualizing Security and Privacy of Software-Defined Vehicles: State of the Art and Industry Perspectives. CoRR Marco De Vincenzi, Mert D. Pesé, Chiara Bodei, Ilaria Matteucci, Richard R. Brooks, Monowar Hasan, Andrea Saracino, Mohammad Hamad, Sebastian Steinhorst
2024	J	`jnl`	CyclicSim: Comprehensive Evaluation of Cyclic Shapers in Time-Sensitive Networking. CoRR Rubi Debnath, Luxi Zhao, Mohammadreza Barzegaran, Sebastian Steinhorst
2024	B	`conf`	DyST: Dynamic Specification Mining for Heterogenous IoT Systems with WoT. ICWE Ege Korkan, Silvia Oliva Ramirez, Sebastian Steinhorst
2024	J	`jnl`	Enhancing security in Fiat-Shamir transformation-based non-interactive zero-knowledge protocols for IoT authentication. Int. J. Inf. Sec. Firas Hamila, Mohammad Hamad, Daniel Costa Salgado, Sebastian Steinhorst
2024	—	`conf`	HoloWoT: A First Step Towards Mixed Reality Digital Twins for the Industrial Internet of Things. MoDELS (Companion) Fady Salama, Idil Sezgin, Ege Korkan, Sebastian Käbisch, Sebastian Steinhorst
2024	C	`conf`	MATRaCAE: Time-Based Revocable Access Control in the IoT. SECRYPT Clémentine Gritti, Emanuel Regnath, Sebastian Steinhorst
2024	J	`jnl`	ORIGO: Proving Provenance of Sensitive Data with Constant Communication. IACR Cryptol. ePrint Arch. Jens Ernstberger, Jan Lauinger, Yinnan Wu, Arthur Gervais, Sebastian Steinhorst
2024	A*	`conf`	PTPsec: Securing the Precision Time Protocol Against Time Delay Attacks Using Cyclic Path Asymmetry Analysis. INFOCOM Andreas Finkenzeller, Oliver Butowski, Emanuel Regnath, Mohammad Hamad, Sebastian Steinhorst
2024	J	`jnl`	PTPsec: Securing the Precision Time Protocol Against Time Delay Attacks Using Cyclic Path Asymmetry Analysis. CoRR Andreas Finkenzeller, Oliver Butowski, Emanuel Regnath, Mohammad Hamad, Sebastian Steinhorst
2024	C	`conf`	Portal: Time-Bound and Replay-Resistant Zero-Knowledge Proofs for Single Sign-On. ICBC Jan Lauinger, Serhat Bezmez, Jens Ernstberger, Sebastian Steinhorst
2024	B	`conf`	Quantifying the Impact of Frame Preemption on Combined TSN Shapers. NOMS Rubi Debnath, Philipp Hortig, Luxi Zhao, Sebastian Steinhorst
2024	J	`jnl`	Quantifying the Impact of Frame Preemption on Combined TSN Shapers. CoRR Rubi Debnath, Philipp Hortig, Luxi Zhao, Sebastian Steinhorst
2024	J	`jnl`	REACT: Autonomous Intrusion Response System for Intelligent Vehicles. CoRR Mohammad Hamad, Andreas Finkenzeller, Michael Kühr, Andrew Roberts, Olaf Maennel, Vassilis Prevelakis, Sebastian Steinhorst
2024	J	`jnl`	REACT: Autonomous intrusion response system for intelligent vehicles. Comput. Secur. Mohammad Hamad, Andreas Finkenzeller, Michael Kühr, Andrew Roberts, Olaf Maennel, Vassilis Prevelakis, Sebastian Steinhorst
2024	J	`jnl`	SoK: Security of the Image Processing Pipeline in Autonomous Vehicles. CoRR Michael Kühr, Mohammad Hamad, Pedram MohajerAnsari, Mert D. Pesé, Sebastian Steinhorst
2024	—	`conf`	Stateful-WoT: Capturing the Behavior of Highly Dynamic Cyber-Physical Systems. COINS Fady Salama, Ege Korkan, Sebastian Käbisch, Sebastian Steinhorst
2024	J	`jnl`	Zero-Knowledge Location Privacy via Accurate Floating Point SNARKs. CoRR Jens Ernstberger, Chengru Zhang, Luca Ciprian, Philipp Jovanovic, Sebastian Steinhorst
2024	J	`jnl`	Zero-Knowledge Location Privacy via Accurate Floating-Point SNARKs. IACR Cryptol. ePrint Arch. Jens Ernstberger, Chengru Zhang, Luca Ciprian, Philipp Jovanovic, Sebastian Steinhorst
2024	—	`conf`	zk-Bench: A Toolset for Comparative Evaluation and Performance Benchmarking of SNARKs. SCN (1) Jens Ernstberger, Stefanos Chaliasos, George Kadianakis, Sebastian Steinhorst, Philipp Jovanovic, Arthur Gervais, Benjamin Livshits, Michele Orrù
2024	C	`conf`	zkGen: Policy-to-Circuit Transpiler. ICBC Jan Lauinger, Jens Ernstberger, Sebastian Steinhorst
2023	—	`conf`	5GTQ: QoS-Aware 5G-TSN Simulation Framework. VTC Fall Rubi Debnath, Mustafa Selman Akinci, Devika Ajith, Sebastian Steinhorst
2023	B	`conf`	Advanced Modeling and Analysis of Individual and Combined TSN Shapers in OMNeT++. RTCSA Rubi Debnath, Philipp Hortig, Luxi Zhao, Sebastian Steinhorst
2023	C	`conf`	Anonymous Domain Ownership. ICBC Jan Lauinger, Jens Ernstberger, Sebastian Steinhorst
2023	A	`conf`	Autonomous Hyperloop Control Architecture Design using MAPE-K. DATE Julian Demicoli, Laurin Prenzel, Sebastian Steinhorst
2023	J	`jnl`	Blockchain Censorship. CoRR Anton Wahrstätter, Jens Ernstberger, Aviv Yaish, Liyi Zhou, Kaihua Qin, Taro Tsuchiya, Sebastian Steinhorst, Davor Svetinovic, Nicolas Christin, Mikolaj Barczentewicz, Arthur Gervais
2023	J	`jnl`	Janus: Fast Privacy-Preserving Data Provenance For TLS 1.3. IACR Cryptol. ePrint Arch. Jan Lauinger, Jens Ernstberger, Andreas Finkenzeller, Sebastian Steinhorst
2023	B	`conf`	Message from the Chairs: RTCSA 2023. RTCSA Hiroshi Yamada, Ting He, Hiroyuki Tomiyama, Nan Guan, Sebastian Steinhorst
2023	J	`jnl`	Predictable timing behavior of gracefully degrading automotive systems. Des. Autom. Embed. Syst. Philipp Weiss, Sebastian Steinhorst
2023	J	`jnl`	Reliability Analysis of Gracefully Degrading Automotive Systems. CoRR Philipp Weiss, Ali Younessi, Sebastian Steinhorst
2023	—	`conf`	RobWoT: Generating Real-Time Digital Twin Simulations for the Robotic Web of Things. WF-IoT Fady Salama, Zucheng Han, Ege Korkan, Sebastian Käbisch, Sebastian Steinhorst
2023	J	`jnl`	SEEMQTT: Secure End-to-End MQTT-Based Communication for Mobile IoT Systems Using Secret Sharing and Trust Delegation. IEEE Internet Things J. Mohammad Hamad, Andreas Finkenzeller, Hangmao Liu, Jan Lauinger, Vassilis Prevelakis, Sebastian Steinhorst
2023	J	`jnl`	Security Challenges in Autonomous Systems Design. CoRR Mohammad Hamad, Sebastian Steinhorst
2023	—	`conf`	Simutack - An Attack Simulation Framework for Connected and Autonomous Vehicles. VTC2023-Spring Andreas Finkenzeller, Anshu Mathur, Jan Lauinger, Mohammad Hamad, Sebastian Steinhorst
2023	A	`conf`	SoK: Data Sovereignty. EuroS&P Jens Ernstberger, Jan Lauinger, Fatima Elsheimy, Liyi Zhou, Sebastian Steinhorst, Ran Canetti, Andrew Miller, Arthur Gervais, Dawn Song
2023	J	`jnl`	SoK: Data Sovereignty. IACR Cryptol. ePrint Arch. Jens Ernstberger, Jan Lauinger, Fatima Elsheimy, Liyi Zhou, Sebastian Steinhorst, Ran Canetti, Andrew Miller, Arthur Gervais, Dawn Song
2023	B	`conf`	TEEVseL4: Trusted Execution Environment for Virtualized seL4-Based Systems. RTCSA Borna Blazevic, Michael Peter, Mohammad Hamad, Sebastian Steinhorst
2023	—	`conf`	Trusted Single-Source Sensors using SNARKs. COINS Saad Bin Shams, Emanuel Regnath, Andreas Bogner, Sebastian Steinhorst
2023	—	`conf`	WoT-Phyng-Sim: Integrating Physics Simulations with IoT Digital Twins using the Web of Things. COINS Fady Salama, Anatolii Tsirkunenko, Ege Korkan, Sebastian Käbisch, Sebastian Steinhorst
2023	—	`conf`	X-MAPE: Extending 6G-Connected Self-Adaptive Systems with Reflexive Actions. NFV-SDN 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
2023	J	`jnl`	zk-Bench: A Toolset for Comparative Evaluation and Performance Benchmarking of SNARKs. IACR Cryptol. ePrint Arch. Jens Ernstberger, Stefanos Chaliasos, George Kadianakis, Sebastian Steinhorst, Philipp Jovanovic, Arthur Gervais, Benjamin Livshits, Michele Orrù
2022	A	`conf`	Attack Data Generation Framework for Autonomous Vehicle Sensors. DATE Jan Lauinger, Andreas Finkenzeller, Henrik Lautebach, Mohammad Hamad, Sebastian Steinhorst
2022	B	`conf`	FLaaS6G: Federated Learning as a Service in 6G Using Distributed Data Management Architecture. GLOBECOM Wenxuan Ye, Xueli An, Xueqiang Yan, Mohammad Hamad, Sebastian Steinhorst
2022	B	`conf`	Feasible Time Delay Attacks Against the Precision Time Protocol. GLOBECOM Andreas Finkenzeller, Thomas Wakim, Mohammad Hamad, Sebastian Steinhorst
2022	C	`conf`	How Real (Time) Are Virtual PLCs? ETFA Diogenes Javier Perez, Josef Waltl, Laurin Prenzel, Sebastian Steinhorst
2022	J	`jnl`	On the efficacy of SoC-preconditioning on the utilization of battery packs in Electric Vehicles. Microprocess. Microsystems Alexander Lamprecht, Ananth Garikapati, Swaminathan Narayanaswamy, Johannes Machleid, Sebastian Steinhorst
2022	J	`jnl`	Quantitative Performance Comparison of Various Traffic Shapers in Time-Sensitive Networking. IEEE Trans. Netw. Serv. Manag. Luxi Zhao, Paul Pop, Sebastian Steinhorst
2022	—	`conf`	Real-time Dynamic Reconfiguration for IEC 61499. ICPS Laurin Prenzel, Simon Hofmann, Sebastian Steinhorst
2022	C	`conf`	Rollback Sequences for Dynamic Reconfiguration of IEC 61499. INDIN Laurin Prenzel, Simon Hofmann, Sebastian Steinhorst
2022	C	`conf`	Supporting a Model-driven Development Process for Distributed Control Software. ETFA Bianca Wiesmayr, Alois Zoitl, Laurin Prenzel, Sebastian Steinhorst
2022	J	`jnl`	Toward Resilience in Mixed Critical Industrial Control Systems: A Multi-Disciplinary View. IEEE Access 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
2022	—	`conf`	Toward a Multi-Layer Intrusion Response System for Connected Vehicles. VTC Fall Jan Lauinger, Mohammad Hamad, Sebastian Steinhorst
2022	C	`conf`	Towards Resilience by Self-Adaptation of Industrial Control Systems. ETFA Laurin Prenzel, Sebastian Steinhorst
2021	—	`conf`	A novel load distribution strategy for aggregators using IoT-enabled mobile devices. SmartGridComm Nitin Shivaraman, Jakob Fittler, Saravanan Ramanathan, Arvind Easwaran, Sebastian Steinhorst
2021	B	`conf`	A-MaGe: Atomic Mashup Generator for the Web of Things. ICWE Ege Korkan, Fady Salama, Sebastian Kaebisch, Sebastian Steinhorst
2021	—	`conf`	A-PoA: Anonymous Proof of Authorization for Decentralized Identity Management. IEEE ICBC Jan Lauinger, Jens Ernstberger, Emanuel Regnath, Mohammad Hamad, Sebastian Steinhorst
2021	C	`conf`	Automated Dependency Resolution for Dynamic Reconfiguration of IEC 61499. ETFA Laurin Prenzel, Sebastian Steinhorst
2021	—	`conf`	CISCAV: Consensus-based Intersection Scheduling for Connected Autonomous Vehicles. COINS Emanuel Regnath, Markus Birkner, Sebastian Steinhorst
2021	C	`conf`	Checkpointing Period Optimization of Distributed Fail-Operational Automotive Applications. DSD Philipp Weiss, Emil Daporta, Andreas Weichslgartner, Sebastian Steinhorst
2021	A	`conf`	Cluster-Based Network Time Synchronization for Resilience with Energy Efficiency. RTSS Nitin Shivaraman, Patrick Schuster, Saravanan Ramanathan, Arvind Easwaran, Sebastian Steinhorst
2021	A	`conf`	Decentralized Autonomous Architecture for Resilient Cyber-Physical Production Systems. DATE Laurin Prenzel, Sebastian Steinhorst
2021	C	`conf`	Heterogeneous Communication Virtualization for Distributed Embedded Applications. DSD Thinh Hung Pham, Shanker Shreejith, Sebastian Steinhorst, Suhaib A. Fahmy, Samarjit Chakraborty
2021	—	`conf`	Human-based Consensus for Trust Installation in Ontologies. IEEE ICBC Christoph Summerer, Emanuel Regnath, Hans Ehm, Sebastian Steinhorst
2021	J	`jnl`	Practical and Scalable Access Control Mechanism for the Internet of Things. IACR Cryptol. ePrint Arch. Clémentine Gritti, Emanuel Regnath, Sebastian Steinhorst
2021	J	`jnl`	Quantitative Performance Comparison of Various Traffic Shapers in Time-Sensitive Networking. CoRR Luxi Zhao, Paul Pop, Sebastian Steinhorst
2021	J	`jnl`	Quantitative System-Level Security Verification of the IoV Infrastructure. CoRR Jan Lauinger, Mudassar Aslam, Mohammad Hamad, Shahid Raza, Sebastian Steinhorst
2021	—	`conf`	Runtime Deployment, Management and Monitoring of Web of Things Systems. COINS Ege Korkan, Miguel Romero Karam, Sebastian Kaebisch, Sebastian Steinhorst
2021	A	`conf`	SPPS: Secure Policy-based Publish/Subscribe System for V2C Communication. DATE Mohammad Hamad, Emanuel Regnath, Jan Lauinger, Vassilis Prevelakis, Sebastian Steinhorst
2021	—	`conf`	Towards a behavioral description of cyber-physical systems using the thing description. DAI-SNAC@CoNEXT Fady Salama, Ege Korkan, Sebastian Käbisch, Sebastian Steinhorst
2021	J	`jnl`	Towards an Increased Detection Sensitivity of Time-Delay Attacks on Precision Time Protocol. IEEE Access Lea Schönberger, Mohammad Hamad, Javier Velasquez Gomez, Sebastian Steinhorst, Selma Saidi
2021	A	`conf`	Worst-Case Failover Timing Analysis of Distributed Fail-Operational Automotive Applications. DATE Philipp Weiss, Sherif Elsabbahy, Andreas Weichslgartner, Sebastian Steinhorst
2020	—	`ed.`	2nd International Workshop on Autonomous Systems Design, ASD 2020, Grenoble, France (Virtual Conference), March 13, 2020 ASD Sebastian Steinhorst, Jyotirmoy V. Deshmukh
2020	J	`jnl`	A Survey on Time-Sensitive Resource Allocation in the Cloud Continuum. CoRR Saravanan Ramanathan, Nitin Shivaraman, Seima Suryasekaran, Arvind Easwaran, Etienne Borde, Sebastian Steinhorst
2020	J	`jnl`	A survey on time-sensitive resource allocation in the cloud continuum. it Inf. Technol. Saravanan Ramanathan, Nitin Shivaraman, Seima Suryasekaran, Arvind Easwaran, Etienne Borde, Sebastian Steinhorst
2020	A	`conf`	AMSA: Adaptive Merkle Signature Architecture. DATE Emanuel Regnath, Sebastian Steinhorst
2020	—	`conf`	Adaptable Demonstrator Platform for the Simulation of Distributed Agent-Based Automotive Systems. ASD@DATE Philipp Weiss, Sebastian Nagel, Andreas Weichslgartner, Sebastian Steinhorst
2020	—	`conf`	Blockchain, what time is it? Trustless Datetime Synchronization for IoT. COINS Emanuel Regnath, Nitin Shivaraman, Shanker Shreejith, Arvind Easwaran, Sebastian Steinhorst
2020	—	`conf`	COLAW: Cooperative Location Proof Architecture for VANETs based on Witnessing. COINS Philippos Barabas, Emanuel Regnath, Sebastian Steinhorst
2020	B	`conf`	DeCoRIC: Decentralized Connected Resilient IoT Clustering. ICCCN Nitin Shivaraman, Saravanan Ramanathan, Shanker Shreejith, Arvind Easwaran, Sebastian Steinhorst
2020	J	`jnl`	DeCoRIC: Decentralized Connected Resilient IoT Clustering. CoRR Nitin Shivaraman, Saravanan Ramanathan, Shanker Shreejith, Arvind Easwaran, Sebastian Steinhorst
2020	C	`conf`	Energy-Optimized Elastic Application Distribution for Automotive Systems in Hybrid Cloud Architectures. DSD Philipp Weber, Philipp Weiss, Dominik Reinhardt, Sebastian Steinhorst
2020	A	`conf`	Fail-Operational Automotive Software Design Using Agent-Based Graceful Degradation. DATE Philipp Weiss, Andreas Weichslgartner, Felix Reimann, Sebastian Steinhorst
2020	J	`jnl`	Internet of Things. it Inf. Technol. Sebastian Steinhorst
2020	—	`conf`	No-Code Shadow Things Deployment for the IoT. WF-IoT Ege Korkan, Emanuel Regnath, Sebastian Käbisch, Sebastian Steinhorst
2020	—	`conf`	Poster Abstract: C-Sync: The Resilient Time Synchronization Protocol. IPSN Nitin Shivaraman, Patrick Schuster, Saravanan Ramanathan, Arvind Easwaran, Sebastian Steinhorst
2020	—	`conf`	Random Forest Regression of Charge Balancing Data: A State of Health Estimation Method for Electric Vehicle Batteries. COINS Alexander Lamprecht, Moritz Riesterer, Sebastian Steinhorst
2020	A	`conf`	Real-Time Energy Monitoring in IoT-enabled Mobile Devices. DATE Nitin Shivaraman, Seima Saki, Zhiwei Liu, Saravanan Ramanathan, Arvind Easwaran, Sebastian Steinhorst
2020	J	`jnl`	Real-Time Energy Monitoring in IoT-enabled Mobile Devices. CoRR Nitin Shivaraman, Seima Saki, Zhiwei Liu, Saravanan Ramanathan, Arvind Easwaran, Sebastian Steinhorst
2020	J	`jnl`	Streamlining IoT system development with open standards. it Inf. Technol. Ege Korkan, Sebastian Kaebisch, Sebastian Steinhorst
2020	—	`conf`	Towards a Blockchain-based Identity and Trust Management Framework for the IoV Ecosystem. GIoTS Anastasia Theodouli, Konstantinos Moschou, Konstantinos Votis, Dimitrios Tzovaras, Jan Lauinger, Sebastian Steinhorst
2020	B	`conf`	W-ADE: Timing Performance Benchmarking in Web of Things. ICWE Verena Eileen Schlott, Ege Korkan, Sebastian Käbisch, Sebastian Steinhorst
2020	—	`conf`	Web of Things System Description for Representation of Mashups. COINS Adrian Kast, Ege Korkan, Sebastian Käbisch, Sebastian Steinhorst
2020	—	`conf`	WiP Abstract: Mobility-based Load Balancing for IoT-enabled Devices in Smart Grids. ICCPS Nitin Shivaraman, Jakob Fittler, Saravanan Ramanathan, Arvind Easwaran, Sebastian Steinhorst
2019	J	`jnl`	Analysis of Dissipative Losses in Modular Reconfigurable Energy Storage Systems Using SystemC TLM and SystemC-AMS. ACM Trans. Design Autom. Electr. Syst. Thomas Zimmermann, Mathias Mora, Sebastian Steinhorst, Daniel Mueller-Gritschneder, Andreas Jossen
2019	A	`conf`	CUBA: Chained Unanimous Byzantine Agreement for Decentralized Platoon Management. DATE Emanuel Regnath, Sebastian Steinhorst
2019	A	`conf`	Cost/Privacy Co-optimization in Smart Energy Grids. DATE Alma Pröbstl, Sangyoung Park, Sebastian Steinhorst, Samarjit Chakraborty
2019	A	`conf`	Decentralized Non-Neighbor Active Charge Balancing in Large Battery Packs. DATE Alexander Lamprecht, Martin Baumann, Tobias Massier, Sebastian Steinhorst
2019	C	`conf`	Enhancing Battery Pack Capacity Utilization in Electric Vehicle Fleets via SoC-Preconditioning. DSD Alexander Lamprecht, Ananth Garikapati, Swaminathan Narayanaswamy, Sebastian Steinhorst
2019	J	`jnl`	Future Automotive HW/SW Platform Design (Dagstuhl Seminar 19502). Dagstuhl Reports Dirk Ziegenbein, Selma Saidi, Xiaobo Sharon Hu, Sebastian Steinhorst
2019	A*	`conf`	Learning Temporal Specifications from Imperfect Traces Using Bayesian Inference. DAC Artur Mrowca, Martin Nocker, Sebastian Steinhorst, Stephan Günnemann
2019	J	`jnl`	Optimal Dimensioning and Control of Active Cell Balancing Architectures. IEEE Trans. Veh. Technol. Swaminathan Narayanaswamy, Sebastian Steinhorst, Martin Lukasiewycz, Matthias Kauer, Samarjit Chakraborty
2019	J	`jnl`	Virtual-Thing: Thing Description based Virtualization. CoRR Hassib Belhaj Hassine, Ege Korkan, Sebastian Steinhorst
2019	J	`jnl`	WoTify: A platform to bring Web of Things to your devices. CoRR Ege Korkan, Hassib Belhaj Hassine, Verena Eileen Schlott, Sebastian Käbisch, Sebastian Steinhorst
2018	C	`ed.`	2018 Forum on Specification & Design Languages, FDL 2018, Garching, Germany, September 10-12, 2018 FDL Hiren D. Patel, Tom J. Kazmierski, Sebastian Steinhorst
2018	A*	`conf`	Automated interpretation and reduction of in-vehicle network traces at a large scale. DAC Artur Mrowca, Thomas Pramsohler, Sebastian Steinhorst, Uwe Baumgarten
2018	A	`conf`	Design automation for battery systems. ICCAD Swaminathan Narayanaswamy, Sangyoung Park, Sebastian Steinhorst, Samarjit Chakraborty
2018	Misc	`conf`	Future automotive systems design: research challenges and opportunities: special session. CODES+ISSS Selma Saidi, Sebastian Steinhorst, Arne Hamann, Dirk Ziegenbein, Marko Wolf
2018	A	`conf`	Improving fast charging efficiency of reconfigurable battery packs. DATE Alexander Lamprecht, Swaminathan Narayanaswamy, Sebastian Steinhorst
2018	A	`conf`	LeapChain: efficient blockchain verification for embedded IoT. ICCAD Emanuel Regnath, Sebastian Steinhorst
2018	A	`conf`	Multi-Pattern Active Cell Balancing Architecture and Equalization Strategy for Battery Packs. ISLPED Swaminathan Narayanaswamy, Sangyoung Park, Sebastian Steinhorst, Samarjit Chakraborty
2018	A	`conf`	SOH-aware active cell balancing strategy for high power battery packs. DATE Alma Pröbstl, Sangyoung Park, Swaminathan Narayanaswamy, Sebastian Steinhorst, Samarjit Chakraborty
2018	C	`conf`	Sequential Behavioral Modeling for Scalable IoT Devices and Systems. FDL Ege Korkan, Sebastian Käbisch, Matthias Kovatsch, Sebastian Steinhorst
2018	C	`conf`	SmaCoNat: Smart Contracts in Natural Language. FDL Emanuel Regnath, Sebastian Steinhorst
2017	J	`jnl`	Automotive Electrical and Electronic Architecture Security via Distributed In-Vehicle Traffic Monitoring. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Peter Waszecki, Philipp Mundhenk, Sebastian Steinhorst, Martin Lukasiewycz, Ramesh Karri, Samarjit Chakraborty
2017	A	`conf`	Efficient decentralized active balancing strategy for smart battery cells. DATE Nitin Shivaraman, Arvind Easwaran, Sebastian Steinhorst
2017	J	`jnl`	Modular Active Charge Balancing for Scalable Battery Packs. IEEE Trans. Very Large Scale Integr. Syst. Swaminathan Narayanaswamy, Matthias Kauer, Sebastian Steinhorst, Martin Lukasiewycz, Samarjit Chakraborty
2017	J	`jnl`	Rapid Analysis of Active Cell Balancing Circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Matthias Kauer, Swaminathan Narayanaswamy, Sebastian Steinhorst, Samarjit Chakraborty
2017	J	`jnl`	Security in Automotive Networks: Lightweight Authentication and Authorization. CoRR Philipp Mundhenk, Andrew Paverd, Artur Mrowca, Sebastian Steinhorst, Martin Lukasiewycz, Suhaib A. Fahmy, Samarjit Chakraborty
2017	J	`jnl`	Security in Automotive Networks: Lightweight Authentication and Authorization. ACM Trans. Design Autom. Electr. Syst. Philipp Mundhenk, Andrew Paverd, Artur Mrowca, Sebastian Steinhorst, Martin Lukasiewycz, Suhaib A. Fahmy, Samarjit Chakraborty
2017	J	`jnl`	VEGa: A High Performance Vehicular Ethernet Gateway on Hybrid FPGA. IEEE Trans. Computers Shanker Shreejith, Philipp Mundhenk, Andreas Ettner, Suhaib A. Fahmy, Sebastian Steinhorst, Martin Lukasiewycz, Samarjit Chakraborty
2016	J	`jnl`	Cyber-Physical Co-Simulation Framework for Smart Cells in Scalable Battery Packs. ACM Trans. Design Autom. Electr. Syst. Sebastian Steinhorst, Matthias Kauer, Arne Meeuw, Swaminathan Narayanaswamy, Martin Lukasiewycz, Samarjit Chakraborty
2016	—	`conf`	Design and verification methodologies for Smart Battery Cells. ISIC Sebastian Steinhorst
2016	—	`conf`	Distributed reconfigurable Battery System Management Architectures. ASP-DAC Sebastian Steinhorst, Zili Shao, Samarjit Chakraborty, Matthias Kauer, Shuai Li, Martin Lukasiewycz, Swaminathan Narayanaswamy, Muhammad Usman Rafique, Qixin Wang
2016	C	`conf`	Feature based state space coverage of analog circuits. FDL Andreas Furtig, Sebastian Steinhorst, Lars Hedrich
2016	A	`conf`	Formal approaches to design of active cell balancing architectures in battery management systems. ICCAD Sebastian Steinhorst, Martin Lukasiewycz
2016	J	`jnl`	Multischedule Synthesis for Variant Management in Automotive Time-Triggered Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Florian Sagstetter, Peter Waszecki, Sebastian Steinhorst, Martin Lukasiewycz, Samarjit Chakraborty
2016	J	`jnl`	On Battery Recovery Effect in Wireless Sensor Nodes. ACM Trans. Design Autom. Electr. Syst. Swaminathan Narayanaswamy, Steffen Schlüter, Sebastian Steinhorst, Martin Lukasiewycz, Samarjit Chakraborty, Harry Ernst Hoster
2016	J	`jnl`	Open source model and simulator for real-time performance analysis of automotive network security. SIGBED Rev. Philipp Mundhenk, Artur Mrowca, Sebastian Steinhorst, Martin Lukasiewycz, Suhaib A. Fahmy, Samarjit Chakraborty
2016	J	`jnl`	Security-Aware Obfuscated Priority Assignment for Automotive CAN Platforms. ACM Trans. Design Autom. Electr. Syst. Martin Lukasiewycz, Philipp Mundhenk, Sebastian Steinhorst
2016	J	`jnl`	Synthesis of Active Cell Balancing Architectures for Battery Packs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Martin Lukasiewycz, Matthias Kauer, Sebastian Steinhorst
2015	A*	`conf`	Efficient design space exploration of embedded platforms. DAC Martin Lukasiewycz, Florian Sagstetter, Sebastian Steinhorst
2015	A	`conf`	Inductor optimization for active cell balancing using geometric programming. DATE Matthias Kauer, Swaminathan Narayanaswamy, Martin Lukasiewycz, Sebastian Steinhorst, Samarjit Chakraborty
2015	A	`conf`	Lightweight authentication for secure automotive networks. DATE Philipp Mundhenk, Sebastian Steinhorst, Martin Lukasiewycz, Suhaib A. Fahmy, Samarjit Chakraborty
2015	—	`conf`	Many-to-many active cell balancing strategy design. ASP-DAC Matthias Kauer, Swaminathan Narayanaswamy, Sebastian Steinhorst, Martin Lukasiewycz, Samarjit Chakraborty
2015	A*	`conf`	Security analysis of automotive architectures using probabilistic model checking. DAC Philipp Mundhenk, Sebastian Steinhorst, Martin Lukasiewycz, Suhaib A. Fahmy, Samarjit Chakraborty
2015	A	`conf`	Topology identification for smart cells in modular batteries. DATE Sebastian Steinhorst, Martin Lukasiewycz
2014	—	`conf`	Automata-theoretic modeling of fixed-priority non-preemptive scheduling for formal timing verification. ASP-DAC Matthias Kauer, Sebastian Steinhorst, Reinhard Schneider, Martin Lukasiewycz, Samarjit Chakraborty
2014	A	`conf`	Optimal dimensioning of active cell balancing architectures. DATE Swaminathan Narayanaswamy, Sebastian Steinhorst, Martin Lukasiewycz, Matthias Kauer, Samarjit Chakraborty
2014	Misc	`conf`	Policy-based message scheduling using FlexRay. CODES+ISSS Philipp Mundhenk, Florian Sagstetter, Sebastian Steinhorst, Martin Lukasiewycz, Samarjit Chakraborty
2014	—	`conf`	Smart Cells for Embedded Battery Management. CPSNA Sebastian Steinhorst, Martin Lukasiewycz, Swaminathan Narayanaswamy, Matthias Kauer, Samarjit Chakraborty
2014	Misc	`conf`	Verification of balancing architectures for modular batteries. CODES+ISSS Martin Lukasiewycz, Sebastian Steinhorst, Swaminathan Narayanaswamy
2013	Misc	`conf`	Dimensioning and configuration of EES systems for electric vehicles with boundary-conditioned adaptive scalarization. CODES+ISSS Wanli Chang, Martin Lukasiewycz, Sebastian Steinhorst, Samarjit Chakraborty
2013	—	`conf`	Formal verification of distributed controllers using Time-Stamped Event Count Automata. ASP-DAC Matthias Kauer, Sebastian Steinhorst, Dip Goswami, Reinhard Schneider, Martin Lukasiewycz, Samarjit Chakraborty
2013	A*	`conf`	Model-based development and verification of control software for electric vehicles. DAC Dip Goswami, Martin Lukasiewycz, Matthias Kauer, Sebastian Steinhorst, Alejandro Masrur, Samarjit Chakraborty, S. Ramesh
2013	A*	`conf`	Modular system-level architecture for concurrent cell balancing. DAC Matthias Kauer, Swaminathan Naranayaswami, Sebastian Steinhorst, Martin Lukasiewycz, Samarjit Chakraborty, Lars Hedrich
2013	A	`conf`	Priority assignment for event-triggered systems using mathematical programming. DATE Martin Lukasiewycz, Sebastian Steinhorst, Samarjit Chakraborty
2013	A	`conf`	Security challenges in automotive hardware/software architecture design. DATE Florian Sagstetter, Martin Lukasiewycz, Sebastian Steinhorst, Marko Wolf, Alexandre Bouard, William R. Harris, Somesh Jha, Thomas Peyrin, Axel Poschmann, Samarjit Chakraborty
2013	A*	`conf`	System architecture and software design for electric vehicles. DAC Martin Lukasiewycz, Sebastian Steinhorst, Sidharta Andalam, Florian Sagstetter, Peter Waszecki, Wanli Chang, Matthias Kauer, Philipp Mundhenk, Shanker Shreejith, Suhaib A. Fahmy, Samarjit Chakraborty
2012	C	`conf`	Analog assertion-based verification on partial state space representations using ASL. FDL Sebastian Steinhorst, Lars Hedrich
2012	C	`conf`	Cyber-Physical Systems Design for Electric Vehicles. DSD Martin Lukasiewycz, Sebastian Steinhorst, Florian Sagstetter, Wanli Chang, Peter Waszecki, Matthias Kauer, Samarjit Chakraborty
2012	C	`conf`	Equivalence checking of nonlinear analog circuits for hierarchical AMS System Verification. VLSI-SoC Sebastian Steinhorst, Lars Hedrich
2012	A	`conf`	Trajectory-Directed discrete state space modeling for formal verification of nonlinear analog circuits. ICCAD Sebastian Steinhorst, Lars Hedrich
2011	—	`—`	Formal verification methodologies for nonlinear analog circuits (Formale Verifikationsmethodiken für nichtlineare analoge Schaltungen) Sebastian Steinhorst
2010	J	`jnl`	Advanced methods for equivalence checking of analog circuits with strong nonlinearities. Formal Methods Syst. Des. Sebastian Steinhorst, Lars Hedrich
2010	C	`conf`	Improving verification coverage of analog circuit blocks by state space-guided transient simulation. ISCAS Sebastian Steinhorst, Lars Hedrich
2009	A	`conf`	Formal approaches to analog circuit verification. DATE Erich Barke, Darius Grabowski, Helmut Graeb, Lars Hedrich, Stefan Heinen, Ralf Popp, Sebastian Steinhorst, Yifan Wang
2008	A	`conf`	Model Checking of Analog Systems using an Analog Specification Language. DATE Sebastian Steinhorst, Lars Hedrich