RP 2013

The paper: “MaRDiGraS: Simplified Building of Reachability Graphs on Large Clusters” has been accepted for presentation and for the LNCS proceedings of Reachability Problems 2013.http://www.it.uu.se/conf/RP2013/

Here some pics of my journey to Uppsala and Stockholm, Sweden

IMG_20130926_174728 IMG_20130927_130908 IMG_20130927_130926 IMG_20130927_150759 IMG_20130927_152440 IMG_20130928_123952IMG_20130928_121755 IMG_20130927_150333 IMG_20130925_133514 IMG_20130928_125310

Graphgen

Working on the Graphgen project.
Graphgen is a command line tool written in Java for state space analysis of Time-Basic (TB) Petri nets, a powerful formalism for real-time systems where time constraints are expressed as intervals,representing possible transition firing times, whose bounds are functions of marking’s time description. To learn more about Graphgen visit the graphgen website.

M.Sc. degree in Computer Science

I got my M.Sc. degree in Computer Science on July 12th, 2011 at the Università degli Studi di Milano, with a final grade of 110/110 cum laude. The thesis is entitled “Confronto tra architetture per la realizzazione distribuita di tecniche di analisi per reti di Petri.” (“Comparison of different parallel and distributed computational models for Real-Time system analysis techniques.”)

B.Sc. degree in Computer Science

I got my B.Sc. degree in Computer Science on December 16th, 2008 at the Università degli Studi di Milano, with a final grade of 110/110 cum laude. The thesis is entitled “Estensione, progettazione e realizzazione di una tecnica di analisi di sistemi Real-time.” (“Extension, design and implementation of an analysis technique for Real-Time systems.”)