Skip to content

@DEIS-Tools DEIS Tools

Change the repository type filter

All

    Repositories list

    25 repositories

    • rossa

      Public
      Rotor Optical Switch Simulation Aalborg
      HTML
      •0•1•0•0•Updated Nov 20, 2024Nov 20, 2024

    • DEIS-MCC

      Public
      Shell
      •
      MIT License
      •5•1•1•0•Updated Nov 15, 2024Nov 15, 2024

    • DistributedExercisesAAU

      Public
      Python
      •
      MIT License
      •48•10•3•2•Updated Nov 13, 2024Nov 13, 2024

    • uppaal-models

      Public
      Uppaal Model Repository
      q
      •3•8•0•2•Updated Nov 11, 2024Nov 11, 2024

    • CAAL

      Public
      CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes expressed in the well-known CCS language (Calculus of Communicating Systems).
      TypeScript
      •
      MIT License
      •8•0•0•0•Updated Nov 5, 2024Nov 5, 2024

    • MoniTAal

      Public
      C++
      •
      GNU Lesser General Public License v3.0
      •2•2•0•0•Updated Nov 1, 2024Nov 1, 2024

    • MAES

      Public
      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.
      C#
      •
      GNU General Public License v3.0
      •4•14•4•0•Updated Oct 14, 2024Oct 14, 2024

    • WordAAL

      Public
      Interactive UPPAAL playing Wordle demo
      Svelte
      •0•0•1•0•Updated Sep 2, 2024Sep 2, 2024

    • CLAIRE-library

      Public
      Python
      •
      GNU General Public License v3.0
      •0•0•3•0•Updated Aug 28, 2024Aug 28, 2024

    • strategoutil

      Public
      Utility functions to interface UPPAAL Stratego with python
      Python
      •1•6•5•0•Updated Jun 18, 2024Jun 18, 2024

    • PARDIBAAL

      Public
      Difference Bounded Matrix Library
      C++
      •
      GNU Lesser General Public License v3.0
      •0•4•0•1•Updated Mar 4, 2024Mar 4, 2024

    • PDAAAL

      Public
      PushDown Automata - AALborg
      C++
      •
      GNU Lesser General Public License v3.0
      •1•5•0•0•Updated Jan 3, 2024Jan 3, 2024

    • libstrategy

      Public
      C++
      •
      GNU Lesser General Public License v3.0
      •2•3•1•0•Updated Dec 28, 2023Dec 28, 2023

    • libprlearn

      Public
      A Partition Refinement Based Learning-library
      C++
      •
      GNU Lesser General Public License v3.0
      •4•3•0•1•Updated Nov 1, 2023Nov 1, 2023

    • UPPAAL-ProtoSugar

      Public
      A framework for "quick & cheap" feature prototyping by means of mapping/rewriting UPPAAL models
      Kotlin
      •
      MIT License
      •0•0•0•0•Updated May 17, 2023May 17, 2023

    • H-Uppaal

      Public
      Java
      •
      MIT License
      •3•8•1•0•Updated Feb 3, 2023Feb 3, 2023

    • Battery-Aware-Modelling-and-Analysis-of-a-Sigfox-based-IoT-Network-using-UPPAAL-SMC

      Public
      0•2•0•0•Updated Jan 17, 2023Jan 17, 2023

    • VisuAalWiNes

      Public
      Visualization for AalWiNes
      JavaScript
      •
      GNU General Public License v3.0
      •1•0•0•4•Updated Dec 12, 2022Dec 12, 2022

    • AalWiNes

      Public
      C++
      •
      GNU General Public License v3.0
      •6•11•1•2•Updated Sep 8, 2022Sep 8, 2022

    • ns3-sigfox

      Public
      This repository contains the code for the Sigfox module for network simulator 3
      C++
      •
      GNU General Public License v2.0
      •2•1•0•0•Updated Jun 28, 2022Jun 28, 2022

    • Swarm-Robotics

      Public
      C++
      •2•0•8•0•Updated May 10, 2022May 10, 2022

    • umt

      Public
      TypeScript
      •
      MIT License
      •0•0•0•0•Updated Apr 18, 2021Apr 18, 2021

    • AalWiNes-Web

      Public
      AalWiNes Webpage
      JavaScript
      •2•0•0•0•Updated Nov 25, 2020Nov 25, 2020

    • upor

      Public
      Urgent Partial Order Reduction
      Shell
      •0•0•0•0•Updated May 12, 2020May 12, 2020

    • model-utilities

      Public
      C++
      •
      MIT License
      •2•0•0•0•Updated May 5, 2020May 5, 2020