Hyun-Sek Lukas Lee

Publication Activity (10 Years)

Years Active: 2012-2017
Publications (10 Years): 2

Top Topics

Analog Circuits

Reachability Analysis

Top Venues

Publications

Andreas Furtig, Georg Glaeser, Christoph Grimm, Lars Hedrich, Stefan Heinen, Hyun-Sek Lukas Lee, Gregor Nitsche, Markus Olbrich, Carna Radojicic, Fabian Speicher
Novel metrics for Analog Mixed-Signal coverage. DDECS (2017)
Erich Barke, Andreas Furtig, Georg Glaeser, Christoph Grimm, Lars Hedrich, Stefan Heinen, Eckhard Hennig, Hyun-Sek Lukas Lee, Wolfgang Nebel, Gregor Nitsche, Markus Olbrich, Carna Radojicic, Fabian Speicher
Embedded tutorial: Analog-/mixed-signal verification methods for AMS coverage analysis. DATE (2016)
Hyun-Sek Lukas Lee, Matthias Althoff, Stefan Hoelldampf, Markus Olbrich, Erich Barke
Automated generation of hybrid system models for reachability analysis of nonlinear analog circuits. ASP-DAC (2015)
Stefan Hoelldampf, Hyun-Sek Lukas Lee, Daniel Zaum, Markus Olbrich, Erich Barke
Efficient generation of analog circuit models for accelerated mixed-signal simulation. SoCC (2012)