Reinhard von Hanxleden Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPartha S. Roop, Sidharta Andalam, Reinhard von Hanxleden, Simon Yuan, Claus Traulsen: Tight WCRT analysis of synchronous C programs. CASES 2009: 205-214
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Mendler, Reinhard von Hanxleden, Claus Traulsen: WCRT algebra and interfaces for esterel-style synchronous processing. DATE 2009: 93-98
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard von Hanxleden: SyncCharts in C: a proposal for light-weight, deterministic concurrency. EMSOFT 2009: 225-234
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArne Schipper, Hauke Fuhrmann, Reinhard von Hanxleden: Visual Comparison of Graphical Models. ICECCS 2009: 335-340
2008
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarian 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
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSascha Gädtke, Claus Traulsen, Reinhard von Hanxleden: HW/SW co-design for Esterel processing. CODES+ISSS 2007: 99-104
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteffen Prochnow, Reinhard von Hanxleden: The Use of Complex Stateflow-Charts with KIEL - An Automotive Case Study. GI Jahrestagung (2) 2007: 564-
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteffen Prochnow, Reinhard von Hanxleden: Statechart Development Beyond WYSIWYG. MoDELS 2007: 635-649
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Täubrich, Reinhard von Hanxleden: Formal Specification and Analysis of AFDX Redundancy Management Algorithms. SAFECOMP 2007: 436-450
2006
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXin Li, Marian Boldt, Reinhard von Hanxleden: Mapping esterel onto a multi-threaded embedded processor. ASPLOS 2006: 303-314
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteffen Prochnow, Reinhard von Hanxleden: Comfortable modeling of complex reactive systems. DATE 2006: 577-578
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteffen Prochnow, Claus Traulsen, Reinhard von Hanxleden: Synthesizing safe state machines from Esterel. LCTES 2006: 113-124
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXin Li, Reinhard von Hanxleden: A concurrent reactive Esterel processor based on multi-threading. SAC 2006: 912-917
2005
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner: Synchronous Programming - SYNCHRON'04, 28. November - 3. December 2004 IBFI, Schloss Dagstuhl, Germany 2005
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXin 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
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner: 04491 Abstracts Collection - Synchronous Programming - SYNCHRON'04. SYNCHRON 2004
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner: 04491 Executive Summary - Synchronous Programming - SYNCHRON'04. SYNCHRON 2004
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Lukoschus, Reinhard von Hanxleden: Removing Cycles in Esterel Programs. SYNCHRON 2004
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXin Li, Reinhard von Hanxleden: The Kiel Esterel Processor - A Semi-Custom, Configurable Reactive Processor. SYNCHRON 2004
2000
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard von Hanxleden, Ken Kennedy: A balanced code placement framework. ACM Trans. Program. Lang. Syst. 22(5): 816-860 (2000)
1997
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTerry W. Clark, Reinhard von Hanxleden, Ken Kennedy: Experiences in Data-Parallel Programming. Scientific Programming 6(1): 153-158 (1997)
1994
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard von Hanxleden, Ken Kennedy, Joel H. Saltz: Value-Based Distributions in Fortran D. HPCN 1994: 434-440
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard von Hanxleden, Ken Kennedy: GIVE-N-TAKE - A Balanced Code Placement Framework. PLDI 1994: 107-120
1993
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaja Das, Joel H. Saltz, Reinhard von Hanxleden: Slicing Analysis and Indirect Accesses to Distributed Arrays. LCPC 1993: 152-168
1992
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard von Hanxleden, Ken Kennedy, Charles Koelbel, Raja Das, Joel H. Saltz: Compiler Analysis for Irregular Problems in Fortran D. LCPC 1992: 97-111
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard von Hanxleden, Ken Kennedy: Relaxing SIMD Control Flow Constraints using Loop Transformations. PLDI 1992: 188-199
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard von Hanxleden, L. Ridgway Scott: Correctness and determinism of Parallel Monte Carlo Processes. Parallel Computing 18(2): 121-132 (1992)
1991
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard von Hanxleden, L. Ridgway Scott: Parallelizing Dynamic Processes on Message Passing Architectures. PPSC 1991: 451-455
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard von Hanxleden, L. Ridgway Scott: Load Balancing on Message Passing Architectures. J. Parallel Distrib. Comput. 13(3): 312-324 (1991)

Coauthor Index

1Sidharta Andalam [29]
2Marian Boldt [15] [20] [25]
3Terry W. Clark [9]
4Raja Das [5] [6]
5Stephen A. Edwards [13] [14] [16]
6Hauke Fuhrmann [26]
7Sascha Gädtke [24]
8Nicolas Halbwachs [13] [14] [16]
9Michael Harder [15]
10Ken Kennedy [4] [5] [7] [8] [9] [10]
11Charles Koelbel (Chuck Koelbel) [5]
12Xin Li [11] [15] [17] [20]
13Jan Lukoschus [12] [15]
14Michael Mendler [28]
15Steffen Prochnow [18] [19] [22] [23]
16Partha S. Roop [29]
17Joel H. Saltz [5] [6] [8]
18Arne Schipper [26]
19L. Ridgway Scott [1] [2] [3]
20Thomas Stauner [13] [14] [16]
21Jan Täubrich [21]
22Claus Traulsen [18] [24] [25] [28] [29]
23Simon Yuan [29]

Colors in the list of coauthors

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)