Towards benchmarking actor- and agent-based programming languages. - Rafael C. Cardoso 001; Maicon Rafael Zatelli; Jomi Fred Hübner; Rafael H. Bordini (AGERE!@SPLASH, 2013)

Benchmarking Communication in Actor- and Agent-Based Languages. - Rafael C. Cardoso 001; Jomi Fred Hübner; Rafael H. Bordini (EMAS@AAMAS, 2013)

Allocating Social Goals Using the Contract Net Protocol in Online Multi-agent Planning. - Rafael C. Cardoso 001; Rafael H. Bordini (BRACIS, 2016)

A Modular Framework for Decentralised Multi-Agent Planning. - Rafael C. Cardoso 001; Rafael H. Bordini (AAMAS, 2017)

Validation of Hierarchical Plans via Parsing of Attribute Grammars. - Roman Barták; Adrien Maillard; Rafael Cauê Cardoso 001 (AAAI Workshops, 2018)

SMART-JaCaMo: an organization-based team for the multi-agent programming contest. - Rafael C. Cardoso 001; Tabajara Krausburg; Túlio L. Baségio; Débora C. Engelmann; Jomi Fred Hübner; Rafael H. Bordini (Ann. Math. Artif. Intell., 2018)

Team PUCRS: a decentralised multi-agent solution for the agents in the city scenario. - Rafael C. Cardoso 001; Ramon Fraga Pereira; Guilherme Krzisch; Maurício Cecílio Magnaguagno; Túlio L. Baségio; Felipe Meneguzzi (Int. J. Agent Oriented Softw. Eng., 2018)

A decentralised online multi-agent planning framework for multi-agent systems - Rafael C. Cardoso 001 (2018)

SMART-JaCaMo: An Organisation-Based Team for the Multi-Agent Programming Contest. - Tabajara Krausburg; Rafael Cauê Cardoso 001; Juliana Damasio; Vitor Peres; Giovani Parente Farias; Débora Cristina Engelmann; Jomi Fred Hübner; Rafael H. Bordini (The Multi-Agent Programming Contest, 2018)

Decentralised Planning for Multi-Agent Programming Platforms. - Rafael C. Cardoso 001; Rafael H. Bordini (AAMAS, 2019)

Plan Library Reconfigurability in BDI Agents. - Rafael C. Cardoso 001; Louise A. Dennis; Michael Fisher 001 (EMAS@AAMAS, 2019)

Modular Verification of Autonomous Space Robotics. - Marie Farrell; Rafael C. Cardoso 001; Louise A. Dennis; Clare Dixon; Michael Fisher 001; Georgios Kourtis; Alexei Lisitsa 001; Matt Luckcuck; Matt Webster (CoRR, 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)

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)

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

Adaptable and Verifiable BDI Reasoning. - Peter Stringer; Rafael C. Cardoso 001; Xiaowei Huang 001; Louise A. Dennis (AREA@ECAI, 2020)

Towards Compositional Verification for Modular Robotic Systems. - Rafael C. Cardoso 001; Louise A. Dennis; Marie Farrell; Michael Fisher 001; Matt Luckcuck (FMAS, 2020)

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

Formal Verification of a Map Merging Protocol in the Multi-agent Programming Contest. - Matt Luckcuck; Rafael C. Cardoso 001 (EMAS@AAMAS, 2021)

Implementing Durative Actions with Failure Detection in Gwendolen. - Peter Stringer; Rafael C. Cardoso 001; Clare Dixon; Louise A. Dennis (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)

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)

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)

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)

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)

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)

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

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

Resilience, reliability, and coordination in autonomous multi-agent systems. - Rafael C. Cardoso 001; Brian Logan 001; Felipe Meneguzzi; Nir Oren; Bruno Yun (AI Commun., 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)

ML-MAS: A Hybrid AI Framework for Self-Driving Vehicles. - Hilal Al Shukairi; Rafael C. Cardoso 001 (AAMAS, 2023)

Updating Action Descriptions and Plans for Cognitive Agents. - Peter Stringer; Rafael C. Cardoso 001; Clare Dixon; Michael Fisher 001; Louise A. Dennis (AAMAS, 2023)

Failure Handling in BDI Plans via Runtime Enforcement. - Angelo Ferrando 001; Rafael C. Cardoso 001 (ECAI, 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)

Adaptive Cognitive Agents: Updating Action Descriptions and Plans. - Peter Stringer; Rafael C. Cardoso 001; Clare Dixon; Michael Fisher 001; Louise A. Dennis (EUMAS, 2023)

BDI Agents in Natural Language Environments. - Alexandre Yukio Ichida; Felipe Meneguzzi; Rafael C. Cardoso 001 (AAMAS, 2024)

Security-Minded Verification of Cooperative Awareness Messages. - Marie Farrell; Matthew Bradbury; Rafael C. Cardoso 001; Michael Fisher 001; Louise A. Dennis; Clare Dixon; Al Tariq Sheik; Hu Yuan 001; Carsten Maple (IEEE Trans. Dependable Secur. Comput., 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)

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