PASKAUSKAS, RYTIS
PASKAUSKAS, RYTIS
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.01 secondi).
A tool-chain for statistical spatio-temporal model checking of bike sharing systems
2016 Ciancia, V; Latella, D; Massink, M; Paskauskas, R; Vandin, A
Scalable verification for spatial stochastic logics
2016 Bortolussi L.; Ciancia V.; Gilmore S.; Hillston J.; Latella D.; Loreti M.; Massink M.; Nenzi L.; Paskauskas R.; Tribastone M.; Tschaikowski M.
Exploring spatio-temporal properties of bike-sharing systems
2015 Ciancia V.; Latella D.; Massink M.; Paskauskas R.
Model-based assessment of aspects of user-satisfaction in bicycle sharing systems
2015 Massink, M; Paskauskas, R
QUANTICOL - Multiscale modelling informed by smart grids
2014 Gast N.; Bortolussi L.; Jane H.; Paskauskas R.; Trinabastone M.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A tool-chain for statistical spatio-temporal model checking of bike sharing systems | 1-gen-2016 | Ciancia, V; Latella, D; Massink, M; Paskauskas, R; Vandin, A | |
Scalable verification for spatial stochastic logics | 1-gen-2016 | Bortolussi L.; Ciancia V.; Gilmore S.; Hillston J.; Latella D.; Loreti M.; Massink M.; Nenzi L.; Paskauskas R.; Tribastone M.; Tschaikowski M. | |
Exploring spatio-temporal properties of bike-sharing systems | 1-gen-2015 | Ciancia V.; Latella D.; Massink M.; Paskauskas R. | |
Model-based assessment of aspects of user-satisfaction in bicycle sharing systems | 1-gen-2015 | Massink, M; Paskauskas, R | |
QUANTICOL - Multiscale modelling informed by smart grids | 1-gen-2014 | Gast N.; Bortolussi L.; Jane H.; Paskauskas R.; Trinabastone M. |