Name: Davide Basile
Type: User
Company: ISTI CNR
Bio: Permanent researcher at Formal Methods & Tools Lab, Institute of Science and Information Technology, National Research Council (ISTI CNR), Pisa
Twitter: davidebasile
Location: Pisa
astrail
The Uppaal SMC models published for this project
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
forte2020
This is the Uppaal Stratego model published at FORTE2020
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
routingproblem
AMPL model for the dependable dynamic vehicle routing problem, published in RSSRail 2017
rssrail2019
The Uppaal SMC model and experiments published at RSSRail 2019
spaceexplorer
This is a Video Game for XBox programmed with XNA framework and C# in 2010
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ❤️ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
