Wilhelm Heupke

According to our database, Wilhelm Heupke authored at least 10 papers between 2002 and 2006.

Collaborative distances:

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

2006

Semi-symbolische Modellierung von Abweichungen.

Wilhelm Heupke, Christoph Grimm, Klaus Waldschmidt

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2006

A Framework for the Design of Heterogenous Systems.

Rüdiger Schroll, Wilhelm Heupke, Klaus Waldschmidt, Christoph Grimm

Proceedings of the Forum on specification and Design Languages, 2006

Semi-Symbolic Analysis of Accuracy at System Level.

Wilhelm Heupke

Proceedings of the Forum on specification and Design Languages, 2006

2005

Analysis of mixed-signal systems with affine arithmetic.

Christoph Grimm, Wilhelm Heupke, Klaus Waldschmidt

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2005

Semi-Symbollic Simulation of Nonlinear Systems.

Wilhelm Heupke, Christoph Grimm, Klaus Waldschmidt

Proceedings of the Forum on specification and Design Languages, 2005

2004

Semi-Symbolic Modeling and Analysis of Noise in Heterogeneous Systems .

Christoph Grimm, Wilhelm Heupke, Klaus Waldschmidt

Proceedings of the Forum on specification and Design Languages, 2004

Refinement of Mixed-Signal Systems with Affine Arithmetic.

Christoph Grimm, Wilhelm Heupke, Klaus Waldschmidt

Proceedings of the 2004 Design, 2004

2003

A New Method for Modeling and Analysis of Accuracy and Tolerances in Mixed-Signal Systems.

Wilhelm Heupke, Christoph Grimm, Klaus Waldschmidt

Proceedings of the Forum on specification and Design Languages, 2003

Refinement of Mixed-Signal Systems with SystemC.

Christoph Grimm, Christian Meise, Wilhelm Heupke, Klaus Waldschmidt

Proceedings of the 2003 Design, 2003

2002

Entwurf analog/digitaler Systeme mit SystemC.

Christoph Grimm, Christian Meise, Wilhelm Heupke, Klaus Waldschmidt

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2002