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

Corradini, Flavio; Polini, Andrea; Fornari, Fabrizio; Re, Barbara; Tiezzi, Francesco; Vandin, Andrea

BProVe: Tool Support for Business Process Verification Open new browser tab

(2017)
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)
Vandin, A; Tribastone, M

Quantitative abstractions for collective adaptive systems 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)
Abeywickrama, D B; Combaz, J; Horky, V; Keznikl, J; Kofron, J; Luch Lafuente, A; Loreti, M; Margheri, A; Mayer, P; Monreale, V; Montanari, U; Pinciroli, C; Tuma, P; Vandin, A; Vassev, E

Tools for ensemble design and runtime Open new browser tab

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

Differential bisimulation for a Markovian process algebra Open new browser tab

(2015)
De Nicola, R; Latella, D; Lluch Lafuente, A; Loreti, M; Margheri, A; Massink, M; Morichetta, A; Pugliese, R; Tiezzi, F; Vandin, A

The SCEL language: Design, implementation, verification Open new browser tab

(2015)