Towards modeling and runtime verification of self-organizing systems-Reference-Cited by-同舟云学术

Towards modeling and runtime verification of self-organizing systems

Published:2016-02 Issue: Volume:44 Page:230-244
ISSN:0957-4174
Container-title:Expert Systems with Applications
language:en
Short-container-title:Expert Systems with Applications

Author:

Abolhasanzadeh Bahareh,Jalili Saeed^ORCID

Publisher

Elsevier BV

Subject

Artificial Intelligence,Computer Science Applications,General Engineering

Reference59 articles.

1. Abolhasanzadeh, B., & Jalili, S. (2014). Policies of self-organizing traffic managment system in PonderTalk. https://github.com/Abolhasanzadeh/Self-organizing-Traffic-Management-System-s-policies.git.

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

3. A formal specification for organizational adaptation;Aldewereld,2011

4. Biologically inspired self-governance and self-organisation for autonomic networks;Balasubramaniam,2006

5. Monitoring of real-time properties;Bauer,2006

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

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

2. A Logical Framework for Reasoning About Local and Global Properties of Collective Systems;Quantitative Evaluation of Systems;2022

3. Emergence-based self-advising in strong self-organizing systems: A case study in NASA ANTS mission;Expert Systems with Applications;2021-11

4. Adaptive embedded systems: a systematic review;International Journal of Autonomous and Adaptive Communications Systems;2020

5. In-depth research on qualitative simulation of coal miners’ group safety behaviors;Safety Science;2019-03