1. Ahishakiye, F., Jaksic, S., Lange, F.D., Schmitz, M., Stolz, V., Thoma, D.: Non-intrusive MC/DC measurement based on traces. In: Méry, D., Qin, S. (eds.) 2019 International Symposium on Theoretical Aspects of Software Engineering, TASE 2019, Guilin, China, July 29–31, 2019, pp. 86–92. IEEE (2019). https://doi.org/10.1109/TASE.2019.00-15
2. Ahrendt, W., Artho, C., Colombo, C., Falcone, Y., Krstić, S., Leucker, M., Lorber, F., Lourenço, J., Mariani, L., Sánchez, C., Schneider, G., Stolz, V.: COST action IC1402 ARVI: runtime verification beyond monitoring—activity report of working group 1. CoRR (2019). arXiv:1902.03776
3. Akidau, T., Bradshaw, R., Chambers, C., Chernyak, S., Fernández-Moctezuma, R., Lax, R., McVeety, S., Mills, D., Perry, F., Schmidt, E., Whittle, S.: The dataflow model: a practical approach to balancing correctness, latency, and cost in massive-scale, unbounded, out-of-order data processing. PVLDB 8(12), 1792–1803 (2015)
4. Ancona, D., Ferrando, A., Mascardi, V.: Comparing trace expressions and linear temporal logic for runtime verification. In: Ábrahám, E., Bonsangue, M.M., Johnsen E.B. (eds.) Theory and Practice of Formal Methods—Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, LNCS, vol. 9660, pp. 47–64. Springer (2016)
5. Ancona, D., Ferrando, A., Mascardi, V.: Parametric runtime verification of multiagent systems. In: Larson, K., Winikoff, M., Das, S., Durfee, E.H. (eds.) Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8–12, 2017, pp. 1457–1459. ACM (2017)