Ulrich Donath

Modellierung des Real-Time-Verhaltens von Steuerungen in der Automatisierungstechnik

Jürgen Haufe, Thomas Klotz, Stephan Seidel, 2010, MBMV.

Algorithmic Approaches for System‐Level Simulation of MEMS and Aspects of Cosimulation

Peter Schneider, Günter Elst, Christoph Clauß, 2013 .

Modelica – a Modelling Language for Heterogeneous Systems

Olaf Enge-Rosenblatt, Christoph Clauß, Kristin Majetta, 2011 .

Modellierung und Verifikation von Steuerungen in der Automatisierungstechnik

Jürgen Haufe, Thomas Klotz, Bernd Straube, 2009, MBMV.

Modelling the real-time behaviour of machine controls using UML statecharts

Jürgen Haufe, Thomas Klotz, Stephan Seidel, 2010, 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010).

VHDL - Teil 1: Systemsicht und Sprachkonstrukte

Peter Schwarz, Ulrich Donath, 2002 .

Error-free Control Programs by means of Graphical Program Design, Simulation-based Verification and Automatic Code Generation

Stephan Seidel, Ulrich Donath, 2011 .

A new Approach for Modeling and Verification of Discrete Control Components within a Modelica Environment 1

Jürgen Haufe, Torsten Blochwitz, Thomas Neidhold, 2008 .

KOSIM-ein Mixed-Mode, Multi-Level-Simulator

Jürgen Haufe, Peter Schwarz, Christoph Clauß, 1990, Rechnergestützter Entwurf und Architektur mikroelektronischer Systeme.

Towards an integrated simulation and virtual commissioning environment for controls of material handling systems

Jürgen Haufe, Stephan Seidel, Ulrich Donath, 2012, Proceedings Title: Proceedings of the 2012 Winter Simulation Conference (WSC).

Approach to a simulation-based verification environment for material handling systems

Jürgen Haufe, Stephan Seidel, Ulrich Donath, 2012, Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012).