Intelligent Agents for Human Behavior Modeling as Support to Operations. - Agostino G. Bruzzone; Marina Massei; Simonluca Poggi; Christian Bartolucci; Angelo Ferrando 001 (SIMULTECH (Selected Papers), 2013)

Different modeling and simulation approaches applied to industrial process plants. - Agostino G. Bruzzone; Francesca Madeo; Margherita Dallorto; Davide Poggi; Angelo Ferrando 001 (SpringSim (EAIA), 2013)

Simulation Exploration Experience: Providing Effective Surveillance and Defense for a Moon Base Against Threats from Outer Space. - Agostino G. Bruzzone; Luciano Dato; Angelo Ferrando 001 (DS-RT, 2014)

Innovative models for supporting operational planning. - Marina Massei; Simonluca Poggi; Alberto Tremori; Angelo Ferrando 001 (Int. J. Simul. Process. Model., 2014)

Development planning based on interoperable agent driven simulation. - Marina Massei; Simonluca Poggi; Matteo Agresta; Angelo Ferrando 001 (J. Comput. Sci., 2014)

Global Protocols as First Class Entities for Self-Adaptive Agents. - Davide Ancona; Daniela Briola; Angelo Ferrando 001; Viviana Mascardi (AAMAS, 2015)

Computational thinking for beginners: A successful experience using Prolog. - Silvio Beux; Daniela Briola; Andrea Corradi; Giorgio Delzanno; Angelo Ferrando 001; Federico Frassetto; Giovanna Guerrini; Viviana Mascardi; Marco Oreggia; Francesca Pozzi; Alessandro Solimando; Armando Tacchella (CILC, 2015)

Parametric protocol-driven agents and their integration in JADE. - Angelo Ferrando 001 (CILC, 2015)

Runtime verification of fail-uncontrolled and ambient intelligence systems: A uniform approach. - Davide Ancona; Daniela Briola; Angelo Ferrando 001; Viviana Mascardi (Intelligenza Artificiale, 2015)

Automatic Partitions Extraction to Distribute the Runtime Verification of a Global Specification. - Angelo Ferrando 001 (DC@AI*IA, 2016)

Monitoring Patients with Hypoglycemia Using Self-adaptive Protocol-Driven Agents: A Case Study. - Angelo Ferrando 001; Davide Ancona; Viviana Mascardi (EMAS@AAMAS, 2016)

Comparing Trace Expressions and Linear Temporal Logic for Runtime Verification. - Davide Ancona; Angelo Ferrando 001; Viviana Mascardi (Theory and Practice of Formal Methods, 2016)

Identification of Disease Symptoms in Multilingual Sentences: An Ontology-Driven Approach. - Angelo Ferrando 001; Silvio Beux; Viviana Mascardi; Paolo Rosso (MultiLingMine@ECIR, 2016)

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 001; Viviana Mascardi (PAAMS (Workshops), 2016)

MAS-DRiVe: a Practical Approach to Decentralized Runtime Verification of Agent Interaction Protocols. - Davide Ancona; Daniela Briola; Angelo Ferrando 001; Viviana Mascardi (WOA, 2016)

Simulation of autonomous systems in the extended marine domain. - Alberto Tremori; Matteo Agresta; Angelo Ferrando 001 (Int. J. Simul. Process. Model., 2016)

Parametric Runtime Verification of Multiagent Systems. - Davide Ancona; Angelo Ferrando 001; Viviana Mascardi (AAMAS, 2017)

Decentralizing MAS Monitoring with DecAMon. - Angelo Ferrando 001; Davide Ancona; Viviana Mascardi (AAMAS, 2017)

Parametric Trace Expressions for Runtime Verification of Java-Like Programs. - Davide Ancona; Angelo Ferrando 001; Luca Franceschini; Viviana Mascardi (FTfJP@ECOOP, 2017)

Hackmytown: an Educational Experience on Smart Cities. - Vincenzo Del Fatto; Gabriella Dodero; Armin Bernhard; Angelo Ferrando 001; Davide Ancona; Viviana Mascardi; Robert Laurini; Giuseppe Roccasalva (IxD&A, 2017)

Recognising Assumption Violations in Autonomous Systems Verification. - Angelo Ferrando 001; Louise A. Dennis; Davide Ancona; Michael Fisher 001; Viviana Mascardi (AAMAS, 2018)

Declarative Parameterized Verification of Topology-Sensitive Distributed Protocols. - Sylvain Conchon; Giorgio Delzanno; Angelo Ferrando 001 (NETYS, 2018)

Coping with Bad Agent Interaction Protocols When Monitoring Partially Observable Multiagent Systems. - Davide Ancona; Angelo Ferrando 001; Luca Franceschini; Viviana Mascardi (PAAMS, 2018)

Managing Bad AIPs with RIVERtools. - Davide Ancona; Angelo Ferrando 001; Luca Franceschini; Viviana Mascardi (PAAMS, 2018)

Verifying and Validating Autonomous Systems: Towards an Integrated Approach. - Angelo Ferrando 001; Louise A. Dennis; Davide Ancona; Michael Fisher 001; Viviana Mascardi (RV, 2018)

Agents Interoperability via Conformance Modulo Mapping. - Davide Ancona; Angelo Ferrando 001; Viviana Mascardi (WOA, 2018)

Improving flexibility and dependability of remote patient monitoring with agent-oriented approaches. - Davide Ancona; Angelo Ferrando 001; Viviana Mascardi (Int. J. Agent Oriented Softw. Eng., 2018)

On Enactability of Agent Interaction Protocols: Towards a Unified Approach. - Angelo Ferrando 001; Michael Winikoff; Stephen Cranefield; Frank Dignum; Viviana Mascardi (AAMAS, 2019)

Timed Trace Expressions. - Luca Ciccone; Angelo Ferrando 001; Davide Ancona; Viviana Mascardi (CILC, 2019)

A Deterministic Event Calculus for Effective Runtime Verification. - Davide Ancona; Luca Franceschini; Angelo Ferrando 001; Viviana Mascardi (ICTCS, 2019)

Smart RogAgent: Where Agents and Humans Team Up. - Chiara Capone; Rafael H. Bordini; Viviana Mascardi; Giorgio Delzanno; Angelo Ferrando 001; Luca Gelati; Giovanna Guerrini (PRIMA, 2019)

Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management. - Xingyu Zhao 001; Matthew Osborne; Jenny Lantair; Valentin Robu; David Flynn; Xiaowei Huang 001; Michael Fisher 001; Fabio Papacchini; Angelo Ferrando 001 (SEFM, 2019)

On the Enactability of Agent Interaction Protocols: Toward a Unified Approach. - Angelo Ferrando 001; Michael Winikoff; Stephen Cranefield; Frank Dignum; Viviana Mascardi (CoRR, 2019)

The early bird catches the worm: First verify, then monitor! - Angelo Ferrando 001 (Sci. Comput. Program., 2019)

An Unexpected Journey: Towards Runtime Verification of Multiagent Systems and Beyond. - Angelo Ferrando 001 (2019)

LFC: Combining Autonomous Agents and Automated Planning in the Multi-Agent Programming Contest. - Rafael C. Cardoso 001; Angelo Ferrando 001; Fabio Papacchini (The Multi-Agent Programming Contest, 2019)

Runtime Verification of the ARIAC Competition: Can a Robot be Agile and Safe at the same time? - Angelo Ferrando 001; Zeid Kootbally; Pavel Piliptchak; Rafael C. Cardoso 001; Craig Schlenoff; Michael Fisher 001 (AIRO@AI*IA, 2020)

An Interface for Programming Verifiable Autonomous Agents in ROS. - Rafael C. Cardoso 001; Angelo Ferrando 001; Louise A. Dennis; Michael Fisher 001 (EUMAS/AT, 2020)

Heterogeneous Verification of an Autonomous Curiosity Rover. - Rafael C. Cardoso 001; Marie Farrell; Matt Luckcuck; Angelo Ferrando 001; Michael Fisher 001 (NFM, 2020)

The DigForSim Agent Based Simulator of People Movements in Crime Scenes. - Alessandro Biagetti; Angelo Ferrando 001; Viviana Mascardi (PAAMS, 2020)

ROSMonitoring: A Runtime Verification Framework for ROS. - Angelo Ferrando 001; Rafael C. Cardoso 001; Michael Fisher 001; Davide Ancona; Luca Franceschini; Viviana Mascardi (TAROS, 2020)

Slow Rogaining: An Innovative Teamwork Model for Computer Science Education. - Giorgio Delzanno; Giovanna Guerrini; Viviana Mascardi; Luca Gelati; Vincenzo Petito; Francesca Vitali; Angelo Ferrando 001; Davide Ancona; Manuela Chessa; Nicoletta Noceti; Francesca Odone (UMAP (Adjunct Publication), 2020)

LFC: Combining Autonomous Agents and Automated Planning in the Multi-Agent Programming Contest. - Rafael C. Cardoso 001; Angelo Ferrando 001; Fabio Papacchini (CoRR, 2020)

Can determinism and compositionality coexist in RML? (extended version). - Davide Ancona; Angelo Ferrando 001; Viviana Mascardi (CoRR, 2020)

Can determinism and compositionality coexist in RML? - Davide Ancona; Angelo Ferrando 001; Viviana Mascardi (EXPRESS/SOS, 2020)

Strategy RV: A Tool to Approximate ATL Model Checking under Imperfect Information and Perfect Recall. - Angelo Ferrando 001; Vadim Malvone (AAMAS, 2021)

Implementing Ethical Governors in BDI. - Rafael C. Cardoso 001; Angelo Ferrando 001; Louise A. Dennis; Michael Fisher 001 (EMAS@AAMAS, 2021)

StreamB: A Declarative Language for Automatically Processing Data Streams in Abstract Environments for Agent Platforms. - Angelo Ferrando 001; Fabio Papacchini (EMAS@AAMAS, 2021)

Agile Tasking of Robotic Systems with Explicit Autonomy. - Rafael C. Cardoso 001; John L. Michaloski; Craig Schlenoff; Angelo Ferrando 001; Louise A. Dennis; Michael Fisher 001 (FLAIRS, 2021)

Combine Model Checking and Runtime Verification in Multi-Agent Systems. - Angelo Ferrando 001; Vadim Malvone (ICTCS, 2021)

Increasing confidence in autonomous systems. - Michael Fisher 001; Angelo Ferrando 001; Rafael C. Cardoso 001 (VORTEX@ISSTA, 2021)

RVPLAN: a general purpose framework for replanning using runtime verification. - Angelo Ferrando 001; Rafael C. Cardoso 001 (VORTEX@ISSTA, 2021)

Automated Planning and BDI Agents: A Case Study. - Rafael C. Cardoso 001; Angelo Ferrando 001; Fabio Papacchini (PAAMS, 2021)

Smart Balancing of E-scooter Sharing Systems via Deep Reinforcement Learning. - Gianvito Losapio; Federico Minutoli; Viviana Mascardi; Angelo Ferrando 001 (WOA, 2021)

A Review of Agent-Based Programming for Multi-Agent Systems. - Rafael C. Cardoso 001; Angelo Ferrando 001 (Comput., 2021)

MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest. - Rafael C. Cardoso 001; Angelo Ferrando 001; Fabio Papacchini; Matt Luckcuck; Sven Linker; Terry R. Payne (CoRR, 2021)

Towards Partial Monitoring: It is Always too Soon to Give Up. - Angelo Ferrando 001; Rafael C. Cardoso 001 (FMAS, 2021)

Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal. - Marie Farrell; Nikos Mavrakis; Angelo Ferrando 001; Clare Dixon; Yang Gao 002 (Frontiers Robotics AI, 2021)

Bridging the gap between single- and multi-model predictive runtime verification. - Angelo Ferrando 001; Rafael C. Cardoso 001; Marie Farrell; Matt Luckcuck; Fabio Papacchini; Michael Fisher 001; Viviana Mascardi (Formal Methods Syst. Des., 2021)

Declarative Parameterized Verification of Distributed Protocols via the Cubicle Model Checker. - Sylvain Conchon; Giorgio Delzanno; Angelo Ferrando 001 (Fundam. Informaticae, 2021)

Agents and Robots for Reliable Engineered Autonomy: A Perspective from the Organisers of AREA 2020. - Rafael C. Cardoso 001; Angelo Ferrando 001; Daniela Briola; Claudio Menghi; Tobias Ahlbrecht (J. Sens. Actuator Networks, 2021)

Special Issue: Agents and Robots for Reliable Engineered Autonomy. - Rafael C. Cardoso 001; Angelo Ferrando 001; Daniela Briola; Claudio Menghi; Tobias Ahlbrecht (J. Sens. Actuator Networks, 2021)

An Overview of Verification and Validation Challenges for Inspection Robots. - Michael Fisher 001; Rafael C. Cardoso 001; Emily C. Collins 001; Christopher Dadswell; Louise A. Dennis; Clare Dixon; Marie Farrell; Angelo Ferrando 001; Xiaowei Huang 001; Mike Jump; Georgios Kourtis; Alexei Lisitsa 001; et al. (Robotics, 2021)

RML: Theory and practice of a domain specific language for runtime verification. - Davide Ancona; Luca Franceschini; Angelo Ferrando 001; Viviana Mascardi (Sci. Comput. Program., 2021)

Toward a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems. - Angelo Ferrando 001; Louise A. Dennis; Rafael C. Cardoso 001; Michael Fisher 001; Davide Ancona; Viviana Mascardi (ACM Trans. Softw. Eng. Methodol., 2021)

Give Me a Hand: How to Use Model Checking for Multi-Agent Systems to Help Runtime Verification and Vice Versa (Short Paper). - Angelo Ferrando 001; Vadim Malvone (IPS/RiCeRcA/SPIRIT@AI*IA, 2022)

Safety Shields, an Automated Failure Handling Mechanism for BDI Agents. - Angelo Ferrando 001; Rafael C. Cardoso 001 (AAMAS, 2022)

Exploiting Probabilistic Trace Expressions for Decentralized Runtime Verification with Gaps. - Davide Ancona; Angelo Ferrando 001; Viviana Mascardi (CILC, 2022)

Mind the Gap! Runtime Verification of Partially Observable MASs with Probabilistic Trace Expressions. - Davide Ancona; Angelo Ferrando 001; Viviana Mascardi (EUMAS, 2022)

Coding Maps: A Distance Laboratory on Computational Thinking Inspired by Modal Logic. - Giorgio Delzanno; Angelo Ferrando 001; Giovanna Guerrini; Matteo Pusceddu; Giovanni Zanone (HELMeTO, 2022)

RVPLAN: Runtime Verification of Assumptions in Automated Planning. - Angelo Ferrando 001; Rafael C. Cardoso 001 (ICAART (2), 2022)

Journal-First: Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal. - Marie Farrell; Nikos Mavrakis; Angelo Ferrando 001; Clare Dixon; Yang Gao 002 (IFM, 2022)

Towards the Combination of Model Checking and Runtime Verification on Multi-agent Systems. - Angelo Ferrando 001; Vadim Malvone (PAAMS, 2022)

Runtime Verification with Imperfect Information Through Indistinguishability Relations. - Angelo Ferrando 001; Vadim Malvone (SEFM, 2022)

RV4JaCa - Runtime Verification for Multi-Agent Systems. - Débora C. Engelmann; Angelo Ferrando 001; Alison R. Panisson; Davide Ancona; Rafael H. Bordini; Viviana Mascardi (AREA@IJCAI-ECAI, 2022)

A Compositional Approach to Verifying Modular Robotic Systems. - Matt Luckcuck; Marie Farrell; Angelo Ferrando 001; Rafael C. Cardoso 001; Louise A. Dennis; Michael Fisher 001 (CoRR, 2022)

Extending Attack-Fault Trees with Runtime Verification. - Rafael C. Cardoso 001; Angelo Ferrando 001; Michael Fisher 001 (FMAS/ASYDE@SEFM, 2022)

Ain't No Stopping Us Monitoring Now. - Luca Ciccone; Francesco Dagnino; Angelo Ferrando 001 (CoRR, 2022)

Smart balancing of E-scooter sharing systems via deep reinforcement learning: a preliminary study. - Gianvito Losapio; Federico Minutoli; Viviana Mascardi; Angelo Ferrando 001 (Intelligenza Artificiale, 2022)

Towards a Coalition Refinement Approach in the Strategic Verification of Multi-Agent Systems. - Angelo Ferrando 001 (IPS-RCRA-SPIRIT@AI*IA, 2023)

Towards the Verification of Strategic Properties in Multi-Agent Systems with Imperfect Information. - Angelo Ferrando 001; Vadim Malvone (AAMAS, 2023)

Failure Handling in BDI Plans via Runtime Enforcement. - Angelo Ferrando 001; Rafael C. Cardoso 001 (ECAI, 2023)

Fantastic MASs and Where to Find Them: First Results and Lesson Learned. - Daniela Briola; Angelo Ferrando 001; Viviana Mascardi (EMAS, 2023)

Towards Forward Responsibility in BDI Agents. - Rafael C. Cardoso 001; Angelo Ferrando 001; Joe Collenette; Louise A. Dennis; Michael Fisher 001 (EMAS, 2023)

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 001; Rafael C. Cardoso 001; Michael Fisher 001 (EUMAS, 2023)

Integrating Ontologies and Cognitive Conversational Agents in On2Conv. - Zeinab Namakizadeh Esfahani; Débora Cristina Engelmann; Angelo Ferrando 001; Massimiliano Margarone; Viviana Mascardi (EUMAS, 2023)

AGAMAS: A New Agent-Oriented Traffic Simulation Framework for SUMO. - Mahyar Sadeghi Garjan; Tommy Chaanine; Cecilia Pasquale; Vito Paolo Pastore; Angelo Ferrando 001 (EUMAS, 2023)

Runtime Verification of Hash Code in Mutable Classes. - Davide Ancona; Angelo Ferrando 001; Viviana Mascardi (FTfJP@ECOOP, 2023)

How to Find Good Coalitions to Achieve Strategic Objectives. - Angelo Ferrando 001; Vadim Malvone (ICAART (1), 2023)

Coalition Alternating-Time Temporal Logic: A Logic to Find Good Coalitions to Achieve Strategic Objectives. - Davide Catta; Angelo Ferrando 001; Vadim Malvone (ICAART (Revised Selected Paper), 2023)

Scalable Verification of Strategy Logic through Three-Valued Abstraction. - Francesco Belardinelli; Angelo Ferrando 001; Wojciech Jamroga; Vadim Malvone; Aniello Murano (IJCAI, 2023)

A Control-Oriented Highway Traffic Model with Multiple Clusters of CAVs. - Tommy Chaanine; Angelo Ferrando 001; Cecilia Pasquale; Vito Paolo Pastore; Mahyar Sadeghi Garjan; S. Siri (ITSC, 2023)

HyperMonitor: A Python Prototype for Hyper Predictive Runtime Verification. - Angelo Ferrando 001; Giorgio Delzanno (RP, 2023)

RV4Rasa: A Formalism-Agnostic Runtime Verification Framework for Verifying ChatBots in Rasa. - Angelo Ferrando 001; Andrea Gatti 002; Viviana Mascardi (VORTEX@ISSTA, 2023)

HYASM: A Tool to Verify Hierarchical Systems. - Angelo Ferrando 001; Vadim Malvone; Aniello Murano; Silvia Stranieri (WETICE, 2023)

RMLGym: a Formal Reward Machine Framework for Reinforcement Learning. - Hisham Unniyankal; Francesco Belardinelli; Angelo Ferrando 001; Vadim Malvone (WOA, 2023)

Runtime Verification for Trustworthy Computing. - Robert Abela; Christian Colombo 001; Axel Curmi; Mattea Fenech; Mark Vella; Angelo Ferrando 001 (AREA@ECAI, 2023)

3vLTL: A Tool to Generate Automata for Three-valued LTL. - Francesco Belardinelli; Angelo Ferrando 001; Vadim Malvone (FMAS@iFM, 2023)

Special issue for the 23rd workshop "from objects to agents" (WOA 2022). - Angelo Ferrando 001; Viviana Mascardi (Intelligenza Artificiale, 2023)

Exploiting Logic Programming for Runtime Verification: Current and Future Perspectives. - Davide Ancona; Angelo Ferrando 001; Viviana Mascardi (Prolog: The Next 50 Years, 2023)

An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information. - Francesco Belardinelli; Angelo Ferrando 001; Vadim Malvone (Artif. Intell., 2023)

RV4JaCa - Towards Runtime Verification of Multi-Agent Systems and Robotic Applications. - Débora C. Engelmann; Angelo Ferrando 001; Alison R. Panisson; Davide Ancona; Rafael H. Bordini; Viviana Mascardi (Robotics, 2023)

Incrementally predictive runtime verification. - Angelo Ferrando 001; Giorgio Delzanno (J. Log. Comput., 2023)

Geometric and Spatial Reasoning in BDI Agents: A Survey. - Angelo Ferrando 001; Andrea Gatti 002; Viviana Mascardi (CILC, 2024)

Modeling Robot Control Architectures for Verification and Monitoring. - Stefano Bernagozzi; Angelo Ferrando 001; Enrico Ghiorzi; Lorenzo Natale; Armando Tacchella (ERF (2), 2024)

MAiS: Exploiting JADE as a Multi-agent Simulator of the Immune System. - Sanchayan Bhunia; Angelo Ferrando 001; Viviana Mascardi; Chiara Vitale (EUMAS, 2024)

Solvent: Liquidity Verification of Smart Contracts. - Massimo Bartoletti; Angelo Ferrando 001; Enrico Lipparini; Vadim Malvone (IFM, 2024)

Resource Action-Based Bounded ATL: A New Logic for MAS to Express a Cost Over the Actions. - Davide Catta; Angelo Ferrando 001; Vadim Malvone (PRIMA, 2024)

Theory and Practice of Quantitative ATL. - Angelo Ferrando 001; Giulia Luongo; Vadim Malvone; Aniello Murano (PRIMA, 2024)

Towards a Compositional and User-friendly Tool for Multi-Agent Systems Verification (short paper). - Angelo Ferrando 001; Vadim Malvone (AI4CC-IPS-RCRA-SPIRIT@AI*IA, 2024)

Implementation of the Digital Twin in Water 4.0. - Giacomo Cabri; Alireza Rahimi; Angelo Ferrando 001 (WETICE, 2024)

RVElastic: a Runtime Verification Framework for Microservice Systems. - Stefano Murino; Angelo Ferrando 001; Giacomo Cabri (WETICE, 2024)

Hands-on VITAMIN: A Compositional Tool for Model Checking of Multi-Agent Systems. - Angelo Ferrando 001; Vadim Malvone (WOA, 2024)

Integrating Procedural Ontologies in VEsNA: Study, Requirements, and Preliminary Design. - Diana Ivan; Angelo Ferrando 001; Andrea Gatti 002; Giovanna Guerrini; Viviana Mascardi (WOA, 2024)

Runtime Verification via Rational Monitor with Imperfect Information. - Angelo Ferrando 001; Vadim Malvone (CoRR, 2024)

ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics. - Maryam Ghaffari Saadat; Angelo Ferrando 001; Louise A. Dennis; Michael Fisher 001 (FMAS@iFM, 2024)

RV4Chatbot: Are Chatbots Allowed to Dream of Electric Sheep? - Andrea Gatti 002; Viviana Mascardi; Angelo Ferrando 001 (FMAS@iFM, 2024)

Open Challenges in the Formal Verification of Autonomous Driving. - Paolo Burgio; Angelo Ferrando 001; Marco Villani 001 (FMAS@iFM, 2024)

Effects of the Human Presence among Robots in the ARIAC 2023 Industrial Automation Competition. - Leandro Buss Becker; Anthony Downs; Craig Schlenoff; Justin Albrecht; Zeid Kootbally; Angelo Ferrando 001; Rafael C. Cardoso 001; Michael Fisher 001 (J. Intell. Robotic Syst., 2024)

Integrating Testing with Runtime Verification for Mission-Critical Distributed Control Systems. - Davide Ancona; Stefano Avola; Angelo Ferrando 001; Pierpaolo Baglietto; Maurice H. ter Beek; Andrea Parodi; Giancarlo Camera; Matteo Pinasco (DSN-S, 2025)

Runtime Verification of Program Organization Units in Safe Programmable Logic Controller Systems. - Hisham Unniyankal; Davide Ancona; Angelo Ferrando 001; Fabio Parodi; Alessandro Alessi; Federico Bottino (DSN-S, 2025)

VITAMIN: A Compositional Framework for Model Checking of Multi-Agent Systems. - Angelo Ferrando 001; Vadim Malvone (ICAART (1), 2025)

Together Is Better! Integrating BDI and RL Agents for Safe Learning and Effective Collaboration. - Manuel Parmiggiani; Angelo Ferrando 001; Viviana Mascardi (ICAART (3), 2025)

VITAMIN: VerIficaTion of A MultI ageNt system. - Angelo Ferrando 001; Vadim Malvone (AAMAS, 2025)

ChatBDI: Think BDI, Talk LLM. - Andrea Gatti 002; Viviana Mascardi; Angelo Ferrando 001 (AAMAS, 2025)

Agreement Games in Multi-Agent Systems. - Davide Catta; Angelo Ferrando 001; Vadim Malvone (AAMAS, 2025)

Quantitative Operational Monitoring for BDI Agents. - Marie Farrell; Angelo Ferrando 001; Mengwei Xu (AAMAS, 2025)

Varanus: Runtime Verification for CSP. - Matt Luckcuck; Angelo Ferrando 001; Fatma Faruq (TAROS, 2025)

Design and Implementation of a Software System for Digital Product Passport. - Luca Morellini; Angelo Ferrando 001; Giacomo Cabri; Massimo Garuti (WETICE, 2025)

Reasoning about Decidability of Strategic Logics with Imperfect Information and Perfect Recall Strategies. - Davide Catta; Angelo Ferrando 001; Vadim Malvone (J. Artif. Intell. Res., 2025)

Towards partial monitoring: Never too early to give in. - Angelo Ferrando 001; Rafael C. Cardoso 001 (Sci. Comput. Program., 2025)