Paulo E. S. Barbosa

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