| 2009 |
29 | | Partha S. Roop,
Sidharta Andalam,
Reinhard von Hanxleden,
Simon Yuan,
Claus Traulsen:
Tight WCRT analysis of synchronous C programs.
CASES 2009: 205-214 |
28 | | Michael Mendler,
Reinhard von Hanxleden,
Claus Traulsen:
WCRT algebra and interfaces for esterel-style synchronous processing.
DATE 2009: 93-98 |
27 | | Reinhard von Hanxleden:
SyncCharts in C: a proposal for light-weight, deterministic concurrency.
EMSOFT 2009: 225-234 |
26 | | Arne Schipper,
Hauke Fuhrmann,
Reinhard von Hanxleden:
Visual Comparison of Graphical Models.
ICECCS 2009: 335-340 |
| 2008 |
25 | | 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 | | 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 | | Steffen Prochnow,
Reinhard von Hanxleden:
Statechart Development Beyond WYSIWYG.
MoDELS 2007: 635-649 |
21 | | Jan Täubrich,
Reinhard von Hanxleden:
Formal Specification and Analysis of AFDX Redundancy Management Algorithms.
SAFECOMP 2007: 436-450 |
| 2006 |
20 | | Xin Li,
Marian Boldt,
Reinhard von Hanxleden:
Mapping esterel onto a multi-threaded embedded processor.
ASPLOS 2006: 303-314 |
19 | | Steffen Prochnow,
Reinhard von Hanxleden:
Comfortable modeling of complex reactive systems.
DATE 2006: 577-578 |
18 | | Steffen Prochnow,
Claus Traulsen,
Reinhard von Hanxleden:
Synthesizing safe state machines from Esterel.
LCTES 2006: 113-124 |
17 | | 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 | | 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 | | Stephen A. Edwards,
Nicolas Halbwachs,
Reinhard von Hanxleden,
Thomas Stauner:
04491 Abstracts Collection - Synchronous Programming - SYNCHRON'04.
SYNCHRON 2004 |
13 | | Stephen A. Edwards,
Nicolas Halbwachs,
Reinhard von Hanxleden,
Thomas Stauner:
04491 Executive Summary - Synchronous Programming - SYNCHRON'04.
SYNCHRON 2004 |
12 | | Jan Lukoschus,
Reinhard von Hanxleden:
Removing Cycles in Esterel Programs.
SYNCHRON 2004 |
11 | | Xin Li,
Reinhard von Hanxleden:
The Kiel Esterel Processor - A Semi-Custom, Configurable Reactive Processor.
SYNCHRON 2004 |
| 2000 |
10 | | Reinhard von Hanxleden,
Ken Kennedy:
A balanced code placement framework.
ACM Trans. Program. Lang. Syst. 22(5): 816-860 (2000) |
| 1997 |
9 | | 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) |