Reinhard von Hanxleden

According to our database1, Reinhard von Hanxleden
  • authored at least 77 papers between 1991 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Generalized Layerings for Arbitrary and Fixed Drawing Areas.
J. Graph Algorithms Appl., 2017

Runtime enforcement of reactive systems using synchronous enforcers.
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

A Model Driven Approach for Cardiac Pacemaker Design Using a PRET Processor.
Proceedings of the 20th IEEE International Symposium on Real-Time Distributed Computing, 2017

2016
A Generalization of the Directed Graph Layering Problem.
CoRR, 2016

Runtime enforcement of reactive systems using synchronous enforcers.
CoRR, 2016

Compact Layered Drawings of General Directed Graphs.
CoRR, 2016

Label management: Keeping complex diagrams usable.
Proceedings of the 2016 IEEE Symposium on Visual Languages and Human-Centric Computing, 2016

Time for Reactive System Modeling: Interactive Timing Analysis with Hotspot Highlighting.
Proceedings of the 24th International Conference on Real-Time Networks and Systems, 2016

Incremental diagram layout for automated model migration.
Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, 2016

Interactive Model-Based Compilation Continued - Incremental Hardware Synthesis for SCCharts.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

A Generalization of the Directed Graph Layering Problem.
Proceedings of the Graph Drawing and Network Visualization, 2016

Compact Layered Drawings of General Directed Graphs.
Proceedings of the Graph Drawing and Network Visualization, 2016

On Comments in Visual Languages.
Proceedings of the Diagrammatic Representation and Inference, 2016

Using One-Dimensional Compaction for Smaller Graph Drawings.
Proceedings of the Diagrammatic Representation and Inference, 2016

2015
Light-weight Synchronous Java (SJL): An approach for programming deterministic reactive systems with Java.
Computing, 2015

Denotational fixed-point semantics for constructive scheduling of synchronous concurrency.
Acta Inf., 2015

Sequential Constructiveness, SCCharts for Safety-Critical Applications.
Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

SCEst: Sequentially constructive esterel.
Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015

Size- and Port-Aware Horizontal Node Coordinate Assignment.
Proceedings of the Graph Drawing and Network Visualization - 23rd International Symposium, 2015

2014
Drawing layered graphs with port constraints.
J. Vis. Lang. Comput., 2014

Sequentially Constructive Concurrency - A Conservative Extension of the Synchronous Model of Computation.
ACM Trans. Embedded Comput. Syst., 2014

Building timing predictable embedded systems.
ACM Trans. Embedded Comput. Syst., 2014

Two applications for transient views in software development environments.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2014

Automatic layout in the face of unattached comments.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2014

SCCharts: sequentially constructive statecharts for safety-critical applications: HW/SW-synthesis for a conservative extension of synchronous statecharts.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Efficient Exploration of Complex Data Flow Models.
Proceedings of the Modellierung 2014, 19.-21. März 2014, Wien, Österreich, 2014

Compiling SCCharts - A Case-Study on Interactive Model-Based Compilation.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

Grounding Synchronous Deterministic Concurrency in Sequential Programming.
Proceedings of the Programming Languages and Systems, 2014

Counting Crossings for Layered Hypergraphs.
Proceedings of the Diagrammatic Representation and Inference, 2014

Evolutionary Meta Layout of Graphs.
Proceedings of the Diagrammatic Representation and Inference, 2014

Examining the Compactness of Automatically Generated Layouts for Practical Diagrams.
Proceedings of the Joint Proceedings of the Fourth International Workshop on Euler Diagrams and the First International Workshop on Graph Visualization in Practice co-located with Diagrams 2014, 2014

2013
KIELER: Building on automatic layout for pragmatics-aware modeling.
Proceedings of the 2013 IEEE Symposium on Visual Languages and Human Centric Computing, 2013

Just model! - Putting automatic synthesis of node-link-diagrams into practice.
Proceedings of the 2013 IEEE Symposium on Visual Languages and Human Centric Computing, 2013

Programming deterministic reactive systems with Synchronous Java.
Proceedings of the 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2013

Sequentially constructive concurrency: a conservative extension of the synchronous model of computation.
Proceedings of the Design, Automation and Test in Europe, 2013

2012
Multithreaded Reactive Programming - the Kiel Esterel Processor.
IEEE Trans. Computers, 2012

Entwurf einer domänenspezifischen Sprache für elektronische Stellwerke.
Proceedings of the Software Engineering 2012: Fachtagung des GI-Fachbereichs Softwaretechnik, 27. Februar, 2012

Multi-view Modeling and Pragmatics in 2020 - Position Paper on Designing Complex Cyber-Physical Systems.
Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012

Improved Layout for Data Flow Diagrams with Port Constraints.
Proceedings of the Diagrammatic Representation and Inference, 2012

2011
Compiling SyncCharts to Synchronous C.
Proceedings of the Design, Automation and Test in Europe, 2011

2010
Reactive parallel processing for synchronous dataflow.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Taming Graphical Modeling.
Proceedings of the Model Driven Engineering Languages and Systems, 2010

Semantics and Execution of Domain Specific Models.
Proceedings of the Informatik 2010: Service Science - Neue Perspektiven für die Informatik, Beiträge der 40. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Band 1, 27.09., 2010

2009
Visual Comparison of Graphical Models.
Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009

Port Constraints in Hierarchical Layout of Data Flow Diagrams.
Proceedings of the Graph Drawing, 17th International Symposium, 2009

SyncCharts in C: a proposal for light-weight, deterministic concurrency.
Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009

WCRT algebra and interfaces for esterel-style synchronous processing.
Proceedings of the Design, Automation and Test in Europe, 2009

09481 Abstracts Collection - SYNCHRON 2009.
Proceedings of the SYNCHRON 2009, 22.11. - 27.11.2009, 2009

Tight WCRT analysis of synchronous C programs.
Proceedings of the 2009 International Conference on Compilers, 2009

2008
Worst Case Reaction Time Analysis of Concurrent Reactive Programs.
Electr. Notes Theor. Comput. Sci., 2008

Compilation and Worst-Case Reaction Time Analysis for Multithreaded Esterel Processing.
EURASIP J. Emb. Sys., 2008

On the Pragmatics of Model-Based Design.
Proceedings of the Foundations of Computer Software. Future Trends and Techniques for Development, 2008

2007
Removing Cycles in Esterel Programs.
EURASIP J. Emb. Sys., 2007

Formal Specification and Analysis of AFDX Redundancy Management Algorithms.
Proceedings of the Computer Safety, 2007

Statechart Development Beyond WYSIWYG.
Proceedings of the Model Driven Engineering Languages and Systems, 2007

The Use of Complex Stateflow-Charts with KIEL - An Automotive Case Study.
Proceedings of the INFORMATIK 2007: Informatik trifft Logistik. Band 2. Beiträge der 37. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 2007

HW/SW co-design for Esterel processing.
Proceedings of the 5th International Conference on Hardware/Software Codesign and System Synthesis, 2007

2006
A concurrent reactive Esterel processor based on multi-threading.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Synthesizing safe state machines from Esterel.
Proceedings of the 2006 ACM SIGPLAN/SIGBED Conference on Languages, 2006

Comfortable modeling of complex reactive systems.
Proceedings of the Conference on Design, Automation and Test in Europe, 2006

Mapping esterel onto a multi-threaded embedded processor.
Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, 2006

2005
An Esterel processor with full preemption support and its worst case reaction time analysis.
Proceedings of the 2005 International Conference on Compilers, 2005

2004
Removing Cycles in Esterel Programs.
Proceedings of the Synchronous Programming - SYNCHRON'04, 28. November - 3. December 2004, 2004

The Kiel Esterel Processor - A Semi-Custom, Configurable Reactive Processor.
Proceedings of the Synchronous Programming - SYNCHRON'04, 28. November - 3. December 2004, 2004

04491 Executive Summary - Synchronous Programming - SYNCHRON'04.
Proceedings of the Synchronous Programming - SYNCHRON'04, 28. November - 3. December 2004, 2004

04491 Abstracts Collection - Synchronous Programming - SYNCHRON'04.
Proceedings of the Synchronous Programming - SYNCHRON'04, 28. November - 3. December 2004, 2004

2000
A balanced code placement framework.
ACM Trans. Program. Lang. Syst., 2000

1998
A codesign approach for safety-critical automotive applications.
IEEE Micro, 1998

1997
Experiences in Data-Parallel Programming.
Scientific Programming, 1997

1994
GIVE-N-TAKE - A Balanced Code Placement Framework.
Proceedings of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation (PLDI), 1994

Value-Based Distributions in Fortran D.
Proceedings of the High-Performance Computing and Networking, 1994

1993
Slicing Analysis and Indirect Accesses to Distributed Arrays.
Proceedings of the Languages and Compilers for Parallel Computing, 1993

1992
Correctness and determinism of Parallel Monte Carlo Processes.
Parallel Computing, 1992

Relaxing SIMD Control Flow Constraints using Loop Transformations.
Proceedings of the ACM SIGPLAN'92 Conference on Programming Language Design and Implementation (PLDI), 1992

Compiler Analysis for Irregular Problems in Fortran D.
Proceedings of the Languages and Compilers for Parallel Computing, 1992

1991
Load Balancing on Message Passing Architectures.
J. Parallel Distrib. Comput., 1991

Parallelizing Dynamic Processes on Message Passing Architectures.
Proceedings of the Fifth SIAM Conference on Parallel Processing for Scientific Computing, 1991


  Loading...