Realisierung des Komplexes Netzeingabe innerhalb des Programmsystems SESAD. - Jürgen Haufe (1987)

KOSIM-ein Mixed-Mode, Multi-Level-Simulator. - Peter Schwarz; Christoph Clauß; Ulrich Donath; Jürgen Haufe; Gunter Kurth; Peter Trappe (Rechnergestützter Entwurf und Architektur mikroelektronischer Systeme, 1990)

Verifikation nachrichtentechnischer Systeme mit Systemsimulation und HW/SW-Cosimulation. - Uwe Knöchel; Ulrich Tannert; Jürgen Haufe; Peter Schwarz (MBMV, 1998)

Methodischer HW/SW-Entwurf des GSM Sprachtranscodec-Algorithmus. - Thomas Kropf; Joachim Gerlach; Jürgen Haufe; Mathias Kortke (Informationstechnik Tech. Inform., 1999)

An Innovative Approach to Couple EDA Tools with Reconfigurable Hardware. - Uwe Hatnik; Jürgen Haufe; Peter Schwarz (FPL, 2000)

Objektorientierte Simulation von heterogenen Kommunikations-Systemen. - Uwe Hatnik; Jürgen Haufe; Peter Schwarz (MBMV (1), 2001)

Entwurfsunterstützung zur hardwarebasierten TCP/IP-Beschleunigung (Design Support for Hardware Based TCP/IP Accelerator). - Mirko Benz; Uwe Hatnik; Klaus Feske; Jürgen Haufe (Informationstechnik Tech. Inform., 2002)

Formal Verification of UML-modeled Machine Controls. - Thomas Klotz; Eva Fordran; Bernd Straube; Jürgen Haufe (ETFA, 2009)

Modellierung und Verifikation von Steuerungen in der Automatisierungstechnik. - Jürgen Haufe; Ulrich Donath; Eva Fordran; Thomas Klotz; Bernd Straube (MBMV, 2009)

Challenges of simulating robust wireless sensor network applications in building automation environments. - Michael Galetzka; Jürgen Haufe; Michael Lindig; Uwe Eichler; Peter Schneider (ETFA, 2010)

Modelling the real-time behaviour of machine controls using UML statecharts. - Stephan Seidel; Thomas Klotz; Ulrich Donath; Jürgen Haufe (ETFA, 2010)

Modellierung des Real-Time-Verhaltens von Steuerungen in der Automatisierungstechnik. - Stephan Seidel; Thomas Klotz; Ulrich Donath; Jürgen Haufe (MBMV, 2010)

An approach to the verification of material handling systems. - Thomas Klotz; Bernd Straube; Eva Fordran; Jürgen Haufe; Frank Schulze; Karsten Turek; Thorsten Schmidt (ETFA, 2011)

Approach to a simulation-based verification environment for material handling systems. - Stephan Seidel; Ulrich Donath; Jürgen Haufe (ETFA, 2012)

Ein Ansatz zur Verifikation von Materialflusssteuerungen. - Thomas Klotz; Bernd Straube; Eva Fordran; Norman Seßler; Jürgen Haufe; Frank Schulze (MBMV, 2012)

Towards an integrated simulation and virtual commissioning environment for controls of material handling systems. - Stephan Seidel; Ulrich Donath; Jürgen Haufe (WSC, 2012)

Design and Optimization of an Energy Manager for an Office Building. - Kristin Majetta; Christoph Clauß; Jürgen Haufe; Stephan Seidel; Torsten Blochwitz; Edgar Liebold; Ullrich Hintzen; Volker Klostermann (Simul. Notes Eur., 2015)

Information Integration and Semantic Interpretation for Building Energy System Operation and Maintenance. - Hervé Pruvost; Olaf Enae-Rosenblatt; Jürgen Haufe (IECON, 2018)