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 (SBMF, 2004)

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 (SBSI, 2005)

A Java code annotation approach for model checking software systems. - Glauber Ferreira; Emerson Loureiro; Elthon A. S. Oliveira (SAC, 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 (SAC, 2007)

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 (Innovations in Information Systems Modeling, 2009)

Model-Based Solution for Controlling Physiology. - Elthon A. S. Oliveira; Leandro Dias da Silva; Hyggo Oliveira de Almeida; Angelo Perkusich (FHIES, 2012)

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 (SEKE, 2013)