| Run-time efficient probabilistic model checking A Filieri, C Ghezzi, G Tamburrelli Proceedings of the 33rd international conference on software engineering …, 2011 | 241 | 2011 |
| Automated design of self-adaptive software with control-theoretical formal guarantees A Filieri, H Hoffmann, M Maggio Proceedings of the 36th International Conference on Software Engineering …, 2014 | 198 | 2014 |
| A formal approach to adaptive software: continuous assurance of non-functional requirements A Filieri, C Ghezzi, G Tamburrelli Formal Aspects of Computing 24, 163-186, 2012 | 176 | 2012 |
| Reliability analysis in symbolic pathfinder A Filieri, CS Păsăreanu, W Visser 2013 35th International Conference on Software Engineering (ICSE), 622-631, 2013 | 158 | 2013 |
| Supporting self-adaptation via quantitative verification and sensitivity analysis at run time A Filieri, G Tamburrelli, C Ghezzi IEEE Transactions on Software Engineering 42 (1), 75-99, 2015 | 139 | 2015 |
| Software engineering meets control theory A Filieri, M Maggio, K Angelopoulos, N d'Ippolito, I Gerostathopoulos, ... 2015 IEEE/ACM 10th International Symposium on Software Engineering for …, 2015 | 120 | 2015 |
| Empirical standards for software engineering research P Ralph, N Ali, S Baltes, D Bianculli, J Diaz, Y Dittrich, N Ernst, M Felderer, ... arXiv preprint arXiv:2010.03525, 2020 | 110* | 2020 |
| Self-adaptive software meets control theory: A preliminary approach supporting reliability requirements A Filieri, C Ghezzi, A Leva, M Maggio 2011 26th IEEE/ACM International Conference on Automated Software …, 2011 | 105 | 2011 |
| Automated multi-objective control for self-adaptive software design A Filieri, H Hoffmann, M Maggio Proceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015 | 103 | 2015 |
| Control strategies for self-adaptive software systems A Filieri, M Maggio, K Angelopoulos, N D’ippolito, I Gerostathopoulos, ... ACM Transactions on Autonomous and Adaptive Systems (TAAS) 11 (4), 1-31, 2017 | 86 | 2017 |
| Reliability analysis of component-based systems with multiple failure modes A Filieri, C Ghezzi, V Grassi, R Mirandola Component-Based Software Engineering, 1-20, 2010 | 78 | 2010 |
| A critical evaluation of spectrum-based fault localization techniques on a large-scale software system F Keller, L Grunske, S Heiden, A Filieri, A van Hoorn, D Lo 2017 IEEE International Conference on Software Quality, Reliability and …, 2017 | 72 | 2017 |
| Compositional solution space quantification for probabilistic software analysis M Borges, A Filieri, M d'Amorim, CS Păsăreanu, W Visser Proceedings of the 35th ACM SIGPLAN Conference on Programming Language …, 2014 | 62 | 2014 |
| Exact and approximate probabilistic symbolic execution for nondeterministic programs K Luckow, CS Păsăreanu, MB Dwyer, A Filieri, W Visser Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014 | 60 | 2014 |
| Automated control of multiple software goals using multiple actuators M Maggio, AV Papadopoulos, A Filieri, H Hoffmann Proceedings of the 2017 11th joint meeting on foundations of software …, 2017 | 57 | 2017 |
| Lightweight adaptive filtering for efficient learning and updating of probabilistic models A Filieri, L Grunske, A Leva 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015 | 56 | 2015 |
| Probabilistic verification at runtime for self-adaptive systems A Filieri, G Tamburrelli Assurances for Self-Adaptive Systems: Principles, Models, and Techniques, 30-59, 2013 | 49 | 2013 |
| Statistical symbolic execution with informed sampling A Filieri, CS Păsăreanu, W Visser, J Geldenhuys Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations …, 2014 | 45 | 2014 |
| Quality-aware devops research: Where do we stand? A Alnafessah, AU Gias, R Wang, L Zhu, G Casale, A Filieri IEEE access 9, 44476-44489, 2021 | 42 | 2021 |
| Klapersuite: An integrated model-driven environment for reliability and performance analysis of component-based systems A Ciancone, A Filieri, ML Drago, R Mirandola, V Grassi Objects, Models, Components, Patterns: 49th International Conference, TOOLS …, 2011 | 40 | 2011 |
Carlo GhezziEmeritus Professor, Politecnico di MilanoVerified email at polimi.it
