Segui
Angelo Ferrando
Titolo
Citata da
Citata da
Anno
A review of agent-based programming for multi-agent systems
RC Cardoso, A Ferrando
Computers 10 (2), 16, 2021
782021
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
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
462019
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
452020
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
412021
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
332018
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
302016
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
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
162014
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
152023
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
152019
Parametric trace expressions for runtime verification of Java-like programs
D Ancona, A Ferrando, L Franceschini, V Mascardi
Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs …, 2017
152017
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
132022
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20