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.
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
Comparing Chemical Reaction Networks: A Categorical and Algorithmic Perspective
2016-01-01 Cardelli, L; Tribastone, M; Tschaikowski, M; Vandin, A
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. | |
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 | |
Comparing Chemical Reaction Networks: A Categorical and Algorithmic Perspective | 1-gen-2016 | Cardelli, L; Tribastone, M; Tschaikowski, M; Vandin, A |