Search Results

Documents authored by von Hanxleden, Reinhard

Document
Poster Abstract
DOI: 10.4230/LIPIcs.GD.2024.48
Determining Sugiyama Topology with Model Order (Poster Abstract)

Authors: Sören Domrös and Reinhard von Hanxleden

Published in: LIPIcs, Volume 320, 32nd International Symposium on Graph Drawing and Network Visualization (GD 2024)

Abstract
Traditional implementations of the Sugiyama algorithm optimize aesthetic criteria such as the number of backward edges, edge length, or edge crossings. If we, however, utilize the model order, as provided e.g. by a textual graph input file, we can determine the topology of a Sugiyama layout in a one-pass algorithm while controlling the secondary notation and with it the intention expressed by the underlying model, which typically cannot be captured by layout algorithms.
Cite as

Sören Domrös and Reinhard von Hanxleden. Determining Sugiyama Topology with Model Order (Poster Abstract). In 32nd International Symposium on Graph Drawing and Network Visualization (GD 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 320, pp. 48:1-48:3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)

Copy BibTex To Clipboard

@InProceedings{domros_et_al:LIPIcs.GD.2024.48,
  author =	{Domr\"{o}s, S\"{o}ren and von Hanxleden, Reinhard},
  title =	{{Determining Sugiyama Topology with Model Order}},
  booktitle =	{32nd International Symposium on Graph Drawing and Network Visualization (GD 2024)},
  pages =	{48:1--48:3},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-343-0},
  ISSN =	{1868-8969},
  year =	{2024},
  volume =	{320},
  editor =	{Felsner, Stefan and Klein, Karsten},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.GD.2024.48},
  URN =		{urn:nbn:de:0030-drops-213322},
  doi =		{10.4230/LIPIcs.GD.2024.48},
  annote =	{Keywords: Automatic Layout, Model Order, Layered Layout}
}
Document
Software Abstract
DOI: 10.4230/LIPIcs.GD.2024.56
The Eclipse Layout Kernel (Software Abstract)

Authors: Maximilian Kasperowski, Sören Domrös, and Reinhard von Hanxleden

Published in: LIPIcs, Volume 320, 32nd International Symposium on Graph Drawing and Network Visualization (GD 2024)

Abstract
The Eclipse Layout Kernel (ELK) is an open-source framework written in Java, which is transpiled to the JavaScript library elkjs. ELK provides extensible and modular algorithms, visibility for diagramming research, and has an active community. The ELK project is both a validation platform for graph drawing algorithm researchers, and a freely available library put in production use to provide automatic layout for academic and commercial applications. The report [S. Domrös et al., 2023] presents an overview of the available algorithms, the development history, related publications, as well as lessons learned from developing the open-source framework. ELK welcomes new users as well as new contributors.
Cite as

Maximilian Kasperowski, Sören Domrös, and Reinhard von Hanxleden. The Eclipse Layout Kernel (Software Abstract). In 32nd International Symposium on Graph Drawing and Network Visualization (GD 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 320, pp. 56:1-56:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)

Copy BibTex To Clipboard

@InProceedings{kasperowski_et_al:LIPIcs.GD.2024.56,
  author =	{Kasperowski, Maximilian and Domr\"{o}s, S\"{o}ren and von Hanxleden, Reinhard},
  title =	{{The Eclipse Layout Kernel}},
  booktitle =	{32nd International Symposium on Graph Drawing and Network Visualization (GD 2024)},
  pages =	{56:1--56:2},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-343-0},
  ISSN =	{1868-8969},
  year =	{2024},
  volume =	{320},
  editor =	{Felsner, Stefan and Klein, Karsten},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.GD.2024.56},
  URN =		{urn:nbn:de:0030-drops-213401},
  doi =		{10.4230/LIPIcs.GD.2024.56},
  annote =	{Keywords: Automatic Layout, Layered Layout, Layout Library}
}
Document
DOI: 10.4230/DagSemProc.09481.1
09481 Abstracts Collection – SYNCHRON 2009

Authors: Albert Benveniste, Stephen A. Edwards, Edward Lee, Klaus Schneider, and Reinhard von Hanxleden

Published in: Dagstuhl Seminar Proceedings, Volume 9481, SYNCHRON 2009

Abstract
The 16th SYNCHRON workshop has been organized as Dagstuhl seminar 09481 from November 22-27, 2009. Online material of the seminar is available at the following web page: http://www.dagstuhl.de/de/programm/kalender/semhp/?semnr=09481
Cite as

Albert Benveniste, Stephen A. Edwards, Edward Lee, Klaus Schneider, and Reinhard von Hanxleden. 09481 Abstracts Collection – SYNCHRON 2009. In SYNCHRON 2009. Dagstuhl Seminar Proceedings, Volume 9481, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)

Copy BibTex To Clipboard

@InProceedings{benveniste_et_al:DagSemProc.09481.1,
  author =	{Benveniste, Albert and Edwards, Stephen A. and Lee, Edward and Schneider, Klaus and von Hanxleden, Reinhard},
  title =	{{09481 Abstracts Collection – SYNCHRON 2009}},
  booktitle =	{SYNCHRON 2009},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2010},
  volume =	{9481},
  editor =	{Albert Benveniste and Stephen A. Edwards and Edward Lee and Klaus Schneider and Reinhard von Hanxleden},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09481.1},
  URN =		{urn:nbn:de:0030-drops-24340},
  doi =		{10.4230/DagSemProc.09481.1},
  annote =	{Keywords: Synchronous languages, Safety-critical real-time systems, Model-based design, Discrete and hybrid systems, Combining synchronous and asynchronous models, Formally consistent subsetting of UML, High-level hardware modeling and synthesis, Compilation and code synthesis for embedded systems}
}
Document
DOI: 10.4230/DagSemProc.04491.1
04491 Abstracts Collection – Synchronous Programming - SYNCHRON'04

Authors: Stephen A. Edwards, Nicholas Halbwachs, Reinhard von Hanxleden, and Thomas Stauner

Published in: Dagstuhl Seminar Proceedings, Volume 4491, Synchronous Programming - SYNCHRON'04 (2005)

Abstract
From 28.11.04 to 03.12.04, the Dagstuhl Seminar Perspectives Workshop 04491 ``Synchronous Programming - SYNCHRON'04'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.
Cite as

Stephen A. Edwards, Nicholas Halbwachs, Reinhard von Hanxleden, and Thomas Stauner. 04491 Abstracts Collection – Synchronous Programming - SYNCHRON'04. In Synchronous Programming - SYNCHRON'04. Dagstuhl Seminar Proceedings, Volume 4491, pp. 1-14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)

Copy BibTex To Clipboard

@InProceedings{edwards_et_al:DagSemProc.04491.1,
  author =	{Edwards, Stephen A. and Halbwachs, Nicholas and von Hanxleden, Reinhard and Stauner, Thomas},
  title =	{{04491 Abstracts Collection – Synchronous Programming - SYNCHRON'04}},
  booktitle =	{Synchronous Programming - SYNCHRON'04},
  pages =	{1--14},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{4491},
  editor =	{Stephen A. Edwards and Nicolas Halbwachs and Reinhard v. Hanxleden and Thomas Stauner},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04491.1},
  URN =		{urn:nbn:de:0030-drops-1961},
  doi =		{10.4230/DagSemProc.04491.1},
  annote =	{Keywords: Synchronous languages , executive summary , Esterel , Lustre , Signal , semantics , programming languages , real-time systems}
}
Document
DOI: 10.4230/DagSemProc.04491.2
04491 Executive Summary – Synchronous Programming - SYNCHRON'04

Authors: Stephen A. Edwards, Nicholas Halbwachs, Reinhard von Hanxleden, and Thomas Stauner

Published in: Dagstuhl Seminar Proceedings, Volume 4491, Synchronous Programming - SYNCHRON'04 (2005)

Abstract
This seminar was the 11th in a series of semi-annual workshops on the Synchronous Languages (Esterel, Lustre, and Signal). These languages were invented in the early 1980's to make the programming of reactive systems easier. The goal of the seminar was to bring together researchers and practitioners of synchronous programming, and furthermore to reach out to relevant related areas and industrial users.
Cite as

Stephen A. Edwards, Nicholas Halbwachs, Reinhard von Hanxleden, and Thomas Stauner. 04491 Executive Summary – Synchronous Programming - SYNCHRON'04. In Synchronous Programming - SYNCHRON'04. Dagstuhl Seminar Proceedings, Volume 4491, pp. 1-7, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)

Copy BibTex To Clipboard

@InProceedings{edwards_et_al:DagSemProc.04491.2,
  author =	{Edwards, Stephen A. and Halbwachs, Nicholas and von Hanxleden, Reinhard and Stauner, Thomas},
  title =	{{04491 Executive Summary – Synchronous Programming - SYNCHRON'04}},
  booktitle =	{Synchronous Programming - SYNCHRON'04},
  pages =	{1--7},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{4491},
  editor =	{Stephen A. Edwards and Nicolas Halbwachs and Reinhard v. Hanxleden and Thomas Stauner},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04491.2},
  URN =		{urn:nbn:de:0030-drops-1959},
  doi =		{10.4230/DagSemProc.04491.2},
  annote =	{Keywords: Synchronous languages , executive summary , Esterel , Lustre , signal , semantics , programming languages , real-time systems}
}
Document
DOI: 10.4230/DagSemProc.04491.4
Removing Cycles in Esterel Programs

Authors: Jan Lukoschus and Reinhard von Hanxleden

Published in: Dagstuhl Seminar Proceedings, Volume 4491, Synchronous Programming - SYNCHRON'04 (2005)

Abstract
Programs written in the synchronous programming language Esterel may contain statically cyclic dependencies of signals, which inhibits the application of certain compilation approaches that rely on static scheduling. This talk proposes an algorithm which, given a constructive synchronous program, performs a semantics-preserving source-level code transformation that removes cyclic signal dependencies. The transformation exploits the monotonicity of constructive programs, and is illustrated in the context of Esterel, but should be applicable to other synchronous languages as well.
Cite as

Jan Lukoschus and Reinhard von Hanxleden. Removing Cycles in Esterel Programs. In Synchronous Programming - SYNCHRON'04. Dagstuhl Seminar Proceedings, Volume 4491, pp. 1-27, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)

Copy BibTex To Clipboard

@InProceedings{lukoschus_et_al:DagSemProc.04491.4,
  author =	{Lukoschus, Jan and von Hanxleden, Reinhard},
  title =	{{Removing Cycles in Esterel Programs}},
  booktitle =	{Synchronous Programming - SYNCHRON'04},
  pages =	{1--27},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{4491},
  editor =	{Stephen A. Edwards and Nicolas Halbwachs and Reinhard v. Hanxleden and Thomas Stauner},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04491.4},
  URN =		{urn:nbn:de:0030-drops-1606},
  doi =		{10.4230/DagSemProc.04491.4},
  annote =	{Keywords: Synchronous Languages , compilation , cyclic circuits , constructiveness , Esterel}
}
Document
DOI: 10.4230/DagSemProc.04491.6
The Kiel Esterel Processor - A Semi-Custom, Configurable Reactive Processor

Authors: Xin Li and Reinhard von Hanxleden

Published in: Dagstuhl Seminar Proceedings, Volume 4491, Synchronous Programming - SYNCHRON'04 (2005)

Abstract
The synchronous language Esterel is an established language for developing reactive systems. It gives an abstract, well-defined and executable description of the application, and can be synthesized into hardware and software. Typically, an Esterel program is first translated into other, lower-level languages (such as VHDL or C), and then compiled further. However, there is also the alternative of executing Esterel-like instructions directly. For example, in the REFLIX and RePIC projects, Roop et al.\ have augmented traditional processors with custom hardware to execute Esterel instructions. This patch strategy is a convenient approach, but has some shortages. We present the Kiel Esterel Processor (KEP), a semi-custom, configurable reactive processor for the direct execution of Esterel programs. It consists of a reactive core and scalable peripheral elements. KEP supports standard Esterel statements directly, except (so far) for the concurrency operator. Valued signals and counter functions in Esterel statements are supported by KEP. Due to its control path and its cooperation with elements, KEP obeys exact Esterel (preemption and priority) rules, including for example abort/weak abort (nests).
Cite as

Xin Li and Reinhard von Hanxleden. The Kiel Esterel Processor - A Semi-Custom, Configurable Reactive Processor. In Synchronous Programming - SYNCHRON'04. Dagstuhl Seminar Proceedings, Volume 4491, pp. 1-16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)

Copy BibTex To Clipboard

@InProceedings{li_et_al:DagSemProc.04491.6,
  author =	{Li, Xin and von Hanxleden, Reinhard},
  title =	{{The Kiel Esterel Processor - A Semi-Custom, Configurable Reactive Processor}},
  booktitle =	{Synchronous Programming - SYNCHRON'04},
  pages =	{1--16},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{4491},
  editor =	{Stephen A. Edwards and Nicolas Halbwachs and Reinhard v. Hanxleden and Thomas Stauner},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04491.6},
  URN =		{urn:nbn:de:0030-drops-1597},
  doi =		{10.4230/DagSemProc.04491.6},
  annote =	{Keywords: Esterel , synchronous languages , reactive programming , ASIPs}
}
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact