Amir Molzam Sharifloo

Most-cited papers

Software Engineering Meets Control Theory
A. Filieri, M. Maggio, K. Angelopoulos, N. D'Ippolito +14 more
20152015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems113 citations Open access
Semantic Scholar
Fuzzy Self-Learning Controllers for Elasticity Management in Dynamic Cloud Architectures
Pooyan Jamshidi, Amir Molzam Sharifloo, C. Pahl, H. Arabnejad +2 more
2016International ACM SIGSOFT Conference on Quality of Software Architectures82 citations
Semantic Scholar
Control Strategies for Self-Adaptive Software Systems
A. Filieri, M. Maggio, K. Angelopoulos, N. D'Ippolito +14 more
2017ACM Transactions on Autonomous and Adaptive Systems79 citations Open access
Semantic Scholar
Self-Learning Cloud Controllers: Fuzzy Q-Learning for Knowledge Evolution
Pooyan Jamshidi, Amir Molzam Sharifloo, C. Pahl, A. Metzger +1 more
2015International Conference on Cloud and Autonomic Computing76 citations Open access
Semantic Scholar
Model-based verification of quantitative non-functional properties for software product lines
C. Ghezzi, Amir Molzam Sharifloo
2013Information and Software Technology73 citations
Semantic Scholar
Dealing with Non-Functional Requirements for Adaptive Systems via Dynamic Software Product-Lines
C. Ghezzi, Amir Molzam Sharifloo
2010Software Engineering for Self-Adaptive Systems50 citations
Semantic Scholar
Modeling and Verification for Probabilistic Properties in Software Product Lines
G. Rodrigues, V. Alves, Vinicius Nunes, A. Lanna +4 more
2015IEEE International Symposium on High-Assurance Systems Engineering45 citations
Semantic Scholar
Learning and Evolution in Dynamic Software Product Lines
Amir Molzam Sharifloo, A. Metzger, Clément Quinton, L. Baresi +1 more
2016International Symposium on Software Engineering for Adaptive and Self-Managing Systems36 citations Open access
Semantic Scholar
Verifying Non-functional Properties of Software Product Lines: Towards an Efficient Approach Using Parametric Model Checking
C. Ghezzi, Amir Molzam Sharifloo
20112011 15th International Software Product Line Conference30 citations
Semantic Scholar
LOVER: Light-Weight fOrmal Verification of adaptivE Systems at Run Time
Amir Molzam Sharifloo, P. Spoletini
2012International Workshop on Formal Aspects of Component Software27 citations
Semantic Scholar
Quantitative Verification of Non-functional Requirements with Uncertainty
C. Ghezzi, Amir Molzam Sharifloo
201118 citations
Semantic Scholar
On requirements verification for model refinements
C. Ghezzi, C. Menghi, Amir Molzam Sharifloo, P. Spoletini
2013IEEE International Requirements Engineering Conference17 citations
Semantic Scholar
Efficient consistency checking of scenario-based product-line specifications
Joel Greenyer, Amir Molzam Sharifloo, Maxime Cordy, P. Heymans
2012IEEE International Requirements Engineering Conference17 citations
Semantic Scholar
MCaaS: Model Checking in the Cloud for Assurances of Adaptive Systems
Amir Molzam Sharifloo, A. Metzger
2013Software Engineering for Self-Adaptive Systems10 citations
Semantic Scholar
Coordinated Run-Time Adaptation of Variability-Intensive Systems: An Application in Cloud Computing
A. Metzger, A. Bayer, D. Doyle, Amir Molzam Sharifloo +2 more
20162016 IEEE/ACM 1st International Workshop on Variability and Complexity in Software Design (VACE)9 citations
Semantic Scholar
Where Do LLMs Still Struggle? An In-Depth Analysis of Code Generation Benchmarks
Amir Molzam Sharifloo, Maedeh Heydari, Parsa Kazerooni, Daniel Maninger +1 more
20252025 2nd IEEE/ACM International Conference on AI-powered Software (AIware)6 citations Open access
Semantic Scholar
Verification for Reliable Product Lines
Maxime Cordy, P. Heymans, Pierre-Yves Schobbens, Amir Molzam Sharifloo +2 more
2013arXiv.org5 citations
Semantic Scholar
Towards Agile Verification
C. Ghezzi, Amir Molzam Sharifloo, C. Menghi
2013Perspectives on the Future of Software Engineering5 citations Open access
Semantic Scholar
Models for Self-Adaptive Systems
Amir Molzam Sharifloo
2015ECSA Workshops3 citations
Semantic Scholar
Beyond BLEU: A Semantic Evaluation Method for Code Translation
Julius Näumann, Sven Keidel, Amir Molzam Sharifloo, Mira Mezini
2026arXiv.org1 citations
Semantic Scholar
Mitigating Errors in LLM-Generated Web API Invocations via Retrieval-Augmented Generation and Constrained Decoding
Daniel Maninger, Leon Chemnitz, Jannis Brugger, Tushar Lamba +2 more
2026arXiv.org1 citations
Semantic Scholar
Proceedings of the Seventh International Workshop on Principles of Engineering Service-Oriented and Cloud Systems
M. Babar, H. Paik, Malolan Chetlur, M. Bauer +1 more
2014International Conference on Software Engineering1 citations
Semantic Scholar
Deep Graph-Language Fusion for Structure-Aware Code Generation
Mert Tiftikci, Amir Molzam Sharifloo, Mira Mezini
2026FORGE@ICSE0 citations Open access
Semantic Scholar
Benchmarking Web API Integration Code Generation
Daniel Maninger, Leon Chemnitz, Amir Molzam Sharifloo, Jannis Brugger +1 more
20252025 2nd IEEE/ACM International Conference on AI-powered Software (AIware)0 citations Open access
Semantic Scholar
7th International Workshop on Principles of Engineering Service-Oriented and Cloud Systems (PESOS 2015)
M. Babar, H. Paik, Malolan Chetlur, M. Bauer +1 more
20152015 IEEE/ACM 37th IEEE International Conference on Software Engineering0 citations
Semantic Scholar
CloudWave - Leveraging DevOps for Cloud Management and Application Development
Dario Bruneo, Aryan Dadashi, P. Leitner, Boris Moltchanov +6 more
2015European Conference on Service-Oriented and Cloud Computing0 citations
Semantic Scholar
Requirements Verification of Variability-Intensive Systems
Amir Molzam Sharifloo
20140 citations
Semantic Scholar