Jürgen Haufe

Publications

Citations

H-Index

2009

Active since

Affiliations

Fraunhofer Institute for Integrated Circuits(Current)

Jürgen Haufe is an author at Fraunhofer Institute for Integrated Circuits specializing in industrial informatics, engineering, and systems engineering.

Top concepts

EngineeringSystems EngineeringComputer EngineeringIndustrial InformaticsSmart CityVerificationFormal MethodsProcess ControlSensor NetworksComputer Science

Publications per year

2009–2022

Publications

Formal verification of UML-modeled machine controls

Thomas Klotz, Eva Fordran, Bernd Straube et al. · 2009 · 17 citations

Engineering, Verification, Computer-aided Verification +17

A new approach for modeling and verification of discrete control components within a modelica environment

Ulrich Donath, Jürgen Haufe, Torsten Blochwitz et al. · 2022 · 14 citations · Full text

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

Michael Galetzka, Jürgen Haufe, Michael Lindig et al. · 2010 · 10 citations · Full text

Sensor Networks, Engineering, Embedded Sensing +15

Rows per page

1–3 of 3