Reinhard von Hanxleden
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
66
Venues
24
Active years
1992–2026
Best venue rank
A*
Where they publish
- CDIAGRAMS13 papers
- AGD6 papers
- ADATE6 papers
- CISoLA5 papers
- CFDL5 papers
- AMODELS3 papers
- A*PLDI3 papers
- BGI3 papers
- BSAFECOMP2 papers
- MulticonferenceVISIGRAPP2 papers
- AESOP2 papers
- CISORC2 papers
- MulticonferenceSAC2 papers
- Journal PublishedCASES2 papers
- CMODELSWARD1 paper
- A*ICSE1 paper
- ADSN1 paper
- BVISSOFT1 paper
- AOOPSLA1 paper
- NationalRTNS1 paper
- CMEMOCODE1 paper
- Journal PublishedEMSOFT1 paper
- BICECCS1 paper
- A*ASPLOS1 paper
Papers
66 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | DIAGRAMS | Pragmatic and Semantic Search in Diagrams. | Maximilian Kasperowski, Niklas Rentz, Reinhard von Hanxleden |
| 2026 | DIAGRAMS | Diagrams as a Service. | Niklas Rentz, Maximilian Kasperowski, Reinhard von Hanxleden, Klara Modin, Samuel Miksits, Muhammad Afif Ramadhan, Ingo Sander |
| 2025 | MODELSWARD | Safe Behavior Model Synthesis: From STPA to LTL to SCCharts. | Jette Petzold, Reinhard von Hanxleden |
| 2025 | SAFECOMP | Hot PASTA: Improved Pragmatics for System-Theoretic Process Analysis. | Jette Petzold, Reinhard von Hanxleden |
| 2025 | VISIGRAPP | Posterizing Diagrams with Top-Down Layout. | Maximilian Kasperowski, Reinhard von Hanxleden |
| 2025 | VISIGRAPP | SPViz: A DSL-Driven Approach for Software Project Visualization Tooling. | Niklas Rentz, Reinhard von Hanxleden |
| 2024 | DIAGRAMS | Diagram Control and Model Order for Sugiyama Layouts. | Sren Domrs, Reinhard von Hanxleden |
| 2024 | DIAGRAMS | KIELER: A Text-First Framework for Automatic Diagramming of Complex Systems. | Maximilian Kasperowski, Niklas Rentz, Sren Domrs, Reinhard von Hanxleden |
| 2024 | GD | Determining Sugiyama Topology with Model Order (Poster Abstract). | Sren Domrs, Reinhard von Hanxleden |
| 2024 | GD | The Eclipse Layout Kernel (Software Abstract). | Maximilian Kasperowski, Sren Domrs, Reinhard von Hanxleden |
| 2024 | ICSE | 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 |
| 2023 | DATE | Polyglot Modal Models through Lingua Franca. | Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marten Lohstroh, Soroush Bateni, Edward A. Lee |
| 2023 | DSN | PASTA: Pragmatic Automated System-Theoretic Process Analysis. | Jette Petzold, Jana Krei, Reinhard von Hanxleden |
| 2022 | ISoLA | Pragmatics Twelve Years Later: A Report on Lingua Franca. | Reinhard von Hanxleden, Edward A. Lee, Hauke Fuhrmann, Alexander Schulz-Rosengarten, Sren Domrs, Marten Lohstroh, Soroush Bateni, Christian Menard |
| 2022 | ISoLA | Executable Documentation: Test-First in Action. | Steven Smyth, Jette Petzold, Jonas Schrmann, Florian Karbus, Tiziana Margaria, Reinhard von Hanxleden, Bernhard Steffen |
| 2021 | DIAGRAMS | Extracting Interactive Actor-Based Dataflow Models from Legacy C Code. | Niklas Rentz, Steven Smyth, Lewe Andersen, Reinhard von Hanxleden |
| 2021 | FDL | Extracting Mode Diagrams from Blech Code. | Daniel Lucas, Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Friedrich Gretz, Franz-Josef Grosch |
| 2020 | FDL | A Hard Real Time Demonstrator for Dynamic Ticks and Timed SCCharts. | Andreas Boysen, Alexander Schulz-Rosengarten, Reinhard von Hanxleden |
| 2020 | FDL | From Lustre to Graphical Models and SCCharts. | Lena Grimm, Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marc Pouzet |
| 2020 | VISSOFT | Interactive Visualization for OSGi-based Projects. | Niklas Rentz, Christian Dams, Reinhard von Hanxleden |
| 2019 | DATE | Practical Causality Handling for Synchronous Languages. | Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden |
| 2018 | DIAGRAMS | Wrapping Layered Graphs. | Ulf Regg, Reinhard von Hanxleden |
| 2018 | DIAGRAMS | Edge Label Placement in Layered Graph Drawing. | Christoph Daniel Schulze, Nis Wechselberg, Reinhard von Hanxleden |
| 2018 | ESOP | Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach. | Joaqun Aguado, Michael Mendler, Marc Pouzet, Partha S. Roop, Reinhard von Hanxleden |
| 2018 | FDL | Time in SCCharts. | Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Frdric Mallet, Robert de Simone, Julien Deantoni |
| 2018 | ISoLA | Towards Interactive Compilation Models. | Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden |
| 2018 | OOPSLA | Synthesizing manually verifiable code for statecharts. | Steven Smyth, Christian Motika, Reinhard von Hanxleden |
| 2017 | FDL | Real-time ticks for synchronous programming. | Reinhard von Hanxleden, Timothy Bourke, Alain Girault |
| 2017 | ISORC | A Model Driven Approach for Cardiac Pacemaker Design Using a PRET Processor. | Nathan Allen, Hammond A. Pearce, Partha S. Roop, Reinhard von Hanxleden |
| 2016 | DIAGRAMS | Using One-Dimensional Compaction for Smaller Graph Drawings. | Ulf Regg, Christoph Daniel Schulze, Daniel Grevismhl, Reinhard von Hanxleden |
| 2016 | DIAGRAMS | On Comments in Visual Languages. | Christoph Daniel Schulze, Christina Plger, Reinhard von Hanxleden |
| 2016 | GD | Compact Layered Drawings of General Directed Graphs. | Adalat Jabrayilov, Sven Mallach, Petra Mutzel, Ulf Regg, Reinhard von Hanxleden |
| 2016 | GD | A Generalization of the Directed Graph Layering Problem. | Ulf Regg, Thorsten Ehlers, Miro Spnemann, Reinhard von Hanxleden |
| 2016 | ISoLA | Interactive Model-Based Compilation Continued - Incremental Hardware Synthesis for SCCharts. | Francesca Rybicki, Steven Smyth, Christian Motika, Alexander Schulz-Rosengarten, Reinhard von Hanxleden |
| 2016 | MODELS | Incremental diagram layout for automated model migration. | Ulf Regg, Rajneesh Lakkundi, Ashwin Prasad, Anand Kodaganur, Christoph Daniel Schulze, Reinhard von Hanxleden |
| 2016 | RTNS | Time for Reactive System Modeling: Interactive Timing Analysis with Hotspot Highlighting. | Insa Fuhrmann, David Broman, Reinhard von Hanxleden, Alexander Schulz-Rosengarten |
| 2015 | GD | Size- and Port-Aware Horizontal Node Coordinate Assignment. | Ulf Regg, Christoph Daniel Schulze, John Julian Carstens, Reinhard von Hanxleden |
| 2015 | MEMOCODE | SCEst: Sequentially constructive esterel. | Karsten Rathlev, Steven Smyth, Christian Motika, Reinhard von Hanxleden, Michael Mendler |
| 2014 | DIAGRAMS | Examining the Compactness of Automatically Generated Layouts for Practical Diagrams. | Carsten Gutwenger, Ulf Regg, Miro Spnemann, Reinhard von Hanxleden, Petra Mutzel |
| 2014 | DIAGRAMS | Evolutionary Meta Layout of Graphs. | Miro Spnemann, Bjrn Duderstadt, Reinhard von Hanxleden |
| 2014 | DIAGRAMS | Counting Crossings for Layered Hypergraphs. | Miro Spnemann, Christoph Daniel Schulze, Ulf Regg, Reinhard von Hanxleden |
| 2014 | ESOP | Grounding Synchronous Deterministic Concurrency in Sequential Programming. | Joaqun Aguado, Michael Mendler, Reinhard von Hanxleden, Insa Fuhrmann |
| 2014 | ISoLA | Compiling SCCharts - A Case-Study on Interactive Model-Based Compilation. | Christian Motika, Steven Smyth, Reinhard von Hanxleden |
| 2014 | PLDI | SCCharts: sequentially constructive statecharts for safety-critical applications: HW/SW-synthesis for a conservative extension of synchronous statecharts. | Reinhard von Hanxleden, Bjrn Duderstadt, Christian Motika, Steven Smyth, Michael Mendler, Joaqun Aguado, Stephen Mercer, Owen O'Brien |
| 2013 | DATE | Sequentially constructive concurrency: a conservative extension of the synchronous model of computation. | Reinhard von Hanxleden, Michael Mendler, Joaqun Aguado, Bjrn Duderstadt, Insa Fuhrmann, Christian Motika, Stephen Mercer, Owen O'Brien |
| 2013 | ISORC | Programming deterministic reactive systems with Synchronous Java. | Christian Motika, Reinhard von Hanxleden, Mirko Heinold |
| 2012 | DIAGRAMS | Improved Layout for Data Flow Diagrams with Port Constraints. | Lars Kristian Klauske, Christoph Daniel Schulze, Miro Spnemann, Reinhard von Hanxleden |
| 2011 | DATE | Compiling SyncCharts to Synchronous C. | Claus Traulsen, T. Amende, Reinhard von Hanxleden |
| 2011 | GI | Interactive transformations for visual models. | Ulf Regg, Christian Motika, Reinhard von Hanxleden |
| 2010 | GI | Semantics and Execution of Domain Specific Models. | Christian Motika, Hauke Fuhrmann, Reinhard von Hanxleden |
| 2010 | MODELS | Taming Graphical Modeling. | Hauke Fuhrmann, Reinhard von Hanxleden |
| 2010 | SAC | Reactive parallel processing for synchronous dataflow. | Claus Traulsen, Reinhard von Hanxleden |
| 2009 | CASES | Tight WCRT analysis of synchronous C programs. | Partha S. Roop, Sidharta Andalam, Reinhard von Hanxleden, Simon Yuan, Claus Traulsen |
| 2009 | DATE | WCRT algebra and interfaces for esterel-style synchronous processing. | Michael Mendler, Reinhard von Hanxleden, Claus Traulsen |
| 2009 | EMSOFT | SyncCharts in C: a proposal for light-weight, deterministic concurrency. | Reinhard von Hanxleden |
| 2009 | GD | Port Constraints in Hierarchical Layout of Data Flow Diagrams. | Miro Spnemann, Hauke Fuhrmann, Reinhard von Hanxleden, Petra Mutzel |
| 2009 | ICECCS | Visual Comparison of Graphical Models. | Arne Schipper, Hauke Fuhrmann, Reinhard von Hanxleden |
| 2007 | GI | The Use of Complex Stateflow-Charts with KIEL - An Automotive Case Study. | Steffen Prochnow, Reinhard von Hanxleden |
| 2007 | MODELS | Statechart Development Beyond WYSIWYG. | Steffen Prochnow, Reinhard von Hanxleden |
| 2007 | SAFECOMP | Formal Specification and Analysis of AFDX Redundancy Management Algorithms. | Jan Tubrich, Reinhard von Hanxleden |
| 2006 | ASPLOS | Mapping esterel onto a multi-threaded embedded processor. | Xin Li, Marian Boldt, Reinhard von Hanxleden |
| 2006 | DATE | Comfortable modeling of complex reactive systems. | Steffen Prochnow, Reinhard von Hanxleden |
| 2006 | SAC | A concurrent reactive Esterel processor based on multi-threading. | Xin Li, Reinhard von Hanxleden |
| 2005 | CASES | An Esterel processor with full preemption support and its worst case reaction time analysis. | Xin Li, Jan Lukoschus, Marian Boldt, Michael Harder, Reinhard von Hanxleden |
| 1994 | PLDI | GIVE-N-TAKE - A Balanced Code Placement Framework. | Reinhard von Hanxleden, Ken Kennedy |
| 1992 | PLDI | Relaxing SIMD Control Flow Constraints using Loop Transformations. | Reinhard von Hanxleden, Ken Kennedy |