M. Usman Iftikhar

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