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

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)
Gadducci, F; Lluch Lafuente, A; Vandin, A

Counterpart semantics for a second-order mu-calculus Open new browser tab

(2012)
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)
Bruni, R; Corradini, A; Gadducci, F; Lluch Lafuente, A; Vandin, A

Modelling and analyzing adaptive self-assembly strategies with Maude Open new browser tab

(2012)
Vandin, A; Luch Lafuente, A

Towards a Maude tool for model checking temporal graph properties Open new browser tab

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

Counterpart semantics for a second-order mu-calculus Open new browser tab

(2010)