Reinhard von Hanxleden
Christian-Albrechts-Universität zu Kiel(DE)Kiel University(DE)
Publications by Year
Research Areas
Embedded Systems Design Techniques, Parallel Computing and Optimization Techniques, Formal Methods in Verification, Real-Time Systems Scheduling, Model-Driven Software Engineering Techniques
Most-Cited Works
- → Building timing predictable embedded systems(2014)127 cited
- → Compiler analysis for irregular problems in fortran D(1993)81 cited
- → GIVE-N-TAKE—a balanced code placement framework(1994)77 cited
- → Runtime Enforcement of Cyber-Physical Systems(2017)73 cited
- → Load balancing on message passing architectures(1991)73 cited
- → Tight WCRT analysis of synchronous C programs(2009)61 cited
- → Sequentially Constructive Concurrency—A Conservative Extension of the Synchronous Model of Computation(2014)53 cited