Elthon Allex da Silva Oliveira
Elthon Allex da Silva Oliveira
Geverifieerd e-mailadres voor arapiraca.ufal.br - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
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
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 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
82005
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
72007
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
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
Colo Saudável: Aplicativo Móvel para Prevenção do Câncer do Colo do Útero
DM da Silva, RM da Silva, CA Nascimento, GBB Pitta, TL Balliano, ...
Revista Eletrônica Argentina-Brasil de Tecnologias da Informação e da …, 2019
2019
Uso de métodos numéricos na resolução de uma equação diferencial ordinária
J Nascimento, V Santos, E Oliveira
Anais da XIX Escola Regional de Computação Bahia, Alagoas e Sergipe, 255-264, 2019
2019
Aprendizado de máquina aplicado a dados agrometeorológicos
F Oliveira, E Oliveira
Anais da XIX Escola Regional de Computação Bahia, Alagoas e Sergipe, 101-106, 2019
2019
Unimato: plataforma sobre saúde mental do universitário
M Júnior, G Souza, E Oliveira, M Barbosa
Anais da XIX Escola Regional de Computação Bahia, Alagoas e Sergipe, 131-135, 2019
2019
UMA API PARA CONVERSÃO DE PROGRAMAS EM LADDER EM MODELOS DE REDES DE PETRI COLORIDAS
C Macêdo, E Oliveira
Revista de Sistemas e Computação-RSC 9 (1), 2019
2019
Jogo de aventura ambientado na Universidade Federal de Alagoas
E Oliveira, J Barbosa
Anais do XVIII Escola Regional de Computação Bahia, Alagoas e Sergipe, 30-35, 2018
2018
Larica: Plataforma unificada para venda de lanches
A Farias, E Oliveira, G Souza, J Silva, K Farias, MB Junior, M Correia, ...
Anais do XVIII Escola Regional de Computação Bahia, Alagoas e Sergipe, 117-122, 2018
2018
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
2018
Uma ferramenta para melhoria da eficiência das ações do Conselho Tutelar do município de Arapiraca
M Melo, M Correia, P Abreu, E Oliveira
Anais do XVIII Escola Regional de Computação Bahia, Alagoas e Sergipe, 13-18, 2018
2018
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20