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 | 178 | 2013 |
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 | 93 | 2017 |
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 | 71* | 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 | 70 | 2015 |
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 | 69 | 2016 |
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 | 65 | 2014 |
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 | 64 | 2016 |
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 | 63 | 2017 |
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 | 63 | 2013 |
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 | 58 | 2022 |
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 | 57 | 2015 |
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 | 55 | 2008 |
SmaCoNat: Smart contracts in natural language E Regnath, S Steinhorst 2018 Forum on Specification & Design Languages (FDL), 5-16, 2018 | 50 | 2018 |
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 | 42 | 2016 |
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 | 41 | 2012 |
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 | 41 | 2010 |
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 | 35 | 2017 |
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 | 34 | 2016 |
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 | 32 | 2013 |
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 | 30 | 2012 |