| 2018 | IECON | Information Integration and Semantic Interpretation for Building Energy System Operation and Maintenance. | Herv Pruvost, Olaf Enae-Rosenblatt, Jrgen Haufe |
| 2012 | ETFA | Approach to a simulation-based verification environment for material handling systems. | Stephan Seidel, Ulrich Donath, Jrgen Haufe |
| 2012 | WSC | Towards an integrated simulation and virtual commissioning environment for controls of material handling systems. | Stephan Seidel, Ulrich Donath, Jrgen Haufe |
| 2011 | ETFA | An approach to the verification of material handling systems. | Thomas Klotz, Bernd Straube, Eva Fordran, Jrgen Haufe, Frank Schulze, Karsten Turek, Thorsten Schmidt |
| 2010 | ETFA | Challenges of simulating robust wireless sensor network applications in building automation environments. | Michael Galetzka, Jrgen Haufe, Michael Lindig, Uwe Eichler, Peter Schneider |
| 2010 | ETFA | Modelling the real-time behaviour of machine controls using UML statecharts. | Stephan Seidel, Thomas Klotz, Ulrich Donath, Jrgen Haufe |
| 2009 | ETFA | Formal Verification of UML-modeled Machine Controls. | Thomas Klotz, Eva Fordran, Bernd Straube, Jrgen Haufe |
| 2000 | FPL | An Innovative Approach to Couple EDA Tools with Reconfigurable Hardware. | Uwe Hatnik, Jrgen Haufe, Peter Schwarz |