Walter Hartong

According to our database, Walter Hartong authored at least 6 papers between 1999 and 2005.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2005

Incorporating SystemC in Analog/Mixed-Signal Design Flow.

Patrick Birrer, Walter Hartong

Proceedings of the Forum on specification and Design Languages, 2005

2003

Ansätze zum Model-Checking nichtlinearer analoger Systeme.

Walter Hartong

PhD thesis, 2003

2002

An Approach to Model Checking for Nonlinear Analog Systems.

Walter Hartong, Lars Hedrich, Erich Barke

Proceedings of the 2002 Design, 2002

Model checking algorithms for analog verification.

Walter Hartong, Lars Hedrich, Erich Barke

Proceedings of the 39th Design Automation Conference, 2002

On Discrete Modeling and Model Checking for Nonlinear Analog Systems.

Walter Hartong, Lars Hedrich, Erich Barke

Proceedings of the Computer Aided Verification, 14th International Conference, 2002

1999

On the Simplification of Nonlinear DAE Systems in Analog Circuit Design.

Tim Wichmann, Ralf Popp, Walter Hartong, Lars Hedrich

Proceedings of the Second Workshop on Computer Algebra in Scientific Computing, 1999