Use of Prolog for building protocol design tools. - Gregor von Bochmann; Rachida Dssouli; Wanderley Lopes de Souza; Behçet Sarikaya; Hasan Ural (PSTV, 1985)

Step-wise Refinement Design Example Using LOTOS. - Luís Ferreira Pires; Wanderley Lopes de Souza (FORTE, 1990)

Geração Automática de Especificações de Implementação a partir de Especificações Abstratas. - Eílson Barbosa Medeiros; Maurício Ferreira Magalhães; Wanderley Lopes de Souza (SBES, 1992)

Automatic Refinement of Distributed Systems Specifications Using Program Transformations. - Antônio Carlos Lima de Santana; Antônio Francisco do Prado; Wanderley Lopes de Souza; Marcelo Sant'Anna (COMPSAC, 1998)

Design of Distributed Multimedia Applications (DAMD). - Wanderley Lopes de Souza; Paulo Nazareno Maia Sampaio; Jean-Marie Farines; Roberto Milton Scheffel; Maria Janilce B. Almeida; Luciano Paschoal Gaspary; Lisandro Zambenedetti Granville; Roberto Willrich; Murilo S. de Camargo; Marcelo Domingos (FM-Trends, 1998)

Automatic Implementation of Distributed Systems Formal Specifications. - Antônio Carlos Lima de Santana; Luiz Henrique Castelo Branco; Antônio Francisco do Prado; Wanderley Lopes de Souza; Marcelo Sant'Anna (PDPTA, 1999)

Mutation Testing Applied to Estelle Specifications. - Simone do Rócio Senger de Souza; José Carlos Maldonado; Sandra Camargo Pinto Ferraz Fabbri; Wanderley Lopes de Souza (Softw. Qual. J., 1999)

Automatic Implementation of Distributed Systems Formal Specifications. - Luiz Henrique Castelo Branco; Antônio Francisco do Prado; Wanderley Lopes de Souza; Marcelo Sant'Anna (IPDPS Workshops, 2000)

Specification and Validation of a Real-Time Parallel Kernel Using LOTOS. - Cléver Ricardo Guareis de Farias; Luís Ferreira Pires; Wanderley Lopes de Souza; Célio Estevan Morón (MASCOTS, 2001)

Simulator for E-LOTOS Specifications. - Francisco Isidro Massetto; Wanderley Lopes de Souza; Sérgio Donizetti Zorzo (Annual Simulation Symposium, 2002)

Um framework baseado em componentes para o domínio de adaptação de conteúdo na Internet. - Renato A. T. Claudino; Wanderley Lopes de Souza; Antônio Francisco do Prado (SBES, 2005)

A content classification and filtering server for the internet. - Marcos Forte; Wanderley Lopes de Souza; Antônio Francisco do Prado (SAC, 2006)

Utilizando Ontologias e Serviços Web na Computação Ubíqua. - Marcos Forte; Wanderley Lopes de Souza; Antônio Francisco do Prado (SBES, 2006)

A component-based framework for the internet content adaptation domain. - Marcos Forte; Renato A. T. Claudino; Wanderley Lopes de Souza; Antônio Francisco do Prado; Luiz H. Z. Santana (SAC, 2007)

Usando Ontologias, Serviços Web Semânticos e Agentes Móveis no Desenvolvimento Baseado em Componentes. - Luiz H. Z. Santana; Antônio Francisco do Prado; Wanderley Lopes de Souza; Mauro Biajiz (SBCARS, 2007)

Context-aware information retrieval on a ubiquitous medical learning environment. - Diogo Santana Martins; Luiz H. Z. Santana; Mauro Biajiz; Antônio Francisco do Prado; Wanderley Lopes de Souza (SAC, 2008)

A ubiquitous computing environment for medical education. - Helen de F. Santos; Luiz H. Z. Santana; Diogo Santana Martins; Wanderley Lopes de Souza; Antônio Francisco do Prado; Mauro Biajiz (SAC, 2008)

Um ambiente baseado na web 2.0 para educaçao médica construtivista. - Luiz Henrique Zambom Santana; Wanderley Lopes de Souza; Antônio Francisco do Prado (WebMedia, 2008)

Uma arquitetura P2P para adaptação de conteúdo em dispositivos móveis. - Eduardo Felipe Zambom Santana; Luiz Henrique Zambom Santana; Antônio Francisco do Prado; Wanderley Lopes de Souza (WebMedia (Companion), 2008)

Using ontologies and Web services for content adaptation in Ubiquitous Computing. - Marcos Forte; Wanderley Lopes de Souza; Antônio Francisco do Prado (J. Syst. Softw., 2008)

Development Based on MDA, of Ubiquitous Applications Domain Product Lines. - Raphael Pereira de Oliveira; Antônio Francisco do Prado; Wanderley Lopes de Souza; Mauro Biajiz (ACIS-ICIS, 2009)

Implicit relevance feedback for context-aware information retrieval in UbiLearning environments. - Diogo Santana Martins; Mauro Biajiz; Antônio Francisco do Prado; Wanderley Lopes de Souza (SAC, 2009)

Modelagem Específica de Domínio em Linhas de Produto de Software na computação ubíqua. - Eduardo Felipe Zambom Santana; Wanderley Lopes de Souza; Raphael Pereira de Oliveira; Antônio Francisco do Prado; Mauro Biajiz (SBCARS, 2009)

P2PMobileLearning: a content adaptation P2P application on mobile devices. - Eduardo Felipe Zambom Santana; Antônio Francisco do Prado; Wanderley Lopes de Souza (WebMedia, 2009)

Using archetypes and Domain Specific Languages on development of ubiquitous applications to pervasive healthcare. - Anderson L. Menezes; Carlos E. Cirilo; João Luís Cardoso de Moraes; Wanderley Lopes de Souza; Antônio Francisco do Prado (CBMS, 2010)

A Hybrid Approach for Adapting Web Graphical User Interfaces to Multiple Devices using Information Retrieved from Context. - Carlos E. Cirilo; Antônio Francisco do Prado; Wanderley Lopes de Souza; Luciana A. M. Zaina (DMS, 2010)

Model Driven RichUbi - A Model-Driven Process to Construct Rich Interfaces for Context-Sensitive Ubiquitous Applications. - Carlos E. Cirilo; Antônio Francisco do Prado; Wanderley Lopes de Souza; Luciana A. M. Zaina (SBES, 2010)

Model driven RichUbi: a model driven process for building rich interfaces of context-sensitive ubiquitous applications. - Carlos E. Cirilo; Antônio Francisco do Prado; Wanderley Lopes de Souza; Luciana A. M. Zaina (SIGDOC, 2010)

Experimentation of the Model Driven RichUbi Process in the Adaptive Rich Interfaces Development. - Carlos E. Cirilo; Antônio Francisco do Prado; Wanderley Lopes de Souza; Luciana A. M. Zaina (SBES, 2011)

UCEMEPA: Ubiquitous Computing Environment for Monitoring and Evaluating Physical Activity. - Douglas F. S. Nunes; Wanderley Lopes de Souza; Antônio Francisco do Prado; Marcelo M. P. Demarzo (AMCIS, 2012)

Designing an ubiquitous computing environment for monitoring physical activity. - Douglas F. S. Nunes; Wanderley Lopes de Souza; Antônio Francisco do Prado; Marcelo M. P. Demarzo (CBMS, 2012)

Estudo Experimental do Processo Model Driven RichUbi: Análise Qualitativa. - Carlos E. Cirilo; Antônio Francisco do Prado; Wanderley Lopes de Souza; Luciana A. M. Zaina (CIbSE, 2012)

An approach to support legacy systems reengineering to MDD using metaprogramming. - Paulo Eduardo Papotti; Antônio Francisco do Prado; Wanderley Lopes de Souza (CLEI, 2012)

Reducing time and effort in legacy systems reengineering to MDD using metaprogramming. - Paulo Eduardo Papotti; Antônio Francisco do Prado; Wanderley Lopes de Souza (RACS, 2012)

Towards a Hybrid Approach for Adapting Web Graphical User Interfaces to Heterogeneous Devices using Context. - Carlos E. Cirilo; Antônio Francisco do Prado; Wanderley Lopes de Souza; Luciana A. M. Zaina; José Fernando Rodrigues Jr. (Int. J. Softw. Eng. Knowl. Eng., 2012)

A novel architecture for message exchange in Pervasive Healthcare based on the use of Intelligent Agents. - João Luís Cardoso de Moraes; Wanderley Lopes de Souza; Luís Ferreira Pires; Luciana Tricai Cavalini; Antônio Francisco do Prado (AICCSA, 2013)

Message generation facilities for interoperability in pervasive healthcare environments. - João Luís Cardoso de Moraes; Wanderley Lopes de Souza; Luís Ferreira Pires; Antônio Francisco do Prado (AMCIS, 2013)

A Quantitative Analysis of Model-Driven Code Generation through Software Experimentation. - Paulo Eduardo Papotti; Antônio Francisco do Prado; Wanderley Lopes de Souza; Carlos Eduardo Cirilo; Luís Ferreira Pires (CAiSE, 2013)

A Novel Approach to Developing Applications in the Pervasive Healthcare Environment through the Use of Archetypes. - João Luís Cardoso de Moraes; Wanderley Lopes de Souza; Luís Ferreira Pires; Luciana Tricai Cavalini; Antônio Francisco do Prado (ICCSA (5), 2013)

Towards a Reusable Architecture for Message Exchange in Pervasive Healthcare. - João Luís Cardoso de Moraes; Wanderley Lopes de Souza; Luís Ferreira Pires; Antônio Francisco do Prado (ICEIS (2), 2013)

An Architecture for Health Information Exchange in Pervasive Healthcare Environment. - João Luís Cardoso de Moraes; Wanderley Lopes de Souza; Luís Ferreira Pires; Antônio Francisco do Prado (ICEIS, 2013)

An Approach for Message Exchange Using Archetypes. - João Luís Cardoso de Moraes; Wanderley Lopes de Souza; Luciana Tricai Cavalini; Luís Ferreira Pires; Antônio Francisco do Prado (MedInfo, 2013)

An Approach to Business Processes Decomposition for Cloud Deployment. - Lucas Venezian Povoa; Wanderley Lopes de Souza; Luís Ferreira Pires; Evert F. Duipmans; Antônio Francisco do Prado (SBES, 2013)

A Ubiquitous Reflective E-Portfolio Architecture. - Marcos Forte; Wanderley Lopes de Souza; Roseli F. da Silva; Antônio Francisco do Prado; José Fernando Rodrigues Jr. (Int. J. Medical Informatics, 2013)

Using the Dual-Level Modeling Approach to Developing Applications in the Pervasive Healthcare Environment. - João Luís Cardoso de Moraes; Wanderley Lopes de Souza; Luís Ferreira Pires; Luciana Tricai Cavalini; Antônio Francisco do Prado (J. Mobile Multimedia, 2013)

An approach to the decomposition of business processes for execution in the Cloud. - Lucas Venezian Povoa; Wanderley Lopes de Souza; Luís Ferreira Pires; Antônio Francisco do Prado (AICCSA, 2014)

An Approach to Business Process Recovery from Source Code. - Luiz A. Pacini Rabelo; Antônio Francisco do Prado; Wanderley Lopes de Souza; Luís Ferreira Pires (ITNG, 2015)

A methodology based on openEHR archetypes and software agents for developing e-health applications reusing legacy systems. - João Luís Cardoso de Moraes; Wanderley Lopes de Souza; Luís Ferreira Pires; Antônio Francisco do Prado (Comput. Methods Programs Biomed., 2016)

Combining Behaviour-Driven Development with Scrum for Software Development in the Education Domain. - Pedro Lopes de Souza; Antônio Francisco do Prado; Wanderley Lopes de Souza; Sissi Marilia dos Santos Forghieri Pereira; Luís Ferreira Pires (ICEIS (2), 2017)

ScrumOntoBDD: Agile software development based on scrum, ontologies and behaviour-driven development. - Pedro Lopes de Souza; Wanderley Lopes de Souza; Luís Ferreira Pires (J. Braz. Comput. Soc., 2021)

Ontology Engineering of an IoT System for Monitoring Hypertension. - Pedro Lopes de Souza; Wanderley Lopes de Souza; Luís Ferreira Pires; João Luiz Rebelo Moreira; Ricardo Rodrigues Ciferri (ICEIS (Revised Selected Papers 2), 2023)

Ontology-Driven IoT System for Monitoring Hypertension. - Pedro Lopes de Souza; Wanderley Lopes de Souza; Luís Ferreira Pires; João Luiz Rebelo Moreira; Ronitti Juner da Silva Rodrigues; Ricardo Rodrigues Ciferri (ICEIS (1), 2023)

A LoRaWAN Multi-Network Server Application for Smart Cold Chain Tracking in Remote Areas. - Alex Fabiano Garcia; Wanderley Lopes de Souza; Luís Ferreira Pires (ICEIS (1), 2025)