Follow
Angelo Ferrando
Title
Cited by
Cited by
Year
A review of agent-based programming for multi-agent systems
RC Cardoso, A Ferrando
Computers 10 (2), 16, 2021
872021
Parametric Runtime Verification of Multiagent Systems.
D Ancona, A Ferrando, V Mascardi
AAMAS 17, 1457-1459, 2017
552017
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
532016
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
472020
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
472019
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
442021
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
412015
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
392020
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
342018
Decentralizing MAS monitoring with DecAMon
A Ferrando, D Ancona, V Mascardi
Proceedings of the 16th Conference on Autonomous Agents and MultiAgentá…, 2017
332017
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
312016
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
282020
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
282018
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
272021
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
252020
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
222023
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
182014
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
172019
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
162022
Towards the verification of strategic properties in multi-agent systems with imperfect information
A Ferrando, V Malvone
arXiv preprint arXiv:2112.13621, 2021
162021
The system can't perform the operation now. Try again later.
Articles 1–20