Pinned Repositories
blech
Blech is a language for developing reactive, real-time critical embedded software.
blech-mode-extraction-evaluation
Contains the evluation files for the master thesis with the title "Mode Extraction from Blech". The Blech code examples are either own creations or taken from the official Blech language website (https://www.blech-lang.org/docs/examples/).
blech-tools
elk
Eclipse Layout Kernel - Automatic layout for Java applications.
ElkT-RanGen
Elk Text random generator for quantitative evaluation of my bachelor thesis. Elk text format as documented here: https://github.com/eclipse/elk/pull/106#issuecomment-268772479. Random number of nodes with random sizes are generated as .elkt files, so they can be used by the developed algorithm in the official ELK project.
flight_log
A flight history tracking application, powering Flight Historian
SOP-Solver
SOP solver project for the module 'Bachelorprojekt' at the algorithmns and complexity group at University of Kiel
elk
Eclipse Layout Kernel - Automatic layout for Java applications.
iobserve-analysis
Tools, probes and libraries used in iObserve to monitor and analyze software, as well as to plan and execute its modification (MAPE-K loop)
dalu2104's Repositories
dalu2104/blech
Blech is a language for developing reactive, real-time critical embedded software.
dalu2104/blech-mode-extraction-evaluation
Contains the evluation files for the master thesis with the title "Mode Extraction from Blech". The Blech code examples are either own creations or taken from the official Blech language website (https://www.blech-lang.org/docs/examples/).
dalu2104/ElkT-RanGen
Elk Text random generator for quantitative evaluation of my bachelor thesis. Elk text format as documented here: https://github.com/eclipse/elk/pull/106#issuecomment-268772479. Random number of nodes with random sizes are generated as .elkt files, so they can be used by the developed algorithm in the official ELK project.
dalu2104/SOP-Solver
SOP solver project for the module 'Bachelorprojekt' at the algorithmns and complexity group at University of Kiel
dalu2104/blech-tools
dalu2104/elk
Eclipse Layout Kernel - Automatic layout for Java applications.
dalu2104/flight_log
A flight history tracking application, powering Flight Historian