Gleifer V. Alves

Publication Activity (10 Years)

Years Active: 2009-2019
Publications (10 Years): 2

Top Topics

Formal Verification

Enabling Technologies

Top Venues

Publications

Lucas Sakurada, José Barbosa, Paulo Leitão, Gleifer V. Alves, André Pinz Borges, Pedro Botelho
Development of Agent-Based CPS for Smart Parking Systems. IECON (2019)
Lucas E. R. Fernandes, Vinicius Custodio, Gleifer V. Alves, Michael Fisher
A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification. FVAV@iFM (2017)
Gleifer V. Alves, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz
Proof-graphs: a Thorough Cycle Treatment, Normalization and Subformula Property. Fundam. Informaticae 106 (2-4) (2011)
Gleifer V. Alves, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz
Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization. WoLLIC (2009)