Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Aldini, A.: Formal Approach to Design and Automatic Verification of Cooperation-Based Networks. Journal on Advances in Internet Technology 6, 42–56 (2013)
2. Aldini, A., Bogliolo, A.: Modeling and Verification of Cooperation Incentive Mechanisms in User-Centric Wireless Communications. In: Rawat, D., Bista, B., Yan, G. (eds.) Security, Privacy, Trust, and Resource Management in Mobile and Wireless Communications, pp. 432–461. IGI Global (2014)
3. Aldini, A., Bernardo, M., Corradini, F.: A Process Algebraic Approach to Software Architecture Design. Springer (2010)
4. Lecture Notes in Computer Science;A. Aldini,2011
5. Baier, C., Cloth, L., Haverkort, B., Hermanns, H., Katoen, J.-P.: Performability Assessment by Model Checking of Markov Reward Models. Formal Methods in System Design 36, 1–36 (2010)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Model checking of robustness properties in trust and reputation systems;Future Generation Computer Systems;2020-07
2. Modeling trust and reputation systems in hostile environments;Future Generation Computer Systems;2019-10
3. Swapsies on the Internet;Proceedings of the 10th ACM Workshop on Programming Languages and Analysis for Security;2015-07-04