Lars Hedrich

Design and architectures for dependable embedded systems

Jörg Henkel, Lars Bauer, Joachim Becker et al. · 2011 · 92 citations · Full text

Engineering, Computer Engineering, Computer Science +17

FEATS: Framework for Explorative Analog Topology Synthesis

Lars Hedrich · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2014 · 84 citations · Full text

Engineering, Computer Engineering, Electrical Engineering +11

Model checking algorithms for analog verification

Walter Hartong, Lars Hedrich, Erich Barke · Proceedings - ACM IEEE Design Automation Conference · 2002 · 68 citations

Computing, Computer Science, Electrical Engineering +15

Model checking of analog systems using an analog specification language

Sebastian Steinhorst, Lars Hedrich · 2008 · 34 citations

Computing, Computer Science, Electrical Engineering +16

Advanced methods for equivalence checking of analog circuits with strong nonlinearities

Sebastian Steinhorst, Lars Hedrich · Formal Methods in System Design · 2009 · 31 citations

Engineering, Computer Science, Electrical Engineering +17