Formal modeling of evolving self-adaptive systems-Reference-Cited by-同舟云学术

Formal modeling of evolving self-adaptive systems

Published:2012-11 Issue:1 Volume:78 Page:3-26
ISSN:0167-6423
Container-title:Science of Computer Programming
language:en
Short-container-title:Science of Computer Programming

Author:

Khakpour Narges,Jalili Saeed,Talcott Carolyn,Sirjani Marjan,Mousavi MohammadReza

Publisher

Elsevier BV

Subject

Software

Reference42 articles.

1. Autonomic computing;IBM Syst. J.,2003

2. From model-based design to formal verification of adaptive embedded systems;Adler,2007

3. Modeling dimensions of self-adaptive software systems;Andersson,2009

4. Formalizing adaptation on-the-fly;Andova;Electr. Notes Theoret. Comput. Sci.,2009

5. Richard Anthony, Cecilia Ekelin, Policy-driven self-management for an automotive middleware, in: Hot Topics in Autonomic Computing on Hot Topics in Autonomic Computing, Berkeley, CA, USA, 2007. pp. 55–64 (USENIX Association).

Cited by 37 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Moral and formal model-based control strategy for autonomous vehicles at traffic-light-free intersections;Smart Construction and Sustainable Cities;2024-07-09

2. Actors Upgraded for Variability, Adaptability, and Determinism;Lecture Notes in Computer Science;2024

3. Self-adaptive systems: A systematic literature review across categories and domains;Information and Software Technology;2022-08

4. Modeling Autonomic Systems;International Journal of Software Innovation;2022-07-13

5. Designing Cyber-Physical Systems for Runtime Self-Adaptation: Knowing More about What We Miss ...;Journal of Integrated Design and Process Science;2022-05-30