Andrea Vandin
Andrea Vandin
Tenure-track Assistant Professor, Sant'Anna School for Advanced Studies, Italy
Verified email at santannapisa.it - Homepage
Title
Cited by
Cited by
Year
A conceptual framework for adaptation
R Bruni, A Corradini, F Gadducci, AL Lafuente, A Vandin
International Conference on Fundamental Approaches to Software Engineering …, 2012
992012
MultiVeStA: Statistical model checking for discrete event simulators
S Sebastio, A Vandin
IMT Institute for Advanced Studies Lucca, 2013
672013
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, 3-71, 2015
492015
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
392015
Symbolic computation of differential equivalences
L Cardelli, M Tribastone, M Tschaikowski, A Vandin
ACM SIGPLAN Notices 51 (1), 137-150, 2016
382016
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
352015
ERODE: A tool for the evaluation and reduction of ordinary differential equations
L Cardelli, M Tribastone, M Tschaikowski, A Vandin
International Conference on Tools and Algorithms for the Construction and …, 2017
322017
Modelling and analyzing adaptive self-assembly strategies with Maude
R Bruni, A Corradini, F Gadducci, A Lluch-Lafuente, A Vandin
292012
A tool-chain for statistical spatio-temporal model checking of bike sharing systems
V Ciancia, D Latella, M Massink, R Paškauskas, A Vandin
International Symposium on Leveraging Applications of Formal Methods, 657-673, 2016
242016
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
242016
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
232017
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
23*2016
Reasoning (on) service component ensembles in rewriting logic
L Belzner, R De Nicola, A Vandin, M Wirsing
Specification, Algebra, and Software, 188-211, 2014
232014
Statistical model checking for product lines
MH Ter Beek, A Legay, AL Lafuente, A Vandin
International Symposium on Leveraging Applications of Formal Methods, 114-133, 2016
212016
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
212015
Distributed statistical analysis of complex systems modeled through a chemical metaphor
D Pianini, S Sebastio, A Vandin
2014 International Conference on High Performance Computing & Simulation …, 2014
212014
Differential bisimulation for a Markovian process algebra
G Iacobelli, M Tribastone, A Vandin
International Symposium on Mathematical Foundations of Computer Science, 293-306, 2015
192015
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
182017
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
172018
Quantitative analysis of probabilistic models of software product lines with statistical model checking
MH ter Beek, A Legay, AL Lafuente, A Vandin
6th Workshop on Formal Methods and Analysis in SPL Engineering, FMSPLE@ETAPS …, 2015
172015
The system can't perform the operation now. Try again later.
Articles 1–20