Johannes Mey
Papers
11
Total Citations
48
H-Index
4
About
Johannes Mey is a researcher at the forefront of model-driven engineering for robotics, focusing on the intersection of formal verification, hardware/software co-design, and real-time systems. His work addresses the critical challenge of verifying complex, distributed robotic systems that are often defined only by their implementation. Mey’s major contributions include the development of DiNeROS, a model-driven framework that leverages distributed Petri nets to enable verifiable ROS applications, and a model-based approach for automatically generating FPGA-based hardware architectures tailored for robotics. These contributions help bridge the gap between high-level models and low-level implementation, ensuring that systems meet real-time constraints while maintaining correctness. His most cited paper (11 citations) demonstrates the practical impact of his hardware generation work, while his DiNeROS framework (7 citations) has been recognized for its potential to mitigate verification challenges in industrial settings. Mey has also explored innovative applications, such as robotic assembly of modular concrete shells, and cross-layer adaptation in autonomic systems. His work is essential reading for researchers and engineers seeking to bring rigorous, model-driven verification and efficient hardware acceleration to the next generation of robotic systems.
Research Focus
Key Achievements
Top Papers
- 1
- 2
- 3
- 4
- 5Robotic assembly of modular concrete shells using falsework4 citations · 2025
- 6Cross-Layer Adaptation in Multi-layer Autonomic Systems (Invited Talk)4 citations · 2019
- 7
- 8
- 9Human–robot cohabitation in industry2 citations · 2021
- 10