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
2482018
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
1682014
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
1442014
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
862014
Taming graphical modeling
H Fuhrmann, R von Hanxleden
Model Driven Engineering Languages and Systems: 13th International …, 2010
822010
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
762013
Drawing layered graphs with port constraints
CD Schulze, M Spönemann, R Von Hanxleden
Journal of Visual Languages & Computing 25 (2), 89-106, 2014
732014
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
482017
Statechart development beyond WYSIWYG
S Prochnow, R Von Hanxleden
Model Driven Engineering Languages and Systems: 10th International …, 2007
452007
The system can't perform the operation now. Try again later.
Articles 1–20