Reinhard von Hanxleden

139 papers A* 4A 18B 12C 22Misc 7Journal 34Unranked 38

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	Hot PASTA: Improved Pragmatics for System-Theoretic Process Analysis. SAFECOMP Jette Petzold, Reinhard von Hanxleden
2025	—	`conf`	Posterizing Diagrams with Top-Down Layout. VISIGRAPP (1): GRAPP, HUCAPP, IVAPP Maximilian Kasperowski, Reinhard von Hanxleden
2025	B	`conf`	SCCharts Twelve Years Later: A Reflection on Sequential Constructiveness and Text-First Modeling (Keynote). LCTES Reinhard von Hanxleden
2025	—	`conf`	SPViz: A DSL-Driven Approach for Software Project Visualization Tooling. VISIGRAPP (1): GRAPP, HUCAPP, IVAPP Niklas Rentz, Reinhard von Hanxleden
2025	C	`conf`	Safe Behavior Model Synthesis: From STPA to LTL to SCCharts. MODELSWARD Jette Petzold, Reinhard von Hanxleden
2024	—	`conf`	Behavior Trees with Dataflow: Coordinating Reactive Tasks in Lingua Franca. ICSE Companion Alexander Schulz-Rosengarten, Akash Ahmad, Malte Clement, Reinhard von Hanxleden, Benjamin Asch, Marten Lohstroh, Edward A. Lee, Gustavo Quiros Araya, Ankit Shukla
2024	J	`jnl`	Behavior Trees with Dataflow: Coordinating Reactive Tasks in Lingua Franca. CoRR Alexander Schulz-Rosengarten, Akash Ahmad, Malte Clement, Reinhard von Hanxleden, Benjamin Asch, Marten Lohstroh, Edward A. Lee, Gustavo Quiros Araya, Ankit Shukla
2024	A	`conf`	Determining Sugiyama Topology with Model Order (Poster Abstract). GD Sören Domrös, Reinhard von Hanxleden
2024	C	`conf`	Diagram Control and Model Order for Sugiyama Layouts. Diagrams Sören Domrös, Reinhard von Hanxleden
2024	J	`jnl`	Diagram Control and Model Order for Sugiyama Layouts. CoRR Sören Domrös, Reinhard von Hanxleden
2024	J	`jnl`	From Lustre to Graphical Models and SCCharts. ACM Trans. Embed. Comput. Syst. Lena Grimm, Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marc Pouzet
2024	J	`jnl`	From STPA to Safe Behavior Models. CoRR Jette Petzold, Reinhard von Hanxleden
2024	C	`conf`	KIELER: A Text-First Framework for Automatic Diagramming of Complex Systems. Diagrams Maximilian Kasperowski, Niklas Rentz, Sören Domrös, Reinhard von Hanxleden
2024	J	`jnl`	SPViz: A DSL-Driven Approach for Software Project Visualization Tooling. CoRR Niklas Rentz, Reinhard von Hanxleden
2024	A	`conf`	The Eclipse Layout Kernel (Software Abstract). GD Maximilian Kasperowski, Sören Domrös, Reinhard von Hanxleden
2023	C	`ed.`	21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2023, Hamburg, Germany, September 21-22, 2023 MEMOCODE Reinhard von Hanxleden, Stephen A. Edwards, Jens Brandt, Qi Zhu
2023	—	`conf`	An Interactive Graph Layout Constraint Framework. VISIGRAPP (3: IVAPP) Jette Petzold, Sören Domrös, Connor Schönberner, Reinhard von Hanxleden
2023	A	`ed.`	Graph Drawing and Network Visualization - 30th International Symposium, GD 2022, Tokyo, Japan, September 13-16, 2022, Revised Selected Papers GD Patrizio Angelini, Reinhard von Hanxleden
2023	J	`jnl`	Guest Editors' Foreword. J. Graph Algorithms Appl. Patrizio Angelini, Reinhard von Hanxleden
2023	J	`jnl`	Modal Reactors. CoRR Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marten Lohstroh, Soroush Bateni, Edward A. Lee
2023	—	`conf`	Model Order in Sugiyama Layouts. VISIGRAPP (3: IVAPP) Sören Domrös, Max Riepe, Reinhard von Hanxleden
2023	A	`conf`	PASTA: Pragmatic Automated System-Theoretic Process Analysis. DSN Jette Petzold, Jana Kreiß, Reinhard von Hanxleden
2023	—	`conf`	Polyglot Modal Models through Lingua Franca. CPS-IoT Week Workshops Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marten Lohstroh, Edward A. Lee, Soroush Bateni
2023	A	`conf`	Polyglot Modal Models through Lingua Franca. DATE Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marten Lohstroh, Soroush Bateni, Edward A. Lee
2023	J	`jnl`	The Eclipse Layout Kernel. CoRR Sören Domrös, Reinhard von Hanxleden, Miro Spönemann, Ulf Rüegg, Christoph Daniel Schulze
2023	J	`jnl`	Top-Down Drawings of Compound Graphs. CoRR Maximilian Kasperowski, Reinhard von Hanxleden
2022	—	`conf`	Executable Documentation: Test-First in Action. ISoLA (2) Steven Smyth, Jette Petzold, Jonas Schürmann, Florian Karbus, Tiziana Margaria, Reinhard von Hanxleden, Bernhard Steffen
2022	J	`jnl`	Getting the big picture in cross-domain fusion. Inform. Spektrum Reinhard von Hanxleden, Arne Biastoch, Nicola Fohrer, Matthias Renz, Athanasios T. Vafeidis
2022	J	`jnl`	Information: 'I' vs. 'we' vs. 'they'. Commun. ACM Reinhard von Hanxleden
2022	—	`conf`	Pragmatics Twelve Years Later: A Report on Lingua Franca. ISoLA (2) Reinhard von Hanxleden, Edward A. Lee, Hauke Fuhrmann, Alexander Schulz-Rosengarten, Sören Domrös, Marten Lohstroh, Soroush Bateni, Christian Menard
2022	—	`conf`	Preserving Order during Crossing Minimization in Sugiyama Layouts. VISIGRAPP (3: IVAPP) Sören Domrös, Reinhard von Hanxleden
2022	J	`jnl`	Proceedings of the 30th International Symposium on Graph Drawing and Network Visualization (GD 2022). CoRR Patrizio Angelini, Reinhard von Hanxleden
2022	J	`jnl`	Tool Support for System-Theoretic Process Analysis. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Jette Petzold, Reinhard von Hanxleden
2021	C	`conf`	Extracting Interactive Actor-Based Dataflow Models from Legacy C Code. Diagrams Niklas Rentz, Steven Smyth, Lewe Andersen, Reinhard von Hanxleden
2021	C	`conf`	Extracting Mode Diagrams from Blech Code. FDL Daniel Lucas, Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Friedrich Gretz, Franz-Josef Grosch
2021	J	`jnl`	Introduction to the Special Issue on Specification and Design Languages (FDL 2019). ACM Trans. Embed. Comput. Syst. Alain Girault, Reinhard von Hanxleden
2021	—	`conf`	On Order-preserving, Gap-avoiding Rectangle Packing. VISIGRAPP (3: IVAPP) Sören Domrös, Daniel Lucas, Reinhard von Hanxleden, Klaus Jansen
2021	—	`conf`	Revisiting Order-Preserving, Gap-Avoiding Rectangle Packing. VISIGRAPP (Revised Selected Papers) Sören Domrös, Daniel Lucas, Reinhard von Hanxleden, Klaus Jansen
2020	C	`conf`	A Hard Real Time Demonstrator for Dynamic Ticks and Timed SCCharts. FDL Andreas Boysen, Alexander Schulz-Rosengarten, Reinhard von Hanxleden
2020	C	`conf`	From Lustre to Graphical Models and SCCharts. FDL Lena Grimm, Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marc Pouzet
2020	B	`conf`	Interactive Visualization for OSGi-based Projects. VISSOFT Niklas Rentz, Christian Dams, Reinhard von Hanxleden
2019	—	`ch.`	10 Reasons to Get Interested in Graph Drawing. Computing and Software Science Carla Binucci, Ulrik Brandes, Tim Dwyer, Martin Gronemann, Reinhard von Hanxleden, Marc J. van Kreveld, Petra Mutzel, Marcus Schaefer, Falk Schreiber, Bettina Speckmann
2019	C	`ed.`	2019 Forum for Specification and Design Languages, FDL 2019, Southampton, United Kingdom, September 2-4, 2019 FDL Tom J. Kazmierski, Reinhard von Hanxleden, Terrence S. T. Mak
2019	A	`conf`	Practical Causality Handling for Synchronous Languages. DATE Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden
2018	—	`conf`	Augmenting State Models with Data Flow. Principles of Modeling Nis Wechselberg, Alexander Schulz-Rosengarten, Steven Smyth, Reinhard von Hanxleden
2018	B	`conf`	Automatic Layout and Label Management for Compact UML Sequence Diagrams. VL/HCC Christoph Daniel Schulze, Gregor Hoops, Reinhard von Hanxleden
2018	A	`conf`	Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach. ESOP Joaquín Aguado, Michael Mendler, Marc Pouzet, Partha S. Roop, Reinhard von Hanxleden
2018	C	`conf`	Edge Label Placement in Layered Graph Drawing. Diagrams Christoph Daniel Schulze, Nis Wechselberg, Reinhard von Hanxleden
2018	—	`conf`	Logic Meets Algebra: Compositional Timing Analysis for Synchronous Reactive Multithreading. Models, Mindsets, Meta Michael Mendler, Joaquín Aguado, Bruno Bodin, Partha S. Roop, Reinhard von Hanxleden
2018	—	`conf`	On Reconciling Concurrency, Sequentiality and Determinacy for Reactive Systems - A Sequentially Constructive Circuit Semantics for Esterel. ACSD Alexander Schulz-Rosengarten, Steven Smyth, Reinhard von Hanxleden, Michael Mendler
2018	J	`jnl`	SCEst: Sequentially Constructive Esterel. ACM Trans. Embed. Comput. Syst. Steven Smyth, Christian Motika, Karsten Rathlev, Reinhard von Hanxleden, Michael Mendler
2018	—	`conf`	Synthesizing manually verifiable code for statecharts. REBLS@SPLASH Steven Smyth, Christian Motika, Reinhard von Hanxleden
2018	C	`conf`	Time in SCCharts. FDL Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Frédéric Mallet, Robert de Simone, Julien Deantoni
2018	—	`conf`	Towards Interactive Compilation Models. ISoLA (1) Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden
2018	C	`conf`	Wrapping Layered Graphs. Diagrams Ulf Rüegg, Reinhard von Hanxleden
2017	C	`conf`	A Model Driven Approach for Cardiac Pacemaker Design Using a PRET Processor. ISORC Nathan Allen, Hammond A. Pearce, Partha S. Roop, Reinhard von Hanxleden
2017	J	`jnl`	Generalized Layerings for Arbitrary and Fixed Drawing Areas. J. Graph Algorithms Appl. Ulf Rüegg, Thorsten Ehlers, Miro Spönemann, Reinhard von Hanxleden
2017	J	`jnl`	Model Extraction of Legacy C Code in SCCharts. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Steven Smyth, Stephan Lenga, Reinhard von Hanxleden
2017	C	`conf`	Real-time ticks for synchronous programming. FDL Reinhard von Hanxleden, Timothy Bourke, Alain Girault
2017	J	`jnl`	Runtime Enforcement of Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Nathan Allen, Stavros Tripakis, Reinhard von Hanxleden
2017	—	`conf`	Runtime enforcement of reactive systems using synchronous enforcers. SPIN Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis, Reinhard von Hanxleden
2016	A	`conf`	A Generalization of the Directed Graph Layering Problem. GD Ulf Rüegg, Thorsten Ehlers, Miro Spönemann, Reinhard von Hanxleden
2016	J	`jnl`	A Generalization of the Directed Graph Layering Problem. CoRR Ulf Rüegg, Thorsten Ehlers, Miro Spönemann, Reinhard von Hanxleden
2016	A	`conf`	Compact Layered Drawings of General Directed Graphs. GD Adalat Jabrayilov, Sven Mallach, Petra Mutzel, Ulf Rüegg, Reinhard von Hanxleden
2016	J	`jnl`	Compact Layered Drawings of General Directed Graphs. CoRR Adalat Jabrayilov, Sven Mallach, Petra Mutzel, Ulf Rüegg, Reinhard von Hanxleden
2016	A	`conf`	Incremental diagram layout for automated model migration. MoDELS Ulf Rüegg, Rajneesh Lakkundi, Ashwin Prasad, Anand Kodaganur, Christoph Daniel Schulze, Reinhard von Hanxleden
2016	—	`conf`	Interactive Model-Based Compilation Continued - Incremental Hardware Synthesis for SCCharts. ISoLA (2) Francesca Rybicki, Steven Smyth, Christian Motika, Alexander Schulz-Rosengarten, Reinhard von Hanxleden
2016	B	`conf`	Label management: Keeping complex diagrams usable. VL/HCC Christoph Daniel Schulze, Yella Lasch, Reinhard von Hanxleden
2016	C	`conf`	On Comments in Visual Languages. Diagrams Christoph Daniel Schulze, Christina Plöger, Reinhard von Hanxleden
2016	J	`jnl`	Runtime enforcement of reactive systems using synchronous enforcers. CoRR Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis, Reinhard von Hanxleden
2016	Misc	`conf`	Time for Reactive System Modeling: Interactive Timing Analysis with Hotspot Highlighting. RTNS Insa Fuhrmann, David Broman, Reinhard von Hanxleden, Alexander Schulz-Rosengarten
2016	C	`conf`	Using One-Dimensional Compaction for Smaller Graph Drawings. Diagrams Ulf Rüegg, Christoph Daniel Schulze, Daniel Grevismühl, Reinhard von Hanxleden
2015	J	`jnl`	Denotational fixed-point semantics for constructive scheduling of synchronous concurrency. Acta Informatica Joaquín Aguado, Michael Mendler, Reinhard von Hanxleden, Insa Fuhrmann
2015	J	`jnl`	Light-weight Synchronous Java (SJL): An approach for programming deterministic reactive systems with Java. Computing Christian Motika, Reinhard von Hanxleden
2015	C	`conf`	SCEst: Sequentially constructive esterel. MEMOCODE Karsten Rathlev, Steven Smyth, Christian Motika, Reinhard von Hanxleden, Michael Mendler
2015	—	`conf`	Sequential Constructiveness, SCCharts for Safety-Critical Applications. Software Engineering & Management Reinhard von Hanxleden, Björn Duderstadt, Insa Fuhrmann, Christian Motika, Steven Smyth, Michael Mendler, Joaquín Aguado, Stephen Loftus-Mercer, Owen O'Brien
2015	A	`conf`	Size- and Port-Aware Horizontal Node Coordinate Assignment. GD Ulf Rüegg, Christoph Daniel Schulze, John Julian Carstens, Reinhard von Hanxleden
2014	B	`conf`	Automatic layout in the face of unattached comments. VL/HCC Christoph Daniel Schulze, Reinhard von Hanxleden
2014	J	`jnl`	Building timing predictable embedded systems. ACM Trans. Embed. Comput. Syst. Philip Axer, Rolf Ernst, Heiko Falk, Alain Girault, Daniel Grund, Nan Guan, Bengt Jonsson, Peter Marwedel, Jan Reineke, Christine Rochange, Maurice Sebastian, Reinhard von Hanxleden, Reinhard Wilhelm, Wang Yi
2014	—	`conf`	Compiling SCCharts - A Case-Study on Interactive Model-Based Compilation. ISoLA (1) Christian Motika, Steven Smyth, Reinhard von Hanxleden
2014	C	`conf`	Counting Crossings for Layered Hypergraphs. Diagrams Miro Spönemann, Christoph Daniel Schulze, Ulf Rüegg, Reinhard von Hanxleden
2014	J	`jnl`	Drawing layered graphs with port constraints. J. Vis. Lang. Comput. Christoph Daniel Schulze, Miro Spönemann, Reinhard von Hanxleden
2014	—	`conf`	Efficient Exploration of Complex Data Flow Models. Modellierung Patrick Frey, Reinhard von Hanxleden, Christoph Krüger, Ulf Rüegg, Christian Schneider, Miro Spönemann
2014	C	`conf`	Evolutionary Meta Layout of Graphs. Diagrams Miro Spönemann, Björn Duderstadt, Reinhard von Hanxleden
2014	—	`conf`	Examining the Compactness of Automatically Generated Layouts for Practical Diagrams. ED/GViP@Diagrams Carsten Gutwenger, Ulf Rüegg, Miro Spönemann, Reinhard von Hanxleden, Petra Mutzel
2014	A	`conf`	Grounding Synchronous Deterministic Concurrency in Sequential Programming. ESOP Joaquín Aguado, Michael Mendler, Reinhard von Hanxleden, Insa Fuhrmann
2014	A*	`conf`	SCCharts: sequentially constructive statecharts for safety-critical applications: HW/SW-synthesis for a conservative extension of synchronous statecharts. PLDI Reinhard von Hanxleden, Björn Duderstadt, Christian Motika, Steven Smyth, Michael Mendler, Joaquín Aguado, Stephen Mercer, Owen O'Brien
2014	J	`jnl`	Sequentially Constructive Concurrency - A Conservative Extension of the Synchronous Model of Computation. ACM Trans. Embed. Comput. Syst. Reinhard von Hanxleden, Michael Mendler, Joaquín Aguado, Björn Duderstadt, Insa Fuhrmann, Christian Motika, Stephen Mercer, Owen O'Brien, Partha S. Roop
2014	B	`conf`	Two applications for transient views in software development environments. VL/HCC Christoph Daniel Schulze, Miro Spönemann, Christian Schneider, Reinhard von Hanxleden
2013	B	`conf`	Just model! - Putting automatic synthesis of node-link-diagrams into practice. VL/HCC Christian Schneider, Miro Spönemann, Reinhard von Hanxleden
2013	B	`conf`	KIELER: Building on automatic layout for pragmatics-aware modeling. VL/HCC Miro Spönemann, Christoph Daniel Schulze, Christian Motika, Christian Schneider, Reinhard von Hanxleden
2013	C	`conf`	Programming deterministic reactive systems with Synchronous Java. ISORC Christian Motika, Reinhard von Hanxleden, Mirko Heinold
2013	A	`conf`	Sequentially constructive concurrency: a conservative extension of the synchronous model of computation. DATE Reinhard von Hanxleden, Michael Mendler, Joaquín Aguado, Björn Duderstadt, Insa Fuhrmann, Christian Motika, Stephen Mercer, Owen O'Brien
2012	C	`conf`	Entwurf einer domänenspezifischen Sprache für elektronische Stellwerke. Software Engineering 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
2012	C	`conf`	Improved Layout for Data Flow Diagrams with Port Constraints. Diagrams Lars Kristian Klauske, Christoph Daniel Schulze, Miro Spönemann, Reinhard von Hanxleden
2012	—	`conf`	Multi-view Modeling and Pragmatics in 2020 - Position Paper on Designing Complex Cyber-Physical Systems. Monterey Workshop Reinhard von Hanxleden, Edward A. Lee, Christian Motika, Hauke Fuhrmann
2012	J	`jnl`	Multithreaded Reactive Programming - the Kiel Esterel Processor. IEEE Trans. Computers Xin Li, Reinhard von Hanxleden
2011	A	`conf`	Compiling SyncCharts to Synchronous C. DATE Claus Traulsen, T. Amende, Reinhard von Hanxleden
2011	—	`conf`	Interactive transformations for visual models. GI-Jahrestagung Ulf Rüegg, Christian Motika, Reinhard von Hanxleden
2010	Misc	`conf`	Reactive parallel processing for synchronous dataflow. SAC Claus Traulsen, Reinhard von Hanxleden
2010	—	`conf`	Semantics and Execution of Domain Specific Models. GI Jahrestagung (1) Christian Motika, Hauke Fuhrmann, Reinhard von Hanxleden
2010	—	`conf`	Taming Graphical Modeling. MoDELS (1) Hauke Fuhrmann, Reinhard von Hanxleden
2009	—	`conf`	09481 Abstracts Collection - SYNCHRON 2009. SYNCHRON 2009 Albert Benveniste, Stephen A. Edwards, Edward A. Lee, Klaus Schneider, Reinhard von Hanxleden
2009	A	`conf`	Port Constraints in Hierarchical Layout of Data Flow Diagrams. GD Miro Spönemann, Hauke Fuhrmann, Reinhard von Hanxleden, Petra Mutzel
2009	—	`ed.`	SYNCHRON 2009, 22.11. - 27.11.2009 SYNCHRON 2009 Albert Benveniste, Stephen A. Edwards, Edward A. Lee, Klaus Schneider, Reinhard von Hanxleden
2009	Misc	`conf`	SyncCharts in C: a proposal for light-weight, deterministic concurrency. EMSOFT Reinhard von Hanxleden
2009	Misc	`conf`	Tight WCRT analysis of synchronous C programs. CASES Partha S. Roop, Sidharta Andalam, Reinhard von Hanxleden, Simon Yuan, Claus Traulsen
2009	B	`conf`	Visual Comparison of Graphical Models. ICECCS Arne Schipper, Hauke Fuhrmann, Reinhard von Hanxleden
2009	A	`conf`	WCRT algebra and interfaces for esterel-style synchronous processing. DATE Michael Mendler, Reinhard von Hanxleden, Claus Traulsen
2008	J	`jnl`	Compilation and Worst-Case Reaction Time Analysis for Multithreaded Esterel Processing. EURASIP J. Embed. Syst. Marian Boldt, Claus Traulsen, Reinhard von Hanxleden
2008	—	`conf`	On the Pragmatics of Model-Based Design. Monterey Workshop Hauke Fuhrmann, Reinhard von Hanxleden
2007	B	`conf`	Formal Specification and Analysis of AFDX Redundancy Management Algorithms. SAFECOMP Jan Täubrich, Reinhard von Hanxleden
2007	Misc	`conf`	HW/SW co-design for Esterel processing. CODES+ISSS Sascha Gädtke, Claus Traulsen, Reinhard von Hanxleden
2007	J	`jnl`	Removing Cycles in Esterel Programs. EURASIP J. Embed. Syst. Jan Lukoschus, Reinhard von Hanxleden
2007	A	`conf`	Statechart Development Beyond WYSIWYG. MoDELS Steffen Prochnow, Reinhard von Hanxleden
2007	—	`conf`	The Use of Complex Stateflow-Charts with KIEL - An Automotive Case Study. GI Jahrestagung (2) Steffen Prochnow, Reinhard von Hanxleden
2007	—	`conf`	Worst Case Reaction Time Analysis of Concurrent Reactive Programs. SLA++P Marian Boldt, Claus Traulsen, Reinhard von Hanxleden
2006	Misc	`conf`	A concurrent reactive Esterel processor based on multi-threading. SAC Xin Li, Reinhard von Hanxleden
2006	A	`conf`	Comfortable modeling of complex reactive systems. DATE Steffen Prochnow, Reinhard von Hanxleden
2006	A*	`conf`	Mapping esterel onto a multi-threaded embedded processor. ASPLOS Xin Li, Marian Boldt, Reinhard von Hanxleden
2006	B	`conf`	Synthesizing safe state machines from Esterel. LCTES Steffen Prochnow, Claus Traulsen, Reinhard von Hanxleden
2005	Misc	`conf`	An Esterel processor with full preemption support and its worst case reaction time analysis. CASES Xin Li, Jan Lukoschus, Marian Boldt, Michael Harder, Reinhard von Hanxleden
2005	—	`ed.`	Synchronous Programming - SYNCHRON'04, 28. November - 3. December 2004 SYNCHRON Stephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner
2004	—	`conf`	04491 Abstracts Collection - Synchronous Programming - SYNCHRON'04. SYNCHRON Stephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner
2004	—	`conf`	04491 Executive Summary - Synchronous Programming - SYNCHRON'04. SYNCHRON Stephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner
2004	—	`conf`	Removing Cycles in Esterel Programs. SYNCHRON Jan Lukoschus, Reinhard von Hanxleden
2004	—	`conf`	The Kiel Esterel Processor - A Semi-Custom, Configurable Reactive Processor. SYNCHRON Xin Li, Reinhard von Hanxleden
2000	J	`jnl`	A balanced code placement framework. ACM Trans. Program. Lang. Syst. Reinhard von Hanxleden, Ken Kennedy
1998	J	`jnl`	A codesign approach for safety-critical automotive applications. IEEE Micro Reinhard von Hanxleden, Ali Botorabi, Slawomir Kupczyk
1997	J	`jnl`	Experiences in Data-Parallel Programming. Sci. Program. Terry W. Clark, Reinhard von Hanxleden, Ken Kennedy
1994	—	`—`	Compiler support for machine-independent parallelization of irregular problems. Reinhard von Hanxleden
1994	A*	`conf`	GIVE-N-TAKE - A Balanced Code Placement Framework. PLDI Reinhard von Hanxleden, Ken Kennedy
1994	—	`conf`	Value-Based Distributions in Fortran D. HPCN Reinhard von Hanxleden, Ken Kennedy, Joel H. Saltz
1993	—	`conf`	Slicing Analysis and Indirect Accesses to Distributed Arrays. LCPC Raja Das, Joel H. Saltz, Reinhard von Hanxleden
1992	—	`conf`	Compiler Analysis for Irregular Problems in Fortran D. LCPC Reinhard von Hanxleden, Ken Kennedy, Charles Koelbel, Raja Das, Joel H. Saltz
1992	J	`jnl`	Correctness and determinism of Parallel Monte Carlo Processes. Parallel Comput. Reinhard von Hanxleden, L. Ridgway Scott
1992	A*	`conf`	Relaxing SIMD Control Flow Constraints using Loop Transformations. PLDI Reinhard von Hanxleden, Ken Kennedy
1991	J	`jnl`	Load Balancing on Message Passing Architectures. J. Parallel Distributed Comput. Reinhard von Hanxleden, L. Ridgway Scott
1991	—	`conf`	Parallelizing Dynamic Processes on Message Passing Architectures. PP Reinhard von Hanxleden, L. Ridgway Scott