André Santos

haros. H(igh) A(ssurance) ROS - Static analysis of ROS1 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

undo4j. Generic transaction support at application level for Java.

um-phd-cover. LaTeX template for PhD Thesis covers following University of Minho style.

hpl-specs. High-Level Property Specification Language

bake-a-py. Package template for Python projects.

ros_data. Repository for collected data on ROS software.

jTuples. Java gets a Pair.

hpl-rv. Tools to manage RV monitors created from HPL

feature-model-editor. Web tool to create and edit feature models

make-haros-easy. Repository of scripts to make HAROS installation and setup easier.

haroslaunch. ROS launch file parser component for HAROS

hpl-rv-gen. Runtime monitor generator based on HPL properties

haros-case-studies. A collection of case studies of the HAROS framework.

pokecrystal. Disassembly of Pokémon Crystal