A survey of formal methods in self-adaptive systems

被引：0
|
作者：
Department of Computer Science, Linnaeus University, Växjö, Sweden [1 ]
机构：
来源：
ACM Int. Conf. Proc. Ser. | / 67-79期
关键词：
Compendex;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Model checking
引用
收藏
相关论文
共 50 条
  • [31] Formal Modelling of Real-Time Self-Adaptive Multi-Agent Systems
    Qasim, Awais
    Kazmi, Syed Asad Raza
    INTELLIGENT AUTOMATION AND SOFT COMPUTING, 2019, 25 (01): : 49 - 63
  • [32] MAPE-K Formal Templates to Rigorously Design Behaviors for Self-Adaptive Systems
    de la Iglesia, Didac Gil
    Weyns, Danny
    ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS, 2015, 10 (03)
  • [33] Correction to: Formal specification and verification of decentralized self-adaptive systems using symmetric nets
    Matteo Camilli
    Lorenzo Capra
    Discrete Event Dynamic Systems, 2022, 32 : 641 - 641
  • [34] FREQUENCY METHODS OF INVESTIGATING THE DYNAMICS OF SEARCHLESS SELF-ADAPTIVE SYSTEMS.
    Yadykin, I.B.
    Engineering Cybernetics (English translation of Tekhnicheskaya Kibernetika), 1973, 11 (05): : 875 - 884
  • [35] Self-adaptive Traits in Collective Adaptive Systems
    Phan Cong Vinh
    Nguyen Thanh Tung
    NATURE OF COMPUTATION AND COMMUNICATION, 2015, 144 : 63 - 72
  • [36] Self-adaptive Architectures of Building Management Systems: Approaches, Methods, Algorithms
    Andrushevich, Aliaksei
    Salomon, Ralf
    Klapproth, Alexander
    CONSTRUCTURING AMBIENT INTELLIGENCE, 2012, 277 : 302 - +
  • [37] Self-adaptive evolutionary algorithm based methods for quantification in metabolic systems
    Yang, J
    Wongsa, S
    Kadirkamanathan, V
    Billings, SA
    Wright, PC
    PROCEEDINGS OF THE 2004 IEEE SYMPOSIUM ON COMPUTATIONAL INTELLIGENCE IN BIOINFORMATICS AND COMPUTATIONAL BIOLOGY, 2004, : 260 - 267
  • [38] Self-adaptive Container Deployment in the Fog: A Survey
    Cardellini, Valeria
    Lo Presti, Francesco
    Nardelli, Matteo
    Rossi, Fabiana
    ALGORITHMIC ASPECTS OF CLOUD COMPUTING (ALGOCLOUD 2019), 2020, 12041 : 77 - 102
  • [39] Understanding Uncertainty in Self-adaptive Systems
    Calinescu, Radu
    Mirandola, Raffaela
    Perez-Palacin, Diego
    Weyns, Danny
    2020 IEEE INTERNATIONAL CONFERENCE ON AUTONOMIC COMPUTING AND SELF-ORGANIZING SYSTEMS (ACSOS 2020), 2020, : 242 - 251
  • [40] TOWARDS SELF-ADAPTIVE INTERFACE SYSTEMS
    INNOCENT, PR
    INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES, 1982, 16 (03): : 287 - 299
12345