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
152011
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
92007
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
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
92005
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
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
Model-Based Solution for Controlling Physiology
E Oliveira, L Silva, H Almeida, A Perkusich
International Symposium on Foundations of Health Informatics Engineering and …, 2012
12012
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
EAS Oliveira, LD da Silva, K Gorgônio, A Perkusich, AMN Lima, C Grande
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
Geração de fórmulas da Lógica Proposicional
F da Silva Oliveira, E Oliveira
Proceeding Series of the Brazilian Society of Computational and Applied …, 2021
2021
Especificações Alloy de Elementos da Lógica Proposicional
F Oliveira, E Oliveira
Anais do XIV Encontro Unificado de Computação do Piauí e XI Simpósio de …, 2021
2021
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
2021
Tellfunny 2.0: O uso de recompensas para o estímulo à prática
S Nunes, L Oliveira, L Nascimento, E Oliveira
Anais da XX Escola Regional de Computação Bahia, Alagoas e Sergipe, 257-262, 2020
2020
Schooly: uma Ferramenta Computacional para Automação e Análise da Frequência Escolar
A Luz, DE Ferreira, E Oliveira
Anais da XX Escola Regional de Computação Bahia, Alagoas e Sergipe, 349-356, 2020
2020
Geração de fórmulas da Lógica Proposicional baseada na Síntese de Programas
F Oliveira, E Oliveira
Anais da XX Escola Regional de Computação Bahia, Alagoas e Sergipe, 119-128, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–20