Inizio contenuto principale del sito

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)

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

Awareness and Control in Adaptable Transition Systems Apre una nuova scheda del browser

(2015)

Iacobelli, G; Tribastone, M; Vandin, A

Differential bisimulation for a Markovian process algebra Apre una nuova scheda del browser

(2015)

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

Efficient syntax-Driven lumping of differential equations Apre una nuova scheda del browser

(2016)

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

Comparing Chemical Reaction Networks: A Categorical and Algorithmic Perspective Apre una nuova scheda del browser

(2016)

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

Statistical model checking for product lines Apre una nuova scheda del browser

(2016)

Subscribe to