| MultiVeStA: Statistical model checking for discrete event simulators S Sebastio, A Vandin IMT Institute for Advanced Studies Lucca, 2013 | 118 | 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 | 84 | 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 | 70 | 2017 |
| 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 | 68 | 2015 |
| 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 | 65 | 2017 |
| Symbolic computation of differential equivalences L Cardelli, M Tribastone, M Tschaikowski, A Vandin ACM SIGPLAN Notices 51 (1), 137-150, 2016 | 61 | 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 | 61 | 2016 |
| 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 | 54 | 2021 |
| 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 | 53 | 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 |
| 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 | 43 | 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 | 42 | 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 | 38 | 2018 |
| 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 | 37* | 2016 |
| 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 | 35 | 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 | 33 | 2014 |
| 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 | 31 | 2017 |
| 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 | 30 | 2015 |
Mirco TribastoneIMT LuccaVerified email at imtlucca.it
