A learning approach to enhance assurances for real-time self-adaptive systems-Reference-Cited by-同舟云学术

A learning approach to enhance assurances for real-time self-adaptive systems

Published:2018-05-28 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems
language:
Short-container-title:

Author:

Rodrigues Arthur¹,Caldas Ricardo Diniz¹,Rodrigues Genaína Nunes¹,Vogel Thomas²,Pelliccione Patrizio³

Affiliation:

1. University of Brasília, Brasília, DF, Brazil

2. Humboldt-Universität zu Berlin Berlin, Germany

3. University of Gothenburg, Gothenburg, Sweden

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3194133.3194147

Reference32 articles.

1. A goal-based framework for contextual requirements modeling and analysis

2. E. Alpaydin. 2014. Introduction to Machine Learning. MIT Press. E. Alpaydin. 2014. Introduction to Machine Learning. MIT Press.

3. Christel Baier and Joost-Pieter Katoen. 2008. Principles of Model Checking (Representation and Mind Series). The MIT Press. Christel Baier and Joost-Pieter Katoen. 2008. Principles of Model Checking (Representation and Mind Series). The MIT Press.

4. Gerd Behrmann Alexandre David and Kim G. Larsen. 2006. A Tutorial on Uppaal 4.0. (2006). Gerd Behrmann Alexandre David and Kim G. Larsen. 2006. A Tutorial on Uppaal 4.0. (2006).

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

1. Towards a Research Agenda for Understanding and ManagingUncertainty in Self-Adaptive Systems;ACM SIGSOFT Software Engineering Notes;2023-10-13

2. A Modeling Strategy for the Verification of Context-Oriented Chatbot Conversational Flows via Model Checking;JUCS - Journal of Universal Computer Science;2023-07-28

3. Runtime Verification of Self-Adaptive Systems with Changing Requirements;2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS);2023-05

4. Goal Controller Synthesis for Self-Adaptive Systems;2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE);2023-05

5. On the Current State of Privacy Risks in Software Requirement Elicitation Techniques;Protecting User Privacy in Web Search Utilization;2023-03-03