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 条
  • [1] Formal Verification approaches of Self-adaptive Systems: A Survey
    Hachicha, Marwa
    Ben Halima, Riadh
    Kacem, Ahmed Hadj
    KNOWLEDGE-BASED AND INTELLIGENT INFORMATION & ENGINEERING SYSTEMS (KES 2019), 2019, 159 : 1853 - 1862
  • [2] Formal modeling of evolving self-adaptive systems
    Khakpour, Narges
    Jalili, Saeed
    Talcott, Carolyn
    Sirjani, Marjan
    Mousavi, MoharnmadReza
    SCIENCE OF COMPUTER PROGRAMMING, 2012, 78 (01) : 3 - 26
  • [3] A Formal Approach to Enforcing Consistency in Self-adaptive Systems
    Kacem, Najla Hadj
    Kacem, Ahmed Hadj
    Drira, Khalil
    SOFTWARE ARCHITECTURE, 2010, 6285 : 279 - +
  • [4] Formal Specification and Verification of Self-Adaptive Concurrent Systems
    Fakhir, Muhammad Ilyas
    Kazmi, Syed Asad Raza
    IEEE ACCESS, 2018, 6 : 34790 - 34803
  • [5] A survey on engineering approaches for self-adaptive systems
    Krupitzer, Christian
    Roth, Felix Maximilian
    VanSyckel, Sebastian
    Schiele, Gregor
    Becker, Christian
    PERVASIVE AND MOBILE COMPUTING, 2015, 17 : 184 - 206
  • [6] A Survey of Methodology in Self-Adaptive Systems Research
    Porter, Barry
    Rodrigues Filho, Roberto
    Dean, Paul
    2020 IEEE INTERNATIONAL CONFERENCE ON AUTONOMIC COMPUTING AND SELF-ORGANIZING SYSTEMS (ACSOS 2020), 2020, : 168 - 177
  • [7] A Survey on Human in the Loop for Self-Adaptive Systems
    Tavares, Geova Junio da Silva
    Rosa, Nelson Souto
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2024, 30 (12) : 1626 - 1644
  • [8] Formal Design and Verification of Self-Adaptive Systems with Decentralized Control
    Arcaini, Paolo
    Riccobene, Elvinia
    Scandurra, Patrizia
    ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS, 2017, 11 (04)
  • [9] Towards a Formal Approach for Prototyping and Verifying Self-Adaptive Systems
    Ingles-Romero, Juan F.
    Vicente-Chicote, Cristina
    ADVANCED INFORMATION SYSTEMS ENGINEERING WORKSHOPS (CAISE), 2013, 148 : 432 - 446
  • [10] Towards Formal Planning for Quality-aware Self-Adaptive Systems
    Maatougui, Esma
    Bouanaka, Chafia
    Zeghib, Nadia
    2017 IEEE 26TH INTERNATIONAL CONFERENCE ON ENABLING TECHNOLOGIES - INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES (WETICE), 2017, : 66 - 68
12345