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)

A Bag-of-Tasks Approach for State Space Exploration Using Computational Grids. - Cássio L. Rodrigues; Paulo E. S. Barbosa; Jairson M. Cabral; Jorge C. A. de Figueiredo; Dalton Serey Guerrero (SEFM, 2006)

Incorporating Semantic Algebra in the MDA Framework. - Paulo E. S. Barbosa; Franklin Ramalho; Jorge C. A. de Figueiredo; Antonio D. dos S. Junior (ICSOFT (SE/MUSE/GSDCA), 2008)

An Extended MDA Architecture for Ensuring Semantics-Preserving Transformations. - Paulo E. S. Barbosa; Franklin Ramalho; Jorge C. A. de Figueiredo; Antonio D. dos S. Junior (SEW, 2008)

Checking Semantics Equivalence of MDA Transformations in Concurrent Systems. - Paulo E. S. Barbosa; Franklin Ramalho; Jorge C. A. de Figueiredo; Antonio D. dos S. Junior; Anikó Costa; Luís Gomes 001 (J. Univers. Comput. Sci., 2009)

Semantic Equations for Formal Models in the Model-Driven Architecture. - Paulo E. S. Barbosa; Franklin Ramalho; Jorge Figueiredo 001; Anikó Costa; Luís Gomes 001; Antonio D. dos S. Junior (DoCEIS, 2010)

Properties Preservation in Distributed Execution of Petri Nets Models. - Anikó Costa; Paulo E. S. Barbosa; Luís Gomes 001; Franklin Ramalho; Jorge C. A. de Figueiredo; Antonio D. dos S. Junior (DoCEIS, 2010)

SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design. - Paulo E. S. Barbosa; João Paulo Barros; Franklin Ramalho; Luís Gomes 001; Jorge Figueiredo 001; Filipe Moutinho; Anikó Costa; André Aranha (DoCEIS, 2011)

Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System. - Filipe Moutinho; Luís Gomes 001; Paulo E. S. Barbosa; João Paulo Barros; Franklin Ramalho; Jorge Figueiredo 001; Anikó Costa; André Monteiro (DoCEIS, 2011)

Towards medical device behavioural validation using Petri nets. - Paulo E. S. Barbosa; Misael Morais; Katia Elizabete Galdino; Melquisedec Andrade; Luís Gomes 001; Filipe Moutinho; Jorge C. A. de Figueiredo (CBMS, 2013)

NUTES ProLS: Specification of an Environment for Prototyping and Evolving EHR Data Collection Systems. - Antonio D. dos S. Junior; Paulo E. S. Barbosa; Normando G. de C. Junior; Sidney A. Rodrigues; Misael Morais; Robson Pequeno (CBMS, 2014)

Architectural specification for infusion pumps and realization towards safety technological trends. - Sidney A. Rodrigues; Raimundo C. S. Freire; Benedito A. Luciano; Paulo E. S. Barbosa; Antonio D. S. Junior; Sebastian Yuri Cavalcanti Catunda (MeMeA, 2014)

Introducing Traceability Information Models in Connected Health Projects. - Paulo E. S. Barbosa; Fabio Leite; Danilo Santos 001; Alex Figueiredo; Katia Elizabete Galdino (CBMS, 2018)

RE4CH: Requirements Engineering for Connected Health. - Paulo E. S. Barbosa; Julia Queiroz; Danilo Santos 001; Alex Figueiredo; Fabio Leite; Katia Elizabete Galdino (CBMS, 2018)

An Open Source Software Architecture and Ready-To-Use Components for Health IoT. - Paulo E. S. Barbosa; Alex Figueiredo; Sabrina Souto; Eugenio Gaeta; Eriko Araujo; Tiago Teixeira (CBMS, 2020)