M. Usman Iftikhar

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 12

Top Topics

Classifier Systems

Runtime Environment

Top Venues

ACM Trans. Softw. Eng. Methodol.

Publications

Danny Weyns, M. Usman Iftikhar
ActivFORMS: A Formally Founded Model-based Approach to Engineer Self-adaptive Systems. ACM Trans. Softw. Eng. Methodol. 32 (1) (2023)
Danny Weyns, M. Usman Iftikhar
Report on A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems. CoRR (2021)
Danny Weyns, M. Usman Iftikhar
ActivFORMS: A Model-Based Approach to Engineer Self-Adaptive Systems. CoRR (2019)
Radu Calinescu, Danny Weyns, Simos Gerasimou, M. Usman Iftikhar, Ibrahim Habli, Tim Kelly
ENTRUST: engineering trustworthy self-adaptive software with dynamic assurance cases. ICSE (2018)
M. Jeroen Van Der Donckt, Danny Weyns, M. Usman Iftikhar, Sarpreet Singh Buttar
Effective Decision Making in Self-adaptive Systems Using Cost-Benefit Analysis at Runtime and Online Learning of Adaptation Spaces. ENASE (Selected Papers) (2018)
M. Jeroen Van Der Donckt, Danny Weyns, M. Usman Iftikhar, Ritesh Kumar Singh
Cost-Benefit Analysis at Runtime for Self-adaptive Systems Applied to an Internet of Things Application. ENASE (2018)
Danny Weyns, M. Usman Iftikhar, Danny Hughes, Nelson Matthys
Applying Architecture-Based Adaptation to Automate the Management of Internet-of-Things. ECSA (2018)
M. Usman Iftikhar, Danny Weyns
ActivFORMS: A Runtime Environment for Architecture-Based Adaptation with Guarantees. ICSA Workshops (2017)
Radu Calinescu, Simos Gerasimou, Ibrahim Habli, M. Usman Iftikhar, Tim Kelly, Danny Weyns
Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases. CoRR (2017)
M. Usman Iftikhar, Gowri Sankar Ramachandran, Pablo Bollansée, Danny Weyns, Danny Hughes
DeltaIoT: A Real World Exemplar for Self-Adaptive Internet of Things (Artifact). Dagstuhl Artifacts Ser. 3 (1) (2017)
Danny Weyns, M. Usman Iftikhar
Model-Based Simulation at Runtime for Self-Adaptive Systems. ICAC (2016)
M. Usman Iftikhar, Jonas Lundberg, Danny Weyns
A Model Interpreter for Timed Automata. ISoLA (1) (2016)
Stepan Shevtsov, M. Usman Iftikhar, Danny Weyns
SimCA vs ActivFORMS: comparing control- and architecture-based adaptation on the TAS exemplar. CTSE@SIGSOFT FSE (2015)
M. Usman Iftikhar, Danny Weyns
Assuring system goals under uncertainty with active formal models of self-adaptation. ICSE Companion (2014)
M. Usman Iftikhar, Danny Weyns
ActivFORMS: active formal models for self-adaptation. SEAMS (2014)
Danny Weyns, M. Usman Iftikhar, Joakim Söderlund
Do external feedback loops improve the design of self-adaptive systems? a controlled experiment. SEAMS (2013)
Danny Weyns, M. Usman Iftikhar, Sam Malek, Jesper Andersson
Claims and supporting evidence for self-adaptive systems: A literature study. SEAMS (2012)
Danny Weyns, M. Usman Iftikhar, Didac Gil de la Iglesia, Tanvir Ahmad
A survey of formal methods in self-adaptive systems. C3S2E (2012)
M. Usman Iftikhar, Danny Weyns
A Case Study on Formal Verification of Self-Adaptive Behaviors in a Decentralized System FOCLASA (2012)