davidebasile

RoutingProblem

AMPL model for the dependable dynamic vehicle routing problem, published in RSSRail 2017

ASTRail

The Uppaal SMC models published for this project

FORTE2020

This is the Uppaal Stratego model published at FORTE2020

SpaceExplorer

This is a Video Game for XBox programmed with XNA framework and C# in 2010

davidebasile.github.io

Personal homepage

experimentsReproducibilityCoordination2021

FAOC2021

This repository contains the models and experiments logs for the article published at Formal Aspects of Computing 2021

FMICS2021

Uppaal models of the paper Formal Analysis of the UNISIG Safety Application Intermediate Sublayer. FMICS2021

FORTE2016

AMPL model for Weak Agreement in contract automata, implementation of weak liability checking, published at FORTE2016

GaussEliminationAndDeterminant

A Visual Basic 2003 application implementing Gauss Elimination method and Determinant calculation

OSSRH-73228

check

railroadswitchheatersmobius

The SAN models of the rail road switch heating system

RSSRail2019

The Uppaal SMC model and experiments published at RSSRail 2019