Inizio contenuto principale del sito

Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim G.; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea

Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods Apre una nuova scheda del browser

(2021)

Vandin, Andrea; Giachini, Daniele; Lamperti, Francesco; Chiaromonte, Francesca

MultiVeStA: Statistical Analysis of Economic Agent-Based Models by Statistical Model Checking Apre una nuova scheda del browser

(2022)

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

(2015)

Bruni, R; Corradini, A; Gadducci, F; Holzl, M; Lluch Lafuente, A; Vandin, A; Wirsing, M

Reconciling white-box and black-box perspectives on behavioral self-adaptation Apre una nuova scheda del browser

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

(2015)

Vandin, A; Tribastone, M

Quantitative abstractions for collective adaptive systems Apre una nuova scheda del browser

(2016)

Gadducci, F; Lluch Lafuente, A; Vandin, A

Counterpart semantics for a second-order mu-calculus Apre una nuova scheda del browser

(2012)

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

Modelling and analyzing adaptive self-assembly strategies with Maude Apre una nuova scheda del browser

(2015)

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

Maximal aggregation of polynomial dynamical systems Apre una nuova scheda del browser

(2017)

Vandin, A

Replicated Computations Results (RCR) report for “A holistic approach for collaborative workload execution in volunteer clouds” Apre una nuova scheda del browser

(2018)

Subscribe to