Mrowca, Artur;Nocker, Martin;Steinhorst, Sebastian;Günnemann, Stephan
Learning Temporal Specifications from Imperfect Traces Using Bayesian Inference
Proceedings of the 56th Annual Design Automation Conference 2019 on - DAC '19
ACM Press
2019

Zimmermann, Thomas;Mora, Mathias;Steinhorst, Sebastian;Mueller-Gritschneder, Daniel;Jossen, Andreas
Analysis of Dissipative Losses in Modular Reconfigurable Energy Storage Systems Using SystemC TLM and SystemC-AMS
ACM Transactions on Design Automation of Electronic Systems
2019
24
4
1-33

Mrowca, Artur;Nocker, Martin;Steinhorst, Sebastian;Günnemann, Stephan
Learning Temporal Specifications from Imperfect Traces Using Bayesian Inference
Proceedings of the 56th Annual Design Automation Conference 2019 on - DAC '19
ACM Press
2019

Probstl, Alma;Park, Sangyoung;Steinhorst, Sebastian;Chakraborty, Samarjit
Cost/Privacy Co-optimization in Smart Energy Grids
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)
IEEE
2019

Regnath, Emanuel;Steinhorst, Sebastian
CUBA: Chained Unanimous Byzantine Agreement for Decentralized Platoon Management
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)
IEEE
2019

Lamprecht, Alexander;Baumann, Martin;Massier, Tobias;Steinhorst, Sebastian
Decentralized Non-Neighbor Active Charge Balancing in Large Battery Packs
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)
IEEE
2019

Narayanaswamy, Swaminathan;Steinhorst, Sebastian;Lukasiewycz, Martin;Kauer, Matthias;Chakraborty, Samarjit
Optimal Dimensioning and Control of Active Cell Balancing Architectures
IEEE Transactions on Vehicular Technology
2019
68
10
9632-9646

Lamprecht, Alexander;Garikapati, Ananth;Narayanaswamy, Swaminathan;Steinhorst, Sebastian
Enhancing Battery Pack Capacity Utilization in Electric Vehicle Fleets via SoC-Preconditioning
2019 22nd Euromicro Conference on Digital System Design (DSD)
IEEE
2019

Narayanaswamy, Swaminathan;Park, Sangyoung;Steinhorst, Sebastian;Chakraborty, Samarjit
Design Automation for Energy Storage Systems
Design Automation of Cyber-Physical Systems
Springer International Publishing
2019

Sagstetter, Florian;Waszecki, Peter;Steinhorst, Sebastian;Lukasiewycz, Martin;Chakraborty, Samarjit
Multischedule Synthesis for Variant Management in Automotive Time-Triggered Systems
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
2016
35
4
637-650