Sfoglia per Autore
Reconciling white-box and black-box perspectives on behavioral self-adaptation
2015-01-01 Bruni, R; Corradini, A; Gadducci, F; Holzl, M; Lluch Lafuente, A; Vandin, A; Wirsing, M
A white box perspective on behavioural adaptation
2015-01-01 Bruni, R; Corradini, A; Gadducci, F; Lluch Lafuente, A; Vandin, A
Tools for ensemble design and runtime
2015-01-01 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
Statistical model checking for product lines
2016-01-01 ter Beek, M H; Legay, A; Luch Lafuente, A; Vandin, A
Quantitative abstractions for collective adaptive systems
2016-01-01 Vandin, A; Tribastone, M
Comparing Chemical Reaction Networks: A Categorical and Algorithmic Perspective
2016-01-01 Cardelli, L; Tribastone, M; Tschaikowski, M; Vandin, A
Symbolic computation of differential equivalences
2016-01-01 Cardelli, L; Tribastone, M; Tschaikowski, M; Vandin, A
A tool-chain for statistical spatio-temporal model checking of bike sharing systems
2016-01-01 Ciancia, V; Latella, D; Massink, M; Paskauskas, R; Vandin, A
Efficient syntax-Driven lumping of differential equations
2016-01-01 Cardelli, L; Tribastone, M; Tschaikowski, M; Vandin, A
Syntactic markovian bisimulation for chemical reaction networks
2017-01-01 Cardelli, L; Tribastone, M; Tschaikowski, M; Vandin, A
Language-based Abstractions for Dynamical Systems
2017-01-01 Vandin, A
Transient and Steady-State Statistical Analysis for Discrete Event Simulators
2017-01-01 Gilmore, S; Reijsbergen, D; Vandin, A
ERODE: A tool for the evaluation and reduction of ordinary differential equations
2017-01-01 Cardelli, L; Tribastone, M; Tschaikowski, M; Vandin, A
EGAC: A genetic algorithm to compare chemical reaction networks
2017-01-01 Tognazzi, S; Tribastone, M; Tschaikowski, M; Vandin, A
Maximal aggregation of polynomial dynamical systems
2017-01-01 Cardelli, L; Tribastone, M; Tschaikowski, M; Vandin, A
BProVe: Tool Support for Business Process Verification
2017-01-01 Corradini, Flavio; Polini, Andrea; Fornari, Fabrizio; Re, Barbara; Tiezzi, Francesco; Vandin, Andrea
BProVe: a Formal Verification Framework for Business Process Models
2017-01-01 Corradini, Flavio; Polini, Andrea; Fornari, Fabrizio; Re, Barbara; Tiezzi, Francesco; Vandin, Andrea
Replicated Computations Results (RCR) report for “A holistic approach for collaborative workload execution in volunteer clouds”
2018-01-01 Vandin, A
QFLan: A tool for the quantitative analysis of highly reconfigurable systems
2018-01-01 Vandin, A; ter Beek, M H; Legay, A; Luch Lafuente, A
Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis
2018-01-01 Cardelli, L; Tribastone, M; Tschaikowski, M; Vandin, A
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Reconciling white-box and black-box perspectives on behavioral self-adaptation | 1-gen-2015 | Bruni, R; Corradini, A; Gadducci, F; Holzl, M; Lluch Lafuente, A; Vandin, A; Wirsing, M | |
| A white box perspective on behavioural adaptation | 1-gen-2015 | Bruni, R; Corradini, A; Gadducci, F; Lluch Lafuente, A; Vandin, A | |
| Tools for ensemble design and runtime | 1-gen-2015 | 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 | |
| Statistical model checking for product lines | 1-gen-2016 | ter Beek, M H; Legay, A; Luch Lafuente, A; Vandin, A | |
| Quantitative abstractions for collective adaptive systems | 1-gen-2016 | Vandin, A; Tribastone, M | |
| Comparing Chemical Reaction Networks: A Categorical and Algorithmic Perspective | 1-gen-2016 | Cardelli, L; Tribastone, M; Tschaikowski, M; Vandin, A | |
| Symbolic computation of differential equivalences | 1-gen-2016 | Cardelli, L; Tribastone, M; Tschaikowski, M; Vandin, A | |
| A tool-chain for statistical spatio-temporal model checking of bike sharing systems | 1-gen-2016 | Ciancia, V; Latella, D; Massink, M; Paskauskas, R; Vandin, A | |
| Efficient syntax-Driven lumping of differential equations | 1-gen-2016 | Cardelli, L; Tribastone, M; Tschaikowski, M; Vandin, A | |
| Syntactic markovian bisimulation for chemical reaction networks | 1-gen-2017 | Cardelli, L; Tribastone, M; Tschaikowski, M; Vandin, A | |
| Language-based Abstractions for Dynamical Systems | 1-gen-2017 | Vandin, A | |
| Transient and Steady-State Statistical Analysis for Discrete Event Simulators | 1-gen-2017 | Gilmore, S; Reijsbergen, D; Vandin, A | |
| ERODE: A tool for the evaluation and reduction of ordinary differential equations | 1-gen-2017 | Cardelli, L; Tribastone, M; Tschaikowski, M; Vandin, A | |
| EGAC: A genetic algorithm to compare chemical reaction networks | 1-gen-2017 | Tognazzi, S; Tribastone, M; Tschaikowski, M; Vandin, A | |
| Maximal aggregation of polynomial dynamical systems | 1-gen-2017 | Cardelli, L; Tribastone, M; Tschaikowski, M; Vandin, A | |
| BProVe: Tool Support for Business Process Verification | 1-gen-2017 | Corradini, Flavio; Polini, Andrea; Fornari, Fabrizio; Re, Barbara; Tiezzi, Francesco; Vandin, Andrea | |
| BProVe: a Formal Verification Framework for Business Process Models | 1-gen-2017 | Corradini, Flavio; Polini, Andrea; Fornari, Fabrizio; Re, Barbara; Tiezzi, Francesco; Vandin, Andrea | |
| Replicated Computations Results (RCR) report for “A holistic approach for collaborative workload execution in volunteer clouds” | 1-gen-2018 | Vandin, A | |
| QFLan: A tool for the quantitative analysis of highly reconfigurable systems | 1-gen-2018 | Vandin, A; ter Beek, M H; Legay, A; Luch Lafuente, A | |
| Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis | 1-gen-2018 | Cardelli, L; Tribastone, M; Tschaikowski, M; Vandin, A |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile