Vai alla navigazione principale
Vai al contenuto principale
Vai alla ricerca principale

Sant'Anna - Scuola Universitaria Superiore Pisa

Inizio contenuto principale del sito

Professore Associato

Istituto di Economia

Andrea Vandin

andrea.vandin@santannapisa.it
050 883314
Complesso edilizio Sede Centrale

Bio

Please visit my English homepage

https://www.santannapisa.it/en/andrea-vandin

Pubblicazioni

Cardelli, L; Tribastone, M; Tschaikowski, M; Vandin, A

Symbolic computation of differential equivalences Open new browser tab

(2016)
ter Beek, M H; Legay, A; Luch Lafuente, A; Vandin, A

Statistical model checking for product lines Open new browser tab

(2016)
Ciancia, V; Latella, D; Massink, M; Paskauskas, R; Vandin, A

A tool-chain for statistical spatio-temporal model checking of bike sharing systems Open new browser tab

(2016)
Cardelli, L; Tribastone, M; Tschaikowski, M; Vandin, A

Efficient syntax-Driven lumping of differential equations Open new browser tab

(2016)
Cardelli, L; Tribastone, M; Tschaikowski, M; Vandin, A

Comparing Chemical Reaction Networks: A Categorical and Algorithmic Perspective Open new browser tab

(2016)
Iacobelli, G; Tribastone, M; Vandin, A

Differential bisimulation for a Markovian process algebra Open new browser tab

(2015)
ter Beek, M H; Legay, A; Luch Lafuente, A; Vandin, A

Statistical analysis of probabilistic models of software product lines with quantitative constraints Open new browser tab

(2015)
Bruni, R; Corradini, A; Gadducci, F; Lluch Lafuente, A; Vandin, A

A white box perspective on behavioural adaptation Open new browser tab

(2015)
Cardelli, L; Tribastone, M; Tschaikowski, M; Vandin, A

Forward and backward bisimulations for chemical reaction networks Open new browser tab

(2015)
ter Beek, M H; Legay, A; Luch Lafuente, A; Vandin, A

Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking Open new browser tab

(2015)