Elthon A. S. Oliveira

According to our database, Elthon A. S. Oliveira authored at least 7 papers between 2004 and 2013.

Collaborative distances:

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

2013

A Petri Net Model Specification for Delivering Adaptable Ads through Digital Signage in Pervasive Environments.

Frederico M. Bublitz, Lenardo Chaves e Silva, Elthon A. S. Oliveira, Saulo Oliveira Dornellas Luiz, Hyggo Oliveira de Almeida, Angelo Perkusich

Proceedings of the 25th International Conference on Software Engineering and Knowledge Engineering, 2013

2012

Model-Based Solution for Controlling Physiology.

Elthon A. S. Oliveira, Leandro Dias da Silva, Hyggo Oliveira de Almeida, Angelo Perkusich

Proceedings of the Foundations of Health Information Engineering and Systems, 2012

2009

An Agent Based Formal Approach for Modeling and Verifying Integrated Intelligent Information Systems.

Leandro Dias da Silva, Elthon Allex da Silva Oliveira, Hyggo Oliveira de Almeida, Angelo Perkusich

Proceedings of the Innovations in Information Systems Modeling, 2009

2007

Formal modelling and verification of a component model using coloured petri nets and model checking.

Elthon A. S. Oliveira, Hyggo Oliveira de Almeida, Leandro Dias da Silva

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

A Java code annotation approach for model checking software systems.

Glauber Ferreira, Emerson Loureiro, Elthon A. S. Oliveira

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

2005

Modelagem e Verificação Formal de Sistemas de Informação Baseados em Componentes.

Hyggo O. Almeida, Elthon A. S. Oliveira, Nadia Barbosa, Frederico Bublitz, Leandro Dias da Silva, Angelo Perkusich

Proceedings of the 2nd Brazilian Symposium on Information Systems, 2005

2004

Testing from Structured Algebraic Specifications: The Veritas Case Study.

Patrícia D. L. Machado, Elthon A. S. Oliveira, Paulo E. S. Barbosa, Cássio L. Rodrigues

Proceedings of the Seventh Brazilian Symposium on Formal Methods, 2004