default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDReinhard von Hanxleden
Person information
- affiliation: University of Kiel, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j23]Lena Grimm
, Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marc Pouzet:
From Lustre to Graphical Models and SCCharts. ACM Trans. Embed. Comput. Syst. 23(5): 66:1-66:28 (2024)- [c88]Sören Domrös, Reinhard von Hanxleden:
Diagram Control and Model Order for Sugiyama Layouts. Diagrams 2024: 76-83 - [c87]Maximilian Kasperowski, Niklas Rentz, Sören Domrös, Reinhard von Hanxleden:
KIELER: A Text-First Framework for Automatic Diagramming of Complex Systems. Diagrams 2024: 402-418 - [c86]Sören Domrös, Reinhard von Hanxleden:
Determining Sugiyama Topology with Model Order (Poster Abstract). GD 2024: 48:1-48:3 - [c85]Maximilian Kasperowski, Sören Domrös, Reinhard von Hanxleden:
The Eclipse Layout Kernel (Software Abstract). GD 2024: 56:1-56:2 - [c84]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. ICSE Companion 2024: 304-305 - [i16]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 abs/2401.09185 (2024) - [i15]Niklas Rentz, Reinhard von Hanxleden:
SPViz: A DSL-Driven Approach for Software Project Visualization Tooling. CoRR abs/2401.17063 (2024) - [i14]Jette Petzold, Reinhard von Hanxleden:
From STPA to Safe Behavior Models. CoRR abs/2404.04093 (2024) - [i13]Sören Domrös, Reinhard von Hanxleden:
Diagram Control and Model Order for Sugiyama Layouts. CoRR abs/2406.11393 (2024) - 2023
- [j22]Patrizio Angelini, Reinhard von Hanxleden:
Guest Editors' Foreword. J. Graph Algorithms Appl. 27(8): 621-623 (2023) - [c83]Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marten Lohstroh, Edward A. Lee, Soroush Bateni:
Polyglot Modal Models through Lingua Franca. CPS-IoT Week Workshops 2023: 337-342 - [c82]Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marten Lohstroh, Soroush Bateni, Edward A. Lee:
Polyglot Modal Models through Lingua Franca. DATE 2023: 1-2 - [c81]Jette Petzold, Jana Kreiß, Reinhard von Hanxleden:
PASTA: Pragmatic Automated System-Theoretic Process Analysis. DSN 2023: 559-567 - [c80]Sören Domrös, Max Riepe, Reinhard von Hanxleden:
Model Order in Sugiyama Layouts. VISIGRAPP (3: IVAPP) 2023: 77-88 - [c79]Jette Petzold, Sören Domrös, Connor Schönberner, Reinhard von Hanxleden:
An Interactive Graph Layout Constraint Framework. VISIGRAPP (3: IVAPP) 2023: 240-247 - [e5]Patrizio Angelini, Reinhard von Hanxleden:
Graph Drawing and Network Visualization - 30th International Symposium, GD 2022, Tokyo, Japan, September 13-16, 2022, Revised Selected Papers. Lecture Notes in Computer Science 13764, Springer 2023, ISBN 978-3-031-22202-3 [contents] - [e4]Reinhard von Hanxleden, Stephen A. Edwards, Jens Brandt, Qi Zhu:
21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2023, Hamburg, Germany, September 21-22, 2023. ACM / IEEE 2023, ISBN 979-8-4007-0318-8 [contents] - [i12]Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marten Lohstroh, Soroush Bateni, Edward A. Lee:
Modal Reactors. CoRR abs/2301.09597 (2023) - [i11]Sören Domrös, Reinhard von Hanxleden, Miro Spönemann, Ulf Rüegg, Christoph Daniel Schulze:
The Eclipse Layout Kernel. CoRR abs/2311.00533 (2023) - [i10]Maximilian Kasperowski, Reinhard von Hanxleden:
Top-Down Drawings of Compound Graphs. CoRR abs/2312.07319 (2023) - 2022
- [j21]Reinhard von Hanxleden:
Information: 'I' vs. 'we' vs. 'they'. Commun. ACM 65(5): 45-47 (2022) - [j20]Jette Petzold, Reinhard von Hanxleden:
Tool Support for System-Theoretic Process Analysis. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 82 (2022) - [j19]Reinhard von Hanxleden, Arne Biastoch, Nicola Fohrer, Matthias Renz, Athanasios T. Vafeidis:
Getting the big picture in cross-domain fusion. Inform. Spektrum 45(4): 229-233 (2022) - [c78]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: 60-89 - [c77]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: 135-156 - [c76]Sören Domrös, Reinhard von Hanxleden:
Preserving Order during Crossing Minimization in Sugiyama Layouts. VISIGRAPP (3: IVAPP) 2022: 156-163 - [i9]Patrizio Angelini, Reinhard von Hanxleden:
Proceedings of the 30th International Symposium on Graph Drawing and Network Visualization (GD 2022). CoRR abs/2209.04402 (2022) - 2021
- [j18]Alain Girault, Reinhard von Hanxleden:
Introduction to the Special Issue on Specification and Design Languages (FDL 2019). ACM Trans. Embed. Comput. Syst. 20(4): 27:1-27:3 (2021) - [c75]Niklas Rentz, Steven Smyth, Lewe Andersen, Reinhard von Hanxleden:
Extracting Interactive Actor-Based Dataflow Models from Legacy C Code. Diagrams 2021: 361-377 - [c74]Daniel Lucas, Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Friedrich Gretz, Franz-Josef Grosch:
Extracting Mode Diagrams from Blech Code. FDL 2021: 1-8 - [c73]Sören Domrös, Daniel Lucas, Reinhard von Hanxleden, Klaus Jansen:
Revisiting Order-Preserving, Gap-Avoiding Rectangle Packing. VISIGRAPP (Revised Selected Papers) 2021: 183-205 - [c72]Sören Domrös, Daniel Lucas, Reinhard von Hanxleden, Klaus Jansen:
On Order-preserving, Gap-avoiding Rectangle Packing. VISIGRAPP (3: IVAPP) 2021: 38-49 - 2020
- [c71]Andreas Boysen, Alexander Schulz-Rosengarten, Reinhard von Hanxleden:
A Hard Real Time Demonstrator for Dynamic Ticks and Timed SCCharts. FDL 2020: 1-8 - [c70]Lena Grimm, Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marc Pouzet:
From Lustre to Graphical Models and SCCharts. FDL 2020: 1-8 - [c69]Niklas Rentz, Christian Dams, Reinhard von Hanxleden:
Interactive Visualization for OSGi-based Projects. VISSOFT 2020: 84-88
2010 – 2019
- 2019
- [c68]Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden:
Practical Causality Handling for Synchronous Languages. DATE 2019: 1281-1284 - [p1]Carla Binucci, Ulrik Brandes, Tim Dwyer, Martin Gronemann, Reinhard von Hanxleden, Marc J. van Kreveld, Petra Mutzel, Marcus Schaefer, Falk Schreiber, Bettina Speckmann:
10 Reasons to Get Interested in Graph Drawing. Computing and Software Science 2019: 85-104 - [e3]Tom J. Kazmierski, Reinhard von Hanxleden, Terrence S. T. Mak:
2019 Forum for Specification and Design Languages, FDL 2019, Southampton, United Kingdom, September 2-4, 2019. IEEE 2019, ISBN 978-1-7281-4113-8 [contents] - 2018
- [j17]Steven Smyth, Christian Motika, Karsten Rathlev, Reinhard von Hanxleden, Michael Mendler:
SCEst: Sequentially Constructive Esterel. ACM Trans. Embed. Comput. Syst. 17(2): 33:1-33:26 (2018) - [c67]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: 95-104 - [c66]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: 45-67 - [c65]Nis Wechselberg, Alexander Schulz-Rosengarten, Steven Smyth, Reinhard von Hanxleden:
Augmenting State Models with Data Flow. Principles of Modeling 2018: 504-523 - [c64]Christoph Daniel Schulze, Nis Wechselberg, Reinhard von Hanxleden:
Edge Label Placement in Layered Graph Drawing. Diagrams 2018: 71-78 - [c63]Ulf Rüegg, Reinhard von Hanxleden:
Wrapping Layered Graphs. Diagrams 2018: 743-747 - [c62]Joaquín Aguado, Michael Mendler, Marc Pouzet, Partha S. Roop, Reinhard von Hanxleden:
Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach. ESOP 2018: 86-113 - [c61]Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Frédéric Mallet, Robert de Simone, Julien Deantoni:
Time in SCCharts. FDL 2018: 5-16 - [c60]Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden:
Towards Interactive Compilation Models. ISoLA (1) 2018: 246-260 - [c59]Steven Smyth, Christian Motika, Reinhard von Hanxleden:
Synthesizing manually verifiable code for statecharts. REBLS@SPLASH 2018: 1-10 - [c58]Christoph Daniel Schulze, Gregor Hoops, Reinhard von Hanxleden:
Automatic Layout and Label Management for Compact UML Sequence Diagrams. VL/HCC 2018: 187-191 - 2017
- [j16]Steven Smyth, Stephan Lenga, Reinhard von Hanxleden:
Model Extraction of Legacy C Code in SCCharts. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 74 (2017) - [j15]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): 823-856 (2017) - [j14]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): 178:1-178:25 (2017) - [c57]Reinhard von Hanxleden, Timothy Bourke, Alain Girault:
Real-time ticks for synchronous programming. FDL 2017: 1-8 - [c56]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: 168-175 - [c55]Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis, Reinhard von Hanxleden:
Runtime enforcement of reactive systems using synchronous enforcers. SPIN 2017: 80-89 - 2016
- [c54]Ulf Rüegg, Christoph Daniel Schulze, Daniel Grevismühl, Reinhard von Hanxleden:
Using One-Dimensional Compaction for Smaller Graph Drawings. Diagrams 2016: 212-218 - [c53]Christoph Daniel Schulze, Christina Plöger, Reinhard von Hanxleden:
On Comments in Visual Languages. Diagrams 2016: 219-225 - [c52]Ulf Rüegg, Thorsten Ehlers, Miro Spönemann, Reinhard von Hanxleden:
A Generalization of the Directed Graph Layering Problem. GD 2016: 196-208 - [c51]Adalat Jabrayilov, Sven Mallach, Petra Mutzel, Ulf Rüegg, Reinhard von Hanxleden:
Compact Layered Drawings of General Directed Graphs. GD 2016: 209-221 - [c50]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: 150-170 - [c49]Ulf Rüegg, Rajneesh Lakkundi, Ashwin Prasad, Anand Kodaganur, Christoph Daniel Schulze, Reinhard von Hanxleden:
Incremental diagram layout for automated model migration. MoDELS 2016: 185-195 - [c48]Insa Fuhrmann, David Broman, Reinhard von Hanxleden, Alexander Schulz-Rosengarten:
Time for Reactive System Modeling: Interactive Timing Analysis with Hotspot Highlighting. RTNS 2016: 289-298 - [c47]Christoph Daniel Schulze, Yella Lasch, Reinhard von Hanxleden:
Label management: Keeping complex diagrams usable. VL/HCC 2016: 3-11 - [i8]Ulf Rüegg, Thorsten Ehlers, Miro Spönemann, Reinhard von Hanxleden:
A Generalization of the Directed Graph Layering Problem. CoRR abs/1608.07809 (2016) - [i7]Adalat Jabrayilov, Sven Mallach, Petra Mutzel, Ulf Rüegg, Reinhard von Hanxleden:
Compact Layered Drawings of General Directed Graphs. CoRR abs/1609.01755 (2016) - [i6]Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis, Reinhard von Hanxleden:
Runtime enforcement of reactive systems using synchronous enforcers. CoRR abs/1612.05030 (2016) - 2015
- [j13]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): 393-442 (2015) - [j12]Christian Motika, Reinhard von Hanxleden:
Light-weight Synchronous Java (SJL): An approach for programming deterministic reactive systems with Java. Computing 97(3): 281-307 (2015) - [c46]Ulf Rüegg, Christoph Daniel Schulze, John Julian Carstens, Reinhard von Hanxleden:
Size- and Port-Aware Horizontal Node Coordinate Assignment. GD 2015: 139-150 - [c45]Karsten Rathlev, Steven Smyth, Christian Motika, Reinhard von Hanxleden, Michael Mendler:
SCEst: Sequentially constructive esterel. MEMOCODE 2015: 10-19 - [c44]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: 116-117 - 2014
- [j11]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): 82:1-82:37 (2014) - [j10]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): 144:1-144:26 (2014) - [j9]Christoph Daniel Schulze, Miro Spönemann, Reinhard von Hanxleden:
Drawing layered graphs with port constraints. J. Vis. Lang. Comput. 25(2): 89-106 (2014) - [c43]Miro Spönemann, Christoph Daniel Schulze, Ulf Rüegg, Reinhard von Hanxleden:
Counting Crossings for Layered Hypergraphs. Diagrams 2014: 9-15 - [c42]Miro Spönemann, Björn Duderstadt, Reinhard von Hanxleden:
Evolutionary Meta Layout of Graphs. Diagrams 2014: 16-30 - [c41]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: 42-52 - [c40]Joaquín Aguado, Michael Mendler, Reinhard von Hanxleden, Insa Fuhrmann:
Grounding Synchronous Deterministic Concurrency in Sequential Programming. ESOP 2014: 229-248 - [c39]Christian Motika, Steven Smyth, Reinhard von Hanxleden:
Compiling SCCharts - A Case-Study on Interactive Model-Based Compilation. ISoLA (1) 2014: 461-480 - [c38]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: 321-336 - [c37]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: 372-383 - [c36]Christoph Daniel Schulze, Reinhard von Hanxleden:
Automatic layout in the face of unattached comments. VL/HCC 2014: 41-44 - [c35]Christoph Daniel Schulze, Miro Spönemann, Christian Schneider, Reinhard von Hanxleden:
Two applications for transient views in software development environments. VL/HCC 2014: 219-220 - 2013
- [c34]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: 581-586 - [c33]Christian Motika, Reinhard von Hanxleden, Mirko Heinold:
Programming deterministic reactive systems with Synchronous Java. ISORC 2013: 1-8 - [c32]Christian Schneider, Miro Spönemann, Reinhard von Hanxleden:
Just model! - Putting automatic synthesis of node-link-diagrams into practice. VL/HCC 2013: 75-82 - [c31]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: 195-196 - 2012
- [j8]Xin Li, Reinhard von Hanxleden:
Multithreaded Reactive Programming - the Kiel Esterel Processor. IEEE Trans. Computers 61(3): 337-349 (2012) - [c30]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 - [c29]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 - [c28]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
- [c27]Claus Traulsen, T. Amende, Reinhard von Hanxleden:
Compiling SyncCharts to Synchronous C. DATE 2011: 563-566 - [c26]Ulf Rüegg, Christian Motika, Reinhard von Hanxleden:
Interactive transformations for visual models. GI-Jahrestagung 2011: 282 - 2010
- [c25]Christian Motika, Hauke Fuhrmann, Reinhard von Hanxleden:
Semantics and Execution of Domain Specific Models. GI Jahrestagung (1) 2010: 891-896 - [c24]Hauke Fuhrmann, Reinhard von Hanxleden:
Taming Graphical Modeling. MoDELS (1) 2010: 196-210 - [c23]Claus Traulsen, Reinhard von Hanxleden:
Reactive parallel processing for synchronous dataflow. SAC 2010: 483-490
2000 – 2009
- 2009
- [c22]Partha S. Roop, Sidharta Andalam, Reinhard von Hanxleden, Simon Yuan, Claus Traulsen:
Tight WCRT analysis of synchronous C programs. CASES 2009: 205-214 - [c21]Michael Mendler, Reinhard von Hanxleden, Claus Traulsen:
WCRT algebra and interfaces for esterel-style synchronous processing. DATE 2009: 93-98 - [c20]Reinhard von Hanxleden:
SyncCharts in C: a proposal for light-weight, deterministic concurrency. EMSOFT 2009: 225-234 - [c19]Miro Spönemann, Hauke Fuhrmann, Reinhard von Hanxleden, Petra Mutzel:
Port Constraints in Hierarchical Layout of Data Flow Diagrams. GD 2009: 135-146 - [c18]Arne Schipper, Hauke Fuhrmann, Reinhard von Hanxleden:
Visual Comparison of Graphical Models. ICECCS 2009: 335-340 - [e2]Albert Benveniste, Stephen A. Edwards, Edward A. Lee, Klaus Schneider, Reinhard von Hanxleden:
SYNCHRON 2009, 22.11. - 27.11.2009. Dagstuhl Seminar Proceedings 09481, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - [i5]Albert Benveniste, Stephen A. Edwards, Edward A. Lee, Klaus Schneider, Reinhard von Hanxleden:
09481 Abstracts Collection - SYNCHRON 2009. SYNCHRON 2009 2009 - 2008
- [j7]Marian Boldt, Claus Traulsen, Reinhard von Hanxleden:
Compilation and Worst-Case Reaction Time Analysis for Multithreaded Esterel Processing. EURASIP J. Embed. Syst. 2008 (2008) - [c17]Hauke Fuhrmann, Reinhard von Hanxleden:
On the Pragmatics of Model-Based Design. Monterey Workshop 2008: 116-140 - 2007
- [j6]Jan Lukoschus, Reinhard von Hanxleden:
Removing Cycles in Esterel Programs. EURASIP J. Embed. Syst. 2007 (2007) - [c16]Sascha Gädtke, Claus Traulsen, Reinhard von Hanxleden:
HW/SW co-design for Esterel processing. CODES+ISSS 2007: 99-104 - [c15]Steffen Prochnow, Reinhard von Hanxleden:
The Use of Complex Stateflow-Charts with KIEL - An Automotive Case Study. GI Jahrestagung (2) 2007: 564-568 - [c14]Steffen Prochnow, Reinhard von Hanxleden:
Statechart Development Beyond WYSIWYG. MoDELS 2007: 635-649 - [c13]Jan Täubrich, Reinhard von Hanxleden:
Formal Specification and Analysis of AFDX Redundancy Management Algorithms. SAFECOMP 2007: 436-450 - [c12]Marian Boldt, Claus Traulsen, Reinhard von Hanxleden:
Worst Case Reaction Time Analysis of Concurrent Reactive Programs. SLA++P@ETAPS 2007: 65-79 - 2006
- [c11]Xin Li, Marian Boldt, Reinhard von Hanxleden:
Mapping esterel onto a multi-threaded embedded processor. ASPLOS 2006: 303-314 - [c10]Steffen Prochnow, Reinhard von Hanxleden:
Comfortable modeling of complex reactive systems. DATE 2006: 577-578 - [c9]Steffen Prochnow, Claus Traulsen, Reinhard von Hanxleden:
Synthesizing safe state machines from Esterel. LCTES 2006: 113-124 - [c8]Xin Li, Reinhard von Hanxleden:
A concurrent reactive Esterel processor based on multi-threading. SAC 2006: 912-917 - 2005
- [c7]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:
Synchronous Programming - SYNCHRON'04, 28. November - 3. December 2004. Dagstuhl Seminar Proceedings 04491, IBFI, Schloss Dagstuhl, Germany 2005 [contents] - 2004
- [i4]Stephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner:
04491 Abstracts Collection - Synchronous Programming - SYNCHRON'04. SYNCHRON 2004 - [i3]Stephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner:
04491 Executive Summary - Synchronous Programming - SYNCHRON'04. SYNCHRON 2004 - [i2]Xin Li, Reinhard von Hanxleden:
The Kiel Esterel Processor - A Semi-Custom, Configurable Reactive Processor. SYNCHRON 2004 - [i1]Jan Lukoschus, Reinhard von Hanxleden:
Removing Cycles in Esterel Programs. SYNCHRON 2004 - 2000
- [j5]Reinhard von Hanxleden, Ken Kennedy:
A balanced code placement framework. ACM Trans. Program. Lang. Syst. 22(5): 816-860 (2000)
1990 – 1999
- 1998
- [j4]Reinhard von Hanxleden, Ali Botorabi, Slawomir Kupczyk:
A codesign approach for safety-critical automotive applications. IEEE Micro 18(5): 66-79 (1998) - 1997
- [j3]Terry W. Clark, Reinhard von Hanxleden, Ken Kennedy:
Experiences in Data-Parallel Programming. Sci. Program. 6(1): 153-158 (1997) - 1994
- [b1]Reinhard von Hanxleden:
Compiler support for machine-independent parallelization of irregular problems. University of Houston, TX, USA, Rice COMP TR 94-243, 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 Comput. 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 Distributed Comput. 13(3): 312-324 (1991) - [c1]Reinhard von Hanxleden, L. Ridgway Scott:
Parallelizing Dynamic Processes on Message Passing Architectures. PP 1991: 451-455
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-30 20:28 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
