Dealing with Non-Functional Requirements for Adaptive Systems via Dynamic Software Product-Lines. - Carlo Ghezzi; Amir Molzam Sharifloo (Software Engineering for Self-Adaptive Systems, 2010)

Verifying Non-functional Properties of Software Product Lines: Towards an Efficient Approach Using Parametric Model Checking. - Carlo Ghezzi; Amir Molzam Sharifloo (SPLC, 2011)

LOVER: Light-Weight fOrmal Verification of adaptivE Systems at Run Time. - Amir Molzam Sharifloo; Paola Spoletini (FACS, 2012)

Efficient consistency checking of scenario-based product-line specifications. - Joel Greenyer; Amir Molzam Sharifloo; Maxime Cordy; Patrick Heymans (RE, 2012)

Towards Agile Verification. - Carlo Ghezzi; Amir Molzam Sharifloo; Claudio Menghi (Perspectives on the Future of Software Engineering, 2013)

MCaaS: Model Checking in the Cloud for Assurances of Adaptive Systems. - Amir Molzam Sharifloo; Andreas Metzger (Software Engineering for Self-Adaptive Systems, 2013)

On requirements verification for model refinements. - Carlo Ghezzi; Claudio Menghi; Amir Molzam Sharifloo; Paola Spoletini (RE, 2013)

Verification for Reliable Product Lines. - Maxime Cordy; Patrick Heymans; Pierre-Yves Schobbens; Amir Molzam Sharifloo; Carlo Ghezzi; Axel Legay (CoRR, 2013)

Model-based verification of quantitative non-functional properties for software product lines. - Carlo Ghezzi; Amir Molzam Sharifloo (Inf. Softw. Technol., 2013)

Features meet scenarios: modeling and consistency-checking scenario-based product line specifications. - Joel Greenyer; Amir Molzam Sharifloo; Maxime Cordy; Patrick Heymans (Requir. Eng., 2013)

On requirement verification for evolving Statecharts specifications. - Carlo Ghezzi; Claudio Menghi; Amir Molzam Sharifloo; Paola Spoletini (Requir. Eng., 2014)

Requirements Verification of Variability-Intensive Systems. - Amir Molzam Sharifloo (2014)

Models for Self-Adaptive Systems. - Amir Molzam Sharifloo (ECSA Workshops, 2015)

Modeling and Verification for Probabilistic Properties in Software Product Lines. - Genaína Nunes Rodrigues; Vander Alves; Vinicius Nunes; André Lanna; Maxime Cordy; Pierre-Yves Schobbens; Amir Molzam Sharifloo; Axel Legay (HASE, 2015)

Self-Learning Cloud Controllers: Fuzzy Q-Learning for Knowledge Evolution. - Pooyan Jamshidi; Amir Molzam Sharifloo; Claus Pahl; Andreas Metzger; Giovani Estrada (ICCAC, 2015)

7th International Workshop on Principles of Engineering Service-Oriented and Cloud Systems (PESOS 2015). - Muhammad Ali Babar 001; Hye-Young Paik; Malolan Chetlur; Michael Bauer; Amir Molzam Sharifloo (ICSE (2), 2015)

Software Engineering Meets Control Theory. - Antonio Filieri; Martina Maggio; Konstantinos Angelopoulos; Nicolás D'Ippolito; Ilias Gerostathopoulos; Andreas B. Hempel; Henry Hoffmann; Pooyan Jamshidi; Evangelia Kalyvianaki; Cristian Klein; Filip Krikava; Sasa Misailovic; et al. (SEAMS@ICSE, 2015)

Coordinated run-time adaptation of variability-intensive systems: an application in cloud computing. - Andreas Metzger; Andreas Bayer; Daniel Doyle; Amir Molzam Sharifloo; Klaus Pohl; Florian Wessling (VACE@ICSE, 2016)

Learning and evolution in dynamic software product lines. - Amir Molzam Sharifloo; Andreas Metzger; Clément Quinton; Luciano Baresi; Klaus Pohl (SEAMS@ICSE, 2016)

Fuzzy Self-Learning Controllers for Elasticity Management in Dynamic Cloud Architectures. - Pooyan Jamshidi; Amir Molzam Sharifloo; Claus Pahl; Hamid Arabnejad; Andreas Metzger; Giovani Estrada (QoSA, 2016)

Control Strategies for Self-Adaptive Software Systems. - Antonio Filieri; Martina Maggio; Konstantinos Angelopoulos; Nicolás D'Ippolito; Ilias Gerostathopoulos; Andreas Berndt Hempel; Henry Hoffmann; Pooyan Jamshidi; Evangelia Kalyvianaki; Cristian Klein; Filip Krikava; Sasa Misailovic; et al. (ACM Trans. Auton. Adapt. Syst., 2017)