Follow
Sebastian Steinhorst
Sebastian Steinhorst
Associate Professor, Dept. of Computer Engineering, Technical University of Munich
Verified email at tum.de - Homepage
Title
Cited by
Cited by
Year
Security challenges in automotive hardware/software architecture design
F Sagstetter, M Lukasiewycz, S Steinhorst, M Wolf, A Bouard, WR Harris, ...
2013 Design, Automation & Test in Europe Conference & Exhibition (DATE), 458-463, 2013
1722013
Security in automotive networks: Lightweight authentication and authorization
P Mundhenk, A Paverd, A Mrowca, S Steinhorst, M Lukasiewycz, ...
ACM Transactions on Design Automation of Electronic Systems (TODAES) 22 (2 …, 2017
882017
Special session: Future automotive systems design: Research challenges and opportunities
S Saidi, S Steinhorst, A Hamann, D Ziegenbein, M Wolf
2018 International Conference on Hardware/Software Codesign and System …, 2018
68*2018
Lightweight authentication for secure automotive networks
P Mundhenk, S Steinhorst, M Lukasiewycz, SA Fahmy, S Chakraborty
2015 Design, Automation & Test in Europe Conference & Exhibition (DATE), 285-288, 2015
672015
Modular active charge balancing for scalable battery packs
S Narayanaswamy, M Kauer, S Steinhorst, M Lukasiewycz, S Chakraborty
IEEE Transactions on Very Large Scale Integration (VLSI) Systems 25 (3), 974-987, 2016
662016
Smart cells for embedded battery management
S Steinhorst, M Lukasiewycz, S Narayanaswamy, M Kauer, S Chakraborty
2014 IEEE International Conference on Cyber-Physical Systems, Networks, and …, 2014
642014
Distributed reconfigurable battery system management architectures
S Steinhorst, Z Shao, S Chakraborty, M Kauer, S Li, M Lukasiewycz, ...
2016 21st Asia and South Pacific Design Automation Conference (ASP-DAC), 429-434, 2016
612016
System architecture and software design for electric vehicles
M Lukasiewycz, S Steinhorst, S Andalam, F Sagstetter, P Waszecki, ...
Proceedings of the 50th Annual Design Automation Conference, 95, 2013
612013
Automotive electrical and electronic architecture security via distributed in-vehicle traffic monitoring
P Waszecki, P Mundhenk, S Steinhorst, M Lukasiewycz, R Karri, ...
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2017
582017
Model checking of analog systems using an analog specification language
S Steinhorst, L Hedrich
Proceedings of the conference on Design, automation and test in Europe, 324-329, 2008
552008
Security analysis of automotive architectures using probabilistic model checking
P Mundhenk, S Steinhorst, M Lukasiewycz, SA Fahmy, S Chakraborty
Proceedings of the 52nd Annual Design Automation Conference, 1-6, 2015
542015
Quantitative performance comparison of various traffic shapers in time-sensitive networking
L Zhao, P Pop, S Steinhorst
IEEE Transactions on Network and Service Management 19 (3), 2899-2928, 2022
522022
SmaCoNat: Smart contracts in natural language
E Regnath, S Steinhorst
2018 Forum on Specification & Design Languages (FDL), 5-16, 2018
472018
Security-aware obfuscated priority assignment for automotive can platforms
M Lukasiewycz, P Mundhenk, S Steinhorst
ACM Transactions on Design Automation of Electronic Systems (TODAES) 21 (2 …, 2016
412016
Cyber-physical systems design for electric vehicles
M Lukasiewycz, S Steinhorst, F Sagstetter, W Chang, P Waszecki, ...
2012 15th Euromicro Conference on Digital System Design, 477-484, 2012
392012
Advanced methods for equivalence checking of analog circuits with strong nonlinearities
S Steinhorst, L Hedrich
Formal Methods in System Design 36 (2), 131-147, 2010
392010
VEGa: A high performance vehicular ethernet gateway on hybrid FPGA
S Shreejith, P Mundhenk, A Ettner, SA Fahmy, S Steinhorst, ...
IEEE Transactions on Computers 66 (10), 1790-1803, 2017
342017
On battery recovery effect in wireless sensor nodes
S Narayanaswamy, S Schlueter, S Steinhorst, M Lukasiewycz, ...
ACM Transactions on Design Automation of Electronic Systems (TODAES) 21 (4 …, 2016
342016
Modular system-level architecture for concurrent cell balancing
M Kauer, S Naranayaswami, S Steinhorst, M Lukasiewycz, S Chakraborty, ...
Proceedings of the 50th Annual Design Automation Conference, 1-10, 2013
312013
Trajectory-directed discrete state space modeling for formal verification of nonlinear analog circuits
S Steinhorst, L Hedrich
Proceedings of the International Conference on Computer-Aided Design, 202-209, 2012
292012
The system can't perform the operation now. Try again later.
Articles 1–20