rafael-baltazar Goto Github PK

aspectjml

Transforms JML specifications in Java programs into aspects and weaves both aspects and source code into bytecode.

blockball

A simple version of a how a puzzle game can be, with possible further development.

bombermancmov

A distributed, multi-player version of the classic Bomberman game for Android devices.

cpd

Parallel and distributed computing badass project.

ist-dissertation-latex-template

Master dissertation template for IST

jcute

Java Concolic Unit Testing Engine

jmlcute

Generate unit test cases from Java files annotated with JML.

nlp-mp1-3

First mini-project to Natural Language course which requires four convertors: roman to arabic numbers, arabic to roman numbers, roman to arabic birthdates, arabic to roman birthdates.

nlp-mp2-3

System that recognizes the language of a given text.

pava-java-inspector

The Java Inspector is a command line application to inspect Java code.

rafael-baltazar.github.io

rpg-first

Battle game for a command line interface.

safety-verification-for-c

Bounded model checker for C programs. Receives verification conditions as input and uses Microsoft's Z3 SMT Solver for constraint solving.

sirs-nids

Using weka's machine learning to detect an attack out of a set of TCP packets.

unblock-solver

Solver for the android game Unblock King (https://play.google.com/store/apps/details?id=com.mobirix.slideking&hl=en)