Gleifer V. Alves

According to our database, Gleifer V. Alves authored at least 16 papers between 2009 and 2023.

Collaborative distances:

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

2023

A middleware for providing communicability to Embedded MAS based on the lack of connectivity.

Vinicius Souza de Jesus, Nilson Mori Lazarin, Carlos Eduardo Pantoja, Fabian Cesar Pereira Brandão Manoel, Gleifer Vaz Alves, José Viterbo

Artif. Intell. Rev., December, 2023

An IDE to Support the Development of Embedded Multi-Agent Systems.

Vinicius Souza de Jesus, Nilson Mori Lazarin, Carlos Eduardo Pantoja, Gleifer Vaz Alves, Gabriel Ramos Alves de Lima, José Viterbo

Proceedings of the Advances in Practical Applications of Agents, Multi-Agent Systems, and Cognitive Mimetics. The PAAMS Collection, 2023

2022

Integrating Embedded Multiagent Systems with Urban Simulation Tools and IoT Applications.

Lucas Fernando Souza de Castro, Fabian Cesar Pereira Brandão Manoel, Vinicius Souza de Jesus, Carlos Eduardo Pantoja, André Pinz Borges, Gleifer Vaz Alves

RITA, 2022

Towards a Digital Highway Code using Formal Modelling and Verification of Timed Automata.

Gleifer Vaz Alves, Maike Schwammberger

Proceedings of the Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), 2022

Integrating Formal Verification and Simulation-based Assertion Checking in a Corroborative V&V Process.

Maike Schwammberger, Christopher Harper, Gleifer Vaz Alves, Greg Chance, Tony Pipe, Kerstin Eder

CoRR, 2022

Integrating a Multi-Agent Smart Parking System using Cloud Technologies.

Milton Boos Junior, Lucas Sakurada, Paulo Leitão, Paulo Alves, Gleifer Vaz Alves, André Pinz Borges, Diego Roberto Antunes

Proceedings of the 24th International Conference on Enterprise Information Systems, 2022

2021

A Double-Level Model Checking Approach for an Agent-Based Autonomous Vehicle and Road Junction Regulations.

Gleifer Vaz Alves, Louise Abigail Dennis, Michael Fisher

J. Sens. Actuator Networks, 2021

Extending Urban Multi-Lane Spatial Logic to Formalise Road Junction Rules.

Maike Schwammberger, Gleifer Vaz Alves

Proceedings of the Proceedings Third Workshop on Formal Methods for Autonomous Systems, 2021

Bio-Inspired Protocols for Embodied Multi-Agent Systems.

Vinicius Souza de Jesus, Carlos Eduardo Pantoja, Fabian Cesar Pereira Brandão Manoel, Gleifer Vaz Alves, José Viterbo, Eduardo Bezerra

Proceedings of the 13th International Conference on Agents and Artificial Intelligence, 2021

2019

Development of Agent-Based CPS for Smart Parking Systems.

Lucas Sakurada, José Barbosa, Paulo Leitão, Gleifer V. Alves, André Pinz Borges, Pedro Botelho

Proceedings of the IECON 2019, 2019

Experimentation of Negotiation Protocols for Consensus Problems in Smart Parking Systems.

Bruno Rafael Alves, Gleifer Vaz Alves, André Pinz Borges, Paulo Leitão

Proceedings of the Industrial Applications of Holonic and Multi-Agent Systems, 2019

Formalisation and Implementation of Road Junction Rules on an Autonomous Vehicle Modelled as an Agent.

Gleifer Vaz Alves, Louise A. Dennis, Michael Fisher

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2017

A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification.

Lucas E. R. Fernandes, Vinicius Custodio, Gleifer V. Alves, Michael Fisher

Proceedings of the Proceedings First Workshop on Formal Verification of Autonomous Vehicles, 2017

2013

N-GraphML: Language and Formal Grammar for Proof-Graphs.

Daniel Vaz dos Santos, Lucas Fernando Souza de Castro, Gleifer Vaz Alves

Proceedings of the 2nd Workshop-School on Theoretical Computer Science, 2013

2011

Proof-graphs: a Thorough Cycle Treatment, Normalization and Subformula Property.

Gleifer V. Alves, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz

Fundam. Informaticae, 2011

2009

Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization.

Gleifer V. Alves, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz

Proceedings of the Logic, 2009