2025
2024
2023
2021 - 2020
Towards Compositional Abstraction of Analog Neuronal Networks
CCWC, Jan 2021 (online)
Modeling Circuits with Parameter Variation by ELSA: Eigenvalue Based Linear Hybrid System Abstraction
17. GMM/ITG-Fachtagung ANALOG, Sep. 2020 (online)
Equivalence Checking Methods for Analog Circuits Using Continuous Reachable Sets
ISVLSI, July 2020 (online)
2019
Automatic Modeling of Transistor Level Circuits by Hybrid Systems with Parameter Variable Matrices
SMACD, Lausanne, Switzerland, July 2019
Behavioral Modeling of Transistor-Level Circuits using Automatic Abstraction to Hybrid Automata
DATE, Florence, Italy, Mar 2019
2018
BAutomatic Abstraction of Analog Circuits to Hybrid Automata
16. GMM/ITG-Fachtagung Analog, Munich, Germany, 2018