| A review of agent-based programming for multi-agent systems RC Cardoso, A Ferrando Computers 10 (2), 16, 2021 | 119 | 2021 |
| ROSMonitoring: a runtime verification framework for ROS A Ferrando, RC Cardoso, M Fisher, D Ancona, L Franceschini, ... Towards Autonomous Robotic Systems: 21st Annual Conference, TAROS 2020 …, 2020 | 66 | 2020 |
| Parametric Runtime Verification of Multiagent Systems. D Ancona, A Ferrando, V Mascardi AAMAS 17, 1457-1459, 2017 | 57 | 2017 |
| Comparing trace expressions and linear temporal logic for runtime verification D Ancona, A Ferrando, V Mascardi Theory and practice of formal methods: Essays dedicated to Frank de Boer on …, 2016 | 57 | 2016 |
| An overview of verification and validation challenges for inspection robots M Fisher, RC Cardoso, EC Collins, C Dadswell, LA Dennis, C Dixon, ... Robotics 10 (2), 67, 2021 | 55 | 2021 |
| Engineering multi-agent systems: State of affairs and the road ahead V Mascardi, D Weyns, A Ricci, CB Earle, A Casals, M Challenger, ... ACM SIGSOFT Software Engineering Notes 44 (1), 18-28, 2019 | 51 | 2019 |
| Global protocols as first class entities for self-adaptive agents D Ancona, D Briola, A Ferrando, V Mascardi Proceedings of the 2015 International Conference on Autonomous Agents and …, 2015 | 41 | 2015 |
| Heterogeneous verification of an autonomous curiosity rover RC Cardoso, M Farrell, M Luckcuck, A Ferrando, M Fisher NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field …, 2020 | 40 | 2020 |
| Verifying and validating autonomous systems: Towards an integrated approach A Ferrando, LA Dennis, D Ancona, M Fisher, V Mascardi Runtime Verification: 18th International Conference, RV 2018, Limassol …, 2018 | 35 | 2018 |
| Decentralizing MAS monitoring with DecAMon A Ferrando, D Ancona, V Mascardi Proceedings of the 16th Conference on Autonomous Agents and MultiAgent …, 2017 | 35 | 2017 |
| RML: theory and practice of a domain specific language for runtime verification D Ancona, L Franceschini, A Ferrando, V Mascardi Science of Computer Programming 205, 102610, 2021 | 33 | 2021 |
| An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information F Belardinelli, A Ferrando, V Malvone Artificial Intelligence 316, 103847, 2023 | 32 | 2023 |
| An interface for programming verifiable autonomous agents in ROS RC Cardoso, A Ferrando, LA Dennis, M Fisher European Conference on Multi-Agent Systems, 191-205, 2020 | 32 | 2020 |
| FRIENDLY & KIND with your health: Human-friendly knowledge-intensive dynamic systems for the e-health domain F Aielli, D Ancona, P Caianiello, S Costantini, G De Gasperis, A Di Marco, ... Highlights of Practical Applications of Scalable Multi-Agent Systems. The …, 2016 | 30 | 2016 |
| On enactability of agent interaction protocols: Towards a unified approach A Ferrando, M Winikoff, S Cranefield, F Dignum, V Mascardi Engineering Multi-Agent Systems: 7th International Workshop, EMAS 2019 …, 2020 | 28 | 2020 |
| Recognising assumption violations in autonomous systems verification A Ferrando, LA Dennis, D Ancona, M Fisher, V Mascardi Proceedings of the 17th International Conference on Autonomous Agents and …, 2018 | 28 | 2018 |
| Towards the verification of strategic properties in multi-agent systems with imperfect information A Ferrando, V Malvone arXiv preprint arXiv:2112.13621, 2021 | 24 | 2021 |
| Towards the combination of model checking and runtime verification on multi-agent systems A Ferrando, V Malvone International Conference on Practical Applications of Agents and Multi-Agent …, 2022 | 23 | 2022 |
| Development planning based on interoperable agent driven simulation M Massei, S Poggi, M Agresta, A Ferrando Journal of Computational Science 5 (3), 395-407, 2014 | 22 | 2014 |
| Towards integrating formal verification of autonomous robots with battery prognostics and health management X Zhao, M Osborne, J Lantair, V Robu, D Flynn, X Huang, M Fisher, ... Software Engineering and Formal Methods: 17th International Conference, SEFM …, 2019 | 18 | 2019 |
Viviana MascardiAssociate Professor, University of Genova, ItalyAdresse e-mail validée de unige.it
