Walter Hartong

Publication Activity (10 Years)

Years Active: 1999-2005
Publications (10 Years): 0

University of Hanover, Hannover, Germany (PHD)

Education History

University of Hanover, Hannover, Germany

PHD

Publications

Patrick Birrer, Walter Hartong
Incorporating SystemC in Analog/Mixed-Signal Design Flow. FDL (2005)
Walter Hartong, Lars Hedrich, Erich Barke
Model checking algorithms for analog verification. DAC (2002)
Walter Hartong, Lars Hedrich, Erich Barke
On Discrete Modeling and Model Checking for Nonlinear Analog Systems. CAV (2002)
Walter Hartong, Lars Hedrich, Erich Barke
An Approach to Model Checking for Nonlinear Analog Systems. DATE (2002)
Tim Wichmann, Ralf Popp, Walter Hartong, Lars Hedrich
On the Simplification of Nonlinear DAE Systems in Analog Circuit Design. CASC (1999)