Angelo Ferrando

Publication Activity (10 Years)

Years Active: 2013-2022
Publications (10 Years): 57

Top Topics

Autonomous Systems

Computational Thinking

Imperfect Information

Top Venues

Publications

Angelo Ferrando, Vadim Malvone
Towards the Combination of Model Checking and Runtime Verification on Multi-Agent Systems. CoRR (2022)
Angelo Ferrando, Louise A. Dennis, Rafael C. Cardoso, Michael Fisher, Davide Ancona, Viviana Mascardi
Toward a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems. ACM Trans. Softw. Eng. Methodol. 30 (4) (2021)
Angelo Ferrando, Vadim Malvone
Towards the Verification of Strategic Properties in Multi-Agent Systems with Imperfect Information. CoRR (2021)
Rafael C. Cardoso, Angelo Ferrando, Daniela Briola, Claudio Menghi, Tobias Ahlbrecht
Special Issue: Agents and Robots for Reliable Engineered Autonomy. J. Sens. Actuator Networks 10 (3) (2021)
Michael Fisher, Rafael C. Cardoso, Emily C. Collins, Christopher Dadswell, Louise A. Dennis, Clare Dixon, Marie Farrell, Angelo Ferrando, Xiaowei Huang, Mike Jump, Georgios Kourtis, Alexei Lisitsa, Matt Luckcuck, Shan Luo, Vincent Pagé, Fabio Papacchini, Matt Webster
An Overview of Verification and Validation Challenges for Inspection Robots. Robotics 10 (2) (2021)
Marie Farrell, Nikos Mavrakis, Angelo Ferrando, Clare Dixon, Yang Gao
Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal. Frontiers Robotics AI 8 (2021)
Angelo Ferrando, Vadim Malvone
Strategy RV: A Tool to Approximate ATL Model Checking under Imperfect Information and Perfect Recall. AAMAS (2021)
Gianvito Losapio, Federico Minutoli, Viviana Mascardi, Angelo Ferrando
Smart Balancing of E-scooter Sharing Systems via Deep Reinforcement Learning. WOA (2021)
Rafael C. Cardoso, Angelo Ferrando
A Review of Agent-Based Programming for Multi-Agent Systems. Comput. 10 (2) (2021)
Michael Fisher, Angelo Ferrando, Rafael C. Cardoso
Increasing confidence in autonomous systems. VORTEX@ISSTA (2021)
Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini, Matt Luckcuck, Sven Linker, Terry R. Payne
MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest. CoRR (2021)
Angelo Ferrando, Vadim Malvone
Combine Model Checking and Runtime Verification in Multi-Agent Systems. ICTCS (2021)
Davide Ancona, Luca Franceschini, Angelo Ferrando, Viviana Mascardi
RML: Theory and practice of a domain specific language for runtime verification. Sci. Comput. Program. 205 (2021)
Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini
Automated Planning and BDI Agents: A Case Study. PAAMS (2021)
Sylvain Conchon, Giorgio Delzanno, Angelo Ferrando
Declarative Parameterized Verification of Distributed Protocols via the Cubicle Model Checker. Fundam. Informaticae 178 (4) (2021)
Angelo Ferrando, Rafael C. Cardoso
Towards Partial Monitoring: It is Always too Soon to Give Up. FMAS (2021)
Rafael C. Cardoso, Angelo Ferrando, Daniela Briola, Claudio Menghi, Tobias Ahlbrecht
Agents and Robots for Reliable Engineered Autonomy: A Perspective from the Organisers of AREA 2020. J. Sens. Actuator Networks 10 (2) (2021)
Angelo Ferrando, Rafael C. Cardoso
RVPLAN: a general purpose framework for replanning using runtime verification. VORTEX@ISSTA (2021)
Rafael C. Cardoso, John L. Michaloski, Craig Schlenoff, Angelo Ferrando, Louise A. Dennis, Michael Fisher
Agile Tasking of Robotic Systems with Explicit Autonomy. FLAIRS Conference (2021)
Angelo Ferrando, Giorgio Delzanno
Incrementally Predictive Runtime Verification. CILC (2021)
Davide Ancona, Angelo Ferrando, Viviana Mascardi
Can determinism and compositionality coexist in RML? EXPRESS/SOS (2020)
Rafael C. Cardoso, Angelo Ferrando, Louise A. Dennis, Michael Fisher
An Interface for Programming Verifiable Autonomous Agents in ROS. EUMAS/AT (2020)
Rafael C. Cardoso, Marie Farrell, Matt Luckcuck, Angelo Ferrando, Michael Fisher
Heterogeneous Verification of an Autonomous Curiosity Rover. CoRR (2020)
Giorgio Delzanno, Giovanna Guerrini, Viviana Mascardi, Luca Gelati, Vincenzo Petito, Francesca Vitali, Angelo Ferrando, Davide Ancona, Manuela Chessa, Nicoletta Noceti, Francesca Odone
Slow Rogaining: An Innovative Teamwork Model for Computer Science Education. UMAP (Adjunct Publication) (2020)
Angelo Ferrando, Rafael C. Cardoso, Michael Fisher, Davide Ancona, Luca Franceschini, Viviana Mascardi
ROSMonitoring: A Runtime Verification Framework for ROS. TAROS (2020)
Angelo Ferrando, Zeid Kootbally, Pavel Piliptchak, Rafael C. Cardoso, Craig Schlenoff, Michael Fisher
Runtime Verification of the ARIAC Competition: Can a Robot be Agile and Safe at the same time? AIRO@AI*IA (2020)
Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini
LFC: Combining Autonomous Agents and Automated Planning in the Multi-Agent Programming Contest. CoRR (2020)
Rafael C. Cardoso, Marie Farrell, Matt Luckcuck, Angelo Ferrando, Michael Fisher
Heterogeneous Verification of an Autonomous Curiosity Rover. NFM (2020)
Alessandro Biagetti, Angelo Ferrando, Viviana Mascardi
The DigForSim Agent Based Simulator of People Movements in Crime Scenes. PAAMS (2020)
Davide Ancona, Angelo Ferrando, Viviana Mascardi
Can determinism and compositionality coexist in RML? (extended version). CoRR (2020)
Xingyu Zhao, Matthew Osborne, Jenny Lantair, Valentin Robu, David Flynn, Xiaowei Huang, Michael Fisher, Fabio Papacchini, Angelo Ferrando
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management. CoRR (2019)
Angelo Ferrando, Michael Winikoff, Stephen Cranefield, Frank Dignum, Viviana Mascardi
On the Enactability of Agent Interaction Protocols: Toward a Unified Approach. CoRR (2019)
Angelo Ferrando, Michael Winikoff, Stephen Cranefield, Frank Dignum, Viviana Mascardi
On Enactability of Agent Interaction Protocols: Towards a Unified Approach. EMAS@AAMAS (2019)
Chiara Capone, Rafael H. Bordini, Viviana Mascardi, Giorgio Delzanno, Angelo Ferrando, Luca Gelati, Giovanna Guerrini
Smart RogAgent: Where Agents and Humans Team Up. PRIMA (2019)
Davide Ancona, Luca Franceschini, Angelo Ferrando, Viviana Mascardi
A Deterministic Event Calculus for Effective Runtime Verification. ICTCS (2019)
Angelo Ferrando
The early bird catches the worm: First verify, then monitor! Sci. Comput. Program. 172 (2019)
Xingyu Zhao, Matthew Osborne, Jenny Lantair, Valentin Robu, David Flynn, Xiaowei Huang, Michael Fisher, Fabio Papacchini, Angelo Ferrando
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management. SEFM (2019)
Luca Ciccone, Angelo Ferrando, Davide Ancona, Viviana Mascardi
Timed Trace Expressions. CILC (2019)
Angelo Ferrando, Michael Winikoff, Stephen Cranefield, Frank Dignum, Viviana Mascardi
On Enactability of Agent Interaction Protocols: Towards a Unified Approach. AAMAS (2019)
Sylvain Conchon, Giorgio Delzanno, Angelo Ferrando
Declarative Parameterized Verification of Topology-Sensitive Distributed Protocols. NETYS (2018)
Davide Ancona, Angelo Ferrando, Viviana Mascardi
Improving flexibility and dependability of remote patient monitoring with agent-oriented approaches. Int. J. Agent Oriented Softw. Eng. 6 (3/4) (2018)
Davide Ancona, Angelo Ferrando, Luca Franceschini, Viviana Mascardi
Coping with Bad Agent Interaction Protocols When Monitoring Partially Observable Multiagent Systems. PAAMS (2018)
Davide Ancona, Angelo Ferrando, Viviana Mascardi
Agents Interoperability via Conformance Modulo Mapping. WOA (2018)
Davide Ancona, Angelo Ferrando, Luca Franceschini, Viviana Mascardi
Managing Bad AIPs with RIVERtools. PAAMS (2018)
Angelo Ferrando, Louise A. Dennis, Davide Ancona, Michael Fisher, Viviana Mascardi
Verifying and Validating Autonomous Systems: Towards an Integrated Approach. RV (2018)
Angelo Ferrando, Louise A. Dennis, Davide Ancona, Michael Fisher, Viviana Mascardi
Recognising Assumption Violations in Autonomous Systems Verification. AAMAS (2018)
Angelo Ferrando, Davide Ancona, Viviana Mascardi
Decentralizing MAS Monitoring with DecAMon. AAMAS (2017)
Davide Ancona, Angelo Ferrando, Viviana Mascardi
Parametric Runtime Verification of Multiagent Systems. AAMAS (2017)
Vincenzo Del Fatto, Gabriella Dodero, Armin Bernhard, Angelo Ferrando, Davide Ancona, Viviana Mascardi, Robert Laurini, Giuseppe Roccasalva
Hackmytown: an Educational Experience on Smart Cities. IxD&A 32 (2017)
Davide Ancona, Angelo Ferrando, Luca Franceschini, Viviana Mascardi
Parametric Trace Expressions for Runtime Verification of Java-Like Programs. FTfJP@ECOOP (2017)
Davide Ancona, Angelo Ferrando, Viviana Mascardi
Comparing Trace Expressions and Linear Temporal Logic for Runtime Verification. Theory and Practice of Formal Methods (2016)
Alberto Tremori, Matteo Agresta, Angelo Ferrando
Simulation of autonomous systems in the extended marine domain. Int. J. Simul. Process. Model. 11 (1) (2016)
Angelo Ferrando
Automatic Partitions Extraction to Distribute the Runtime Verification of a Global Specification. DC@AI*IA (2016)
Angelo Ferrando, Davide Ancona, Viviana Mascardi
Monitoring Patients with Hypoglycemia Using Self-adaptive Protocol-Driven Agents: A Case Study. EMAS@AAMAS (2016)
Angelo Ferrando, Silvio Beux, Viviana Mascardi, Paolo Rosso
Identification of Disease Symptoms in Multilingual Sentences: An Ontology-Driven Approach. MultiLingMine@ECIR (2016)
Federica Aielli, Davide Ancona, Pasquale Caianiello, Stefania Costantini, Giovanni De Gasperis, Antinisca Di Marco, Angelo Ferrando, Viviana Mascardi
FRIENDLY & KIND with your Health: Human-Friendly Knowledge-INtensive Dynamic Systems for the e-Health Domain. PAAMS (Workshops) (2016)
Davide Ancona, Daniela Briola, Angelo Ferrando, Viviana Mascardi
MAS-DRiVe: a Practical Approach to Decentralized Runtime Verification of Agent Interaction Protocols. WOA (2016)
Davide Ancona, Daniela Briola, Angelo Ferrando, Viviana Mascardi
Global Protocols as First Class Entities for Self-Adaptive Agents. AAMAS (2015)
Angelo Ferrando
Parametric protocol-driven agents and their integration in JADE. CILC (2015)
Silvio Beux, Daniela Briola, Andrea Corradi, Giorgio Delzanno, Angelo Ferrando, Federico Frassetto, Giovanna Guerrini, Viviana Mascardi, Marco Oreggia, Francesca Pozzi, Alessandro Solimando, Armando Tacchella
Computational thinking for beginners: A successful experience using Prolog. CILC (2015)
Davide Ancona, Daniela Briola, Angelo Ferrando, Viviana Mascardi
Runtime verification of fail-uncontrolled and ambient intelligence systems: A uniform approach. Intelligenza Artificiale 9 (2) (2015)
Agostino G. Bruzzone, Luciano Dato, Angelo Ferrando
Simulation Exploration Experience: Providing Effective Surveillance and Defense for a Moon Base Against Threats from Outer Space. DS-RT (2014)
Marina Massei, Simonluca Poggi, Alberto Tremori, Angelo Ferrando
Innovative models for supporting operational planning. Int. J. Simul. Process. Model. 9 (3) (2014)
Marina Massei, Simonluca Poggi, Matteo Agresta, Angelo Ferrando
Development planning based on interoperable agent driven simulation. J. Comput. Sci. 5 (3) (2014)
Agostino G. Bruzzone, Francesca Madeo, Margherita Dallorto, Davide Poggi, Angelo Ferrando
Different modeling and simulation approaches applied to industrial process plants. SpringSim (EAIA) (2013)
Agostino G. Bruzzone, Marina Massei, Simonluca Poggi, Christian Bartolucci, Angelo Ferrando
Intelligent Agents for Human Behavior Modeling as Support to Operations. SIMULTECH (Selected Papers) (2013)