Angelo Ferrando
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
58
Venues
19
Active years
2013–2026
Best venue rank
A*
Where they publish
Papers
58 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | PERCOM | The Role of Personalization Weights in Sensor-Based Human Activity Recognition. | Emiliano Chiarini, Angelo Ferrando, Luca Bedogni |
| 2025 | DSN | Integrating Testing with Runtime Verification for Mission-Critical Distributed Control Systems. | Davide Ancona, Stefano Avola, Angelo Ferrando, Pierpaolo Baglietto, Maurice H. ter Beek, Andrea Parodi, Giancarlo Camera, Matteo Pinasco |
| 2025 | DSN | Runtime Verification of Program Organization Units in Safe Programmable Logic Controller Systems. | Hisham Unniyankal, Davide Ancona, Angelo Ferrando, Fabio Parodi, Alessandro Alessi, Federico Bottino |
| 2025 | ECAI | Reliable Intention Selection in BDI Agents with Recovery Shields. | Angelo Ferrando, Rafael C. Cardoso |
| 2025 | ECAI | Let Me Talk to You! Natural Language Interaction Between Humans and BDI Agents via ChatBDI. | Andrea Gatti, Viviana Mascardi, Angelo Ferrando |
| 2025 | ECAI | Runtime Verification with Rational Multi-Monitors. | Davide Catta, Angelo Ferrando, Vadim Malvone |
| 2025 | EMAS | MEDiTATe: a First Step of a Journey from BDI to Neuroscience, and Back. | Angelo Ferrando, Andrea Gatti, Viviana Mascardi |
| 2025 | EMAS | Oops, I Heard That! Situated Communication with Locality-Aware KQML. | Angelo Ferrando, Andrea Gatti, Viviana Mascardi |
| 2025 | EMAS | Engineering the Next Generation of Multi-agent Systems: A Community Roadmap from EMAS 2025. | Sebastian Rodriguez, Akhila Bairy, Matteo Baldoni, Patrick Benjamin, Constantin Blessing, Nicolas Brandstetter, Amit K. Chopra, Thomas Clemen, Louise A. Dennis, Ahmad Esmaeili, Lu Feng, Angelo Ferrando, Zahra Ghorrati, Victor Guillet, nder Grcan, Soham Hans, James Herber, Viviana Mascardi, Marcel Mauri, Jrg P. Mller, John Thangarajah, Rafal Tyl, Yi Yang |
| 2025 | EUMAS | Engineering Multi-agent Systems and Generative AI: Report from the Agent Toolkits 2025 Community Session. | Andrei Ciortea, Katharine Beaumont, Gianluca Aguzzi, Matteo Baldoni, Cristina Baroglio, Amit K. Chopra, Giovanni Ciatto, Rem W. Collier, Mehdi Dastani, Angelo Ferrando, Andrea Gatti, nder Grcan, Timotheus Kampik, Jrmy Leme, Somsakun Maneerat, Elisa Marengo, Viviana Mascardi, Simon Mayer, Roberto Micalizio, Guillaume Muller, Vivek Nallur, Richard Niamke, Andrei Olaru, Heloise Pajot, Chlo Petridis, I. S. W. B. Prasetya, Alessandro Ricci, Alexandru Sorici, Stefano Tedeschi, Michael Winikoff |
| 2025 | EUMAS | Agency and Generation: Friends or Enemies? | Angelo Ferrando, Daniela Briola, Rem W. Collier, Viviana Mascardi |
| 2025 | ICAART | VITAMIN: A Compositional Framework for Model Checking of Multi-Agent Systems. | Angelo Ferrando, Vadim Malvone |
| 2025 | ICAART | Together Is Better! Integrating BDI and RL Agents for Safe Learning and Effective Collaboration. | Manuel Parmiggiani, Angelo Ferrando, Viviana Mascardi |
| 2025 | IFM | Auto-Generating Visual Editors for Formal Logics with Blockly. | Angelo Ferrando, Peng Lu, Vadim Malvone |
| 2025 | PAAMS | On the Usability and Extensibility of VITAMIN. | Angelo Ferrando, Vadim Malvone |
| 2025 | PAAMS | Situated Agents in Action: Extending VEsNA with Spatial and Grabbable Artifacts. | Andrea Gatti, Angelo Ferrando, Viviana Mascardi |
| 2025 | PAAMS | Evaluating Infrastructure-Less Cooperative Parking Guidance via Agent-Based Simulation. | Davide De Soricellis, Angelo Ferrando, Filippo Muzzini |
| 2025 | WETICE | Design and Implementation of a Software System for Digital Product Passport. | Luca Morellini, Angelo Ferrando, Giacomo Cabri, Massimo Garuti |
| 2024 | EUMAS | MAiS: Exploiting JADE as a Multi-agent Simulator of the Immune System. | Sanchayan Bhunia, Angelo Ferrando, Viviana Mascardi, Chiara Vitale |
| 2024 | IFM | Solvent: Liquidity Verification of Smart Contracts. | Massimo Bartoletti, Angelo Ferrando, Enrico Lipparini, Vadim Malvone |
| 2024 | PRIMA | Resource Action-Based Bounded ATL: A New Logic for MAS to Express a Cost Over the Actions. | Davide Catta, Angelo Ferrando, Vadim Malvone |
| 2024 | PRIMA | Theory and Practice of Quantitative ATL. | Angelo Ferrando, Giulia Luongo, Vadim Malvone, Aniello Murano |
| 2024 | WETICE | Implementation of the Digital Twin in Water 4.0. | Giacomo Cabri, Alireza Rahimi, Angelo Ferrando |
| 2024 | WETICE | RVElastic: a Runtime Verification Framework for Microservice Systems. | Stefano Murino, Angelo Ferrando, Giacomo Cabri |
| 2023 | ECAI | Failure Handling in BDI Plans via Runtime Enforcement. | Angelo Ferrando, Rafael C. Cardoso |
| 2023 | EMAS | Fantastic MASs and Where to Find Them: First Results and Lesson Learned. | Daniela Briola, Angelo Ferrando, Viviana Mascardi |
| 2023 | EMAS | Towards Forward Responsibility in BDI Agents. | Rafael C. Cardoso, Angelo Ferrando, Joe Collenette, Louise A. Dennis, Michael Fisher |
| 2023 | EUMAS | Using a BDI Agent to Represent a Human on the Factory Floor of the ARIAC 2023 Industrial Automation Competition. | Leandro Buss Becker, Anthony Downs, Craig Schlenoff, Justin Albrecht, Zeid Kootbally, Angelo Ferrando, Rafael C. Cardoso, Michael Fisher |
| 2023 | EUMAS | Integrating Ontologies and Cognitive Conversational Agents in On2Conv. | Zeinab Namakizadeh Esfahani, Dbora Cristina Engelmann, Angelo Ferrando, Massimiliano Margarone, Viviana Mascardi |
| 2023 | EUMAS | AGAMAS: A New Agent-Oriented Traffic Simulation Framework for SUMO. | Mahyar Sadeghi Garjan, Tommy Chaanine, Cecilia Pasquale, Vito Paolo Pastore, Angelo Ferrando |
| 2023 | FTfJP | Runtime Verification of Hash Code in Mutable Classes. | Davide Ancona, Angelo Ferrando, Viviana Mascardi |
| 2023 | ICAART | How to Find Good Coalitions to Achieve Strategic Objectives. | Angelo Ferrando, Vadim Malvone |
| 2023 | ICAART | Coalition Alternating-Time Temporal Logic: A Logic to Find Good Coalitions to Achieve Strategic Objectives. | Davide Catta, Angelo Ferrando, Vadim Malvone |
| 2023 | IJCAI | Scalable Verification of Strategy Logic through Three-Valued Abstraction. | Francesco Belardinelli, Angelo Ferrando, Wojciech Jamroga, Vadim Malvone, Aniello Murano |
| 2023 | WETICE | HYASM: A Tool to Verify Hierarchical Systems. | Angelo Ferrando, Vadim Malvone, Aniello Murano, Silvia Stranieri |
| 2022 | EUMAS | Mind the Gap! Runtime Verification of Partially Observable MASs with Probabilistic Trace Expressions. | Davide Ancona, Angelo Ferrando, Viviana Mascardi |
| 2022 | ICAART | RVPLAN: Runtime Verification of Assumptions in Automated Planning. | Angelo Ferrando, Rafael C. Cardoso |
| 2022 | IFM | Journal-First: Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal. | Marie Farrell, Nikos Mavrakis, Angelo Ferrando, Clare Dixon, Yang Gao |
| 2022 | PAAMS | Towards the Combination of Model Checking and Runtime Verification on Multi-agent Systems. | Angelo Ferrando, Vadim Malvone |
| 2022 | SEFM | Runtime Verification with Imperfect Information Through Indistinguishability Relations. | Angelo Ferrando, Vadim Malvone |
| 2021 | EMAS | Implementing Ethical Governors in BDI. | Rafael C. Cardoso, Angelo Ferrando, Louise A. Dennis, Michael Fisher |
| 2021 | EMAS | StreamB: A Declarative Language for Automatically Processing Data Streams in Abstract Environments for Agent Platforms. | Angelo Ferrando, Fabio Papacchini |
| 2021 | FlAIRS | Agile Tasking of Robotic Systems with Explicit Autonomy. | Rafael C. Cardoso, John L. Michaloski, Craig Schlenoff, Angelo Ferrando, Louise A. Dennis, Michael Fisher |
| 2021 | ISSTA | Increasing confidence in autonomous systems. | Michael Fisher, Angelo Ferrando, Rafael C. Cardoso |
| 2021 | ISSTA | RVPLAN: a general purpose framework for replanning using runtime verification. | Angelo Ferrando, Rafael C. Cardoso |
| 2021 | PAAMS | Automated Planning and BDI Agents: A Case Study. | Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini |
| 2020 | EUMAS | An Interface for Programming Verifiable Autonomous Agents in ROS. | Rafael C. Cardoso, Angelo Ferrando, Louise A. Dennis, Michael Fisher |
| 2020 | PAAMS | The DigForSim Agent Based Simulator of People Movements in Crime Scenes. | Alessandro Biagetti, Angelo Ferrando, Viviana Mascardi |
| 2019 | EMAS | On Enactability of Agent Interaction Protocols: Towards a Unified Approach. | Angelo Ferrando, Michael Winikoff, Stephen Cranefield, Frank Dignum, Viviana Mascardi |
| 2019 | PRIMA | Smart RogAgent: Where Agents and Humans Team Up. | Chiara Capone, Rafael H. Bordini, Viviana Mascardi, Giorgio Delzanno, Angelo Ferrando, Luca Gelati, Giovanna Guerrini |
| 2019 | SEFM | Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management. | Xingyu Zhao, Matthew Osborne, Jenny Lantair, Valentin Robu, David Flynn, Xiaowei Huang, Michael Fisher, Fabio Papacchini, Angelo Ferrando |
| 2018 | PAAMS | Coping with Bad Agent Interaction Protocols When Monitoring Partially Observable Multiagent Systems. | Davide Ancona, Angelo Ferrando, Luca Franceschini, Viviana Mascardi |
| 2018 | PAAMS | Managing Bad AIPs with RIVERtools. | Davide Ancona, Angelo Ferrando, Luca Franceschini, Viviana Mascardi |
| 2018 | RV | Verifying and Validating Autonomous Systems: Towards an Integrated Approach. | Angelo Ferrando, Louise A. Dennis, Davide Ancona, Michael Fisher, Viviana Mascardi |
| 2017 | ECOOP | Parametric Trace Expressions for Runtime Verification of Java-Like Programs. | Davide Ancona, Angelo Ferrando, Luca Franceschini, Viviana Mascardi |
| 2016 | ECIR | Identification of Disease Symptoms in Multilingual Sentences: An Ontology-Driven Approach. | Angelo Ferrando, Silvio Beux, Viviana Mascardi, Paolo Rosso |
| 2016 | PAAMS | FRIENDLY & KIND with your Health: Human-Friendly Knowledge-INtensive Dynamic Systems for the e-Health Domain. | Federica Aielli, Davide Ancona, Pasquale Caianiello, Stefania Costantini, Giovanni De Gasperis, Antinisca Di Marco, Angelo Ferrando, Viviana Mascardi |
| 2013 | SIMULTECH | Intelligent Agents for Human Behavior Modeling as Support to Operations. | Agostino G. Bruzzone, Marina Massei, Simonluca Poggi, Christian Bartolucci, Angelo Ferrando |