Gleifer Vaz Alves

15 papers Misc 2Journal 4Unranked 9
YearRankTypeTitle / Venue / Authors
2026 — conf
Multi-Agent System for Collaborative Fault Diagnosis in Multi-Stage Manufacturing Environments.
ICAART (1)
Felipe Merenda Izidorio, Paulo Leitão, José Barbosa, Gleifer Vaz Alves
2026 — conf
Using Reinforcement Learning Techniques for Autonomous Vehicles Navigation in Urban Intersections.
ICAART (1)
Felipe Merenda Izidorio, Gleifer Vaz Alves
2025 Misc conf
MASPY: A Python-Based Framework for Developing BDI Multi-agent Systems.
PAAMS
Alexandre Lizieri Leite Mellado, André Pinz Borges, Gleifer Vaz Alves
2023 J jnl
A middleware for providing communicability to Embedded MAS based on the lack of connectivity.
Artif. Intell. Rev.
Vinicius Souza de Jesus, Nilson Mori Lazarin, Carlos Eduardo Pantoja, Fabian Cesar Pereira Brandão Manoel, Gleifer Vaz Alves, José Viterbo
2023 Misc conf
An IDE to Support the Development of Embedded Multi-Agent Systems.
PAAMS
Vinicius Souza de Jesus, Nilson Mori Lazarin, Carlos Eduardo Pantoja, Gleifer Vaz Alves, Gabriel Ramos Alves de Lima, José Viterbo
2022 J jnl
Integrating Embedded Multiagent Systems with Urban Simulation Tools and IoT Applications.
RITA
Lucas Fernando Souza de Castro, Fabian Cesar Pereira Brandão Manoel, Vinicius Souza de Jesus, Carlos Eduardo Pantoja, André Pinz Borges, Gleifer Vaz Alves
2022 J jnl
Integrating Formal Verification and Simulation-based Assertion Checking in a Corroborative V&V Process.
CoRR
Maike Schwammberger, Christopher Harper, Gleifer Vaz Alves, Greg Chance, Tony Pipe, Kerstin Eder
2022 — conf
Integrating a Multi-Agent Smart Parking System using Cloud Technologies.
ICEIS (1)
Milton Boos Junior, Lucas Sakurada, Paulo Leitão, Paulo Alves, Gleifer Vaz Alves, André Pinz Borges, Diego Roberto Antunes
2022 — conf
Towards a Digital Highway Code using Formal Modelling and Verification of Timed Automata.
FMAS/ASYDE@SEFM
Gleifer Vaz Alves, Maike Schwammberger
2021 J jnl
A Double-Level Model Checking Approach for an Agent-Based Autonomous Vehicle and Road Junction Regulations.
J. Sens. Actuator Networks
Gleifer Vaz Alves, Louise Abigail Dennis, Michael Fisher
2021 — conf
Bio-Inspired Protocols for Embodied Multi-Agent Systems.
ICAART (1)
Vinicius Souza de Jesus, Carlos Eduardo Pantoja, Fabian Cesar Pereira Brandão Manoel, Gleifer Vaz Alves, José Viterbo, Eduardo Bezerra
2021 — conf
Extending Urban Multi-Lane Spatial Logic to Formalise Road Junction Rules.
FMAS
Maike Schwammberger, Gleifer Vaz Alves
2019 — conf
Experimentation of Negotiation Protocols for Consensus Problems in Smart Parking Systems.
HoloMAS
Bruno Rafael Alves, Gleifer Vaz Alves, André Pinz Borges, Paulo Leitão
2019 — conf
Formalisation and Implementation of Road Junction Rules on an Autonomous Vehicle Modelled as an Agent.
FM Workshops (1)
Gleifer Vaz Alves, Louise A. Dennis, Michael Fisher
2013 — conf
N-GraphML: Language and Formal Grammar for Proof-Graphs.
WEIT
Daniel Vaz dos Santos, Lucas Fernando Souza de Castro, Gleifer Vaz Alves