Malgorzata Rechmal-Lesse

Publication Activity (10 Years)

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

Top Topics

Formal Verification

Analog Circuits

Reachability Analysis

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)
Ahmad Tarraf, Lars Hedrich, Niklas Kochdumper, Malgorzata Rechmal-Lesse, Markus Olbrich
Equivalence Checking Methods for Analog Circuits Using Continuous Reachable Sets. ISVLSI (2020)