| A survey of formal methods in self-adaptive systems D Weyns, MU Iftikhar, DG De La Iglesia, T Ahmad Proceedings of the Fifth International C* Conference on Computer Science and …, 2012 | 197 | 2012 |
| Activforms: Active formal models for self-adaptation MU Iftikhar, D Weyns Proceedings of the 9th International Symposium on Software Engineering for …, 2014 | 170 | 2014 |
| Engineering trustworthy self-adaptive software with dynamic assurance cases R Calinescu, D Weyns, S Gerasimou, MU Iftikhar, I Habli, T Kelly IEEE Transactions on Software Engineering 44 (11), 1039-1069, 2017 | 132 | 2017 |
| Claims and supporting evidence for self-adaptive systems: A literature study D Weyns, MU Iftikhar, S Malek, J Andersson 2012 7th International Symposium on Software Engineering for Adaptive and …, 2012 | 93 | 2012 |
| Deltaiot: A self-adaptive internet of things exemplar MU Iftikhar, GS Ramachandran, P Bollansée, D Weyns, D Hughes 2017 IEEE/ACM 12th International Symposium on Software Engineering for …, 2017 | 73 | 2017 |
| Do external feedback loops improve the design of self-adaptive systems? a controlled experiment D Weyns, MU Iftikhar, J Söderlund 2013 8th International Symposium on Software Engineering for Adaptive and …, 2013 | 71 | 2013 |
| A case study on formal verification of self-adaptive behaviors in a decentralized system MU Iftikhar, D Weyns arXiv preprint arXiv:1208.4635, 2012 | 71 | 2012 |
| Model-based simulation at runtime for self-adaptive systems D Weyns, U Iftikhar Proceeding Models at Runtime, Würzburg 2016, 1-9, 2016 | 58 | 2016 |
| Applying architecture-based adaptation to automate the management of internet-of-things D Weyns, MU Iftikhar, D Hughes, N Matthys European Conference on Software Architecture, 49-67, 2018 | 45 | 2018 |
| SimCA vs ActivFORMS: comparing control-and architecture-based adaptation on the TAS exemplar S Shevtsov, MU Iftikhar, D Weyns Proceedings of the 1st international workshop on control theory for software …, 2015 | 21 | 2015 |
| Maintenance 4.0 framework using self: Adaptive software architecture H Algabroun, MU Iftikhar, B Al-Najjar, D Weyns Journal of Maintenance Engineering 2, 280-293, 2018 | 18 | 2018 |
| Cost-Benefit Analysis at Runtime for Self-adaptive Systems Applied to an Internet of Things Application. MJ Van Der Donckt, D Weyns, MU Iftikhar, RK Singh ENASE, 478-490, 2018 | 17 | 2018 |
| ActivFORMS: A runtime environment for architecture-based adaptation with guarantees MU Iftikhar, D Weyns 2017 IEEE International Conference on Software Architecture Workshops (ICSAW …, 2017 | 15 | 2017 |
| Activforms: A model-based approach to engineer self-adaptive systems D Weyns, MU Iftikhar arXiv preprint arXiv:1908.11179, 2019 | 14 | 2019 |
| A model interpreter for timed automata MU Iftikhar, J Lundberg, D Weyns International Symposium on Leveraging Applications of Formal Methods, 243-258, 2016 | 13 | 2016 |
| Rigorous architectural reasoning for self-adaptive software systems N Abbas, J Andersson, MU Iftikhar, D Weyns 2016 Qualitative Reasoning about Software Architectures (QRASA), 11-18, 2016 | 11 | 2016 |
| Assuring system goals under uncertainty with active formal models of self-adaptation MU Iftikhar, D Weyns Companion Proceedings of the 36th International Conference on Software …, 2014 | 8 | 2014 |
| Towards runtime statistical model checking for self-adaptive systems MU Iftikhar, D Weyns CW Reports, 2016 | 6 | 2016 |
| Effective decision making in self-adaptive systems using cost-benefit analysis at runtime and online learning of adaptation spaces JVD Donckt, D Weyns, MU Iftikhar, SS Buttar International Conference on Evaluation of Novel Approaches to Software …, 2018 | 5 | 2018 |
| Deltaiot: A real world exemplar for self-adaptive internet of things (artifact) MU Iftikhar, GS Ramachandran, P Bollansée, D Weyns, D Hughes Dagstuhl Artifacts Series 3 (1), 4, 2017 | 4 | 2017 |
Danny WeynsKatholieke Universiteit LeuvenVerified email at kuleuven.be
