Talks

Explore my latest research and contributions to the scientific community.

2025


2024


Slide 1 Slide 2 Slide 3 Slide 4 Slide 5 Slide 6 Slide 7 Slide 8 Slide 9 Slide 10 Slide 11 Slide 12 Slide 12

2023


Slide 1 Slide 2 Slide 3 Slide 4 Slide 5 Slide 6 Slide 7 Slide 8 Slide 9

2022


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


Slide 1 Slide 2 Slide 3

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


Slide 1 Slide 2 Slide 3

BAutomatic Abstraction of Analog Circuits to Hybrid Automata

16. GMM/ITG-Fachtagung Analog, Munich, Germany, 2018