Malgorzata Rechmal

According to our database, Malgorzata Rechmal authored at least 4 papers in 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2020

Automated Model Generation Including Variations for Formal Verification of Nonlinear Analog Circuits.

Malgorzata Rechmal-Lesse, Gerald Alexander Koroa, Yeremia Gunawan Adhisantoso, Markus Olbrich

Proceedings of the 18th IEEE International New Circuits and Systems Conference, 2020

Equivalence Checking Methods for Analog Circuits Using Continuous Reachable Sets.

Ahmad Tarraf, Lars Hedrich, Niklas Kochdumper, Malgorzata Rechmal-Lesse, Markus Olbrich

Proceedings of the 2020 IEEE Computer Society Annual Symposium on VLSI, 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

Proceedings of the 23rd International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2020

Establishing Reachset Conformance for the Formal Analysis of Analog Circuits.

Niklas Kochdumper, Ahmad Tarraf, Malgorzata Rechmal, Markus Olbrich, Lars Hedrich, Matthias Althoff

Proceedings of the 25th Asia and South Pacific Design Automation Conference, 2020