Explore @isse-augsburg Open Source projects

Institute for Software & Systems Engineering (@isse-augsburg)

isse-augsburg

Stars
41
Global Org. Rank 87,165 (Top 28 %)
Registered over 10 years ago
Most used languages

Python
37.5 %

Jupyter Notebook
25.0 %

Java
12.5 %

C#
12.5 %

Scala
12.5 %
Location 🇩🇪 Germany
Country Total Rank 18,064
Country Ranking

Scala
570

Jupyter Notebook
939

C#
1,693

Python
9,570

minibrass

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

Jupyter Notebook

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.

flashix

Flashix: a verified file system for flash memory

ecml22-grape

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

decision-tree-learning-ecml

rtm-predictions

Code for the FlowFrontNet Paper; submitted to ECML 2020

ecas2021-DisCSP

MATE

A Multi-Agent Manufacturing Testbed

PermeabilityNets

ecml2020-teach-ml

Jupyter Notebook