| 2008 |
|---|
| 25 | EE | Marian Boldt,
Claus Traulsen,
Reinhard von Hanxleden:
Worst Case Reaction Time Analysis of Concurrent Reactive Programs.
Electr. Notes Theor. Comput. Sci. 203(4): 65-79 (2008) |
| 2007 |
|---|
| 24 | EE | Sascha Gädtke,
Claus Traulsen,
Reinhard von Hanxleden:
HW/SW co-design for Esterel processing.
CODES+ISSS 2007: 99-104 |
| 23 | | Steffen Prochnow,
Reinhard von Hanxleden:
The Use of Complex Stateflow-Charts with KIEL - An Automotive Case Study.
GI Jahrestagung (2) 2007: 564- |
| 22 | EE | Steffen Prochnow,
Reinhard von Hanxleden:
Statechart Development Beyond WYSIWYG.
MoDELS 2007: 635-649 |
| 21 | EE | Jan Täubrich,
Reinhard von Hanxleden:
Formal Specification and Analysis of AFDX Redundancy Management Algorithms.
SAFECOMP 2007: 436-450 |
| 2006 |
|---|
| 20 | EE | Xin Li,
Marian Boldt,
Reinhard von Hanxleden:
Mapping esterel onto a multi-threaded embedded processor.
ASPLOS 2006: 303-314 |
| 19 | EE | Steffen Prochnow,
Reinhard von Hanxleden:
Comfortable modeling of complex reactive systems.
DATE 2006: 577-578 |
| 18 | EE | Steffen Prochnow,
Claus Traulsen,
Reinhard von Hanxleden:
Synthesizing safe state machines from Esterel.
LCTES 2006: 113-124 |
| 17 | EE | Xin Li,
Reinhard von Hanxleden:
A concurrent reactive Esterel processor based on multi-threading.
SAC 2006: 912-917 |
| 2005 |
|---|
| 16 | | Stephen A. Edwards,
Nicolas Halbwachs,
Reinhard von Hanxleden,
Thomas Stauner:
Synchronous Programming - SYNCHRON'04, 28. November - 3. December 2004
IBFI, Schloss Dagstuhl, Germany 2005 |
| 15 | EE | Xin Li,
Jan Lukoschus,
Marian Boldt,
Michael Harder,
Reinhard von Hanxleden:
An Esterel processor with full preemption support and its worst case reaction time analysis.
CASES 2005: 225-236 |
| 2004 |
|---|
| 14 | EE | Stephen A. Edwards,
Nicolas Halbwachs,
Reinhard von Hanxleden,
Thomas Stauner:
04491 Abstracts Collection - Synchronous Programming - SYNCHRON'04.
SYNCHRON 2004 |
| 13 | EE | Stephen A. Edwards,
Nicolas Halbwachs,
Reinhard von Hanxleden,
Thomas Stauner:
04491 Executive Summary - Synchronous Programming - SYNCHRON'04.
SYNCHRON 2004 |
| 12 | EE | Jan Lukoschus,
Reinhard von Hanxleden:
Removing Cycles in Esterel Programs.
SYNCHRON 2004 |
| 11 | EE | Xin Li,
Reinhard von Hanxleden:
The Kiel Esterel Processor - A Semi-Custom, Configurable Reactive Processor.
SYNCHRON 2004 |
| 2000 |
|---|
| 10 | EE | Reinhard von Hanxleden,
Ken Kennedy:
A balanced code placement framework.
ACM Trans. Program. Lang. Syst. 22(5): 816-860 (2000) |
| 1997 |
|---|
| 9 | EE | Terry W. Clark,
Reinhard von Hanxleden,
Ken Kennedy:
Experiences in Data-Parallel Programming.
Scientific Programming 6(1): 153-158 (1997) |
| 1994 |
|---|
| 8 | | Reinhard von Hanxleden,
Ken Kennedy,
Joel H. Saltz:
Value-Based Distributions in Fortran D.
HPCN 1994: 434-440 |
| 7 | | Reinhard von Hanxleden,
Ken Kennedy:
GIVE-N-TAKE - A Balanced Code Placement Framework.
PLDI 1994: 107-120 |
| 1993 |
|---|
| 6 | | Raja Das,
Joel H. Saltz,
Reinhard von Hanxleden:
Slicing Analysis and Indirect Accesses to Distributed Arrays.
LCPC 1993: 152-168 |
| 1992 |
|---|
| 5 | | Reinhard von Hanxleden,
Ken Kennedy,
Charles Koelbel,
Raja Das,
Joel H. Saltz:
Compiler Analysis for Irregular Problems in Fortran D.
LCPC 1992: 97-111 |
| 4 | | Reinhard von Hanxleden,
Ken Kennedy:
Relaxing SIMD Control Flow Constraints using Loop Transformations.
PLDI 1992: 188-199 |
| 3 | | Reinhard von Hanxleden,
L. Ridgway Scott:
Correctness and determinism of Parallel Monte Carlo Processes.
Parallel Computing 18(2): 121-132 (1992) |
| 1991 |
|---|
| 2 | | Reinhard von Hanxleden,
L. Ridgway Scott:
Parallelizing Dynamic Processes on Message Passing Architectures.
PPSC 1991: 451-455 |
| 1 | | Reinhard von Hanxleden,
L. Ridgway Scott:
Load Balancing on Message Passing Architectures.
J. Parallel Distrib. Comput. 13(3): 312-324 (1991) |
