Follow
Reinhard von Hanxleden
Reinhard von Hanxleden
Department of Computer Science, Kiel University
Verified email at informatik.uni-kiel.de
Title
Cited by
Cited by
Year
Sequentially constructive model of computation
R Von Hanxleden, M Mendler, SR Mercer, OB O'brien
US Patent 10,019,339, 2018
2452018
Building timing predictable embedded systems
P Axer, R Ernst, H Falk, A Girault, D Grund, N Guan, B Jonsson, ...
ACM Transactions on Embedded Computing Systems (TECS) 13 (4), 1-37, 2014
1652014
SCCharts: sequentially constructive statecharts for safety-critical applications: HW/SW-synthesis for a conservative extension of synchronous statecharts
R Von Hanxleden, B Duderstadt, C Motika, S Smyth, M Mendler, ...
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language …, 2014
1412014
Load balancing on message passing architectures
RV Hanxleden, LR Scott
Journal of Parallel and Distributed Computing 13 (3), 312-324, 1991
1231991
Compiler analysis for irregular problems in Fortran D
R von Hanxleden, K Kennedy, C Koelbel, R Das, J Saltz
Languages and Compilers for Parallel Computing: 5th International Workshop …, 1993
1201993
Give-N-Take—A balanced code placement framework
R von Hanxleden, K Kennedy
ACM SIGPLAN Notices 29 (6), 107-120, 1994
1051994
Slicing analysis and indirect accesses to distributed arrays
R Das, J Saltz, R von Hanxleden
Languages and Compilers for Parallel Computing: 6th International Workshop …, 1994
911994
Parallelizing molecular dynamics using spatial decomposition
TW Clark, R Von Hanxleden, JA McCammon, LR Scott
Proceedings of IEEE scalable high performance computing conference, 95-102, 1994
871994
Sequentially Constructive Concurrency—A conservative extension of the synchronous model of computation
R Hanxleden, M Mendler, J Aguado, B Duderstadt, I Fuhrmann, C Motika, ...
ACM Transactions on Embedded Computing Systems (TECS) 13 (4s), 1-26, 2014
852014
Taming graphical modeling
H Fuhrmann, R von Hanxleden
Model Driven Engineering Languages and Systems: 13th International …, 2010
802010
Just model!—Putting automatic synthesis of node-link-diagrams into practice
C Schneider, M Spönemann, R von Hanxleden
2013 IEEE Symposium on Visual Languages and Human Centric Computing, 75-82, 2013
742013
Drawing layered graphs with port constraints
CD Schulze, M Spönemann, R Von Hanxleden
Journal of Visual Languages & Computing 25 (2), 89-106, 2014
722014
Worst case reaction time analysis of concurrent reactive programs
M Boldt, C Traulsen, R von Hanxleden
Electronic Notes in Theoretical Computer Science 203 (4), 65-79, 2008
682008
SyncCharts in C: a proposal for light-weight, deterministic concurrency
R Von Hanxleden
Proceedings of the seventh ACM international conference on Embedded software …, 2009
662009
Tight WCRT analysis of synchronous C programs
PS Roop, S Andalam, R Von Hanxleden, S Yuan, C Traulsen
Proceedings of the 2009 international conference on Compilers, architecture …, 2009
652009
Model engineering using multimodeling
C Brooks, CH Cheng, TH Feng, EA Lee, R Von Hanxleden
Proceedings of the 1st International Workshop on Model Co-Evolution and …, 2008
582008
Relaxing SIMD control flow constraints using loop transformations
R v. Hanxleden, K Kennedy
Proceedings of the ACM SIGPLAN 1992 conference on Programming language …, 1992
571992
Handling irregular problems with Fortran D—A preliminary report
R Hanxleden
Proceedings of the Fourth Workshop on Compilers for Parallel Computers, 353-364, 1993
501993
Runtime enforcement of cyber-physical systems
S Pinisetty, PS Roop, S Smyth, N Allen, S Tripakis, RV Hanxleden
ACM Transactions on Embedded Computing Systems (TECS) 16 (5s), 1-25, 2017
472017
On the pragmatics of model-based design
H Fuhrmann, R von Hanxleden
Monterey Workshop, 116-140, 2008
432008
The system can't perform the operation now. Try again later.
Articles 1–20