Pinned Repositories
TAPAAL
TAPAAL is a tool for modelling, simulation and verification of Timed-Arc Petri nets
AalWiNes
AAURedirector
AAUWebMgmt
A web frontend for IT magnagement tasks build for IT Services at Aalborg University
actions-play
Github Actions Playground and Testing
freeze-pom
tgstota
Lib to convert Task Graph (tgs) to UPPAAL timed automata (TA)
UserInfoHTA
A small HTA application to quickly display AD information. Formerly used for IT support at Aalborg University.
WindowsPrefTests
A framework for creating windows performance measurements, can be used for establishing baseline or testing changes
yrke's Repositories
yrke/AAUWebMgmt
A web frontend for IT magnagement tasks build for IT Services at Aalborg University
yrke/swingExampleTest
yrke/tgstota
Lib to convert Task Graph (tgs) to UPPAAL timed automata (TA)
yrke/AalWiNes
yrke/AAURedirector
yrke/actions-play
Github Actions Playground and Testing
yrke/freeze-pom
yrke/UserInfoHTA
A small HTA application to quickly display AD information. Formerly used for IT support at Aalborg University.
yrke/WindowsPrefTests
A framework for creating windows performance measurements, can be used for establishing baseline or testing changes
yrke/hugo-kickstarter
yrke/hugo-theme-learn
Porting Grav Learn theme to Hugo
yrke/j-Ecdar
A model checking engine for ECDAR (Environment for Compositional Design and Analysis of Real Time Systems) written in Java.
yrke/libprlearn
A Partition Refinement Based Learning-library
yrke/libstrategy
yrke/ptrie
A memory efficient hashfree hashmap implementation
yrke/seeding-from-windows
yrke/tapaal-gui
yrke/verifydtapn
yrke/verifypn
yrke/verifytapn
VerifyTAPN is a stand-alone verification engine for timed-arc Petri nets, developed for the verification tool TAPAAL.
yrke/yrke