Elthon A. S. Oliveira

Publication Activity (10 Years)

Years Active: 2005-2013
Publications (10 Years): 0

Top Topics

Pervasive Environments

Digital Signage

Production Process

Top Venues

Publications

Frederico M. Bublitz, Lenardo Chaves e Silva, Elthon A. S. Oliveira, Saulo O. D. Luiz, Hyggo Oliveira de Almeida, Angelo Perkusich
A Petri Net Model Specification for Delivering Adaptable Ads through Digital Signage in Pervasive Environments. SEKE (2013)
Elthon A. S. Oliveira, Leandro Dias da Silva, Hyggo Oliveira de Almeida, Angelo Perkusich
Model-Based Solution for Controlling Physiology. FHIES (2012)
Elthon A. S. Oliveira, Hyggo Oliveira de Almeida, Leandro Dias da Silva
Formal modelling and verification of a component model using coloured petri nets and model checking. SAC (2007)
Glauber Ferreira, Emerson Loureiro, Elthon A. S. Oliveira
A Java code annotation approach for model checking software systems. SAC (2007)
Hyggo O. Almeida, Elthon A. S. Oliveira, Nadia Barbosa, Frederico Bublitz, Leandro Dias da Silva, Angelo Perkusich
Modelagem e Verificação Formal de Sistemas de Informação Baseados em Componentes. SBSI (2005)
Patrícia D. L. Machado, Elthon A. S. Oliveira, Paulo E. S. Barbosa, Cássio L. Rodrigues
Testing from Structured Algebraic Specifications: The Veritas Case Study. Electron. Notes Theor. Comput. Sci. 130 (2005)