davidebasile

Permanent researcher at Formal Methods & Tools Lab, Institute of Science and Information Technology, National Research Council (ISTI CNR), Pisa

ISTI CNRPisa

Pinned Repositories

ASTRail
The Uppaal SMC models published for this project
1 1 00
davidebasile.github.io
Personal homepage
Language:HTML0 1 00
experimentsReproducibilityCoordination2021
Language:Java0 1 00
FAOC2021
This repository contains the models and experiments logs for the article published at Formal Aspects of Computing 2021
0 0 00
FMICS2021
Uppaal models of the paper Formal Analysis of the UNISIG Safety Application Intermediate Sublayer. FMICS2021
00
FORTE2016
AMPL model for Weak Agreement in contract automata, implementation of weak liability checking, published at FORTE2016
Language:Java00
FORTE2020
This is the Uppaal Stratego model published at FORTE2020
1 1 00
GaussEliminationAndDeterminant
A Visual Basic 2003 application implementing Gauss Elimination method and Determinant calculation
Language:VBA0 1 00
RoutingProblem
AMPL model for the dependable dynamic vehicle routing problem, published in RSSRail 2017
Language:AMPL10 3 05
SpaceExplorer
This is a Video Game for XBox programmed with XNA framework and C# in 2010
Language:C#2 1 00

davidebasile/RoutingProblem
AMPL model for the dependable dynamic vehicle routing problem, published in RSSRail 2017
Language:AMPL10 3 05
davidebasile/SpaceExplorer
This is a Video Game for XBox programmed with XNA framework and C# in 2010
Language:C#2 1 00
davidebasile/ASTRail
The Uppaal SMC models published for this project
1 1 00
davidebasile/FORTE2020
This is the Uppaal Stratego model published at FORTE2020
1 1 00
davidebasile/davidebasile.github.io
Personal homepage
Language:HTML0 1 00
davidebasile/experimentsReproducibilityCoordination2021
Language:Java0 1 00
davidebasile/FAOC2021
This repository contains the models and experiments logs for the article published at Formal Aspects of Computing 2021
0 0 00
davidebasile/FMICS2021
Uppaal models of the paper Formal Analysis of the UNISIG Safety Application Intermediate Sublayer. FMICS2021
00
davidebasile/FORTE2016
AMPL model for Weak Agreement in contract automata, implementation of weak liability checking, published at FORTE2016
Language:Java00
davidebasile/GaussEliminationAndDeterminant
A Visual Basic 2003 application implementing Gauss Elimination method and Determinant calculation
Language:VBA0 1 00
davidebasile/OSSRH-73228
check
davidebasile/railroadswitchheatersmobius
The SAN models of the rail road switch heating system
davidebasile/RSSRail2019
The Uppaal SMC model and experiments published at RSSRail 2019