Matthias Woehrle

Delft University of Technology, Robert Bosch (Germany)

Papers

Total Citations

H-Index

About

Matthias Woehrle's research lies at the intersection of distributed systems, mobile wireless networks, and formal verification. His most influential work introduces the concept of "process information" for mobile ad-hoc networks, where he developed methods for distributed computation of information potentials—a framework enabling autonomous nodes to collaboratively extract and process environmental data without centralized coordination. This foundational paper has garnered 9 citations and addresses critical challenges in robotic swarm coordination and network searching. In the domain of formal methods, Woehrle contributed a notable benchmark for hybrid system verification, specifically targeting models with "holes"—underspecified system components. This 2018 work, with 3 citations, provides a framework allowing third parties to plug specific behaviors into incomplete models while preserving desirable system properties, advancing compositional verification techniques. His research bridges practical distributed computing with rigorous formal analysis, offering tools for both mobile network coordination and reliable system design. Woehrle's work continues to influence researchers working at the intersection of autonomous systems, verification, and distributed computation.