Paulo E. S. Barbosa

According to our database, Paulo E. S. Barbosa authored at least 15 papers between 2004 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

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

Proceedings of the 33rd IEEE International Symposium on Computer-Based Medical Systems, 2020

2018

RE4CH: Requirements Engineering for Connected Health.

Paulo E. S. Barbosa, Julia Queiroz, Danilo Santos, Alex Figueiredo, Fabio Leite, Katia Elizabete Galdino

Proceedings of the 31st IEEE International Symposium on Computer-Based Medical Systems, 2018

Introducing Traceability Information Models in Connected Health Projects.

Paulo E. S. Barbosa, Fabio Leite, Danilo Santos, Alex Figueiredo, Katia Elizabete Galdino

Proceedings of the 31st IEEE International Symposium on Computer-Based Medical Systems, 2018

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

Proceedings of the 2014 IEEE International Symposium on Medical Measurements and Applications, 2014

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

Proceedings of the 2014 IEEE 27th International Symposium on Computer-Based Medical Systems, 2014

2013

Towards medical device behavioural validation using Petri nets.

Paulo E. S. Barbosa, Misael Morais, Katia Elizabete Galdino, Melquisedec Andrade, Luís Gomes, Filipe Moutinho, Jorge C. A. de Figueiredo

Proceedings of the 26th IEEE International Symposium on Computer-Based Medical Systems, 2013

2011

Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System.

Filipe Moutinho, Luís Gomes, Paulo E. S. Barbosa, João Paulo Barros, Franklin Ramalho, Jorge Figueiredo, Anikó Costa, André Monteiro

Proceedings of the Technological Innovation for Sustainability, 2011

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, Jorge Figueiredo, Filipe Moutinho, Anikó Costa, André Aranha

Proceedings of the Technological Innovation for Sustainability, 2011

2010

Properties Preservation in Distributed Execution of Petri Nets Models.

Anikó Costa, Paulo E. S. Barbosa, Luís Gomes, Franklin Ramalho, Jorge C. A. de Figueiredo, Antonio D. dos S. Junior

Proceedings of the Emerging Trends in Technological Innovation, 2010

Semantic Equations for Formal Models in the Model-Driven Architecture.

Paulo E. S. Barbosa, Franklin Ramalho, Jorge Figueiredo, Anikó Costa, Luís Gomes, Antonio D. dos S. Junior

Proceedings of the Emerging Trends in Technological Innovation, 2010

2009

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

J. Univers. Comput. Sci., 2009

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

Proceedings of the 32nd Annual IEEE Software Engineering Workshop, 2008

Incorporating Semantic Algebra in the MDA Framework.

Paulo E. S. Barbosa, Franklin Ramalho, Jorge C. A. de Figueiredo, Antonio D. dos S. Junior

Proceedings of the ICSOFT 2008, 2008

2006

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

Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 2006

2004

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

Proceedings of the Seventh Brazilian Symposium on Formal Methods, 2004