Get started
Author

M. Usman Iftikhar

Observed names: Iftikhar, M. Usman, Iftikhar, Muhammad Usman, Muhammad Usman Iftikhar, USMAN IFTIKHAR, Muhammad, Usman M. Iftikhar
Institution: Deakin University
Observed institutions: Supélec, Centre National de la Recherche Scientifique, Deakin University, Université Joseph Fourier, Linnaeus University, KU Leuven
ORCID: 0000-0002-1343-5834
Observed ORCID: 0000-0002-1343-5834
OpenAlex ID: A5054246588
Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases
2017 · Radu Calinescu, Danny Weyns, et al. · IEEE Transactions on Software Engineering · 193
PDF
A survey of formal methods in self-adaptive systems
2012 · Danny Weyns, M. Usman Iftikhar, et al. · International C* Conference on Computer Science & Software Engineering · 186
ActivFORMS: active formal models for self-adaptation
2014 · M. Usman Iftikhar, Danny Weyns · International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) · 158
Dynamic modeling of proton exchange membrane fuel cell using non-integer derivatives
2006 · M. Usman Iftikhar, D. Riu, et al. · Journal of Power Sources · 88
DeltaIoT: A Self-Adaptive Internet of Things Exemplar
2017 · Muhammad Usman Iftikhar, Gowri Sankar Ramachandran, et al. · International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) · 82
Claims and supporting evidence for self-adaptive systems: A literature study
2012 · Danny Weyns, M. Usman Iftikhar, et al. · International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) · 63
ActivFORMS: A Formally Founded Model-based Approach to Engineer Self-adaptive Systems
2022 · Danny Weyns, Usman M. Iftikhar · ACM Transactions on Software Engineering and Methodology · 54
PDF
Model-Based Simulation at Runtime for Self-Adaptive Systems
2016 · Danny Weyns, M. Usman Iftikhar · IEEE International Conference on Autonomic Computing (ICAC) · 54
PDF
Claims and supporting evidence for self-adaptive systems: a literature study
2012 · Danny Weyns, M. Usman Iftikhar, et al. · 54
Applying Architecture-Based Adaptation to Automate the Management of Internet-of-Things
2018 · Danny Weyns, M. Usman Iftikhar, et al. · Lecture notes in computer science · 49
Input Filter Damping Design for Control Loop Stability of DC-DC Converters
2007 · Muhammad Usman Iftikhar, Daniel Sadarnac, et al. · IEEE International Symposium on Industrial Electronics (ISIE) · 48
Do external feedback loops improve the design of self-adaptive systems? A controlled experiment
2013 · Danny Weyns, M. Usman Iftikhar, et al. · International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) · 37
Do external feedback loops improve the design of self-adaptive systems?: a controlled experiment
2013 · Danny Weyns, M. Usman Iftikhar, et al. · 36
Daily Crude Oil Prices Forecasting Using a Novel Hybrid Time Series Technique
2025 · Hasnain Iftikhar, Moiz Qureshi, et al. · IEEE Access · 26
A control strategy to stabilize PWM dc-dc converters with input filters using state-feedback and pole-placement
2008 · M. Usman Iftikhar, E. Godoy, et al. · International Telecommunications Energy Conference (INTELEC) · 26
Cost-Benefit Analysis at Runtime for Self-adaptive Systems Applied to an Internet of Things Application
2018 · M. Jeroen Van Der Donckt, Danny Weyns, et al. · International Conference on Evaluation of Novel Approaches to Software Engineering · 23
Theoretical and experimental investigation of averaged modeling of non-ideal PWM DC-DC converters operating in DCM
2008 · M. Usman Iftikhar, P. Lefranc, et al. · IEEE Power Electronics Specialists Conference (PESC) · 20
Conducted EMI Suppression and Stability Issues in Switch-mode DC-DC Converters
2006 · M. Usman Iftikhar, Daniel Sadarnac, et al. · IEEE International Multitopic Conference (INMIC) · 19
SimCA vs ActivFORMS: comparing control- and architecture-based adaptation on the TAS exemplar
2015 · Stepan Shevtsov, M. Usman Iftikhar, et al. · 18
ActivFORMS: A Model-Based Approach to Engineer Self-Adaptive Systems
2019 · Danny Weyns, M. Usman Iftikhar · arXiv (Cornell University) · 16
Effective Decision Making in Self-adaptive Systems Using Cost-Benefit Analysis at Runtime and Online Learning of Adaptation Spaces
2019 · Jeroen Van Der Donckt, Danny Weyns, et al. · Communications in computer and information science · 16
Maintenance 4.0 Framework Using Self-Adaptive Software Architecture
2017 · Algabroun, Hatem, Iftikhar, M. Usman, et al. · Zenodo (CERN European Organization for Nuclear Research) · 12
A Model Interpreter for Timed Automata
2016 · M. Usman Iftikhar, Jonas Lundberg, et al. · Lecture notes in computer science · 12
PDF
ActivFORMS: A Runtime Environment for Architecture-Based Adaptation with Guarantees
2017 · M. Usman Iftikhar, Danny Weyns · IEEE International Conference on Software Architecture Companion (ICSA-C) · 11
ENTRUST
2018 · Radu Calinescu, Danny Weyns, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 10
Works count: 43
Citation count: 1,358
H-index: 18
I10-index: 26
Year
Topic
Type