VANDIN, ANDREA
VANDIN, ANDREA
Istituto di Economia
A conceptual framework for adaptation
2012-01-01 Bruni, R; Corradini, A; Gadducci, F; Lluch Lafuente, A; Vandin, A
A formal approach for the analysis of BPMN collaboration models
2021-01-01 Corradini, Flavio; Fornari, Fabrizio; Polini, Andrea; Re, Barbara; Tiezzi, Francesco; Vandin, Andrea
A framework for quantitative modeling and analysis of highly (re)configurable systems
2020-01-01 ter Beek, M H; Legay, A; Luch Lafuente, A; Vandin, A
A large-scale assessment of exact lumping of quantitative models in the BioModels repository
2021-01-01 Perez-Verona, Isabel Cristina; Tribastone, Mirco; Vandin, Andrea
A Large-Scale Assessment of Exact Model Reduction in the BioModels Repository
2019-01-01 Perez-Verona, I. C.; Tribastone, 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
A white box perspective on behavioural adaptation
2015-01-01 Bruni, R; Corradini, A; Gadducci, F; Lluch Lafuente, A; Vandin, A
Adaptable transition systems
2013-01-01 Bruni, R; Corradini, A; Gadducci, F; Lluch Lafuente, A; Vandin, A
Algorithmic Minimization of Uncertain Continuous-Time Markov Chains
2023-01-01 Cardelli, L.; Grosu, R.; Larsen, K. G.; Tribastone, M.; Tschaikowski, M.; Vandin, A.
An Algorithm for the Formal Reduction of Differential Equations as Over-Approximations
2022-01-01 Squillace, G.; Tribastone, M.; Tschaikowski, M.; Vandin, A.
An analysis pathway for the quantitative evaluation of public transport systems
2014-01-01 Gilmore, S; Tribastone, M; Vandin, A
An Extension of ERODE to Reduce Boolean Networks By Backward Boolean Equivalence
2022-01-01 Argyris, G.; Lafuente, A. L.; Tribastone, M.; Tschaikowski, M.; Vandin, A.
Approximate Constrained Lumping of Polynomial Differential Equations
2023-01-01 Leguizamon-Robayo, A.; Jimenez-Pastor, A.; Tribastone, M.; Tschaikowski, M.; Vandin, A.
Approximate Reductions of Rational Dynamical Systems in CLUE
2024-01-01 Jimenez-Pastor, A.; Leguizamon-Robayo, A.; Tschaikowski, M.; Vandin, A.
Automated and Distributed Statistical Analysis of Economic Agent-Based Models
2020-01-01 Vandin, Andrea; Giachini, Daniele; Lamperti, Francesco; Chiaromonte, Francesca
Automated and Distributed Statistical Analysis of Economic Agent-Based Models
2022-01-01 Vandin, Andrea; Giachini, Daniele; Lamperti, Francesco; Chiaromonte, Francesca
Awareness and Control in Adaptable Transition Systems
2015-01-01 Bruni, R; Corradini, A; Gadducci, F; Lluch Lafuente, A; Vandin, A
Backward Invariance for Linear Differential Algebraic Equations
2019-01-01 Tognazzi, S; Tribastone, M; Tschaikowski, M; Vandin, A
BProVe: a Formal Verification Framework for Business Process Models
2017-01-01 Corradini, Flavio; Polini, Andrea; Fornari, Fabrizio; Re, Barbara; Tiezzi, Francesco; Vandin, Andrea
BProVe: Tool Support for Business Process Verification
2017-01-01 Corradini, Flavio; Polini, Andrea; Fornari, Fabrizio; Re, Barbara; Tiezzi, Francesco; Vandin, Andrea
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A conceptual framework for adaptation | 1-gen-2012 | Bruni, R; Corradini, A; Gadducci, F; Lluch Lafuente, A; Vandin, A | |
| A formal approach for the analysis of BPMN collaboration models | 1-gen-2021 | Corradini, Flavio; Fornari, Fabrizio; Polini, Andrea; Re, Barbara; Tiezzi, Francesco; Vandin, Andrea | |
| A framework for quantitative modeling and analysis of highly (re)configurable systems | 1-gen-2020 | ter Beek, M H; Legay, A; Luch Lafuente, A; Vandin, A | |
| A large-scale assessment of exact lumping of quantitative models in the BioModels repository | 1-gen-2021 | Perez-Verona, Isabel Cristina; Tribastone, Mirco; Vandin, Andrea | |
| A Large-Scale Assessment of Exact Model Reduction in the BioModels Repository | 1-gen-2019 | Perez-Verona, I. C.; Tribastone, 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 | |
| A white box perspective on behavioural adaptation | 1-gen-2015 | Bruni, R; Corradini, A; Gadducci, F; Lluch Lafuente, A; Vandin, A | |
| Adaptable transition systems | 1-gen-2013 | Bruni, R; Corradini, A; Gadducci, F; Lluch Lafuente, A; Vandin, A | |
| Algorithmic Minimization of Uncertain Continuous-Time Markov Chains | 1-gen-2023 | Cardelli, L.; Grosu, R.; Larsen, K. G.; Tribastone, M.; Tschaikowski, M.; Vandin, A. | |
| An Algorithm for the Formal Reduction of Differential Equations as Over-Approximations | 1-gen-2022 | Squillace, G.; Tribastone, M.; Tschaikowski, M.; Vandin, A. | |
| An analysis pathway for the quantitative evaluation of public transport systems | 1-gen-2014 | Gilmore, S; Tribastone, M; Vandin, A | |
| An Extension of ERODE to Reduce Boolean Networks By Backward Boolean Equivalence | 1-gen-2022 | Argyris, G.; Lafuente, A. L.; Tribastone, M.; Tschaikowski, M.; Vandin, A. | |
| Approximate Constrained Lumping of Polynomial Differential Equations | 1-gen-2023 | Leguizamon-Robayo, A.; Jimenez-Pastor, A.; Tribastone, M.; Tschaikowski, M.; Vandin, A. | |
| Approximate Reductions of Rational Dynamical Systems in CLUE | 1-gen-2024 | Jimenez-Pastor, A.; Leguizamon-Robayo, A.; Tschaikowski, M.; Vandin, A. | |
| Automated and Distributed Statistical Analysis of Economic Agent-Based Models | 1-gen-2020 | Vandin, Andrea; Giachini, Daniele; Lamperti, Francesco; Chiaromonte, Francesca | |
| Automated and Distributed Statistical Analysis of Economic Agent-Based Models | 1-gen-2022 | Vandin, Andrea; Giachini, Daniele; Lamperti, Francesco; Chiaromonte, Francesca | |
| Awareness and Control in Adaptable Transition Systems | 1-gen-2015 | Bruni, R; Corradini, A; Gadducci, F; Lluch Lafuente, A; Vandin, A | |
| Backward Invariance for Linear Differential Algebraic Equations | 1-gen-2019 | Tognazzi, S; Tribastone, M; Tschaikowski, M; Vandin, A | |
| BProVe: a Formal Verification Framework for Business Process Models | 1-gen-2017 | Corradini, Flavio; Polini, Andrea; Fornari, Fabrizio; Re, Barbara; Tiezzi, Francesco; Vandin, Andrea | |
| BProVe: Tool Support for Business Process Verification | 1-gen-2017 | Corradini, Flavio; Polini, Andrea; Fornari, Fabrizio; Re, Barbara; Tiezzi, Francesco; Vandin, Andrea |