Pinned Repositories
bonsai
Simplified interface for syntax trees and program models.
haros
H(igh) A(ssurance) ROS - Static analysis of ROS1 application code.
haros-case-studies
A collection of case studies of the HAROS framework.
haros_plugins
Plugin repository for the HAROS tool.
haros_tutorials
Example code for a fictitious ROS robot to try out HAROS
hpl-specs
High-Level Property Specification Language
jTuples
Java gets a Pair.
ros_data
Repository for collected data on ROS software.
um-phd-cover
LaTeX template for PhD Thesis covers following University of Minho style.
undo4j
Generic transaction support at application level for Java.
git-afsantos's Repositories
git-afsantos/haros
H(igh) A(ssurance) ROS - Static analysis of ROS1 application code.
git-afsantos/bonsai
Simplified interface for syntax trees and program models.
git-afsantos/haros_plugins
Plugin repository for the HAROS tool.
git-afsantos/haros_tutorials
Example code for a fictitious ROS robot to try out HAROS
git-afsantos/um-phd-cover
LaTeX template for PhD Thesis covers following University of Minho style.
git-afsantos/undo4j
Generic transaction support at application level for Java.
git-afsantos/hpl-specs
High-Level Property Specification Language
git-afsantos/bake-a-py
Package template for Python projects.
git-afsantos/jTuples
Java gets a Pair.
git-afsantos/feature-model-editor
Web tool to create and edit feature models
git-afsantos/haros-case-studies
A collection of case studies of the HAROS framework.
git-afsantos/haroslaunch
ROS launch file parser component for HAROS
git-afsantos/hpl-rv
Tools to manage RV monitors created from HPL
git-afsantos/hpl-rv-gen
Runtime monitor generator based on HPL properties
git-afsantos/make-haros-easy
Repository of scripts to make HAROS installation and setup easier.
git-afsantos/pokecrystal
Disassembly of Pokémon Crystal
git-afsantos/cpp-bonsai
git-afsantos/discord-coding-bot
git-afsantos/git-afsantos.github.io
Github Pages template for an academic personal website
git-afsantos/haros-plugin-electrum
HAROS plugin for the Electrum model checker
git-afsantos/haros-plugin-model-ged
HAROS plugin to calculate the Graph Extraction Difference of extracted models
git-afsantos/haros-plugin-pbt-gen
HAROS plugin to generate Hypothesis tests from HPL specifications
git-afsantos/haros-plugin-pyflwor
HAROS plugin for the Pyflwor query engine
git-afsantos/haros-plugin-rv-gen
HAROS plugin to generate runtime monitors
git-afsantos/hpl-pbt
Tools to enable Property-based Testing using HPL properties
git-afsantos/pipy_printer
Python email reader and printer, intended for a Raspberry Pi
git-afsantos/pokefirered
Disassembly of Pokémon FireRed/LeafGreen
git-afsantos/pyscaffold
🛠 Python project template generator with batteries included
git-afsantos/ros-type-tokens
Type tokens to represent ROS types
git-afsantos/vnc-csf-17
Summer in Campus robotics challenges 2017