Learning Temporal Specifications from Imperfect Traces Using Bayesian Inference
Proceedings of the 56th Annual Design Automation Conference 2019 on - DAC '19
ACM Press
2019
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
Learning Temporal Specifications from Imperfect Traces Using Bayesian Inference
Proceedings of the 56th Annual Design Automation Conference 2019 on - DAC '19
ACM Press
2019
Cost/Privacy Co-optimization in Smart Energy Grids
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)
IEEE
2019
CUBA: Chained Unanimous Byzantine Agreement for Decentralized Platoon Management
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)
IEEE
2019
Decentralized Non-Neighbor Active Charge Balancing in Large Battery Packs
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)
IEEE
2019
Optimal Dimensioning and Control of Active Cell Balancing Architectures
IEEE Transactions on Vehicular Technology
2019
68
10
9632-9646
Enhancing Battery Pack Capacity Utilization in Electric Vehicle Fleets via SoC-Preconditioning
2019 22nd Euromicro Conference on Digital System Design (DSD)
IEEE
2019
Design Automation for Energy Storage Systems
Design Automation of Cyber-Physical Systems
Springer International Publishing
2019
Exploring the Reactivity and Biological Effects of Heteroleptic N-Heterocyclic Carbene Gold(I)-Alkynyl Complexes
European Journal of Inorganic Chemistry
2020