Author:
Cotroneo Domenico,De Simone Luigi,Liguori Pietro,Natella Roberto,Scibelli Angela
Publisher
Springer International Publishing
Reference36 articles.
1. Aguilera, M.K., Mogul, J.C., Wiener, J.L., Reynolds, P., Muthitacharoen, A.: Performance debugging for distributed systems of black boxes. ACM SIGOPS Oper. Syst. Rev. 37(5), 74–89 (2003)
2. Arlat, J., Fabre, J.C., Rodríguez, M.: Dependability of cots microkernel-based systems. IEEE Trans. Comput. 51(2), 138–163 (2002)
3. Barham, P., Isaacs, R., Mortier, R., Narayanan, D.: Magpie: online modelling and performance-aware systems. In: Proceedings of the HotOS, pp. 85–90 (2003)
4. Bartocci, E., Falcone, Y.: Lectures on Runtime Verification: Introductory and Advanced Topics, vol. 10457. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-75632-5
5. Bianculli, D., Ghezzi, C., Pautasso, C., Senti, P.: Specification patterns from research to industry: a case study in service-based applications. In: Proceedings of the ICSE, pp. 968–976. IEEE (2012)