Pinned Repositories
bachelorThesis
PROSIT: A tool for optimal design of soft real-time systems
cesium-navigator
WebGL navigator using the Cesium framework
crawler
Simple web crawler in Go
dotfiles
My dotfiles
enhanced-clustering
DBB: Density Based Bootstrap
httpd-log-monitor
An httpd log monitor with console alerting
krafters
A black-box testing platform for message-based distributed algorithms.
LFC_project_2014-2015
Project for Formal Languages and Compilers course 2014/2015
masterThesis
Real-time analysis of WebGL rendering
topic-zoomer
URL categorization system using Spark
GianlucaBortoli's Repositories
GianlucaBortoli/krafters
A black-box testing platform for message-based distributed algorithms.
GianlucaBortoli/httpd-log-monitor
An httpd log monitor with console alerting
GianlucaBortoli/topic-zoomer
URL categorization system using Spark
GianlucaBortoli/bachelorThesis
PROSIT: A tool for optimal design of soft real-time systems
GianlucaBortoli/cesium-navigator
WebGL navigator using the Cesium framework
GianlucaBortoli/crawler
Simple web crawler in Go
GianlucaBortoli/dotfiles
My dotfiles
GianlucaBortoli/enhanced-clustering
DBB: Density Based Bootstrap
GianlucaBortoli/LFC_project_2014-2015
Project for Formal Languages and Compilers course 2014/2015
GianlucaBortoli/masterThesis
Real-time analysis of WebGL rendering
GianlucaBortoli/presentations
Random lightning talks
GianlucaBortoli/PROSIT_V2.0
PROSIT tool ~ thesis
GianlucaBortoli/testSchoolmate
Security testing proof of concepts attacks after static analysis