


Остановите войну!
for scientists:


default search action
Sebastian Steinhorst
Person information

- affiliation: Technical University Munich, Germany
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 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) - [c88]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 - [c87]Saad Bin Shams, Emanuel Regnath, Andreas Bogner, Sebastian Steinhorst:
Trusted Single-Source Sensors using SNARKs. COINS 2023: 1-8 - [c86]Julian Demicoli, Laurin Prenzel, Sebastian Steinhorst:
Autonomous Hyperloop Control Architecture Design using MAPE-K. DATE 2023: 1-6 - [c85]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 - [c84]Jan Lauinger, Jens Ernstberger, Sebastian Steinhorst:
Anonymous Domain Ownership. ICBC 2023: 1-3 - [c83]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 - [i13]Philipp Weiss, Ali Younessi, Sebastian Steinhorst:
Reliability Analysis of Gracefully Degrading Automotive Systems. CoRR abs/2305.07401 (2023) - [i12]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) - [i11]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) - 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) - [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
- [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) - [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 - [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
- [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) - [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 - [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] - [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)
2010 – 2019
- 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) - [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 - [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) - 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 - [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] - 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) - [c30]Nitin Shivaraman, Arvind Easwaran
, Sebastian Steinhorst
:
Efficient decentralized active balancing strategy for smart battery cells. DATE 2017: 1522-1527 - [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) - 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) - [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]