Sebastian Steinhorst
Sebastian Steinhorst
Associate Professor, Dept. of Electrical and 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
1032013
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
512008
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
412015
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
362014
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
352013
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
322016
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
302017
Security analysis of automotive architectures using probabilistic model checking
P Mundhenk, S Steinhorst, M Lukasiewycz, SA Fahmy, S Chakraborty
2015 52nd ACM/EDAC/IEEE Design Automation Conference (DAC), 1-6, 2015
292015
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
282010
Formal approaches to analog circuit verification
E Barke, D Grabowski, H Graeb, L Hedrich, S Heinen, R Popp, ...
2009 Design, Automation & Test in Europe Conference & Exhibition, 724-729, 2009
282009
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
272016
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
262012
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
252016
Modular system-level architecture for concurrent cell balancing
M Kauer, S Naranayaswami, S Steinhorst, M Lukasiewycz, S Chakraborty, ...
2013 50th ACM/EDAC/IEEE Design Automation Conference (DAC), 1-10, 2013
252013
Trajectory-directed discrete state space modeling for formal verification of nonlinear analog circuits
S Steinhorst, L Hedrich
2012 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 202-209, 2012
222012
Optimal dimensioning of active cell balancing architectures
S Narayanaswamy, S Steinhorst, M Lukasiewycz, M Kauer, S Chakraborty
2014 Design, Automation & Test in Europe Conference & Exhibition (DATE), 1-6, 2014
212014
Improving verification coverage of analog circuit blocks by state space-guided transient simulation
S Steinhorst, L Hedrich
Proceedings of 2010 IEEE International Symposium on Circuits and Systems …, 2010
192010
Cyber-physical co-simulation framework for smart cells in scalable battery packs
S Steinhorst, M Kauer, A Meeuw, S Narayanaswamy, M Lukasiewycz, ...
ACM Transactions on Design Automation of Electronic Systems (TODAES) 21 (4 …, 2016
172016
Many-to-many active cell balancing strategy design
M Kauer, S Narayanaswamy, S Steinhorst, M Lukasiewycz, S Chakraborty
The 20th Asia and South Pacific Design Automation Conference, 267-272, 2015
172015
Verification of balancing architectures for modular batteries
M Lukasiewycz, S Steinhorst, S Narayanaswamy
2014 International Conference on Hardware/Software Codesign and System …, 2014
172014
The system can't perform the operation now. Try again later.
Articles 1–20