Gleifer Vaz Alves
Universidade Tecnológica Federal do Paraná
H-index: 9
Latin America-Brazil
Top articles of Gleifer Vaz Alves
A middleware for providing communicability to Embedded MAS based on the lack of connectivity
Artificial Intelligence Review
2023/12
Modelagem formal de abordagens éticas para comportamento de agentes
2023/10/9
Gleifer Vaz Alves
H-Index: 6
Correction to: An IDE to Support the Development of Embedded Multi-Agent Systems
2023/7/12
Carlos Eduardo Pantoja
H-Index: 3
Gleifer Vaz Alves
H-Index: 6
An IDE to Support the Development of Embedded Multi-Agent Systems
2023/7/12
Carlos Eduardo Pantoja
H-Index: 3
Gleifer Vaz Alves
H-Index: 6
Integrating a Multi-Agent Smart Parking System using Cloud Technologies.
2022
Paulo Alves
H-Index: 10
Gleifer Vaz Alves
H-Index: 6
Towards a Digital Highway Code using Formal Modelling and Verification of Timed Automata
arXiv preprint arXiv:2209.14036
2022/9/28
Gleifer Vaz Alves
H-Index: 6
Maike Schwammberger
H-Index: 4
Integrating formal verification and simulation-based assertion checking in a corroborative v&v process
arXiv preprint arXiv:2208.05273
2022/8/10
Maike Schwammberger
H-Index: 4
Christopher Harper
H-Index: 1
Gleifer Vaz Alves
H-Index: 6
Greg Chance
H-Index: 6
Kerstin Eder
H-Index: 16
Integrating embedded multiagent systems with urban simulation tools and IoT applications
Revista de Informática Teórica e Aplicada
2022/1/11
Extending urban multi-lane spatial logic to formalise road junction rules
arXiv preprint arXiv:2110.12583
2021/10/25
Maike Schwammberger
H-Index: 4
Gleifer Vaz Alves
H-Index: 6
Um Módulo de Precificação Dinâmica em Sistema Multiagente de um Estacionamento Inteligente
Revista Eletrônica de Iniciação Científica em Computação
2021/9/4
Gleifer Vaz Alves
H-Index: 6
A double-level model checking approach for an agent-based autonomous vehicle and road junction regulations
Journal of Sensor and Actuator Networks
2021/6/25
Bio-Inspired Protocols for Embodied Multi-Agent Systems.
2021
Carlos Eduardo Pantoja
H-Index: 3
Gleifer Vaz Alves
H-Index: 6
An agent-based architecture with support to ethical decisions on a road traffic scenario
IROS Workshop on Building and Evaluating Ethical Robotic Systems (ERS 2021)
2021
First steps towards an ethical agent for checking decision and behaviour for an autonomous vehicle on the rules of the road
Proceedings of the Second Workshop on Implementing Machine Ethics, Dublin, Ireland
2020/6/30