Efficient generation of analog circuit models for accelerated mixed-signal simulation. - Stefan Hoelldampf; Hyun-Sek Lukas Lee; Daniel Zaum; Markus Olbrich; Erich Barke (SoCC, 2012)

Automated generation of hybrid system models for reachability analysis of nonlinear analog circuits. - Hyun-Sek Lukas Lee; Matthias Althoff; Stefan Hoelldampf; Markus Olbrich; Erich Barke (ASP-DAC, 2015)

Embedded tutorial: Analog-/mixed-signal verification methods for AMS coverage analysis. - Erich Barke; Andreas Furtig; Georg Glaeser; Christoph Grimm 001; Lars Hedrich; Stefan Heinen; Eckhard Hennig; Hyun-Sek Lukas Lee; Wolfgang Nebel; Gregor Nitsche; Markus Olbrich; Carna Radojicic; et al. (DATE, 2016)

Novel metrics for Analog Mixed-Signal coverage. - Andreas Furtig; Georg Glaeser; Christoph Grimm 001; Lars Hedrich; Stefan Heinen; Hyun-Sek Lukas Lee; Gregor Nitsche; Markus Olbrich; Carna Radojicic; Fabian Speicher (DDECS, 2017)