Institute for Software & Systems Engineering

minibrass

Modeling preferences and soft constraints -- qualitatively and quantitatively on top of MiniZinc

ssharp

S# is a formal modeling and safety analysis framework for safety-critical systems. It provides a domain specific modeling language and fully automated formal safety analysis tools based on C# and .NET.

ecml22-grape

Code for the paper "A Recommendation System for CAD Assembly Modeling based on Graph Neural Networks" submitted to ECML 2022.

flashix

Flashix: a verified file system for flash memory

decision-tree-learning-ecml

rtm-predictions

Code for the FlowFrontNet Paper; submitted to ECML 2020

ecas2021-DisCSP

ecml2020-teach-ml

MATE

A Multi-Agent Manufacturing Testbed

PermeabilityNets

ensemble-programming

evaluations

Computational Experiments conducted by ISSE

jros

A Lightweight Java client library for ROS publish / subscribe with dynamic type support

mrmc-ssharp

S# compatible derivate of the Markov Reward Model Checker

saso2017-web

verifast

Research prototype tool for modular formal verification of C and Java programs

adaptive-spreading

Adaptive Spreading of fibrous tows. Part of the paper submitted to LOD2020

AntNetActivityBots

Real World Implementation of Ant-Colonization-Optimization (ACO) using Paralax Activity Bots

BlockDefinitionLanguage

control-of-composite-manufacturing-through-drl

isola2020-maple-swarm

isola2020-swarm-capabilities

muenchner-kindl-buam

SE Alumni's team for Google Hashcode

ROSSi

SemanticPlugAndPlay