Concepedia

Andrea Vandin

AV

Statistics

Publications

20

Citations

667

H-Index

17

Active since

2013

Affiliations

IMT School for Advanced Studies Lucca(Current)

University of Oxford

Technical University of Denmark

Microsoft Research (United Kingdom)

University of Southampton

Andrea Vandin is an author at IMT School for Advanced Studies Lucca specializing in computer science, computing, and formal methods.

Publications per year

2013–2022

20

Publications

20

Maximal aggregation of polynomial dynamical systems

Luca Cardelli, Mirco Tribastone, Max Tschaikowski et al. · Proceedings of the National Academy of Sciences · 2017 · 81 citations · Full text

Natural Sciences, Mathematics, Physics +15

MultiVeStA: Statistical Model Checking for Discrete Event Simulators

Andrea Vandin, Stefano Sebastio · 2014 · 73 citations · Full text

Engineering, Computer Engineering, Computer Science +13

A Framework for Quantitative Modeling and Analysis of Highly (Re)configurable Systems

Maurice H. ter Beek, Axel Legay, Alberto Lluch Lafuente et al. · Digital Access to Libraries (Université catholique de Louvain (UCL), l'Université de Namur (UNamur) and the Université Saint-Louis (USL-B)) · 2020 · 56 citations · Full text

Computing, Computer Science, Systems Engineering +14

Symbolic computation of differential equivalences

Luca Cardelli, Mirco Tribastone, Max Tschaikowski et al. · 2016 · 46 citations · Full text

Computing, Computer Science, Systems Biology +17

A formal approach for the analysis of BPMN collaboration models

Flavio Corradini, Fabrizio Fornari, Andrea Polini et al. · Journal of Systems and Software · 2021 · 45 citations · Full text

Business, Information Systems, Business Process Management +12

1–5 of 20