Optimal Reconfiguration of Dynamic Software Product Lines Based on Performance-Influence Models
Updated 2018-05-28 08:07:04 +00:00
Update sites for eMoflon Core
Updated 2019-12-10 13:16:34 +00:00
Infrastructure for status.forgejo.dev
Updated 2024-05-25 10:58:24 +00:00
Incremental unidirectional and bidirectional graph transformations with the Democles pattern matching engine
Updated 2024-06-14 08:32:13 +00:00
Demos and Unit-Tests for the Re.action Framework
Updated 2020-12-07 15:55:52 +00:00
Transformation components from the specification languages MPT and MCF to Democles
Updated 2018-02-01 09:48:18 +00:00
Updated 2021-06-30 10:39:12 +00:00
Graph-Based ILP Problem Specification Tool
Updated 2024-09-11 05:54:43 +00:00
Updated 2024-06-14 08:31:58 +00:00
Header files for the uc library
Updated 2015-12-30 20:09:43 +00:00
Updated 2018-01-23 15:19:58 +00:00
Updated 2023-06-23 07:20:46 +00:00
Custom SAML mapping provider for Synapse installations with some extensions like database logging.
Updated 2024-03-19 12:49:00 +00:00
Tutorial projects and documentation for eMoflon::IBeX.
Updated 2024-06-27 10:29:59 +00:00
Docker image for python with some goodies installed
Updated 2024-03-30 06:47:38 +00:00
A project for analyzing Timed Automata.
Updated 2024-09-19 17:27:17 +00:00
Various Dockerfiles I use on the desktop and on servers.
Updated 2021-09-18 11:34:08 +00:00