![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Amir Molzam Sharifloo
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2017
- [j4]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): 24:1-24:31 (2017) - 2016
- [c15]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: 5-11 - [c14]Amir Molzam Sharifloo, Andreas Metzger, Clément Quinton, Luciano Baresi
, Klaus Pohl:
Learning and evolution in dynamic software product lines. SEAMS@ICSE 2016: 158-164 - [c13]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: 70-79 - 2015
- [c12]Amir Molzam Sharifloo:
Models for Self-Adaptive Systems. ECSA Workshops 2015: 24:1-24:5 - [c11]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: 173-180 - [c10]Pooyan Jamshidi, Amir Molzam Sharifloo, Claus Pahl, Andreas Metzger, Giovani Estrada:
Self-Learning Cloud Controllers: Fuzzy Q-Learning for Knowledge Evolution. ICCAC 2015: 208-211 - [c9]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: 71-82 - [c8]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: 987-988 - [e1]Muhammad Ali Babar, Hye-Young Paik, Malolan Chetlur, Michael Bauer, Amir Molzam Sharifloo:
7th IEEE/ACM International Workshop on Principles of Engineering Service-Oriented and Cloud Systems, PESOS 2015, Florence, Italy, May 23, 2015. IEEE Computer Society 2015, ISBN 978-1-4673-7058-5 [contents] - [i2]Pooyan Jamshidi, Amir Molzam Sharifloo, Claus Pahl, Andreas Metzger, Giovani Estrada:
Self-Learning Cloud Controllers: Fuzzy Q-Learning for Knowledge Evolution. CoRR abs/1507.00567 (2015) - 2014
- [b1]Amir Molzam Sharifloo:
Requirements Verification of Variability-Intensive Systems. Polytechnic University of Milan, Italy, 2014 - [j3]Carlo Ghezzi, Claudio Menghi
, Amir Molzam Sharifloo, Paola Spoletini:
On requirement verification for evolving Statecharts specifications. Requir. Eng. 19(3): 231-255 (2014) - 2013
- [j2]Carlo Ghezzi, Amir Molzam Sharifloo:
Model-based verification of quantitative non-functional properties for software product lines. Inf. Softw. Technol. 55(3): 508-524 (2013) - [j1]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): 175-198 (2013) - [c7]Carlo Ghezzi, Amir Molzam Sharifloo, Claudio Menghi
:
Towards Agile Verification. Perspectives on the Future of Software Engineering 2013: 31-47 - [c6]Amir Molzam Sharifloo, Andreas Metzger:
MCaaS: Model Checking in the Cloud for Assurances of Adaptive Systems. Software Engineering for Self-Adaptive Systems 2013: 137-153 - [c5]Carlo Ghezzi, Claudio Menghi
, Amir Molzam Sharifloo, Paola Spoletini
:
On requirements verification for model refinements. RE 2013: 62-71 - [i1]Maxime Cordy, Patrick Heymans, Pierre-Yves Schobbens, Amir Molzam Sharifloo, Carlo Ghezzi, Axel Legay:
Verification for Reliable Product Lines. CoRR abs/1311.1343 (2013) - 2012
- [c4]Amir Molzam Sharifloo, Paola Spoletini:
LOVER: Light-Weight fOrmal Verification of adaptivE Systems at Run Time. FACS 2012: 170-187 - [c3]Joel Greenyer
, Amir Molzam Sharifloo, Maxime Cordy, Patrick Heymans:
Efficient consistency checking of scenario-based product-line specifications. RE 2012: 161-170 - 2011
- [c2]Carlo Ghezzi, Amir Molzam Sharifloo:
Verifying Non-functional Properties of Software Product Lines: Towards an Efficient Approach Using Parametric Model Checking. SPLC 2011: 170-174 - 2010
- [c1]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: 191-213
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-26 18:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint