Amir Molzam Sharifloo

Publication Activity (10 Years)

Years Active: 2010-2017
Publications (10 Years): 4

Top Topics

Formal Verification

Adaptive Systems

Control Strategies

Top Venues

Publications

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, Alessandro Vittorio Papadopoulos, Suprio Ray, Amir Molzam Sharifloo, Stepan Shevtsov, Mateusz Ujma, Thomas Vogel
Control Strategies for Self-Adaptive Software Systems. ACM Trans. Auton. Adapt. Syst. 11 (4) (2017)
Pooyan Jamshidi, Amir Molzam Sharifloo, Claus Pahl, Hamid Arabnejad, Andreas Metzger, Giovani Estrada
Fuzzy Self-Learning Controllers for Elasticity Management in Dynamic Cloud Architectures. QoSA (2016)
Amir Molzam Sharifloo, Andreas Metzger, Clément Quinton, Luciano Baresi, Klaus Pohl
Learning and evolution in dynamic software product lines. SEAMS@ICSE (2016)
Andreas Metzger, Andreas Bayer, Daniel Doyle, Amir Molzam Sharifloo, Klaus Pohl, Florian Wessling
Coordinated run-time adaptation of variability-intensive systems: an application in cloud computing. VACE@ICSE (2016)
Muhammad Ali Babar, Hye-Young Paik, Malolan Chetlur, Michael Bauer, Amir Molzam Sharifloo
7th International Workshop on Principles of Engineering Service-Oriented and Cloud Systems (PESOS 2015). ICSE (2) (2015)
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, Alessandro Vittorio Papadopoulos, Suprio Ray, Amir Molzam Sharifloo, Stepan Shevtsov, Mateusz Ujma, Thomas Vogel
Software Engineering Meets Control Theory. SEAMS@ICSE (2015)
Pooyan Jamshidi, Amir Molzam Sharifloo, Claus Pahl, Andreas Metzger, Giovani Estrada
Self-Learning Cloud Controllers: Fuzzy Q-Learning for Knowledge Evolution. CoRR (2015)
Genaína Nunes Rodrigues, Vander Alves, Vinicius Nunes, André Lanna, Maxime Cordy, Pierre-Yves Schobbens, Amir Molzam Sharifloo, Axel Legay
Modeling and Verification for Probabilistic Properties in Software Product Lines. HASE (2015)
Amir Molzam Sharifloo
Models for Self-Adaptive Systems. ECSA Workshops (2015)
Pooyan Jamshidi, Amir Molzam Sharifloo, Claus Pahl, Andreas Metzger, Giovani Estrada
Self-Learning Cloud Controllers: Fuzzy Q-Learning for Knowledge Evolution. ICCAC (2015)
Carlo Ghezzi, Claudio Menghi, Amir Molzam Sharifloo, Paola Spoletini
On requirement verification for evolving Statecharts specifications. Requir. Eng. 19 (3) (2014)
Carlo Ghezzi, Amir Molzam Sharifloo, Claudio Menghi
Towards Agile Verification. Perspectives on the Future of Software Engineering (2013)
Maxime Cordy, Patrick Heymans, Pierre-Yves Schobbens, Amir Molzam Sharifloo, Carlo Ghezzi, Axel Legay
Verification for Reliable Product Lines. CoRR (2013)
Joel Greenyer, Amir Molzam Sharifloo, Maxime Cordy, Patrick Heymans
Features meet scenarios: modeling and consistency-checking scenario-based product line specifications. Requir. Eng. 18 (2) (2013)
Carlo Ghezzi, Claudio Menghi, Amir Molzam Sharifloo, Paola Spoletini
On requirements verification for model refinements. RE (2013)
Carlo Ghezzi, Amir Molzam Sharifloo
Model-based verification of quantitative non-functional properties for software product lines. Inf. Softw. Technol. 55 (3) (2013)
Amir Molzam Sharifloo, Andreas Metzger
MCaaS: Model Checking in the Cloud for Assurances of Adaptive Systems. Software Engineering for Self-Adaptive Systems (2013)
Joel Greenyer, Amir Molzam Sharifloo, Maxime Cordy, Patrick Heymans
Efficient consistency checking of scenario-based product-line specifications. RE (2012)
Amir Molzam Sharifloo, Paola Spoletini
LOVER: Light-Weight fOrmal Verification of adaptivE Systems at Run Time. FACS (2012)
Carlo Ghezzi, Amir Molzam Sharifloo
Verifying Non-functional Properties of Software Product Lines: Towards an Efficient Approach Using Parametric Model Checking. SPLC (2011)
Carlo Ghezzi, Amir Molzam Sharifloo
Dealing with Non-Functional Requirements for Adaptive Systems via Dynamic Software Product-Lines. Software Engineering for Self-Adaptive Systems (2010)