1. Ancona, D., Briola, D., Ferrando, A., Mascardi, V.: Global protocols as first class entities for self-adaptive agents. In: AAMAS 2015, pp. 1019–1029. ACM (2015)
2. Ancona, D., Ferrando, A., Franceschini, L., Mascardi, V.: Coping with bad agent interaction protocols when monitoring partially observable multiagent systems. In: PAAMS 2018 (2018)
3. Ancona, D., Ferrando, A., Mascardi, V.: Comparing trace expressions and linear temporal logic for runtime verification. In: TPFM 2016. Springer (2016)
4. Ancona, D., Ferrando, A., Mascardi, V.: Parametric runtime verification of multiagent systems. In: AAMAS 2017, pp. 1457–1459. ACM (2017)
5. Ferrando, A.: RIVERtools: an IDE for RuntIme VERification of MASs, and beyond. In: PRIMA Demo Track 2017 (2017)