| 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 | 111 | 2013 |
| 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 | 52 | 2008 |
| 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 | 44 | 2015 |
| 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 | 40 | 2017 |
| 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 | 40 | 2014 |
| 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 | 40 | 2013 |
| 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 | 39 | 2016 |
| 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 | 34 | 2016 |
| 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 | 33 | 2015 |
| 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 | 30 | 2010 |
| 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 | 29 | 2012 |
| 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 | 28 | 2009 |
| 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 | 26 | 2016 |
| 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 | 26 | 2013 |
| 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 | 24 | 2012 |
| 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 | 23* | 2018 |
| 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 | 21 | 2014 |
| 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 | 21 | 2010 |
| 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 | 19 | 2017 |
| 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 | 19 | 2016 |
Martin LukasiewyczGoogleVerifierad e-postadress på google.com
