| 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 | 113 | 2015 |
| 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 | 83 | 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 | 80 | 2016 |
| 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 | 78 | 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 | 66 | 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 | 48 | 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, 191-213, 2013 | 45 | 2013 |
| A bottom up approach to Persian stemming AA Sharifloo, M Shamsfard Proceedings of the Third International Joint Conference on Natural Language …, 2008 | 38 | 2008 |
| Learning and evolution in dynamic software product lines AM Sharifloo, A Metzger, C Quinton, L Baresi, K Pohl 2016 IEEE/ACM 11th International Symposium on Software Engineering for …, 2016 | 37 | 2016 |
| 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 | 35 | 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 | 30 | 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 | 25 | 2012 |
| Embedding architectural practices into extreme programming AA Sharifloo, AS Saffarian, F Shams 19th Australian Conference on Software Engineering (aswec 2008), 310-319, 2008 | 25 | 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 | 20 | 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 |
| Features meet scenarios: modeling and consistency-checking scenario-based product line specifications J Greenyer, A Molzam Sharifloo, M Cordy, P Heymans Requirements Engineering 18 (2), 175-198, 2013 | 14 | 2013 |
| On requirement verification for evolving statecharts specifications C Ghezzi, C Menghi, A Molzam Sharifloo, P Spoletini Requirements Engineering 19 (3), 231-255, 2014 | 13 | 2014 |
| Mcaas: Model checking in the cloud for assurances of adaptive systems AM Sharifloo, A Metzger Software Engineering for Self-Adaptive Systems III. Assurances, 137-153, 2017 | 12 | 2017 |
| Architectural challenges of ultra large scale systems M Mirakhorli, A Azim Sharifloo, F Shams Proceedings of the 2nd international workshop on Ultra-large-scale software …, 2008 | 10 | 2008 |
Carlo GhezziEmeritus Professor, Politecnico di MilanoVerified email at polimi.it
