Parallelizing Dynamic Processes on Message Passing Architectures. - Reinhard von Hanxleden; L. Ridgway Scott (PP, 1991)

Load Balancing on Message Passing Architectures. - Reinhard von Hanxleden; L. Ridgway Scott (J. Parallel Distributed Comput., 1991)

Compiler Analysis for Irregular Problems in Fortran D. - Reinhard von Hanxleden; Ken Kennedy; Charles Koelbel; Raja Das; Joel H. Saltz (LCPC, 1992)

Relaxing SIMD Control Flow Constraints using Loop Transformations. - Reinhard von Hanxleden; Ken Kennedy (PLDI, 1992)

Correctness and determinism of Parallel Monte Carlo Processes. - Reinhard von Hanxleden; L. Ridgway Scott (Parallel Comput., 1992)

Slicing Analysis and Indirect Accesses to Distributed Arrays. - Raja Das; Joel H. Saltz; Reinhard von Hanxleden (LCPC, 1993)

Compiler support for machine-independent parallelization of irregular problems. - Reinhard von Hanxleden (1994)

Value-Based Distributions in Fortran D. - Reinhard von Hanxleden; Ken Kennedy; Joel H. Saltz (HPCN, 1994)

GIVE-N-TAKE - A Balanced Code Placement Framework. - Reinhard von Hanxleden; Ken Kennedy (PLDI, 1994)

Experiences in Data-Parallel Programming. - Terry W. Clark; Reinhard von Hanxleden; Ken Kennedy (Sci. Program., 1997)

A codesign approach for safety-critical automotive applications. - Reinhard von Hanxleden; Ali Botorabi; Slawomir Kupczyk (IEEE Micro, 1998)

A balanced code placement framework. - Reinhard von Hanxleden; Ken Kennedy (ACM Trans. Program. Lang. Syst., 2000)

04491 Abstracts Collection - Synchronous Programming - SYNCHRON'04. - Stephen A. Edwards; Nicolas Halbwachs; Reinhard von Hanxleden; Thomas Stauner (SYNCHRON, 2004)

04491 Executive Summary - Synchronous Programming - SYNCHRON'04. - Stephen A. Edwards; Nicolas Halbwachs; Reinhard von Hanxleden; Thomas Stauner (SYNCHRON, 2004)

The Kiel Esterel Processor - A Semi-Custom, Configurable Reactive Processor. - Xin Li 020; Reinhard von Hanxleden (SYNCHRON, 2004)

An Esterel processor with full preemption support and its worst case reaction time analysis. - Xin Li 020; Jan Lukoschus; Marian Boldt; Michael Harder; Reinhard von Hanxleden (CASES, 2005)

Mapping esterel onto a multi-threaded embedded processor. - Xin Li 020; Marian Boldt; Reinhard von Hanxleden (ASPLOS, 2006)

Comfortable modeling of complex reactive systems. - Steffen Prochnow; Reinhard von Hanxleden (DATE, 2006)

Synthesizing safe state machines from Esterel. - Steffen Prochnow; Claus Traulsen; Reinhard von Hanxleden (LCTES, 2006)

A concurrent reactive Esterel processor based on multi-threading. - Xin Li 020; Reinhard von Hanxleden (SAC, 2006)

HW/SW co-design for Esterel processing. - Sascha Gädtke; Claus Traulsen; Reinhard von Hanxleden (CODES+ISSS, 2007)

The Use of Complex Stateflow-Charts with KIEL - An Automotive Case Study. - Steffen Prochnow; Reinhard von Hanxleden (GI Jahrestagung (2), 2007)

Statechart Development Beyond WYSIWYG. - Steffen Prochnow; Reinhard von Hanxleden (MoDELS, 2007)

Formal Specification and Analysis of AFDX Redundancy Management Algorithms. - Jan Täubrich; Reinhard von Hanxleden (SAFECOMP, 2007)

Removing Cycles in Esterel Programs. - Jan Lukoschus; Reinhard von Hanxleden (EURASIP J. Embed. Syst., 2007)

Worst Case Reaction Time Analysis of Concurrent Reactive Programs. - Marian Boldt; Claus Traulsen; Reinhard von Hanxleden (SLA++P@ETAPS, 2007)

On the Pragmatics of Model-Based Design. - Hauke Fuhrmann; Reinhard von Hanxleden (Monterey Workshop, 2008)

Compilation and Worst-Case Reaction Time Analysis for Multithreaded Esterel Processing. - Marian Boldt; Claus Traulsen; Reinhard von Hanxleden (EURASIP J. Embed. Syst., 2008)

Tight WCRT analysis of synchronous C programs. - Partha S. Roop; Sidharta Andalam; Reinhard von Hanxleden; Simon Yuan; Claus Traulsen (CASES, 2009)

09481 Abstracts Collection - SYNCHRON 2009. - Albert Benveniste; Stephen A. Edwards; Edward A. Lee; Klaus Schneider 001; Reinhard von Hanxleden (SYNCHRON 2009, 2009)

WCRT algebra and interfaces for esterel-style synchronous processing. - Michael Mendler; Reinhard von Hanxleden; Claus Traulsen (DATE, 2009)

SyncCharts in C: a proposal for light-weight, deterministic concurrency. - Reinhard von Hanxleden (EMSOFT, 2009)

Port Constraints in Hierarchical Layout of Data Flow Diagrams. - Miro Spönemann; Hauke Fuhrmann; Reinhard von Hanxleden; Petra Mutzel (GD, 2009)

Visual Comparison of Graphical Models. - Arne Schipper; Hauke Fuhrmann; Reinhard von Hanxleden (ICECCS, 2009)

Semantics and Execution of Domain Specific Models. - Christian Motika; Hauke Fuhrmann; Reinhard von Hanxleden (GI Jahrestagung (1), 2010)

Taming Graphical Modeling. - Hauke Fuhrmann; Reinhard von Hanxleden (MoDELS (1), 2010)

Reactive parallel processing for synchronous dataflow. - Claus Traulsen; Reinhard von Hanxleden (SAC, 2010)

Compiling SyncCharts to Synchronous C. - Claus Traulsen; T. Amende; Reinhard von Hanxleden (DATE, 2011)

Interactive transformations for visual models. - Ulf Rüegg; Christian Motika; Reinhard von Hanxleden (GI-Jahrestagung, 2011)

Improved Layout for Data Flow Diagrams with Port Constraints. - Lars Kristian Klauske; Christoph Daniel Schulze; Miro Spönemann; Reinhard von Hanxleden (Diagrams, 2012)

Multi-view Modeling and Pragmatics in 2020 - Position Paper on Designing Complex Cyber-Physical Systems. - Reinhard von Hanxleden; Edward A. Lee; Christian Motika; Hauke Fuhrmann (Monterey Workshop, 2012)

Entwurf einer domänenspezifischen Sprache für elektronische Stellwerke. - Wolfgang Goerigk; Wilhelm Hasselbring; Gregor Hennings; Reiner Jung; Holger Neustock; Heiko Schaefer; Christian Schneider 004; Elferik Schultz; Thomas Stahl; Reinhard von Hanxleden; Steffen Weik; Stefan Zeug (Software Engineering, 2012)

Multithreaded Reactive Programming - the Kiel Esterel Processor. - Xin Li 020; Reinhard von Hanxleden (IEEE Trans. Computers, 2012)

Sequentially constructive concurrency: a conservative extension of the synchronous model of computation. - Reinhard von Hanxleden; Michael Mendler; Joaquín Aguado; Björn Duderstadt; Insa Fuhrmann; Christian Motika; Stephen Mercer; Owen O'Brien (DATE, 2013)

Programming deterministic reactive systems with Synchronous Java. - Christian Motika; Reinhard von Hanxleden; Mirko Heinold (ISORC, 2013)

Just model! - Putting automatic synthesis of node-link-diagrams into practice. - Christian Schneider 004; Miro Spönemann; Reinhard von Hanxleden (VL/HCC, 2013)

KIELER: Building on automatic layout for pragmatics-aware modeling. - Miro Spönemann; Christoph Daniel Schulze; Christian Motika; Christian Schneider 004; Reinhard von Hanxleden (VL/HCC, 2013)

Examining the Compactness of Automatically Generated Layouts for Practical Diagrams. - Carsten Gutwenger; Ulf Rüegg; Miro Spönemann; Reinhard von Hanxleden; Petra Mutzel (ED/GViP@Diagrams, 2014)

Evolutionary Meta Layout of Graphs. - Miro Spönemann; Björn Duderstadt; Reinhard von Hanxleden (Diagrams, 2014)

Counting Crossings for Layered Hypergraphs. - Miro Spönemann; Christoph Daniel Schulze; Ulf Rüegg; Reinhard von Hanxleden (Diagrams, 2014)

Grounding Synchronous Deterministic Concurrency in Sequential Programming. - Joaquín Aguado; Michael Mendler; Reinhard von Hanxleden; Insa Fuhrmann (ESOP, 2014)

Compiling SCCharts - A Case-Study on Interactive Model-Based Compilation. - Christian Motika; Steven Smyth; Reinhard von Hanxleden (ISoLA (1), 2014)

Efficient Exploration of Complex Data Flow Models. - Patrick Frey; Reinhard von Hanxleden; Christoph Krüger; Ulf Rüegg; Christian Schneider 004; Miro Spönemann (Modellierung, 2014)

SCCharts: sequentially constructive statecharts for safety-critical applications: HW/SW-synthesis for a conservative extension of synchronous statecharts. - Reinhard von Hanxleden; Björn Duderstadt; Christian Motika; Steven Smyth; Michael Mendler; Joaquín Aguado; Stephen Mercer; Owen O'Brien (PLDI, 2014)

Automatic layout in the face of unattached comments. - Christoph Daniel Schulze; Reinhard von Hanxleden (VL/HCC, 2014)

Two applications for transient views in software development environments. - Christoph Daniel Schulze; Miro Spönemann; Christian Schneider 004; Reinhard von Hanxleden (VL/HCC, 2014)

Building timing predictable embedded systems. - Philip Axer; Rolf Ernst; Heiko Falk; Alain Girault; Daniel Grund; Nan Guan; Bengt Jonsson 001; Peter Marwedel; Jan Reineke 001; Christine Rochange; Maurice Sebastian; Reinhard von Hanxleden; et al. (ACM Trans. Embed. Comput. Syst., 2014)

Sequentially Constructive Concurrency - A Conservative Extension of the Synchronous Model of Computation. - Reinhard von Hanxleden; Michael Mendler; Joaquín Aguado; Björn Duderstadt; Insa Fuhrmann; Christian Motika; Stephen Mercer; Owen O'Brien; Partha S. Roop (ACM Trans. Embed. Comput. Syst., 2014)

Drawing layered graphs with port constraints. - Christoph Daniel Schulze; Miro Spönemann; Reinhard von Hanxleden (J. Vis. Lang. Comput., 2014)

Size- and Port-Aware Horizontal Node Coordinate Assignment. - Ulf Rüegg; Christoph Daniel Schulze; John Julian Carstens; Reinhard von Hanxleden (GD, 2015)

Sequential Constructiveness, SCCharts for Safety-Critical Applications. - Reinhard von Hanxleden; Björn Duderstadt; Insa Fuhrmann; Christian Motika; Steven Smyth; Michael Mendler; Joaquín Aguado; Stephen Loftus-Mercer; Owen O'Brien (Software Engineering & Management, 2015)

Denotational fixed-point semantics for constructive scheduling of synchronous concurrency. - Joaquín Aguado; Michael Mendler; Reinhard von Hanxleden; Insa Fuhrmann (Acta Informatica, 2015)

Light-weight Synchronous Java (SJL): An approach for programming deterministic reactive systems with Java. - Christian Motika; Reinhard von Hanxleden (Computing, 2015)

Using One-Dimensional Compaction for Smaller Graph Drawings. - Ulf Rüegg; Christoph Daniel Schulze; Daniel Grevismühl; Reinhard von Hanxleden (Diagrams, 2016)

On Comments in Visual Languages. - Christoph Daniel Schulze; Christina Plöger; Reinhard von Hanxleden (Diagrams, 2016)

Compact Layered Drawings of General Directed Graphs. - Adalat Jabrayilov; Sven Mallach; Petra Mutzel; Ulf Rüegg; Reinhard von Hanxleden (GD, 2016)

A Generalization of the Directed Graph Layering Problem. - Ulf Rüegg; Thorsten Ehlers; Miro Spönemann; Reinhard von Hanxleden (GD, 2016)

Interactive Model-Based Compilation Continued - Incremental Hardware Synthesis for SCCharts. - Francesca Rybicki; Steven Smyth; Christian Motika; Alexander Schulz-Rosengarten; Reinhard von Hanxleden (ISoLA (2), 2016)

Incremental diagram layout for automated model migration. - Ulf Rüegg; Rajneesh Lakkundi; Ashwin Prasad; Anand Kodaganur; Christoph Daniel Schulze; Reinhard von Hanxleden (MoDELS, 2016)

Time for Reactive System Modeling: Interactive Timing Analysis with Hotspot Highlighting. - Insa Fuhrmann; David Broman; Reinhard von Hanxleden; Alexander Schulz-Rosengarten (RTNS, 2016)

Label management: Keeping complex diagrams usable. - Christoph Daniel Schulze; Yella Lasch; Reinhard von Hanxleden (VL/HCC, 2016)

Real-time ticks for synchronous programming. - Reinhard von Hanxleden; Timothy Bourke; Alain Girault (FDL, 2017)

A Model Driven Approach for Cardiac Pacemaker Design Using a PRET Processor. - Nathan Allen; Hammond A. Pearce; Partha S. Roop; Reinhard von Hanxleden (ISORC, 2017)

Runtime enforcement of reactive systems using synchronous enforcers. - Srinivas Pinisetty; Partha S. Roop; Steven Smyth; Stavros Tripakis; Reinhard von Hanxleden (SPIN, 2017)

Model Extraction of Legacy C Code in SCCharts. - Steven Smyth; Stephan Lenga; Reinhard von Hanxleden (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2017)

Generalized Layerings for Arbitrary and Fixed Drawing Areas. - Ulf Rüegg; Thorsten Ehlers; Miro Spönemann; Reinhard von Hanxleden (J. Graph Algorithms Appl., 2017)

Runtime Enforcement of Cyber-Physical Systems. - Srinivas Pinisetty; Partha S. Roop; Steven Smyth; Nathan Allen; Stavros Tripakis; Reinhard von Hanxleden (ACM Trans. Embed. Comput. Syst., 2017)

On Reconciling Concurrency, Sequentiality and Determinacy for Reactive Systems - A Sequentially Constructive Circuit Semantics for Esterel. - Alexander Schulz-Rosengarten; Steven Smyth; Reinhard von Hanxleden; Michael Mendler (ACSD, 2018)

Logic Meets Algebra: Compositional Timing Analysis for Synchronous Reactive Multithreading. - Michael Mendler; Joaquín Aguado; Bruno Bodin; Partha S. Roop; Reinhard von Hanxleden (Models, Mindsets, Meta, 2018)

Augmenting State Models with Data Flow. - Nis Wechselberg; Alexander Schulz-Rosengarten; Steven Smyth; Reinhard von Hanxleden (Principles of Modeling, 2018)

Wrapping Layered Graphs. - Ulf Rüegg; Reinhard von Hanxleden (Diagrams, 2018)

Edge Label Placement in Layered Graph Drawing. - Christoph Daniel Schulze; Nis Wechselberg; Reinhard von Hanxleden (Diagrams, 2018)

Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach. - Joaquín Aguado; Michael Mendler; Marc Pouzet; Partha S. Roop; Reinhard von Hanxleden (ESOP, 2018)

Time in SCCharts. - Alexander Schulz-Rosengarten; Reinhard von Hanxleden; Frédéric Mallet; Robert de Simone; Julien Deantoni (FDL, 2018)

Towards Interactive Compilation Models. - Steven Smyth; Alexander Schulz-Rosengarten; Reinhard von Hanxleden (ISoLA (1), 2018)

Synthesizing manually verifiable code for statecharts. - Steven Smyth; Christian Motika; Reinhard von Hanxleden (REBLS@SPLASH, 2018)

Automatic Layout and Label Management for Compact UML Sequence Diagrams. - Christoph Daniel Schulze; Gregor Hoops; Reinhard von Hanxleden (VL/HCC, 2018)

SCEst: Sequentially Constructive Esterel. - Steven Smyth; Christian Motika; Karsten Rathlev; Reinhard von Hanxleden; Michael Mendler (ACM Trans. Embed. Comput. Syst., 2018)

Practical Causality Handling for Synchronous Languages. - Steven Smyth; Alexander Schulz-Rosengarten; Reinhard von Hanxleden (DATE, 2019)

10 Reasons to Get Interested in Graph Drawing. - Carla Binucci; Ulrik Brandes; Tim Dwyer; Martin Gronemann; Reinhard von Hanxleden; Marc J. van Kreveld; Petra Mutzel; Marcus Schaefer 001; Falk Schreiber; Bettina Speckmann (Computing and Software Science, 2019)

A Hard Real Time Demonstrator for Dynamic Ticks and Timed SCCharts. - Andreas Boysen; Alexander Schulz-Rosengarten; Reinhard von Hanxleden (FDL, 2020)

Interactive Visualization for OSGi-based Projects. - Niklas Rentz; Christian Dams; Reinhard von Hanxleden (VISSOFT, 2020)

Extracting Interactive Actor-Based Dataflow Models from Legacy C Code. - Niklas Rentz; Steven Smyth; Lewe Andersen; Reinhard von Hanxleden (Diagrams, 2021)

Extracting Mode Diagrams from Blech Code. - Daniel Lucas; Alexander Schulz-Rosengarten; Reinhard von Hanxleden; Friedrich Gretz; Franz-Josef Grosch (FDL, 2021)

Revisiting Order-Preserving, Gap-Avoiding Rectangle Packing. - Sören Domrös; Daniel Lucas; Reinhard von Hanxleden; Klaus Jansen (VISIGRAPP (Revised Selected Papers), 2021)

On Order-preserving, Gap-avoiding Rectangle Packing. - Sören Domrös; Daniel Lucas; Reinhard von Hanxleden; Klaus Jansen (VISIGRAPP (3: IVAPP), 2021)

Introduction to the Special Issue on Specification and Design Languages (FDL 2019). - Alain Girault; Reinhard von Hanxleden (ACM Trans. Embed. Comput. Syst., 2021)

Pragmatics Twelve Years Later: A Report on Lingua Franca. - Reinhard von Hanxleden; Edward A. Lee; Hauke Fuhrmann; Alexander Schulz-Rosengarten; Sören Domrös; Marten Lohstroh; Soroush Bateni; Christian Menard (ISoLA (2), 2022)

Executable Documentation: Test-First in Action. - Steven Smyth; Jette Petzold; Jonas Schürmann; Florian Karbus; Tiziana Margaria; Reinhard von Hanxleden; Bernhard Steffen (ISoLA (2), 2022)

Preserving Order during Crossing Minimization in Sugiyama Layouts. - Sören Domrös; Reinhard von Hanxleden (VISIGRAPP (3: IVAPP), 2022)

Information: 'I' vs. 'we' vs. 'they'. - Reinhard von Hanxleden (Commun. ACM, 2022)

Proceedings of the 30th International Symposium on Graph Drawing and Network Visualization (GD 2022). - Patrizio Angelini; Reinhard von Hanxleden (CoRR, 2022)

Tool Support for System-Theoretic Process Analysis. - Jette Petzold; Reinhard von Hanxleden (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2022)

Getting the big picture in cross-domain fusion. - Reinhard von Hanxleden; Arne Biastoch; Nicola Fohrer; Matthias Renz; Athanasios T. Vafeidis (Inform. Spektrum, 2022)

Polyglot Modal Models through Lingua Franca. - Alexander Schulz-Rosengarten; Reinhard von Hanxleden; Marten Lohstroh; Edward A. Lee; Soroush Bateni (CPS-IoT Week Workshops, 2023)

PASTA: Pragmatic Automated System-Theoretic Process Analysis. - Jette Petzold; Jana Kreiß; Reinhard von Hanxleden (DSN, 2023)

Model Order in Sugiyama Layouts. - Sören Domrös; Max Riepe; Reinhard von Hanxleden (VISIGRAPP (3: IVAPP), 2023)

An Interactive Graph Layout Constraint Framework. - Jette Petzold; Sören Domrös; Connor Schönberner; Reinhard von Hanxleden (VISIGRAPP (3: IVAPP), 2023)

Modal Reactors. - Alexander Schulz-Rosengarten; Reinhard von Hanxleden; Marten Lohstroh; Soroush Bateni; Edward A. Lee (CoRR, 2023)

The Eclipse Layout Kernel. - Sören Domrös; Reinhard von Hanxleden; Miro Spönemann; Ulf Rüegg; Christoph Daniel Schulze (CoRR, 2023)

Top-Down Drawings of Compound Graphs. - Maximilian Kasperowski; Reinhard von Hanxleden (CoRR, 2023)

Guest Editors' Foreword. - Patrizio Angelini; Reinhard von Hanxleden (J. Graph Algorithms Appl., 2023)

Diagram Control and Model Order for Sugiyama Layouts. - Sören Domrös; Reinhard von Hanxleden (Diagrams, 2024)

KIELER: A Text-First Framework for Automatic Diagramming of Complex Systems. - Maximilian Kasperowski; Niklas Rentz; Sören Domrös; Reinhard von Hanxleden (Diagrams, 2024)

Determining Sugiyama Topology with Model Order (Poster Abstract). - Sören Domrös; Reinhard von Hanxleden (GD, 2024)

The Eclipse Layout Kernel (Software Abstract). - Maximilian Kasperowski; Sören Domrös; Reinhard von Hanxleden (GD, 2024)

Behavior Trees with Dataflow: Coordinating Reactive Tasks in Lingua Franca. - Alexander Schulz-Rosengarten; Akash Ahmad; Malte Clement; Reinhard von Hanxleden; Benjamin Asch; Marten Lohstroh; Edward A. Lee; Gustavo Quiros Araya; Ankit Shukla 004 (ICSE Companion, 2024)

From STPA to Safe Behavior Models. - Jette Petzold; Reinhard von Hanxleden (CoRR, 2024)

From Lustre to Graphical Models and SCCharts. - Lena Grimm; Steven Smyth; Alexander Schulz-Rosengarten; Reinhard von Hanxleden; Marc Pouzet (ACM Trans. Embed. Comput. Syst., 2024)

SCCharts Twelve Years Later: A Reflection on Sequential Constructiveness and Text-First Modeling (Keynote). - Reinhard von Hanxleden (LCTES, 2025)

Safe Behavior Model Synthesis: From STPA to LTL to SCCharts. - Jette Petzold; Reinhard von Hanxleden (MODELSWARD, 2025)

Hot PASTA: Improved Pragmatics for System-Theoretic Process Analysis. - Jette Petzold; Reinhard von Hanxleden (SAFECOMP, 2025)

Posterizing Diagrams with Top-Down Layout. - Maximilian Kasperowski; Reinhard von Hanxleden (VISIGRAPP (1): GRAPP, HUCAPP, IVAPP, 2025)

SPViz: A DSL-Driven Approach for Software Project Visualization Tooling. - Niklas Rentz; Reinhard von Hanxleden (VISIGRAPP (1): GRAPP, HUCAPP, IVAPP, 2025)