Walter Hartong
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
1999–2005
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2005 | FDL | Incorporating SystemC in Analog/Mixed-Signal Design Flow. | Patrick Birrer, Walter Hartong |
| 2002 | CAV | On Discrete Modeling and Model Checking for Nonlinear Analog Systems. | Walter Hartong, Lars Hedrich, Erich Barke |
| 2002 | DAC | Model checking algorithms for analog verification. | Walter Hartong, Lars Hedrich, Erich Barke |
| 2002 | DATE | An Approach to Model Checking for Nonlinear Analog Systems. | Walter Hartong, Lars Hedrich, Erich Barke |
| 1999 | CASC | On the Simplification of Nonlinear DAE Systems in Analog Circuit Design. | Tim Wichmann, Ralf Popp, Walter Hartong, Lars Hedrich |