Jürgen Haufe

Publication Activity (10 Years)

Years Active: 1990-2018
Publications (10 Years): 1

Top Venues

IECON

MBMV

ETFA

Simul. Notes Eur.

Academy of Sciences of the German Democratic Republic, Berlin, Germany (PHD)

Education History

Academy of Sciences of the German Democratic Republic, Berlin, Germany

PHD

Publications

Herve Pruvost, Olaf Enae-Roscnblatt, Jürgen Haufe
Information Integration and Semantic Interpretation for Building Energy System Operation and Maintenance. IECON (2018)
Kristin Majetta, Christoph Clauß, Jürgen Haufe, Stephan Seidel, Torsten Blochwitz, Edgar Liebold, Ullrich Hintzen, Volker Klostermann
Design and Optimization of an Energy Manager for an Office Building. Simul. Notes Eur. 25 (2) (2015)
Stephan Seidel, Ulrich Donath, Jürgen Haufe
Towards an integrated simulation and virtual commissioning environment for controls of material handling systems. WSC (2012)
Stephan Seidel, Ulrich Donath, Jürgen Haufe
Approach to a simulation-based verification environment for material handling systems. ETFA (2012)
Thomas Klotz, Bernd Straube, Eva Fordran, Norman Seßler, Jürgen Haufe, Frank Schulze
Ein Ansatz zur Verifikation von Materialflusssteuerungen. MBMV (2012)
Thomas Klotz, Bernd Straube, Eva Fordran, Jürgen Haufe, Frank Schulze, Karsten Turek, Thorsten Schmidt
An approach to the verification of material handling systems. ETFA (2011)
Stephan Seidel, Thomas Klotz, Ulrich Donath, Jürgen Haufe
Modellierung des Real-Time-Verhaltens von Steuerungen in der Automatisierungstechnik. MBMV (2010)
Stephan Seidel, Thomas Klotz, Ulrich Donath, Jürgen Haufe
Modelling the real-time behaviour of machine controls using UML statecharts. ETFA (2010)
Michael Galetzka, Jürgen Haufe, Michael Lindig, Uwe Eichler, Peter Schneider
Challenges of simulating robust wireless sensor network applications in building automation environments. ETFA (2010)
Thomas Klotz, Eva Fordran, Bernd Straube, Jürgen Haufe
Formal Verification of UML-modeled Machine Controls. ETFA (2009)
Jürgen Haufe, Ulrich Donath, Eva Fordran, Thomas Klotz, Bernd Straube
Modellierung und Verifikation von Steuerungen in der Automatisierungstechnik. MBMV (2009)
Mirko Benz, Uwe Hatnik, Klaus Feske, Jürgen Haufe
Entwurfsunterstützung zur hardwarebasierten TCP/IP-Beschleunigung (Design Support for Hardware Based TCP/IP Accelerator). Informationstechnik Tech. Inform. 44 (3) (2002)
Uwe Hatnik, Jürgen Haufe, Peter Schwarz
Objektorientierte Simulation von heterogenen Kommunikations-Systemen. MBMV (1) (2001)
Uwe Hatnik, Jürgen Haufe, Peter Schwarz
An Innovative Approach to Couple EDA Tools with Reconfigurable Hardware. FPL (2000)
Thomas Kropf, Joachim Gerlach, Jürgen Haufe, Mathias Kortke
Methodischer HW/SW-Entwurf des GSM Sprachtranscodec-Algorithmus. Informationstechnik Tech. Inform. 41 (2) (1999)
Uwe Knöchel, Ulrich Tannert, Jürgen Haufe, Peter Schwarz
Verifikation nachrichtentechnischer Systeme mit Systemsimulation und HW/SW-Cosimulation. MBMV (1998)
Peter Schwarz, Christoph Clauß, Ulrich Donath, Jürgen Haufe, Gunter Kurth, Peter Trappe
KOSIM-ein Mixed-Mode, Multi-Level-Simulator. Rechnergestützter Entwurf und Architektur mikroelektronischer Systeme (1990)

Jürgen Haufe.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jürgen Haufe