| |
| 2005 | ||
|---|---|---|
| 4 | EE | Patrick Birrer, Walter Hartong: Incorporating SystemC in Analog/Mixed-Signal Design Flow. FDL 2005: 173-178 |
| 2002 | ||
| 3 | EE | Walter Hartong, Lars Hedrich, Erich Barke: On Discrete Modeling and Model Checking for Nonlinear Analog Systems. CAV 2002: 401-413 |
| 2 | EE | Walter Hartong, Lars Hedrich, Erich Barke: Model checking algorithms for analog verification. DAC 2002: 542-547 |
| 1 | EE | Walter Hartong, Lars Hedrich, Erich Barke: An Approach to Model Checking for Nonlinear Analog Systems. DATE 2002: 1080 |
| 1 | Erich Barke | [1] [2] [3] |
| 2 | Patrick Birrer | [4] |
| 3 | Lars Hedrich | [1] [2] [3] |