Follow
Muhammad Usman Iftikhar
Title
Cited by
Cited by
Year
A survey of formal methods in self-adaptive systems
D Weyns, MU Iftikhar, DG De La Iglesia, T Ahmad
Proceedings of the fifth international c* conference on computer science and …, 2012
2462012
Activforms: Active formal models for self-adaptation
MU Iftikhar, D Weyns
Proceedings of the 9th International Symposium on Software Engineering for …, 2014
2042014
Engineering trustworthy self-adaptive software with dynamic assurance cases
R Calinescu, D Weyns, S Gerasimou, MU Iftikhar, I Habli, T Kelly
IEEE Transactions on Software Engineering 44 (11), 1039-1069, 2017
1882017
Claims and supporting evidence for self-adaptive systems: A literature study
D Weyns, MU Iftikhar, S Malek, J Andersson
2012 7th International Symposium on Software Engineering for Adaptive and …, 2012
1132012
Deltaiot: A self-adaptive internet of things exemplar
MU Iftikhar, GS Ramachandran, P Bollansée, D Weyns, D Hughes
2017 IEEE/ACM 12th International Symposium on Software Engineering for …, 2017
932017
Do external feedback loops improve the design of self-adaptive systems? a controlled experiment
D Weyns, MU Iftikhar, J Söderlund
2013 8th International Symposium on Software Engineering for Adaptive and …, 2013
802013
A case study on formal verification of self-adaptive behaviors in a decentralized system
MU Iftikhar, D Weyns
arXiv preprint arXiv:1208.4635, 2012
782012
Model-based simulation at runtime for self-adaptive systems
D Weyns, U Iftikhar
Proceeding Models at Runtime, Würzburg 2016, 1-9, 2016
762016
Applying architecture-based adaptation to automate the management of internet-of-things
D Weyns, MU Iftikhar, D Hughes, N Matthys
Software Architecture: 12th European Conference on Software Architecture …, 2018
612018
ActivFORMS: A formally founded model-based approach to engineer self-adaptive systems
D Weyns, UM Iftikhar
ACM Transactions on Software Engineering and Methodology 32 (1), 1-48, 2023
422023
Cost-Benefit Analysis at Runtime for Self-adaptive Systems Applied to an Internet of Things Application.
MJ Van Der Donckt, D Weyns, MU Iftikhar, RK Singh
ENASE, 478-490, 2018
222018
SimCA vs ActivFORMS: comparing control-and architecture-based adaptation on the TAS exemplar
S Shevtsov, MU Iftikhar, D Weyns
Proceedings of the 1st international workshop on control theory for software …, 2015
222015
Maintenance 4.0 framework using self: Adaptive software architecture
H Algabroun, MU Iftikhar, B Al-Najjar, D Weyns
Journal of Maintenance Engineering 2, 280-293, 2018
202018
Activforms: A runtime environment for architecture-based adaptation with guarantees
MU Iftikhar, D Weyns
2017 IEEE International Conference on Software Architecture Workshops (ICSAW …, 2017
172017
A model interpreter for timed automata
MU Iftikhar, J Lundberg, D Weyns
Leveraging Applications of Formal Methods, Verification and Validation …, 2016
152016
Effective decision making in self-adaptive systems using cost-benefit analysis at runtime and online learning of adaptation spaces
J Van Der Donckt, D Weyns, MU Iftikhar, SS Buttar
Evaluation of Novel Approaches to Software Engineering: 13th International …, 2019
122019
Rigorous architectural reasoning for self-adaptive software systems
N Abbas, J Andersson, MU Iftikhar, D Weyns
2016 Qualitative Reasoning about Software Architectures (QRASA), 11-18, 2016
122016
Assuring system goals under uncertainty with active formal models of self-adaptation
MU Iftikhar, D Weyns
Companion Proceedings of the 36th International Conference on Software …, 2014
82014
Entrust: engineering trustworthy self-adaptive software with dynamic assurance cases
R Calinescu, D Weyns, S Gerasimou, MU Iftikhar, I Habli, T Kelly
Proceedings of the 40th International Conference on Software Engineering …, 2018
72018
Deltaiot: A real world exemplar for self-adaptive internet of things (artifact)
MU Iftikhar, GS Ramachandran, P Bollansée, D Weyns, D Hughes
Dagstuhl Artifacts Series 3 (1), 4, 2017
72017
The system can't perform the operation now. Try again later.
Articles 1–20