| 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 | 126 | 2015 |
| Fuzzy self-learning controllers for elasticity management in dynamic cloud architectures P Jamshidi, A Sharifloo, C Pahl, H Arabnejad, A Metzger, G Estrada 2016 12th International ACM SIGSOFT Conference on Quality of Software …, 2016 | 96 | 2016 |
| Self-learning cloud controllers: Fuzzy q-learning for knowledge evolution P Jamshidi, AM Sharifloo, C Pahl, A Metzger, G Estrada 2015 International Conference on Cloud and Autonomic Computing, 208-211, 2015 | 91 | 2015 |
| Model-based verification of quantitative non-functional properties for software product lines C Ghezzi, AM Sharifloo Information and Software Technology 55 (3), 508-524, 2013 | 88 | 2013 |
| 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 |
| Modeling and verification for probabilistic properties in software product lines GN Rodrigues, V Alves, V Nunes, A Lanna, M Cordy, PY Schobbens, ... 2015 IEEE 16th International Symposium on High Assurance Systems Engineering …, 2015 | 55 | 2015 |
| Dealing with non-functional requirements for adaptive systems via dynamic software product-lines C Ghezzi, A Molzam Sharifloo Software Engineering for Self-Adaptive Systems II: International Seminar …, 2013 | 55 | 2013 |
| Learning and evolution in dynamic software product lines AM Sharifloo, A Metzger, C Quinton, L Baresi, K Pohl Proceedings of the 11th International Symposium on Software Engineering for …, 2016 | 48 | 2016 |
| A bottom up approach to Persian stemming AA Sharifloo, M Shamsfard Proceedings of the Third International Joint Conference on Natural Language …, 2008 | 40 | 2008 |
| Verifying non-functional properties of software product lines: Towards an efficient approach using parametric model checking C Ghezzi, AM Sharifloo 2011 15th International Software Product Line Conference, 170-174, 2011 | 37 | 2011 |
| LOVER: Light-weight fOrmal Verification of adaptivE systems at Run time AM Sharifloo, P Spoletini International Workshop on Formal Aspects of Component Software, 170-187, 2012 | 31 | 2012 |
| Efficient consistency checking of scenario-based product-line specifications J Greenyer, AM Sharifloo, M Cordy, P Heymans 2012 20th IEEE International Requirements Engineering Conference (RE), 161-170, 2012 | 28 | 2012 |
| Embedding architectural practices into extreme programming AA Sharifloo, AS Saffarian, F Shams 19th Australian Conference on Software Engineering (aswec 2008), 310-319, 2008 | 24 | 2008 |
| Quantitative verification of non-functional requirements with uncertainty C Ghezzi, AM Sharifloo Dependable Computer Systems, 47-62, 2011 | 22 | 2011 |
| On requirements verification for model refinements C Ghezzi, C Menghi, AM Sharifloo, P Spoletini 2013 21st IEEE International Requirements Engineering Conference (RE), 62-71, 2013 | 21 | 2013 |
| An ontology for cmmi-acq model AA Sharifloo, M Shamsfard, Y Motazedi, R Dehkharghani 2008 3rd International Conference on Information and Communication …, 2008 | 19 | 2008 |
| Mcaas: Model checking in the cloud for assurances of adaptive systems AM Sharifloo, A Metzger Software Engineering for Self-Adaptive Systems III. Assurances …, 2017 | 17 | 2017 |
| On requirement verification for evolving statecharts specifications C Ghezzi, C Menghi, A Molzam Sharifloo, P Spoletini Requirements Engineering 19 (3), 231-255, 2014 | 16 | 2014 |
| Features meet scenarios: modeling and consistency-checking scenario-based product line specifications J Greenyer, A Molzam Sharifloo, M Cordy, P Heymans Requirements Engineering 18, 175-198, 2013 | 15 | 2013 |
| Coordinated run-time adaptation of variability-intensive systems: an application in cloud computing A Metzger, A Bayer, D Doyle, AM Sharifloo, K Pohl, F Wessling Proceedings of the 1st International Workshop on Variability and Complexity …, 2016 | 14 | 2016 |
Carlo GhezziEmeritus Professor, Politecnico di MilanoDirección de correo verificada de polimi.it
