Ricardo Arend Machado

According to our database, Ricardo Arend Machado authored at least 4 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

A formal testing method for multi-agent systems using colored Petri nets.

Ricardo Arend Machado, Arthur da Silva Zelindro Cardoso, Giovani Parente Farias, Eder Mateus Nunes Gonçalves, Diana Francisca Adamatti

Auton. Agents Multi Agent Syst., June, 2025

2024

Automated Mapping Tool from Moise+ to Colored Petri Nets.

Ricardo Arend Machado, Athur Zelindro, Eder Mateus Nunes Gonçalves, Diana Francisca Adamatti, Giovani Farias

Proceedings of the Thirty-Seventh International Florida Artificial Intelligence Research Society Conference, 2024

2020

Testing Multiagent Systems Under Organizational Model <i>M</i>oise Using a Test Adequacy Criterion Based on State Transition Path.

Ricardo Arend Machado, Eder Mateus Nunes Gonçalves

Proceedings of the Intelligent Systems - 9th Brazilian Conference, 2020

2019

Assessment of Testability on Multiagent Systems Developed with Organizational Model Moise.

Eder Mateus Nunes Gonçalves, Bruno Coelho Rodrigues, Ricardo Arend Machado

Proceedings of the Progress in Artificial Intelligence, 2019