Author:
Autili Marco,Cortellessa Vittorio,Di Ruscio Davide,Inverardi Paola,Pelliccione Patrizio,Tivoli Massimo
Publisher
Springer Berlin Heidelberg
Reference45 articles.
1. Lecture Notes in Computer Science;E. Asarin,1995
2. Lecture Notes in Computer Science;M. Autili,2009
3. Lecture Notes in Computer Science;M. Autili,2007
4. Autili, M., Cortellessa, V., Di Ruscio, D., Inverardi, P., Pelliccione, P., Tivoli, M.: Eagle: engineering software in the ubiquitous globe by leveraging uncertainty. In: Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering, ESEC/FSE 2011, pp. 488–491. ACM, New York (2011)
5. Baier, C., Größer, M., Leucker, M., Bollig, B., Ciesinski, F.: Controller synthesis for probabilistic systems (extended abstract). In: IFIP TCS 2004, vol. 155 (2004)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. When and Why Do Software Developers Face Uncertainty?;2019 IEEE 19th International Conference on Software Quality, Reliability and Security (QRS);2019-07
2. Modular Programming and Reasoning for Living with Uncertainty;Communications in Computer and Information Science;2019
3. iArch-U: Interface-Centric Integrated Uncertainty-Aware Development Environment;2017 IEEE/ACM 9th International Workshop on Modelling in Software Engineering (MiSE);2017-05
4. Perpetual Assurances for Self-Adaptive Systems;Software Engineering for Self-Adaptive Systems III. Assurances;2017
5. A Tool-Supported Methodology for Validation and Refinement of Early-Stage Domain Models;IEEE Transactions on Software Engineering;2016-01-01