Synthesis and Verification of Self-aware Computing Systems-Reference-Cited by-同舟云学术

Synthesis and Verification of Self-aware Computing Systems

Published:2017 Issue: Volume: Page:337-373
ISSN:
Container-title:Self-Aware Computing Systems
language:
Short-container-title:

Author:

Calinescu Radu,Autili Marco,Cámara Javier,Di Marco Antinisca,Gerasimou Simos,Inverardi Paola,Perucci Alexander,Jansen Nils,Katoen Joost-Pieter,Kwiatkowska Marta,Mengshoel Ole J.,Spalazzese Romina,Tivoli Massimo

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-47474-8_11

Reference69 articles.

1. Rajeev Alur, Thomas A. Henzinger, and Orna Kupferman. Alternating-time temporal logic. J. ACM, 49(5):672–713, 2002.

2. Jesper Andersson, Rogério de Lemos, Sam Malek, and Danny Weyns. Modeling dimensions of self-adaptive software systems. In SEfSAS, pages 27–47. 2009.

3. M. Autili, P. Inverardi, and M. Tivoli. Automated synthesis of service choreographies. IEEE Software, 32(1):50–57, 2015.

4. Marco Autili, Davide Di Ruscio, Amleto Di Salle, and Alexander Perucci. CHOReOSynt: Enforcing choreography realizability in the future internet. In FSE’14, pages 723–726, 2014.

5. Marco Autili, Amleto Di Salle, and Massimo Tivoli. Synthesis of resilient choreographies. In Software Engineering for Resilient Systems, pages 94–108. 2013.

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

1. Fast Parametric Model Checking With Applications to Software Performability Analysis;IEEE Transactions on Software Engineering;2023-10-01

2. Towards a Framework for Adapting Machine Learning Components;2022 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS);2022-09

3. Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies;2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE);2021-11

4. Applying Machine Learning in Self-adaptive Systems;ACM Transactions on Autonomous and Adaptive Systems;2021-09-30

5. Interval change-point detection for runtime probabilistic model checking;Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering;2020-12-21