Paulo E. S. Barbosa

Publication Activity (10 Years)

Years Active: 2005-2020
Publications (10 Years): 3

Top Topics

Software Architecture

Security Patterns

Requirements Engineering

Top Venues

Publications

Paulo E. S. Barbosa, Alex Figueiredo, Sabrina Souto, Eugenio Gaeta, Eriko Araujo, Tiago Teixeira
An Open Source Software Architecture and Ready-To-Use Components for Health IoT. CBMS (2020)
Paulo E. S. Barbosa, Julia Queiroz, Danilo Santos, Alex Figueiredo, Fabio Leite, Katia Elizabete Galdino
RE4CH: Requirements Engineering for Connected Health. CBMS (2018)
Paulo E. S. Barbosa, Fabio Leite, Danilo Santos, Alex Figueiredo, Katia Elizabete Galdino
Introducing Traceability Information Models in Connected Health Projects. CBMS (2018)
Antonio D. dos S. Junior, Paulo E. S. Barbosa, Normando G. de C. Junior, Sidney A. Rodrigues, Misael Morais, Robson Pequeno
NUTES ProLS: Specification of an Environment for Prototyping and Evolving EHR Data Collection Systems. CBMS (2014)
Sidney A. Rodrigues, Raimundo C. S. Freire, Benedito A. Luciano, Paulo E. S. Barbosa, Antonio D. S. Junior, Sebastian Yuri Cavalcanti Catunda
Architectural specification for infusion pumps and realization towards safety technological trends. MeMeA (2014)
Paulo E. S. Barbosa, Misael Morais, Katia Elizabete Galdino, Melquisedec Andrade, Luís Gomes, Filipe Moutinho, Jorge C. A. de Figueiredo
Towards medical device behavioural validation using Petri nets. CBMS (2013)
Filipe Moutinho, Luís Gomes, Paulo E. S. Barbosa, João Paulo Barros, Franklin Ramalho, Jorge Figueiredo, Anikó Costa, André Monteiro
Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System. DoCEIS (2011)
Paulo E. S. Barbosa, João Paulo Barros, Franklin Ramalho, Luís Gomes, Jorge Figueiredo, Filipe Moutinho, Anikó Costa, André Aranha
SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design. DoCEIS (2011)
Paulo E. S. Barbosa, Franklin Ramalho, Jorge Figueiredo, Anikó Costa, Luís Gomes, Antonio D. dos S. Junior
Semantic Equations for Formal Models in the Model-Driven Architecture. DoCEIS (2010)
Anikó Costa, Paulo E. S. Barbosa, Luís Gomes, Franklin Ramalho, Jorge C. A. de Figueiredo, Antonio D. dos S. Junior
Properties Preservation in Distributed Execution of Petri Nets Models. DoCEIS (2010)
Paulo E. S. Barbosa, Franklin Ramalho, Jorge C. A. de Figueiredo, Antonio D. dos S. Junior, Anikó Costa, Luís Gomes
Checking Semantics Equivalence of MDA Transformations in Concurrent Systems. J. Univers. Comput. Sci. 15 (11) (2009)
Paulo E. S. Barbosa, Franklin Ramalho, Jorge C. A. de Figueiredo, Antonio D. dos S. Junior
An Extended MDA Architecture for Ensuring Semantics-Preserving Transformations. SEW (2008)
Paulo E. S. Barbosa, Franklin Ramalho, Jorge C. A. de Figueiredo, Antonio D. dos S. Junior
Incorporating Semantic Algebra in the MDA Framework. ICSOFT (SE/MUSE/GSDCA) (2008)
Cássio L. Rodrigues, Paulo E. S. Barbosa, Jairson M. Cabral, Jorge C. A. de Figueiredo, Dalton Serey Guerrero
A Bag-of-Tasks Approach for State Space Exploration Using Computational Grids. SEFM (2006)
Patrícia D. L. Machado, Elthon A. S. Oliveira, Paulo E. S. Barbosa, Cássio L. Rodrigues
Testing from Structured Algebraic Specifications: The Veritas Case Study. Electron. Notes Theor. Comput. Sci. 130 (2005)