Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Reinhard von Hanxleden
2010 – today
- 2013
[c33]Reinhard von Hanxleden, Michael Mendler, Joaquin Aguado, Björn Duderstadt, Insa Fuhrmann, Christian Motika, Stephen Mercer, Owen O'Brien: Sequentially constructive concurrency: a conservative extension of the synchronous model of computation. DATE 2013: 581-586- 2012
- [j8]Xin Li, Reinhard von Hanxleden: Multithreaded Reactive Programming - the Kiel Esterel Processor. IEEE Trans. Computers 61(3): 337-349 (2012)
- [c32]Lars Kristian Klauske, Christoph Daniel Schulze, Miro Spönemann, Reinhard von Hanxleden: Improved Layout for Data Flow Diagrams with Port Constraints. Diagrams 2012: 65-79
- [c31]Reinhard von Hanxleden, Edward A. Lee, Christian Motika, Hauke Fuhrmann: Multi-view Modeling and Pragmatics in 2020 - Position Paper on Designing Complex Cyber-Physical Systems. Monterey Workshop 2012: 209-223
- [c30]Wolfgang Goerigk, Wilhelm Hasselbring, Gregor Hennings, Reiner Jung, Holger Neustock, Heiko Schaefer, Christian Schneider, Elferik Schultz, Thomas Stahl, Reinhard von Hanxleden, Steffen Weik, Stefan Zeug: Entwurf einer domänenspezifischen Sprache für elektronische Stellwerke. Software Engineering 2012: 119-130
- 2011
- [c29]Claus Traulsen, T. Amende, Reinhard von Hanxleden: Compiling SyncCharts to Synchronous C. DATE 2011: 563-566
- 2010
- [c28]Christian Motika, Hauke Fuhrmann, Reinhard von Hanxleden: Semantics and Execution of Domain Specific Models. GI Jahrestagung (1) 2010: 891-896
- [c27]
- [c26]Claus Traulsen, Reinhard von Hanxleden: Reactive parallel processing for synchronous dataflow. SAC 2010: 483-490
2000 – 2009
- 2009
- [c25]Partha S. Roop, Sidharta Andalam, Reinhard von Hanxleden, Simon Yuan, Claus Traulsen: Tight WCRT analysis of synchronous C programs. CASES 2009: 205-214
- [c24]Michael Mendler, Reinhard von Hanxleden, Claus Traulsen: WCRT algebra and interfaces for esterel-style synchronous processing. DATE 2009: 93-98
- [c23]Reinhard von Hanxleden: SyncCharts in C: a proposal for light-weight, deterministic concurrency. EMSOFT 2009: 225-234
- [c22]Miro Spönemann, Hauke Fuhrmann, Reinhard von Hanxleden, Petra Mutzel: Port Constraints in Hierarchical Layout of Data Flow Diagrams. Graph Drawing 2009: 135-146
- [c21]Arne Schipper, Hauke Fuhrmann, Reinhard von Hanxleden: Visual Comparison of Graphical Models. ICECCS 2009: 335-340
- 2008
- [j7]Marian Boldt, Claus Traulsen, Reinhard von Hanxleden: Compilation and Worst-Case Reaction Time Analysis for Multithreaded Esterel Processing. EURASIP J. Emb. Sys. 2008 (2008)
- [j6]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)
- [c20]Hauke Fuhrmann, Reinhard von Hanxleden: On the Pragmatics of Model-Based Design. Monterey Workshop 2008: 116-140
- 2007
- [j5]Jan Lukoschus, Reinhard von Hanxleden: Removing Cycles in Esterel Programs. EURASIP J. Emb. Sys. 2007 (2007)
- [c19]Sascha Gädtke, Claus Traulsen, Reinhard von Hanxleden: HW/SW co-design for Esterel processing. CODES+ISSS 2007: 99-104
- [c18]Steffen Prochnow, Reinhard von Hanxleden: The Use of Complex Stateflow-Charts with KIEL - An Automotive Case Study. GI Jahrestagung (2) 2007: 564-
- [c17]Steffen Prochnow, Reinhard von Hanxleden: Statechart Development Beyond WYSIWYG. MoDELS 2007: 635-649
- [c16]Jan Täubrich, Reinhard von Hanxleden: Formal Specification and Analysis of AFDX Redundancy Management Algorithms. SAFECOMP 2007: 436-450
- 2006
- [c15]Xin Li, Marian Boldt, Reinhard von Hanxleden: Mapping esterel onto a multi-threaded embedded processor. ASPLOS 2006: 303-314
- [c14]Steffen Prochnow, Reinhard von Hanxleden: Comfortable modeling of complex reactive systems. DATE 2006: 577-578
- [c13]Steffen Prochnow, Claus Traulsen, Reinhard von Hanxleden: Synthesizing safe state machines from Esterel. LCTES 2006: 113-124
- [c12]
- 2005
- [c11]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
- [e1]Stephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner (Eds.): Synchronous Programming - SYNCHRON'04, 28. November - 3. December 2004. Dagstuhl Seminar Proceedings 04491, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2005
- 2004
- [c10]Stephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner: 04491 Abstracts Collection - Synchronous Programming - SYNCHRON'04. SYNCHRON 2004
- [c9]Stephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner: 04491 Executive Summary - Synchronous Programming - SYNCHRON'04. SYNCHRON 2004
- [c8]Xin Li, Reinhard von Hanxleden: The Kiel Esterel Processor - A Semi-Custom, Configurable Reactive Processor. SYNCHRON 2004
- [c7]
- 2000
- [j4]Reinhard von Hanxleden, Ken Kennedy: A balanced code placement framework. ACM Trans. Program. Lang. Syst. 22(5): 816-860 (2000)
1990 – 1999
- 1997
- [j3]Terry W. Clark, Reinhard von Hanxleden, Ken Kennedy: Experiences in Data-Parallel Programming. Scientific Programming 6(1): 153-158 (1997)
- 1994
- [c6]Reinhard von Hanxleden, Ken Kennedy, Joel H. Saltz: Value-Based Distributions in Fortran D. HPCN 1994: 434-440
- [c5]Reinhard von Hanxleden, Ken Kennedy: GIVE-N-TAKE - A Balanced Code Placement Framework. PLDI 1994: 107-120
- 1993
- [c4]Raja Das, Joel H. Saltz, Reinhard von Hanxleden: Slicing Analysis and Indirect Accesses to Distributed Arrays. LCPC 1993: 152-168
- 1992
- [j2]Reinhard von Hanxleden, L. Ridgway Scott: Correctness and determinism of Parallel Monte Carlo Processes. Parallel Computing 18(2): 121-132 (1992)
- [c3]Reinhard von Hanxleden, Ken Kennedy, Charles Koelbel, Raja Das, Joel H. Saltz: Compiler Analysis for Irregular Problems in Fortran D. LCPC 1992: 97-111
- [c2]Reinhard von Hanxleden, Ken Kennedy: Relaxing SIMD Control Flow Constraints using Loop Transformations. PLDI 1992: 188-199
- 1991
- [j1]Reinhard von Hanxleden, L. Ridgway Scott: Load Balancing on Message Passing Architectures. J. Parallel Distrib. Comput. 13(3): 312-324 (1991)
- [c1]Reinhard von Hanxleden, L. Ridgway Scott: Parallelizing Dynamic Processes on Message Passing Architectures. PPSC 1991: 451-455
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:01 CEST by the dblp team