Peter Backeman
Papers
1
Total Citations
9
H-Index
1
About
Peter Backeman is a researcher whose work bridges the gap between formal verification and modern communication systems, with a particular focus on the modeling and analysis of 5G network orchestration. His key research areas include model checking, formal methods, and the application of verification techniques to dynamic, service-oriented architectures. Backeman’s major contribution lies in his development of a methodology that translates Unified Modeling Language (UML) designs into UPPAAL models, enabling rigorous, automated verification of 5G network slices. This work is critical for ensuring that service level agreements are met in environments where diverse applications—from autonomous driving to telemedicine—share the same physical infrastructure. His most-cited paper, "From UML Modeling to UPPAAL Model checking of 5G Dynamic Service Orchestration" (2021), has garnered 9 citations, reflecting its relevance to the growing field of network slicing and formal verification. By providing a practical pathway from high-level system design to formal analysis, Backeman has made a notable impact on the reliability and safety of next-generation communication networks, offering tools that help engineers preemptively detect violations in complex, dynamic systems.
Research Focus
Key Achievements
Top Papers
- 1