M. Usman Iftikhar

Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases

Radu Călinescu, Danny Weyns, Simos Gerasimou et al. · IEEE Transactions on Software Engineering · 2017 · 178 citations · Full text

Computing, Computer Science, Systems Engineering +16

A survey of formal methods in self-adaptive systems

Danny Weyns, M. Usman Iftikhar, Dídac Gil de la Iglesia et al. · 2012 · 168 citations

Computing, Computer Engineering, Computer Science +13

ActivFORMS: active formal models for self-adaptation

M. Usman Iftikhar, Danny Weyns · 2014 · 150 citations · Full text

Engineering, Autonomous Systems, Computer Systems +8

Dynamic modeling of proton exchange membrane fuel cell using non-integer derivatives

M. Usman Iftikhar, Delphine Riu, Florence Druart et al. · Journal of Power Sources · 2006 · 79 citations

Engineering, Chemical Engineering, Computational Engineering +15

DeltaIoT: A Self-Adaptive Internet of Things Exemplar

M. Usman Iftikhar, Gowri Ramachandran, Pablo Bollansée et al. · 2017 · 78 citations

Computing, Computer Engineering, Computer Systems +13