Reinhard von Hanxleden

ORCID

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 60

Top Venues

CoRR

Diagrams

FDL

ACM Trans. Embed. Comput. Syst.

University of Houston, TX, USA (PHD)

Education History

University of Houston, TX, USA

PHD

Publications

Niklas Rentz, Reinhard von Hanxleden
SPViz: A DSL-Driven Approach for Software Project Visualization Tooling. CoRR (2024)
Alexander Schulz-Rosengarten, Akash Ahmad, Malte Clement, Reinhard von Hanxleden, Benjamin Asch, Marten Lohstroh, Edward A. Lee, Gustavo Quiros Araya, Ankit Shukla
Behavior Trees with Dataflow: Coordinating Reactive Tasks in Lingua Franca. CoRR (2024)
Patrizio Angelini, Reinhard von Hanxleden
Guest Editors' Foreword. J. Graph Algorithms Appl. 27 (8) (2023)
Maximilian Kasperowski, Reinhard von Hanxleden
Top-Down Drawings of Compound Graphs. CoRR (2023)
Jette Petzold, Sören Domrös, Connor Schönberner, Reinhard von Hanxleden
An Interactive Graph Layout Constraint Framework. VISIGRAPP (3: IVAPP) (2023)
Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marten Lohstroh, Soroush Bateni, Edward A. Lee
Modal Reactors. CoRR (2023)
Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marten Lohstroh, Edward A. Lee, Soroush Bateni
Polyglot Modal Models through Lingua Franca. CPS-IoT Week Workshops (2023)
Sören Domrös, Max Riepe, Reinhard von Hanxleden
Model Order in Sugiyama Layouts. VISIGRAPP (3: IVAPP) (2023)
Sören Domrös, Reinhard von Hanxleden, Miro Spönemann, Ulf Rüegg, Christoph Daniel Schulze
The Eclipse Layout Kernel. CoRR (2023)
Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marten Lohstroh, Soroush Bateni, Edward A. Lee
Polyglot Modal Models through Lingua Franca. DATE (2023)
Jette Petzold, Jana Kreiß, Reinhard von Hanxleden
PASTA: Pragmatic Automated System-Theoretic Process Analysis. DSN (2023)
Reinhard von Hanxleden, Edward A. Lee, Hauke Fuhrmann, Alexander Schulz-Rosengarten, Sören Domrös, Marten Lohstroh, Soroush Bateni, Christian Menard
Pragmatics Twelve Years Later: A Report on Lingua Franca. ISoLA (2) (2022)
Reinhard von Hanxleden
Information: 'I' vs. 'we' vs. 'they'. Commun. ACM 65 (5) (2022)
Reinhard von Hanxleden, Arne Biastoch, Nicola Fohrer, Matthias Renz, Athanasios T. Vafeidis
Getting the big picture in cross-domain fusion. Inform. Spektrum 45 (4) (2022)
Patrizio Angelini, Reinhard von Hanxleden
Proceedings of the 30th International Symposium on Graph Drawing and Network Visualization (GD 2022). CoRR (2022)
Jette Petzold, Reinhard von Hanxleden
Tool Support for System-Theoretic Process Analysis. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 82 (2022)
Sören Domrös, Reinhard von Hanxleden
Preserving Order during Crossing Minimization in Sugiyama Layouts. VISIGRAPP (3: IVAPP) (2022)
Steven Smyth, Jette Petzold, Jonas Schürmann, Florian Karbus, Tiziana Margaria, Reinhard von Hanxleden, Bernhard Steffen
Executable Documentation: Test-First in Action. ISoLA (2) (2022)
Sören Domrös, Daniel Lucas, Reinhard von Hanxleden, Klaus Jansen
On Order-preserving, Gap-avoiding Rectangle Packing. VISIGRAPP (3: IVAPP) (2021)
Niklas Rentz, Steven Smyth, Lewe Andersen, Reinhard von Hanxleden
Extracting Interactive Actor-Based Dataflow Models from Legacy C Code. Diagrams (2021)
Alain Girault, Reinhard von Hanxleden
Introduction to the Special Issue on Specification and Design Languages (FDL 2019). ACM Trans. Embed. Comput. Syst. 20 (4) (2021)
Sören Domrös, Daniel Lucas, Reinhard von Hanxleden, Klaus Jansen
Revisiting Order-Preserving, Gap-Avoiding Rectangle Packing. VISIGRAPP (Revised Selected Papers) (2021)
Daniel Lucas, Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Friedrich Gretz, Franz-Josef Grosch
Extracting Mode Diagrams from Blech Code. FDL (2021)
Niklas Rentz, Christian Dams, Reinhard von Hanxleden
Interactive Visualization for OSGi-based Projects. VISSOFT (2020)
Lena Grimm, Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marc Pouzet
From Lustre to Graphical Models and SCCharts. FDL (2020)
Andreas Boysen, Alexander Schulz-Rosengarten, Reinhard von Hanxleden
A Hard Real Time Demonstrator for Dynamic Ticks and Timed SCCharts. FDL (2020)
Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden
Practical Causality Handling for Synchronous Languages. DATE (2019)
Christoph Daniel Schulze, Nis Wechselberg, Reinhard von Hanxleden
Edge Label Placement in Layered Graph Drawing. Diagrams (2018)
Alexander Schulz-Rosengarten, Steven Smyth, Reinhard von Hanxleden, Michael Mendler
On Reconciling Concurrency, Sequentiality and Determinacy for Reactive Systems - A Sequentially Constructive Circuit Semantics for Esterel. ACSD (2018)
Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Frédéric Mallet, Robert de Simone, Julien Deantoni
Time in SCCharts. FDL (2018)
Steven Smyth, Christian Motika, Reinhard von Hanxleden
Synthesizing manually verifiable code for statecharts. REBLS@SPLASH (2018)
Joaquín Aguado, Michael Mendler, Marc Pouzet, Partha S. Roop, Reinhard von Hanxleden
Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach. ESOP (2018)
Ulf Rüegg, Reinhard von Hanxleden
Wrapping Layered Graphs. Diagrams (2018)
Michael Mendler, Joaquín Aguado, Bruno Bodin, Partha S. Roop, Reinhard von Hanxleden
Logic Meets Algebra: Compositional Timing Analysis for Synchronous Reactive Multithreading. Models, Mindsets, Meta (2018)
Christoph Daniel Schulze, Gregor Hoops, Reinhard von Hanxleden
Automatic Layout and Label Management for Compact UML Sequence Diagrams. VL/HCC (2018)
Nis Wechselberg, Alexander Schulz-Rosengarten, Steven Smyth, Reinhard von Hanxleden
Augmenting State Models with Data Flow. Principles of Modeling (2018)
Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden
Towards Interactive Compilation Models. ISoLA (1) (2018)
Steven Smyth, Christian Motika, Karsten Rathlev, Reinhard von Hanxleden, Michael Mendler
SCEst: Sequentially Constructive Esterel. ACM Trans. Embed. Comput. Syst. 17 (2) (2018)
Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Nathan Allen, Stavros Tripakis, Reinhard von Hanxleden
Runtime Enforcement of Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. 16 (5s) (2017)
Nathan Allen, Hammond A. Pearce, Partha S. Roop, Reinhard von Hanxleden
A Model Driven Approach for Cardiac Pacemaker Design Using a PRET Processor. ISORC (2017)
Steven Smyth, Stephan Lenga, Reinhard von Hanxleden
Model Extraction of Legacy C Code in SCCharts. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 74 (2017)
Reinhard von Hanxleden, Timothy Bourke, Alain Girault
Real-time ticks for synchronous programming. FDL (2017)
Ulf Rüegg, Thorsten Ehlers, Miro Spönemann, Reinhard von Hanxleden
Generalized Layerings for Arbitrary and Fixed Drawing Areas. J. Graph Algorithms Appl. 21 (5) (2017)
Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis, Reinhard von Hanxleden
Runtime enforcement of reactive systems using synchronous enforcers. SPIN (2017)
Ulf Rüegg, Rajneesh Lakkundi, Ashwin Prasad, Anand Kodaganur, Christoph Daniel Schulze, Reinhard von Hanxleden
Incremental diagram layout for automated model migration. MoDELS (2016)
Ulf Rüegg, Thorsten Ehlers, Miro Spönemann, Reinhard von Hanxleden
A Generalization of the Directed Graph Layering Problem. CoRR (2016)
Christoph Daniel Schulze, Christina Plöger, Reinhard von Hanxleden
On Comments in Visual Languages. Diagrams (2016)
Christoph Daniel Schulze, Yella Lasch, Reinhard von Hanxleden
Label management: Keeping complex diagrams usable. VL/HCC (2016)
Adalat Jabrayilov, Sven Mallach, Petra Mutzel, Ulf Rüegg, Reinhard von Hanxleden
Compact Layered Drawings of General Directed Graphs. CoRR (2016)
Francesca Rybicki, Steven Smyth, Christian Motika, Alexander Schulz-Rosengarten, Reinhard von Hanxleden
Interactive Model-Based Compilation Continued - Incremental Hardware Synthesis for SCCharts. ISoLA (2) (2016)
Insa Fuhrmann, David Broman, Reinhard von Hanxleden, Alexander Schulz-Rosengarten
Time for Reactive System Modeling: Interactive Timing Analysis with Hotspot Highlighting. RTNS (2016)
Ulf Rüegg, Christoph Daniel Schulze, Daniel Grevismühl, Reinhard von Hanxleden
Using One-Dimensional Compaction for Smaller Graph Drawings. Diagrams (2016)
Ulf Rüegg, Thorsten Ehlers, Miro Spönemann, Reinhard von Hanxleden
A Generalization of the Directed Graph Layering Problem. Graph Drawing (2016)
Adalat Jabrayilov, Sven Mallach, Petra Mutzel, Ulf Rüegg, Reinhard von Hanxleden
Compact Layered Drawings of General Directed Graphs. Graph Drawing (2016)
Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis, Reinhard von Hanxleden
Runtime enforcement of reactive systems using synchronous enforcers. CoRR (2016)
Reinhard von Hanxleden, Björn Duderstadt, Insa Fuhrmann, Christian Motika, Steven Smyth, Michael Mendler, Joaquín Aguado, Stephen Loftus-Mercer, Owen O'Brien
Sequential Constructiveness, SCCharts for Safety-Critical Applications. Software Engineering & Management (2015)
Karsten Rathlev, Steven Smyth, Christian Motika, Reinhard von Hanxleden, Michael Mendler
SCEst: Sequentially constructive esterel. MEMOCODE (2015)
Joaquín Aguado, Michael Mendler, Reinhard von Hanxleden, Insa Fuhrmann
Denotational fixed-point semantics for constructive scheduling of synchronous concurrency. Acta Informatica 52 (4-5) (2015)
Ulf Rüegg, Christoph Daniel Schulze, John Julian Carstens, Reinhard von Hanxleden
Size- and Port-Aware Horizontal Node Coordinate Assignment. Graph Drawing (2015)
Christian Motika, Reinhard von Hanxleden
Light-weight Synchronous Java (SJL): An approach for programming deterministic reactive systems with Java. Computing 97 (3) (2015)
Christian Motika, Steven Smyth, Reinhard von Hanxleden
Compiling SCCharts - A Case-Study on Interactive Model-Based Compilation. ISoLA (1) (2014)
Carsten Gutwenger, Ulf Rüegg, Miro Spönemann, Reinhard von Hanxleden, Petra Mutzel
Examining the Compactness of Automatically Generated Layouts for Practical Diagrams. ED/GViP@Diagrams (2014)
Christoph Daniel Schulze, Reinhard von Hanxleden
Automatic layout in the face of unattached comments. VL/HCC (2014)
Christoph Daniel Schulze, Miro Spönemann, Reinhard von Hanxleden
Drawing layered graphs with port constraints. J. Vis. Lang. Comput. 25 (2) (2014)
Patrick Frey, Reinhard von Hanxleden, Christoph Krüger, Ulf Rüegg, Christian Schneider, Miro Spönemann
Efficient Exploration of Complex Data Flow Models. Modellierung (2014)
Reinhard von Hanxleden, Björn Duderstadt, Christian Motika, Steven Smyth, Michael Mendler, Joaquín Aguado, Stephen Mercer, Owen O'Brien
SCCharts: sequentially constructive statecharts for safety-critical applications: HW/SW-synthesis for a conservative extension of synchronous statecharts. PLDI (2014)
Joaquín Aguado, Michael Mendler, Reinhard von Hanxleden, Insa Fuhrmann
Grounding Synchronous Deterministic Concurrency in Sequential Programming. ESOP (2014)
Christoph Daniel Schulze, Miro Spönemann, Christian Schneider, Reinhard von Hanxleden
Two applications for transient views in software development environments. VL/HCC (2014)
Reinhard von Hanxleden, Michael Mendler, Joaquín Aguado, Björn Duderstadt, Insa Fuhrmann, Christian Motika, Stephen Mercer, Owen O'Brien, Partha S. Roop
Sequentially Constructive Concurrency - A Conservative Extension of the Synchronous Model of Computation. ACM Trans. Embed. Comput. Syst. 13 (4s) (2014)
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
Building timing predictable embedded systems. ACM Trans. Embed. Comput. Syst. 13 (4) (2014)
Miro Spönemann, Björn Duderstadt, Reinhard von Hanxleden
Evolutionary Meta Layout of Graphs. Diagrams (2014)
Miro Spönemann, Christoph Daniel Schulze, Ulf Rüegg, Reinhard von Hanxleden
Counting Crossings for Layered Hypergraphs. Diagrams (2014)
Reinhard von Hanxleden, Michael Mendler, Joaquín 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)
Miro Spönemann, Christoph Daniel Schulze, Christian Motika, Christian Schneider, Reinhard von Hanxleden
KIELER: Building on automatic layout for pragmatics-aware modeling. VL/HCC (2013)
Christian Schneider, Miro Spönemann, Reinhard von Hanxleden
Just model! - Putting automatic synthesis of node-link-diagrams into practice. VL/HCC (2013)
Christian Motika, Reinhard von Hanxleden, Mirko Heinold
Programming deterministic reactive systems with Synchronous Java. ISORC (2013)
Xin Li, Reinhard von Hanxleden
Multithreaded Reactive Programming - the Kiel Esterel Processor. IEEE Trans. Computers 61 (3) (2012)
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)
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)
Lars Kristian Klauske, Christoph Daniel Schulze, Miro Spönemann, Reinhard von Hanxleden
Improved Layout for Data Flow Diagrams with Port Constraints. Diagrams (2012)
Claus Traulsen, T. Amende, Reinhard von Hanxleden
Compiling SyncCharts to Synchronous C. DATE (2011)
Ulf Rüegg, Christian Motika, Reinhard von Hanxleden
Interactive transformations for visual models. GI-Jahrestagung (2011)
Claus Traulsen, Reinhard von Hanxleden
Reactive parallel processing for synchronous dataflow. SAC (2010)
Christian Motika, Hauke Fuhrmann, Reinhard von Hanxleden
Semantics and Execution of Domain Specific Models. GI Jahrestagung (1) (2010)
Hauke Fuhrmann, Reinhard von Hanxleden
Taming Graphical Modeling. MoDELS (1) (2010)
Michael Mendler, Reinhard von Hanxleden, Claus Traulsen
WCRT algebra and interfaces for esterel-style synchronous processing. DATE (2009)
Reinhard von Hanxleden
SyncCharts in C: a proposal for light-weight, deterministic concurrency. EMSOFT (2009)
Arne Schipper, Hauke Fuhrmann, Reinhard von Hanxleden
Visual Comparison of Graphical Models. ICECCS (2009)
Miro Spönemann, Hauke Fuhrmann, Reinhard von Hanxleden, Petra Mutzel
Port Constraints in Hierarchical Layout of Data Flow Diagrams. Graph Drawing (2009)
Partha S. Roop, Sidharta Andalam, Reinhard von Hanxleden, Simon Yuan, Claus Traulsen
Tight WCRT analysis of synchronous C programs. CASES (2009)
Albert Benveniste, Stephen A. Edwards, Edward A. Lee, Klaus Schneider, Reinhard von Hanxleden
09481 Abstracts Collection - SYNCHRON 2009. SYNCHRON 2009 (2009)
Marian Boldt, Claus Traulsen, Reinhard von Hanxleden
Compilation and Worst-Case Reaction Time Analysis for Multithreaded Esterel Processing. EURASIP J. Embed. Syst. 2008 (2008)
Marian Boldt, Claus Traulsen, Reinhard von Hanxleden
Worst Case Reaction Time Analysis of Concurrent Reactive Programs. Electron. Notes Theor. Comput. Sci. 203 (4) (2008)
Hauke Fuhrmann, Reinhard von Hanxleden
On the Pragmatics of Model-Based Design. Monterey Workshop (2008)
Steffen Prochnow, Reinhard von Hanxleden
Statechart Development Beyond WYSIWYG. MoDELS (2007)
Steffen Prochnow, Reinhard von Hanxleden
The Use of Complex Stateflow-Charts with KIEL - An Automotive Case Study. GI Jahrestagung (2) (2007)
Sascha Gädtke, Claus Traulsen, Reinhard von Hanxleden
HW/SW co-design for Esterel processing. CODES+ISSS (2007)
Jan Lukoschus, Reinhard von Hanxleden
Removing Cycles in Esterel Programs. EURASIP J. Embed. Syst. 2007 (2007)
Jan Täubrich, Reinhard von Hanxleden
Formal Specification and Analysis of AFDX Redundancy Management Algorithms. SAFECOMP (2007)
Steffen Prochnow, Claus Traulsen, Reinhard von Hanxleden
Synthesizing safe state machines from Esterel. LCTES (2006)

Reinhard von Hanxleden.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Reinhard von Hanxleden