Name: DEIS Tools
Type: Organization
Bio: The Distributed, Embedded and Intelligent Systems group @ Department of Computer Science Aalborg University (DEIS)
Location: Aalborg, Denmark
Blog: https://www.cs.aau.dk/research/distributed-embedded-intelligent-systems/
DEIS Tools's Projects
AalWiNes Webpage
A Partition Refinement Based Learning-library
MAES is a tool for simulating and testing exploration algorithms in a realistic continuous space environment. Maes is visualised and physics driven using the Unity Game Engine. Maes was created as part of a Master's Thesis at Aalborg University, Denmark, on the subject of distributed systems.
This repository contains the code for the Sigfox module for network simulator 3
Difference Bounded Matrix Library
PushDown Automata - AALborg
Utility functions to interface UPPAAL Stratego with python
Urgent Partial Order Reduction
Uppaal Model Repository
A framework for "quick & cheap" feature prototyping by means of mapping/rewriting UPPAAL models
Visualization for AalWiNes
Interactive UPPAAL playing Wordle demo