matteocamilli

academic-kickstart

📝 Easily create a beautiful website using Academic, Hugo, and Netlify

bank_example_rmi

bma-package

Replication package for SEAMS 2022 submission 14

bohr

Big Old Heuristic Repository

config-server

to be used by the Managed System Configuration Server as the configuration repository

fuzzingbook

Project page for "The Fuzzing Book"

github-classroom-utils

A set of command-line tools for GitHub Classroom

latex-advice

Advice for writing LaTeX documents

mbt-uncertainty-gssi

conductor2pn

Create TB Petri net models from Conductor blueprints

matteocamilli/mbt-uncertainty-gssi

matteocamilli/bma-package

Replication package for SEAMS 2022 submission 14

matteocamilli/latex-advice

Advice for writing LaTeX documents

matteocamilli/academic-kickstart

📝 Easily create a beautiful website using Academic, Hugo, and Netlify

matteocamilli/bank_example_rmi

matteocamilli/bohr

Big Old Heuristic Repository

matteocamilli/config-server

to be used by the Managed System Configuration Server as the configuration repository

matteocamilli/fuzzingbook

Project page for "The Fuzzing Book"

matteocamilli/github-classroom-utils

A set of command-line tools for GitHub Classroom

matteocamilli/locust-demo

matteocamilli/neco-net-compiler

Automatically exported from code.google.com/p/neco-net-compiler

matteocamilli/seai

CMU 17-445/645: Software Engineering for AI-Enabled Systems (SE4AI)

matteocamilli/ramses-sefa-SAS

A Self Adaptive System composed by the RAMSES manager and the SEFA application

matteocamilli/rp_3_1_hmt_adaptation

matteocamilli/simple_rl

A simple framework for experimenting with Reinforcement Learning in Python.

matteocamilli/snakes

SNAKES is the Net Algebra Kit for Editors and Simulators

matteocamilli/spring-demos

matteocamilli/target_weaksadt_repo

matteocamilli/tool-competition-av

Repo to host the code for running the tool competitions for autonomous cars

matteocamilli/weak_sadt_repo