Headless PIPE 4 stochastic Petri net solver, packaged as imperialqore/solverpipe2

QORE - Quality of Service Research Lab, Department of Computing, Imperial College London

Multiprecision solvers for closed product-form queueing networks in Java

Multiprecision solvers for closed product-form queueing networks

Open-source solver for performance analysis of queueing systems (M/M/1, M/M/k, M/G/1, ...), queueing networks, and layered queueing networks.

Java GUI for layered queueing network specification

Java implementation of the LSODA stiff ODE solver

Python wrapper for Java Modelling Tools

[VLDB'22] Anomaly Detection using Transformers, self-conditioning and adversarial training.

[DSN'24] Customized GNN for reliability prediction of Edge AI deployments