Wolfgang Reif
Papers
57
Total Citations
555
H-Index
13
About
Wolfgang Reif is a prominent researcher whose work spans robotics software engineering, formal verification, and human-robot interaction — fields he has helped shape through technically rigorous and practically impactful contributions. His most celebrated work includes developing the Robotics API, an object-oriented framework that fundamentally modernized industrial robot programming by replacing outdated proprietary languages with flexible, expressive software abstractions. This contribution, explored across multiple highly cited papers (2010, 2013), addressed critical limitations in robot programming expressiveness and real-time performance, with related work on "hiding real-time" complexity garnering 29 citations. Reif has also made significant strides in safe human-robot interaction, particularly through capacitive proximity sensing mounted on robot structures, earning 41 citations — his most recognized individual contribution. His research on multipotent modular robot ensembles (33 citations) demonstrates forward-thinking approaches to autonomous multi-robot coordination, combining planning and self-organization. On the formal methods side, his 2006 work on verifying self-adaptive systems (37 citations) highlights his range beyond hardware and software engineering into rigorous theoretical foundations. More recently, his exploration of OPC-UA and Time-Sensitive Networking for Industry 4.0 applications reflects his continued relevance at the cutting edge of industrial automation research.
Research Focus
Key Achievements
Top Papers
- 1
- 2Formal Modeling and Verification of Systems with Self-x Properties37 citations · 2006
- 3Robotics API: Object-Oriented Software Development for Industrial Robots33 citations · 2013
- 4
- 5
- 6
- 7On reverse-engineering the KUKA Robot Language24 citations · 2010
- 8
- 9
- 10Flexible and continuous execution of real-time critical robotic tasks19 citations · 2014