| Run-time efficient probabilistic model checking A Filieri, C Ghezzi, G Tamburrelli 2011 33rd International Conference on Software Engineering (ICSE), 341-350, 2011 | 204 | 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 | 168 | 2014 |
| A formal approach to adaptive software: continuous assurance of non-functional requirements A Filieri, C Ghezzi, G Tamburrelli Formal Aspects of Computing 24 (2), 163-186, 2012 | 154 | 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 | 125 | 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 | 105 | 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 | 98 | 2015 |
| 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 | 93 | 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 | 83 | 2015 |
| 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 | 72 | 2010 |
| 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 | 56 | 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 | 50 | 2014 |
| 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 | 44 | 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 | 42 | 2017 |
| 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 International Conference on Modelling Techniques and Tools for Computer …, 2011 | 39 | 2011 |
| Probabilistic verification at runtime for self-adaptive systems A Filieri, G Tamburrelli Assurances for Self-Adaptive Systems, 30-59, 2013 | 35 | 2013 |
| 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 | 31 | 2017 |
| 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 | 31 | 2014 |
| Reliability-driven dynamic binding via feedback control A Filieri, C Ghezzi, A Leva, M Maggio 2012 7th International Symposium on Software Engineering for Adaptive and …, 2012 | 31 | 2012 |
| 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 | 29 | 2017 |
| Iterative distribution-aware sampling for probabilistic symbolic execution M Borges, A Filieri, M d'Amorim, CS Păsăreanu Proceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015 | 26 | 2015 |
Carlo GhezziEmeritus Professor, Politecnico di MilanoEmail verificata su polimi.it
