MultiVeStA: Statistical model checking for discrete event simulators S Sebastio, A Vandin IMT Institute for Advanced Studies Lucca, 2013 | 114 | 2013 |
A conceptual framework for adaptation R Bruni, A Corradini, F Gadducci, A Lluch Lafuente, A Vandin Fundamental Approaches to Software Engineering: 15th International …, 2012 | 111 | 2012 |
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 | 77 | 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 | 67 | 2015 |
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 | 64 | 2017 |
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 | 59 | 2017 |
Symbolic computation of differential equivalences L Cardelli, M Tribastone, M Tschaikowski, A Vandin ACM SIGPLAN Notices 51 (1), 137-150, 2016 | 58 | 2016 |
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 | 58 | 2016 |
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 | 49 | 2018 |
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 | 49 | 2015 |
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 | 45 | 2021 |
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 | 40 | 2017 |
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 | 39 | 2016 |
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 | 36 | 2018 |
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 | 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 | 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 | 31 | 2014 |
Modelling and analyzing adaptive self-assembly strategies with Maude R Bruni, A Corradini, F Gadducci, A Lluch-Lafuente, A Vandin | 31 | 2012 |
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 | 29 | 2015 |
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 | 28 | 2017 |