git-afsantos

haros

H(igh) A(ssurance) ROS - Static analysis of ROS application code.

bonsai

Simplified interface for syntax trees and program models.

haros_plugins

Plugin repository for the HAROS tool.

haros_tutorials

Example code for a fictitious ROS robot to try out HAROS

um-phd-cover

LaTeX template for PhD Thesis covers following University of Minho style.

undo4j

Generic transaction support at application level for Java.

hpl-specs

High-Level Property Specification Language

bake-a-py

Package template for Python projects.

jTuples

Java gets a Pair.

haros-case-studies

A collection of case studies of the HAROS framework.

haroslaunch

ROS launch file parser component for HAROS

hpl-rv

Tools to manage RV monitors created from HPL

hpl-rv-gen

Runtime monitor generator based on HPL properties

make-haros-easy

Repository of scripts to make HAROS installation and setup easier.

pokecrystal

Disassembly of Pokémon Crystal

discord-coding-bot

feature-model-editor

Web tool to create and edit feature models

git-afsantos.github.io

Github Pages template for an academic personal website

haros-plugin-electrum

HAROS plugin for the Electrum model checker

haros-plugin-model-ged

HAROS plugin to calculate the Graph Extraction Difference of extracted models

haros-plugin-pbt-gen

HAROS plugin to generate Hypothesis tests from HPL specifications

haros-plugin-pyflwor

HAROS plugin for the Pyflwor query engine

haros-plugin-rv-gen

HAROS plugin to generate runtime monitors

hpl-pbt

Tools to enable Property-based Testing using HPL properties

pipy_printer

Python email reader and printer, intended for a Raspberry Pi

pokefirered

Disassembly of Pokémon FireRed/LeafGreen

pyscaffold

🛠 Python project template generator with batteries included

rel4j

ros-type-tokens

Type tokens to represent ROS types

vnc-csf-17

Summer in Campus robotics challenges 2017