Angelo Ferrando - Publications, H-index & Citations

Angelo Ferrando

Universita di Modena e Reggio Emilia

15H指数

175论文数

870被引数

收录论文 14

发表时间

Runtime Verification via Rational Monitor with Imperfect Information

ACM Transactions on Software Engineering and Methodology

IF6.2

2026-03-01

PREAI

Ferrando, Angelo; Malvone, Vadim

Varanus: Runtime Verification for CSP Varanus: CSP的运行时验证

TOWARDS AUTONOMOUS ROBOTIC SYSTEMS, TAROS 2025

IF0

2026-01-01

PREAI

Luckcuck, Matt; Ferrando, Angelo; Faruq, Fatma

On the Usability and Extensibility of VITAMIN 关于VITAMIN的可用性和可扩展性

ADVANCES IN PRACTICAL APPLICATIONS OF AGENTS, MULTI-AGENT SYSTEMS, AND COMPUTATIONAL SOCIAL SCIENCE: THE PAAMS COLLECTION, PAAMS 2025

IF0

2026-01-01

PREAI

Ferrando, Angelo; Malvone, Vadim

Situated Agents in Action: Extending VEsNA with Spatial and Grabbable Artifacts 情境中的智能体：为VesNA扩展空间和可抓取的人工制品

ADVANCES IN PRACTICAL APPLICATIONS OF AGENTS, MULTI-AGENT SYSTEMS, AND COMPUTATIONAL SOCIAL SCIENCE: THE PAAMS COLLECTION, PAAMS 2025

IF0

2026-01-01

PREAI

Gatti, Andrea; Ferrando, Angelo; Mascardi, Viviana

Evaluating Infrastructure-Less Cooperative Parking Guidance via Agent-Based Simulation 基于代理模拟评估无基础设施协同停车引导

ADVANCES IN PRACTICAL APPLICATIONS OF AGENTS, MULTI-AGENT SYSTEMS, AND COMPUTATIONAL SOCIAL SCIENCE: THE PAAMS COLLECTION, PAAMS 2025

IF0

2026-01-01

PREAI

De Soricellis, Davide; Ferrando, Angelo; Muzzini, Filippo

Auto-Generating Visual Editors for Formal Logics with Blockly 基于Blockly的形式逻辑自动生成可视化编辑器

INTEGRATED FORMAL METHODS, IFM 2025

IF0

2026-01-01

PREAI

Ferrando, Angelo; Lu, Peng; Malvone, Vadim

Effects of the Human Presence among Robots in the ARIAC 2023 Industrial Automation Competition 在ARIAC 2023工业自动化竞赛中，机器人之间存在的影响

JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS

IF2.8

2024-07-31

OAAI

Becker, Leandro Buss; Downs, Anthony; Schlenoff, Craig; Albrecht, Justin; Kootbally, Zeid; Ferrando, Angelo; Cardoso, Rafael; Fisher, Michael

An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information 用于验证具有不完全信息的多智能体系统中战略属性的抽象-细化框架

artificial intelligence review

IF4.6

2023-03-01

OAAI

Belardinelli, Francesco; Ferrando, Angelo; Malvone, Vadim

Special Issue: Agents and Robots for Reliable Engineered Autonomy

JOURNAL OF SENSOR AND ACTUATOR NETWORKS

IF4.2

2021-07-13

OAAI

Cardoso, Rafael C.; Ferrando, Angelo; Briola, Daniela; Menghi, Claudio; Ahlbrecht, Tobias

Agents and Robots for Reliable Engineered Autonomy:A Perspective from the Organisers of AREA 2020

JOURNAL OF SENSOR AND ACTUATOR NETWORKS

IF4.2

2021-05-14

OAAI

Cardoso, Rafael C.; Ferrando, Angelo; Briola, Daniela; Menghi, Claudio; Ahlbrecht, Tobias

Toward a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

IF6.2

2021-05-10

OAAI

Ferrando, Angelo; Dennis, Louise A.; Cardoso, Rafael C.; Fisher, Michael; Ancona, Davide; Mascardi, Viviana

Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management

formal methods and software engineering icfem

IF0

2019-09-09

PREAI

Zhao, Xingyu; Osborne, Matt; Lantair, Jenny; Robu, Valentin; Flynn, David; Huang, Xiaowei; Fisher, Michael; Papacchini, Fabio; Ferrando, Angelo

Development planning based on interoperable agent driven simulation

nature computational science

IF3.7

2014-05-01

PREAI

Massei, Marina; Poggi, Simonluca; Agresta, Matteo; Ferrando, Angelo

Wavelet analysis for surface characterisation: an experimental assessment

CIRP ANNALS-MANUFACTURING TECHNOLOGY

IF3.6

2004-01-01

PREAI

Bruzzone, AAG; Montanaro, JS; Ferrando, A; Lonardo, PM

研究方向