Jürgen Haufe

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