Muhammad Usman Iftikhar

Muhammad Usman Iftikhar

Linnaeus University -  Småland / Sweden
Others
AD Scientific Index ID: 1393788
Linnéuniversitetet
person_outline Muhammad Usman Iftikhar's MOST POPULAR ARTICLES
1-) A survey of formal methods in self-adaptive systemsD Weyns, MU Iftikhar, DG De La Iglesia, T AhmadProceedings of the fifth international c* conference on computer science and …, 20122142012
2-) Activforms: Active formal models for self-adaptationMU Iftikhar, D WeynsProceedings of the 9th International Symposium on Software Engineering for …, 20141852014
3-) Engineering trustworthy self-adaptive software with dynamic assurance casesR Calinescu, D Weyns, S Gerasimou, MU Iftikhar, I Habli, T KellyIEEE Transactions on Software Engineering 44 (11), 1039-1069, 20171602017
4-) Claims and supporting evidence for self-adaptive systems: A literature studyD Weyns, MU Iftikhar, S Malek, J Andersson2012 7th International Symposium on Software Engineering for Adaptive and …, 20121172012
5-) Deltaiot: A self-adaptive internet of things exemplarMU Iftikhar, GS Ramachandran, P Bollansée, D Weyns, D Hughes2017 IEEE/ACM 12th International Symposium on Software Engineering for …, 20171002017