| 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 | 15 | 2011 |
| 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 | 9 | 2007 |
| 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 | 9 | 2007 |
| 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 | 9 | 2005 |
| 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 | 9 | 2005 |
| 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 | 3 | 2013 |
| 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 | 2 | 2006 |
| 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 | 2 | 2004 |
| 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 | 1 | 2020 |
| 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 | 1 | 2016 |
| Model-Based Solution for Controlling Physiology E Oliveira, L Silva, H Almeida, A Perkusich International Symposium on Foundations of Health Informatics Engineering and …, 2012 | 1 | 2012 |
| 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 | 1 | 2012 |
| 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 | 1 | 2011 |
| 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 | 1 | 2005 |
| 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 |
