Follow
Elthon Allex da Silva Oliveira
Elthon Allex da Silva Oliveira
Verified email at arapiraca.ufal.br - Homepage
Title
Cited by
Cited by
Year
Obtaining formal models from ladder diagrams
EA da Silva Oliveira, LD da Silva, K Gorgônio, A Perkusich, AF Martins
2011 9th IEEE International Conference on Industrial Informatics, 796-801, 2011
172011
Formal modelling and verification of a component model using coloured petri nets and model checking
E Oliveira, H Almeida, L Silva
Proceedings of the 2007 ACM symposium on Applied computing, 1427-1431, 2007
92007
A formal approach for component based embedded software modelling and analysis
HO Almeida, LD da Silva, E Oliveira, A Perkusich
Proceedings of the IEEE International Symposium on Industrial Electronics …, 2005
92005
A java code annotation approach for model checking software systems
G Ferreira, E Loureiro, E Oliveira
Proceedings of the 2007 ACM symposium on Applied computing, 1536-1537, 2007
82007
Testing from structured algebraic specifications: The veritas case study
PDL Machado, EAS Oliveira, PES Barbosa, CL Rodrigues
Electronic Notes in Theoretical Computer Science 130, 235-261, 2005
82005
Altas habilidades/superdotação: Estratégias de identificação e alternativas educacionais para estudantes talentos
AJG Barbosa, ZC Ghenther, CES Pereira, FC Gonçalves, EA Oliveira, ...
Desenvolvimento psicossocial: Temas em educação e saúde, 33-51, 2008
62008
Prospecção tecnológica de aplicativos móveis para monitoramento de saúde da mulher
KF Farias, RM Silva, DM Silva, AF Silva, EAS Oliveira, TL Balliano, ...
REVISTA GEINTEC-GESTAO INOVACAO E TECNOLOGIAS 11 (1), 5823-5834, 2021
32021
A Petri Net Model Specification for Delivering Adaptable Ads through Digital Signage in Pervasive Environments
FM Bublitz, LC e Silva, EAS Oliveira, SOD Luiz, HO de Almeida, ...
International Conference on Software Engineering & Knowledge Engineering, 2013
32013
Uma técnica para modelagem e verificação de programas JAVA concorrentes auxiliada por anotações de código.
EAS OLIVEIRA
Universidade Federal de Campina Grande, 2006
22006
Algebraic specification-based testing: The veritas case study
PDL Machado, E Oliveira, PES Barbosa, CL Rodrigues
Simpósio Brasileiro de Métodos Formais—SBMF, 2004
22004
API-QUESTIONS: um serviço web para a criação de aplicações multidisciplinares voltadas à educação
F Oliveira, DE Ferreira, EA Oliveira
Anais da XX Escola Regional de Computação Bahia, Alagoas e Sergipe, 239-244, 2020
12020
GiveMeJobs: desenvolvimento de uma plataforma web para a divulgação de vagas de emprego e estágio
D Abreu, D Oliveira, JM Farias, L Silva, P Barros, E Oliveira
Anais do XVIII Escola Regional de Computação Bahia, Alagoas e Sergipe, 66-71, 2018
12018
iSAMU: infraestrutura tecnológica para auxiliar o SAMU no atendimento de ocorrências
V Silva, P Abreu, E Oliveira
Anais do XVIII Escola Regional de Computação Bahia, Alagoas e Sergipe, 19-24, 2018
12018
O DESASTRE DE MARIANA
VS SILVA, EAD OLIVEIRA, FA MESSIAS, JC MOTTA, NDS LEITE, ...
Revista de Iniciação Científica da Universidade Vale do Rio Verde 6 (2), 2017
12017
Functional Software Prototypes for Defining and Monitoring Individual Exercise Program
EA da Silva Oliveira, MJF Neto, LD da Silva, HO de Almeida, A Perkusich
Encyclopedia of E-Health and Telemedicine, 193-201, 2016
12016
Reflexões acerca do ensino de Matemática Discreta no curso de Ciência da Computação
LC SILVA, DP SANTOS, FV COSTA JUNIOR, EAS OLIVEIRA
Congresso Nacional de Matemática Aplicada e Computacional, 2014
1*2014
Model-Based Solution for Controlling Physiology
E Oliveira, L Silva, H Almeida, A Perkusich
Foundations of Health Information Engineering and Systems: Second …, 2013
12013
CONTROLLED AND SAFE PHYSICAL ACTIVITIES
E Oliveira, L Silva, A Tenório, H Almeida, A Perkusich, C Grande
Congresso Brasileiro de Informática em Saúde, 2012
12012
CONVERTENDO DIAGRAMAS LADDER EM MODELOS DE REDES DE PETRI COLORIDAS
EA Oliveira, L Dias Da Silva, K Gorgônio, AM Perkusich
Simpósio Brasileiro de Automação Inteligente, 2011
12011
Modelagem e Verificação Formal de Sistemas de Informação Baseados em Componentes
H Almeida, E Oliveira, N Barbosa, F Bublitz, L da Silva, A Perkusich
Anais do II Simpósio Brasileiro de Sistemas de Informação, 272-279, 2005
12005
The system can't perform the operation now. Try again later.
Articles 1–20