A survey of formal methods in self-adaptive systems. - Danny Weyns; M. Usman Iftikhar; Didac Gil de la Iglesia; Tanvir Ahmad (C3S2E, 2012)

Claims and supporting evidence for self-adaptive systems: A literature study. - Danny Weyns; M. Usman Iftikhar; Sam Malek; Jesper Andersson (SEAMS, 2012)

A Case Study on Formal Verification of Self-Adaptive Behaviors in a Decentralized System - M. Usman Iftikhar; Danny Weyns (FOCLASA, 2012)

Do external feedback loops improve the design of self-adaptive systems? a controlled experiment. - Danny Weyns; M. Usman Iftikhar; Joakim Söderlund (SEAMS, 2013)

Assuring system goals under uncertainty with active formal models of self-adaptation. - M. Usman Iftikhar; Danny Weyns (ICSE Companion, 2014)

ActivFORMS: active formal models for self-adaptation. - M. Usman Iftikhar; Danny Weyns (SEAMS, 2014)

SimCA vs ActivFORMS: comparing control- and architecture-based adaptation on the TAS exemplar. - Stepan Shevtsov; M. Usman Iftikhar; Danny Weyns (CTSE@SIGSOFT FSE, 2015)

Model-Based Simulation at Runtime for Self-Adaptive Systems. - Danny Weyns; M. Usman Iftikhar (ICAC, 2016)

A Model Interpreter for Timed Automata. - M. Usman Iftikhar; Jonas Lundberg; Danny Weyns (ISoLA (1), 2016)

Rigorous Architectural Reasoning for Self-Adaptive Software Systems. - Nadeem Abbas; Jesper Andersson; Muhammad Usman Iftikhar; Danny Weyns (QRASA@WICSA, 2016)

ActivFORMS: A Runtime Environment for Architecture-Based Adaptation with Guarantees. - M. Usman Iftikhar; Danny Weyns (ICSA Workshops, 2017)

DeltaIoT: A Self-Adaptive Internet of Things Exemplar. - Muhammad Usman Iftikhar; Gowri Sankar Ramachandran; Pablo Bollansée; Danny Weyns; Danny Hughes 001 (SEAMS@ICSE, 2017)

DeltaIoT: A Real World Exemplar for Self-Adaptive Internet of Things (Artifact). - M. Usman Iftikhar; Gowri Sankar Ramachandran; Pablo Bollansée; Danny Weyns; Danny Hughes 001 (Dagstuhl Artifacts Ser., 2017)

A Model-Based Approach to Engineer Self-Adaptive Systems with Guarantees ; Een model-gebaseerde aanpak voor het ontwikkelen van zelf-adaptieve systemen met garanties. - Muhammad Usman Iftikhar (2017)

Applying Architecture-Based Adaptation to Automate the Management of Internet-of-Things. - Danny Weyns; M. Usman Iftikhar; Danny Hughes 001; Nelson Matthys (ECSA, 2018)

Effective Decision Making in Self-adaptive Systems Using Cost-Benefit Analysis at Runtime and Online Learning of Adaptation Spaces. - M. Jeroen Van Der Donckt; Danny Weyns; M. Usman Iftikhar; Sarpreet Singh Buttar (ENASE (Selected Papers), 2018)

Cost-Benefit Analysis at Runtime for Self-adaptive Systems Applied to an Internet of Things Application. - M. Jeroen Van Der Donckt; Danny Weyns; M. Usman Iftikhar; Ritesh Kumar Singh (ENASE, 2018)

ENTRUST: engineering trustworthy self-adaptive software with dynamic assurance cases. - Radu Calinescu; Danny Weyns; Simos Gerasimou; M. Usman Iftikhar; Ibrahim Habli; Tim Kelly (ICSE, 2018)

Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases. - Radu Calinescu; Danny Weyns; Simos Gerasimou; Muhammad Usman Iftikhar; Ibrahim Habli; Tim Kelly (IEEE Trans. Software Eng., 2018)

ActivFORMS: A Model-Based Approach to Engineer Self-Adaptive Systems. - Danny Weyns; M. Usman Iftikhar (CoRR, 2019)

Report on A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems. - Danny Weyns; M. Usman Iftikhar (CoRR, 2021)

ActivFORMS: A Formally Founded Model-based Approach to Engineer Self-adaptive Systems. - Danny Weyns; M. Usman Iftikhar (ACM Trans. Softw. Eng. Methodol., 2023)

Daily Crude Oil Prices Forecasting Using a Novel Hybrid Time Series Technique. - Hasnain Iftikhar; Moiz Qureshi; Paulo Canas Rodrigues; Muhammad Usman Iftikhar; Javier Linkolk López-Gonzales (IEEE Access, 2025)