A conceptual framework for adaptation R Bruni, A Corradini, F Gadducci, A Lluch Lafuente, A Vandin International Conference on Fundamental Approaches to Software Engineering …, 2012 | 107 | 2012 |
MultiVeStA: Statistical model checking for discrete event simulators S Sebastio, A Vandin IMT Institute for Advanced Studies Lucca, 2013 | 94 | 2013 |
The SCEL language: design, implementation, verification RD Nicola, D Latella, AL Lafuente, M Loreti, A Margheri, M Massink, ... Software Engineering for Collective Autonomic Systems, 3-71, 2015 | 64 | 2015 |
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 | 52 | 2015 |
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 | 49 | 2017 |
Symbolic computation of differential equivalences L Cardelli, M Tribastone, M Tschaikowski, A Vandin ACM SIGPLAN Notices 51 (1), 137-150, 2016 | 49 | 2016 |
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 | 40 | 2017 |
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 | 40 | 2015 |
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 | 39 | 2016 |
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 | 34 | 2016 |
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 | 30* | 2016 |
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 | 29 | 2017 |
Modelling and analyzing adaptive self-assembly strategies with Maude R Bruni, A Corradini, F Gadducci, A Lluch-Lafuente, A Vandin | 29 | 2012 |
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 | 28 | 2018 |
Reasoning (on) service component ensembles in rewriting logic L Belzner, RD Nicola, A Vandin, M Wirsing Specification, Algebra, and Software, 188-211, 2014 | 26 | 2014 |
Statistical model checking for product lines MH Beek, A Legay, A Lluch Lafuente, A Vandin International Symposium on Leveraging Applications of Formal Methods, 114-133, 2016 | 24 | 2016 |
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 | 24 | 2015 |
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 | 24 | 2014 |
Syntactic Markovian bisimulation for chemical reaction networks L Cardelli, M Tribastone, M Tschaikowski, A Vandin Models, Algorithms, Logics and Tools, 466-483, 2017 | 21 | 2017 |
Differential bisimulation for a Markovian process algebra G Iacobelli, M Tribastone, A Vandin International Symposium on Mathematical Foundations of Computer Science, 293-306, 2015 | 21 | 2015 |