itu-square Goto Github PK

2017-ioannis-ros-bug-database

2023-foundations-of-probabilistic-programming

Website of the PhD course on Foundations of Probabilistic Programming

c-reconfigurator

Tool accompanying "Effective Analysis of C Programs by Rewriting Variability" ‹Programming› 2017 paper

c-reconfigurator-linux-test

c-reconfigurator-test

causalgraphicalmodels

Causal Graphical Models in Python (a fork to fix an incompatibility issue, and obtain a stable repo)

eba-kernel-bugs

Submission to VMCAI 2017.

eba-legacy

featherweightvml_coq

Formalization of Featherweight VML in Coq

gauss-privug

Proof of concept implementation of a Privug backend featuring an exact Bayesian inference engine based on multivariate Gaussian distributions.

p3-benchmarks

Benchmarks for `p3-tool`

p3-tool

A reconfigurator tool for fPromela with support for variability abstractions.

padlock

padlock-examples

privug-genetic-privacy

Accompanying notebook of the paper "Privacy with Good Taste: A Case Study in Quantifying Privacy Risks in Genetic Scores"

privugger

Privugger (/prɪvʌɡə(r)/) is a privacy risk analysis library for python programs. Docs and tutorials: https://itu-square.github.io/privugger/

probros

quad-ropes

Ropes meet quad trees on .Net

quantify_linux_errors

Quantifying Errors in Linux Kernel

rascal-light

ros-dependency-checkers

Static bug checkers for ROS packages developed as part of SQUARE research at the IT University of Copenhagen.

statistical-analysis-foss-governance-styles

Notebook with Bayesian analysis of PR handling data in different FOSS communities

symextron

Symbolic Executor for the High-Level Transformation Language TRON

symsim

SQUARE Symsim is a test-bed for implementing reinforcement learning algorithms, formalizing their correctness properties, and testing them. It is implemented in Scala 3, in purely functional style, and uses property-based testing.

xtc

The xtc project including SuperC and Kmax