Addressing the uncertainty interaction problem in software-intensive systems-Reference-Cited by-同舟云学术

Addressing the uncertainty interaction problem in software-intensive systems

Published:2022-10-23 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems
language:
Short-container-title:

Author:

Cámara Javier¹,Calinescu Radu²,Cheng Betty H. C.³,Garlan David⁴,Schmerl Bradley⁴,Troya Javier¹,Vallecillo Antonio¹

Affiliation:

1. University of Málaga, Spain

2. University of York, United Kingdom

3. Michigan State University

4. Carnegie Mellon University

Funder

Air Force Research Laboratory

Spanish National Plan for Scientific and Technical Research and Innovation

European Commission

EPSRC

FCT

NASA

NSF (National Science Foundation)

Publisher

ACM

Link

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

Reference31 articles.

1. Naif Alasmari , Radu Calinescu , Colin Paterson , and Raffaela Mirandola . 2022. Quantitative verification with adaptive uncertainty reduction. J. Syst. Softw. 188 ( 2022 ). Naif Alasmari, Radu Calinescu, Colin Paterson, and Raffaela Mirandola. 2022. Quantitative verification with adaptive uncertainty reduction. J. Syst. Softw. 188 (2022).

2. Elias Alevizos , Anastasios Skarlatidis , Alexander Artikis , and Georgios Paliouras . 2017. Probabilistic Complex Event Recognition: A Survey. ACM Comput. Surv. 50, 5 ( 2017 ), 71:1--71:31. Elias Alevizos, Anastasios Skarlatidis, Alexander Artikis, and Georgios Paliouras. 2017. Probabilistic Complex Event Recognition: A Survey. ACM Comput. Surv. 50, 5 (2017), 71:1--71:31.

3. Aitor Arrieta . 2021. Multi-Fidelity Digital Twins: a Means for Better Cyber-Physical Systems Testing? CoRR abs/2101.05697 ( 2021 ). arXiv:2101.05697 Aitor Arrieta. 2021. Multi-Fidelity Digital Twins: a Means for Better Cyber-Physical Systems Testing? CoRR abs/2101.05697 (2021). arXiv:2101.05697

4. Efficient synthesis of robust models for stochastic systems

5. Formal Verification With Confidence Intervals to Establish Quality of Service Properties of Software Systems

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

1. Uncertainty Flow Diagrams: Towards a Systematic Representation of Uncertainty Propagation and Interaction in Adaptive Systems;Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems;2024-04-15

2. Predicting Nonfunctional Requirement Violations in Autonomous Systems;ACM Transactions on Autonomous and Adaptive Systems;2023-11-14

3. Early Validation and Verification of System Behaviour in Model-Based Systems Engineering: A Systematic Literature Review;ACM Transactions on Software Engineering and Methodology;2023-11-07

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

5. Architecture-Based Uncertainty Impact Analysis to Ensure Confidentiality;2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS);2023-05