davidebasile/davidebasile.github.io

Personal homepage

Language: HTML - Size: 179 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

davidebasile/FMICS2025

additional material

Size: 17.6 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

davidebasile/ASTRail

The Uppaal SMC models published for this project

Size: 250 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0

davidebasile/SpaceExplorer

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

Language: C# - Size: 30.6 MB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 0

davidebasile/RoutingProblem

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

Language: AMPL - Size: 258 KB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 8 - Forks: 5

davidebasile/FORTE2016

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

Language: Java - Size: 19.2 MB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

davidebasile/FMICS2021 Fork of IreneRosadi/UppaalModels

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

Size: 2.43 MB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

davidebasile/experimentsReproducibilityCoordination2021

Language: Java - Size: 7.09 MB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

davidebasile/railroadswitchheatersmobius

The SAN models of the rail road switch heating system

Size: 517 KB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

davidebasile/FAOC2021

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

Size: 1.78 MB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

davidebasile/OSSRH-73228

check

Size: 0 Bytes - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

davidebasile/RSSRail2019

The Uppaal SMC model and experiments published at RSSRail 2019

Size: 1.12 MB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

davidebasile/GaussEliminationAndDeterminant

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

Language: VBA - Size: 43.9 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

davidebasile/FORTE2020

This is the Uppaal Stratego model published at FORTE2020

Size: 153 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0