Reinhard von Hanxleden
Reinhard von Hanxleden
Department of Computer Science, Kiel University
Bestätigte E-Mail-Adresse bei
Zitiert von
Zitiert von
Sequentially constructive model of computation
R Von Hanxleden, M Mendler, SR Mercer, OB O'brien
US Patent 10,019,339, 2018
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
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
Load balancing on message passing architectures
RV Hanxleden, LR Scott
Journal of Parallel and Distributed Computing 13 (3), 312-324, 1991
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
Give-N-Take—A balanced code placement framework
R von Hanxleden, K Kennedy
ACM SIGPLAN Notices 29 (6), 107-120, 1994
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
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
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
Taming graphical modeling
H Fuhrmann, R von Hanxleden
Model Driven Engineering Languages and Systems: 13th International …, 2010
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
Drawing layered graphs with port constraints
CD Schulze, M Spönemann, R Von Hanxleden
Journal of Visual Languages & Computing 25 (2), 89-106, 2014
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
SyncCharts in C: a proposal for light-weight, deterministic concurrency
R Von Hanxleden
Proceedings of the seventh ACM international conference on Embedded software …, 2009
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
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
Relaxing SIMD control flow constraints using loop transformations
R v. Hanxleden, K Kennedy
Proceedings of the ACM SIGPLAN 1992 conference on Programming language …, 1992
Handling irregular problems with Fortran D—A preliminary report
R Hanxleden
Proceedings of the Fourth Workshop on Compilers for Parallel Computers, 353-364, 1993
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
Statechart development beyond WYSIWYG
S Prochnow, R Von Hanxleden
Model Driven Engineering Languages and Systems: 10th International …, 2007
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20