Angelo Ferrando

Angelo Ferrando

Università degli Studi di Genova - Genoa / Italy
Engineering & Technology / Computer Science
AD Scientific Index ID: 1779568
University of Genoa
person_outline Angelo Ferrando's MOST POPULAR ARTICLES
1-) A review of agent-based programming for multi-agent systemsRC Cardoso, A FerrandoComputers 10 (2), 16, 2021532021
2-) ROSMonitoring: a runtime verification framework for ROSA Ferrando, RC Cardoso, M Fisher, D Ancona, L Franceschini, ...Towards Autonomous Robotic Systems: 21st Annual Conference, TAROS 2020 …, 2020562020
3-) Parametric Runtime Verification of Multiagent Systems.D Ancona, A Ferrando, V MascardiAAMAS 17, 1457-1459, 2017562017
4-) Comparing trace expressions and linear temporal logic for runtime verificationD Ancona, A Ferrando, V MascardiTheory and practice of formal methods: Essays dedicated to Frank de Boer on …, 2016572016
5-) An overview of verification and validation challenges for inspection robotsM Fisher, RC Cardoso, EC Collins, C Dadswell, LA Dennis, C Dixon, ...Robotics 10 (2), 67, 2021542021