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

Bruni, R; Corradini, A; Gadducci, F; Lluch Lafuente, A; Vandin, A

Awareness and Control in Adaptable Transition Systems Open new browser tab

(2015)
Gilmore, S; Tribastone, M; Vandin, A

An analysis pathway for the quantitative evaluation of public transport systems Open new browser tab

(2014)
Pianini, D; Sebastio, S; Vandin, A

Distributed statistical analysis of complex systems modeled through a chemical metaphor Open new browser tab

(2014)
Belzner, L; De Nicola, R; Vandin, A; Wirsing, M

Reasoning (on) service component ensembles in rewriting logic Open new browser tab

(2014)
Sebastio, S; Vandin, A

MultiVeStA: Statistical model checking for discrete event simulators Open new browser tab

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

Adaptable transition systems Open new browser tab

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

A conceptual framework for adaptation Open new browser tab

(2012)
Gadducci, F; Lluch Lafuente, A; Vandin, A

Exploiting over- and under-approximations for infinite-state counterpart models Open new browser tab

(2012)
Lluch Lafuente, A; Meseguer, J; Vandin, A

State space c-reductions of concurrent systems in rewriting logic Open new browser tab

(2012)
Vandin, A

Specification and verification of modal properties for structured systems Open new browser tab

(2012)