Jürgen Haufe

According to our database, Jürgen Haufe authored at least 18 papers between 1987 and 2018.

Collaborative distances:

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

2018

Information Integration and Semantic Interpretation for Building Energy System Operation and Maintenance.

Hervé Pruvost, Olaf Enae-Rosenblatt, Jürgen Haufe

Proceedings of the IECON 2018, 2018

2015

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

2012

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

Stephan Seidel, Ulrich Donath, Jürgen Haufe

Proceedings of the Winter Simulation Conference, 2012

Ein Ansatz zur Verifikation von Materialflusssteuerungen.

Thomas Klotz, Bernd Straube, Eva Fordran, Norman Seßler, Jürgen Haufe, Frank Schulze

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

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

Stephan Seidel, Ulrich Donath, Jürgen Haufe

Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

2011

An approach to the verification of material handling systems.

Thomas Klotz, Bernd Straube, Eva Fordran, Jürgen Haufe, Frank Schulze, Karsten Turek, Thorsten Schmidt

Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

2010

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

Stephan Seidel, Thomas Klotz, Ulrich Donath, Jürgen Haufe

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

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

Stephan Seidel, Thomas Klotz, Ulrich Donath, Jürgen Haufe

Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 2010

Challenges of simulating robust wireless sensor network applications in building automation environments.

Michael Galetzka, Jürgen Haufe, Michael Lindig, Uwe Eichler, Peter Schneider

Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 2010

2009

Modellierung und Verifikation von Steuerungen in der Automatisierungstechnik.

Jürgen Haufe, Ulrich Donath, Eva Fordran, Thomas Klotz, Bernd Straube

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

Formal Verification of UML-modeled Machine Controls.

Thomas Klotz, Eva Fordran, Bernd Straube, Jürgen Haufe

Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009

2002

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

2001

Objektorientierte Simulation von heterogenen Kommunikations-Systemen.

Uwe Hatnik, Jürgen Haufe, Peter Schwarz

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

2000

An Innovative Approach to Couple EDA Tools with Reconfigurable Hardware.

Uwe Hatnik, Jürgen Haufe, Peter Schwarz

Proceedings of the Field-Programmable Logic and Applications, 2000

1999

Methodischer HW/SW-Entwurf des GSM Sprachtranscodec-Algorithmus.

Thomas Kropf, Joachim Gerlach, Jürgen Haufe, Mathias Kortke

Informationstechnik Tech. Inform., 1999

1998

Verifikation nachrichtentechnischer Systeme mit Systemsimulation und HW/SW-Cosimulation.

Uwe Knöchel, Ulrich Tannert, Jürgen Haufe, Peter Schwarz

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

1990

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

Peter Schwarz, Christoph Clauß, Ulrich Donath, Jürgen Haufe, Gunter Kurth, Peter Trappe

Proceedings of the Rechnergestützter Entwurf und Architektur mikroelektronischer Systeme, 1990

1987

Realisierung des Komplexes Netzeingabe innerhalb des Programmsystems SESAD.

Jürgen Haufe

PhD thesis, 1987