Establishing Reachset Conformance for the Formal Analysis of Analog Circuits. - Niklas Kochdumper; Ahmad Tarraf; Malgorzata Rechmal; Markus Olbrich; Lars Hedrich; Matthias Althoff (ASP-DAC, 2020)

Automatically Generated Nonlinear Analog Circuit Models Enclosing Variations with Intervals and Affine Forms for Reachability Analysis. - Malgorzata Rechmal-Lesse; Gerald Alexander Koroa; Yeremia Gunawan Adhisantoso; Markus Olbrich (DDECS, 2020)

Equivalence Checking Methods for Analog Circuits Using Continuous Reachable Sets. - Ahmad Tarraf; Lars Hedrich; Niklas Kochdumper; Malgorzata Rechmal-Lesse; Markus Olbrich (ISVLSI, 2020)

Automated Model Generation Including Variations for Formal Verification of Nonlinear Analog Circuits. - Malgorzata Rechmal-Lesse; Gerald Alexander Koroa; Yeremia Gunawan Adhisantoso; Markus Olbrich (NEWCAS, 2020)