Pröbstl, Alma;Park, Sangyoung;Narayanaswamy, Swaminathan;Steinhorst, Sebastian;Chakraborty, Samarjit
SOH-Aware Active Cell Balancing Strategy For High Power Battery Packs
Proceedings of the Conference on Design, Automation and Test in Europe (DATE 2018)
2018

Lamprecht, Alexander;Narayanaswamy, Swaminathan;Steinhorst, Sebastian
Improving Fast Charging Efficiency of Reconfigurable Battery Packs
Proceedings of the Conference on Design, Automation and Test in Europe (DATE 2018)
2018

Mrowca, Artur;Pramsohler, Thomas;Steinhorst, Sebastian;Baumgarten, Uwe
Automated Interpretation and Reduction of In-Vehicle Network Traces at a Large Scale
Proceedings of the 55th Design Automation Conference (DAC 2018)
2018

Narayanaswamy, Swaminathan;Park, Sangyoung;Steinhorst, Sebastian;Chakraborty, Samarjit
Multi-Pattern Active Cell Balancing Architecture and Equalization Strategy for Battery Packs
Proceedings of the International Symposium on Low Power Electronics and Design (ISLPED '18)
2018

Regnath, Emanuel;Steinhorst, Sebastian
SmaCoNat: Smart Contracts in Natural Language
2018 Forum on specification and Design Languages (FDL)
2018

Korkan, Ege;K{ä}bisch, Sebastian;Kovatsch, Matthias;Steinhorst, Sebastian
Sequential Behavioral Modeling for Scalable IoT Devices and Systems
2018 Forum on specification and Design Languages (FDL)
2018

Saidi, Selma;Steinhorst, Sebastian;Hamann, Arne;Ziegenbein, Dirk;Wolf, Marko
Future Automotive Systems Design: Research Challenges and Opportunities: Special Session
Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS 2018)
2018

Narayanaswamy, Swaminathan;Park, Sangyoung;Steinhorst, Sebastian;Chakraborty, Samarjit
Design Automation for Battery Systems
Proceedings of the 2018 IEEE/ACM International Conference on Computer-Aided Design (ICCAD 2018)
2018

Regnath, Emanuel;Steinhorst, Sebastian
LeapChain: Efficient Blockchain Verification for Embedded IoT
Proceedings of the 2018 IEEE/ACM International Conference on Computer-Aided Design (ICCAD 2018)
2018

Fürtig, Andreas;Steinhorst, Sebastian;Hedrich, Lars
Feature-Based State Space Coverage Metric for Analog Circuit Verification
83-101
Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2016
Fummi, Franco;Wille, Robert
Springer International Publishing
2018