Pinned Repositories
abs-models.org
The language website (under construction)
ABS_23
absexamples
ABS Examples
abstools
The ABS modeling language and surrounding tools
APM_24
chisel-tool
A dL-proof obligation generator for Hybrid ABS
ConfLiftingaaS
crowbar-tool
Symbolic execution engine for ABS
KnowEnforce
Example implementation of the FASE'23 paper "Runtime Enforcement Using Knowledge Bases"
SemanticObjects
An interpreter for the Semantic Micro Object Language (SMOL), which intergrates semantic technologies directly on language level.
Edkamb's Repositories
Edkamb/KnowEnforce
Example implementation of the FASE'23 paper "Runtime Enforcement Using Knowledge Bases"
Edkamb/abs-models.org
The language website (under construction)
Edkamb/ABS_23
Edkamb/absexamples
ABS Examples
Edkamb/abstools
The ABS modeling language and surrounding tools
Edkamb/APM_24
Edkamb/chisel-tool
A dL-proof obligation generator for Hybrid ABS
Edkamb/ConfLiftingaaS
Edkamb/crowbar-tool
Symbolic execution engine for ABS
Edkamb/easyinterface
A web frontend for the ABS toolchain
Edkamb/Edkamb.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Edkamb/GreenHouseDT
Main repository for the GreenHouse DT project
Edkamb/Hugo-webpage
Edkamb/smol_scheduler
Java program that runs SMOL program, extract data from a knowledge graph generated by SMOL and interacts with other layers to create a greenhouse digital twin
Edkamb/splc2021_artifact
Artifact description for the SPLC 2021 paper "Variability Modules for Java-like Languages"
Edkamb/twinlab
Edkamb/VisualisierbaR