Formal Verification approaches of Self-adaptive Systems: A Survey-Reference-Cited by-同舟云学术

Formal Verification approaches of Self-adaptive Systems: A Survey

Published:2019 Issue: Volume:159 Page:1853-1862
ISSN:1877-0509
Container-title:Procedia Computer Science
language:en
Short-container-title:Procedia Computer Science

Author:

Hachicha Marwa,Halima Riadh Ben,Kacem Ahmed Hadj

Publisher

Elsevier BV

Subject

General Engineering

Reference44 articles.

1. Learning i/o automata, in: Gastin, P., Laroussinie, F. (Eds.), CONCUR 2010 - Concurrency Theory, Berlin;Aarts,2010

2. Simsota: Engineering and simulating feedback loops for self-adaptive systems, in: Proceedings of the International C* Conference on Computer Science and Software Engineering, New York, NY;Abeywickrama,2013

3. Model checking goal-oriented requirements for self-adaptive systems, in: Proceedings of the 2012 IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems, Washington, DC;Abeywickrama,2012

4. Abrial, J.R., 2010. Modeling in Event-B: System and Software Engineering. 1st ed., New York, NY, USA.

5. From Model-Based Design to Formal Verification of Adaptive Embedded Systems. Berlin;Adler,2007

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

1. Modelling Adaptive Systems with Maude Nets-within-Nets;Lecture Notes in Networks and Systems;2024

2. Formal Modeling and Verification of Industrial Robotic Arm - A Case Study;2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security Companion (QRS-C);2023-10-22

3. Maude Specification of Nets-Within-Nets: A Formal Model of Adaptable Distributed Systems;Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing;2023-03-27

4. Awareness requirement and performance management for adaptive systems: a survey;The Journal of Supercomputing;2023-01-19

5. Effectiveness of Pre-computed Knowledge in Self-adaptation - A Robustness Study;Computer Performance Engineering;2023