Inizio contenuto principale del sito

Vandin, A

Specification and verification of modal properties for structured systems Apre una nuova scheda del browser

(2012)

Sebastio, S; Vandin, A

MultiVeStA: Statistical model checking for discrete event simulators Apre una nuova scheda del browser

(2013)

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

Adaptable transition systems Apre una nuova scheda del browser

(2013)

Belzner, L; De Nicola, R; Vandin, A; Wirsing, M

Reasoning (on) service component ensembles in rewriting logic Apre una nuova scheda del browser

(2014)

Gilmore, S; Tribastone, M; Vandin, A

An analysis pathway for the quantitative evaluation of public transport systems Apre una nuova scheda del browser

(2014)

Pianini, D; Sebastio, S; Vandin, A

Distributed statistical analysis of complex systems modeled through a chemical metaphor Apre una nuova scheda del browser

(2014)

ter Beek, M H; Legay, A; Luch Lafuente, A; Vandin, A

Statistical analysis of probabilistic models of software product lines with quantitative constraints Apre una nuova scheda del browser

(2015)

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

Forward and backward bisimulations for chemical reaction networks Apre una nuova scheda del browser

(2015)

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

A white box perspective on behavioural adaptation Apre una nuova scheda del browser

(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 Apre una nuova scheda del browser

(2015)

Subscribe to