Gerald Alexander Koroa

Publication Activity (10 Years)

Years Active: 2017-2020
Publications (10 Years): 3

Top Topics

Symbolic Model Checking

Design Space Exploration

Analog Circuits

Automatically Generate

Top Venues

Publications

Malgorzata Rechmal-Lesse, Gerald Alexander Koroa, Yeremia Gunawan Adhisantoso, Markus Olbrich
Automatically Generated Nonlinear Analog Circuit Models Enclosing Variations with Intervals and Affine Forms for Reachability Analysis. DDECS (2020)
Malgorzata Rechmal-Lesse, Gerald Alexander Koroa, Yeremia Gunawan Adhisantoso, Markus Olbrich
Automated Model Generation Including Variations for Formal Verification of Nonlinear Analog Circuits. NEWCAS (2020)
Harry Weber, Gerald Alexander Koroa, Wolfgang Mathis, Dimitar Delchev, Galia Marinova
A self-consistent Carleman linearization approach for the design of RF mixer circuits. NORCAS (2017)