Follow
Andrea Vandin
Andrea Vandin
Sant'Anna School for Advanced Studies, Italy - DTU Technical University of Denmark
Verified email at santannapisa.it - Homepage
Title
Cited by
Cited by
Year
MultiVeStA: Statistical model checking for discrete event simulators
S Sebastio, A Vandin
IMT Institute for Advanced Studies Lucca, 2013
1142013
A conceptual framework for adaptation
R Bruni, A Corradini, F Gadducci, A Lluch Lafuente, A Vandin
Fundamental Approaches to Software Engineering: 15th International …, 2012
1112012
The SCEL language: design, implementation, verification
R De Nicola, D Latella, AL Lafuente, M Loreti, A Margheri, M Massink, ...
Software Engineering for Collective Autonomic Systems: The ASCENS Approach, 3-71, 2015
792015
Forward and backward bisimulations for chemical reaction networks
L Cardelli, M Tribastone, M Tschaikowski, A Vandin
26th International Conference on Concurrency Theory, CONCUR 2015, 226--239, 2015
672015
ERODE: a tool for the evaluation and reduction of ordinary differential equations
L Cardelli, M Tribastone, M Tschaikowski, A Vandin
Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017
662017
Maximal aggregation of polynomial dynamical systems
L Cardelli, M Tribastone, M Tschaikowski, A Vandin
Proceedings of the National Academy of Sciences 114 (38), 10029-10034, 2017
622017
Symbolic computation of differential equivalences
L Cardelli, M Tribastone, M Tschaikowski, A Vandin
ACM SIGPLAN Notices 51 (1), 137-150, 2016
602016
A tool-chain for statistical spatio-temporal model checking of bike sharing systems
V Ciancia, D Latella, M Massink, R Paškauskas, A Vandin
Leveraging Applications of Formal Methods, Verification and Validation …, 2016
592016
A formal approach for the analysis of BPMN collaboration models
F Corradini, F Fornari, A Polini, B Re, F Tiezzi, A Vandin
Journal of Systems and Software 180, 111007, 2021
512021
A framework for quantitative modeling and analysis of highly (re) configurable systems
MH ter Beek, A Legay, AL Lafuente, A Vandin
IEEE Transactions on Software Engineering, 2018
512018
Statistical analysis of probabilistic models of software product lines with quantitative constraints
MH ter Beek, A Legay, AL Lafuente, A Vandin
Proceedings of the 19th International Conference on Software Product Line, 11-15, 2015
492015
BProVe: a formal verification framework for business process models
F Corradini, F Fornari, A Polini, B Re, F Tiezzi, A Vandin
2017 32nd IEEE/ACM International Conference on Automated Software …, 2017
412017
Efficient syntax-driven lumping of differential equations
L Cardelli, M Tribastone, M Tschaikowski, A Vandin
International Conference on Tools and Algorithms for the Construction and …, 2016
412016
QFLan: a tool for the quantitative analysis of highly reconfigurable systems
A Vandin, MH Ter Beek, A Legay, A Lluch Lafuente
Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the …, 2018
362018
Statistical model checking for product lines
MH Ter Beek, A Legay, A Lluch Lafuente, A Vandin
International Symposium on Leveraging Applications of Formal Methods, 114-133, 2016
352016
Comparing Chemical Reaction Networks: A Categorical and Algorithmic Perspective
AV Luca Cardelli, Mirco Tribastone, Max Tschaikowski
31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, 485--494, 2016
34*2016
Reasoning (on) service component ensembles in rewriting logic
L Belzner, R De Nicola, A Vandin, M Wirsing
Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi …, 2014
312014
Modelling and analyzing adaptive self-assembly strategies with Maude
R Bruni, A Corradini, F Gadducci, A Lluch-Lafuente, A Vandin
312012
Syntactic Markovian bisimulation for chemical reaction networks
L Cardelli, M Tribastone, M Tschaikowski, A Vandin
Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand …, 2017
292017
Modelling and analyzing adaptive self-assembly strategies with Maude
R Bruni, A Corradini, F Gadducci, AL Lafuente, A Vandin
Science of Computer Programming 99, 75-94, 2015
292015
The system can't perform the operation now. Try again later.
Articles 1–20