Inizio contenuto principale del sito

Galpin, V; Georgoulas, A; Loreti, M; Vandin, A

Statistical analysis of CARMA models: An advanced tutorial Apre una nuova scheda del browser

(2019)

Tognazzi, S; Tribastone, M; Tschaikowski, M; Vandin, A

Backward Invariance for Linear Differential Algebraic Equations Apre una nuova scheda del browser

(2019)

ter Beek, M. H.; Legay, A.; Lafuente, A. L.; Vandin, A.

Variability meets Security: Quantitative security modeling and analysis of highly customizable attack scenarios Apre una nuova scheda del browser

(2020)

Cardelli, L.; Grosu, R.; Larsen, K. G.; Tribastone, M.; Tschaikowski, M.; Vandin, A.

Lumpability for Uncertain Continuous-Time Markov Chains Apre una nuova scheda del browser

(2021)

Argyris, Georgios; Lluch Lafuente, Alberto; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea

Reducing Boolean Networks with Backward Boolean Equivalence Apre una nuova scheda del browser

(2021)

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)

Subscribe to