Skip to Content

Changes for page Available Topics

Last modified by Maximilian Kasperowski on 2026/08/19 10:04
From version 199.1
edited by Maximilian Kasperowski
on 2026/08/19 10:04
Change comment: There is no comment for this version
To version 197.1
edited by Alexander Schulz-Rosengarten
on 2025/10/06 14:26
Change comment: There is no comment for this version

Summary

Details

Page properties
Author
... ... @@ -1,1 +1,1 @@
1 -XWiki.mka
1 +XWiki.als
Content
... ... @@ -12,7 +12,7 @@
12 12  
13 13  == REAKT – Railway Research ==
14 14  
15 -**Advisors:** Rajib Chandra Das, Alexander Schulz-Rosengarten, Reinhard von Hanxleden.
15 +**Advisors:** Alexander Schulz-Rosengarten, Reinhard von Hanxleden.
16 16  
17 17  In a nutshell, the REAKT-Initiative aims to make railway systems fit for the future, with the track Malente – Lütjenburg available as real-world laboratory ([[https:~~/~~/www.schiene-m-l.de/>>url:https://www.schiene-m-l.de/||rel="nofollow" shape="rect" class="external-link"]] and [[https:~~/~~/reakt.sh/>>https://reakt.sh/]]).
18 18  
... ... @@ -33,18 +33,27 @@
33 33  
34 34  Die Entwicklung geschieht im [[Eclipse Layout Kernel>>url:http://www.eclipse.org/elk||shape="rect"]]-Projekt (kurz ELK), einem offiziellen Eclipse-Projekt welches hauptsächlich wir betreuen und weiter entwickeln. Ergebnisse in diesem Bereich fließen damit einer tatsächlich existierenden Nutzerbasis zu.
35 35  
36 +==== **Topics** ====
36 36  
38 +* [[doc:Theses.Topics for Student Theses.A Machine Learning Approach for Node Size Approximation in Top-down Layout.WebHome]]
39 +* [[doc:Theses.Topics for Student Theses.Node Placement with Flexible Node Size and Port Position.WebHome]]
40 +* [[Knot Layout>>doc:Theses.Completed Theses.2024 Bachelor, Jean-Pierre Runge\: Knot-Layout.WebHome]]
41 +* [[New Crossing Minimization strategies for ELK and their use for SCCharts>>doc:.Sfiting Crossing Minimization.WebHome]]
42 +* [[Ctrl + F for Diagrams>>doc:Theses.Completed Theses.[Pragmatics] 2025 Bachelor, Lena Harnack\: Ctrl + F for Diagrams.WebHome]]
43 +
37 37  Further possible thesis topics can be found [[in ELK's GitHub repository>>url:https://github.com/eclipse/elk/issues?q=is%3Aissue+is%3Aopen+label%3Athesis||shape="rect"]]. Note, however, that some issues there may already be worked on.
38 38  
39 39  == Modeling Pragmatics ==
40 40  
41 -**Advisors:** Maximilian Kasperowski, Reinhard von Hanxleden
48 +**Advisors:** Niklas Rentz, Reinhard von Hanxleden
42 42  
43 -Modeling pragmatics is concerned with the use of textual and graphical modeling particular for model-driven engineering. Topics in this area aim to create improvements in various aspects of this.
50 +==== **Topics** ====
44 44  
52 +See the navigation on the left / the list on the top of this page for concrete topics.
53 +
45 45  == Semantics, Synchronous Languages and Model-based Design ==
46 46  
47 -**Advisors:** Daniel Mäckelmann, Alexander Schulz-Rosengarten, Reinhard v. Hanxleden
56 +**Advisors:** Alexander Schulz-Rosengarten, Reinhard v. Hanxleden
48 48  
49 49  Synchronous languages are well-established for the design of embedded, in particular safety-critical systems. One of our research areas concerns the further development of such languages and their efficient compilation. Specifically, we explore the paradigm of "sequential constructiveness" for reconciling familiar, imperative programming concepts with the sound grounding of synchronous languages. One language we have developed to try out and validate our concepts is the [[SCCharts>>url:https://github.com/kieler/semantics/wiki||shape="rect"]] language, which keeps evolving and thus offers many opportunities for student theses.
50 50