Paulo E. S. Barbosa

	2011
8		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: 237-245
7		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: 256-265
	2010
6		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: 241-250
5		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: 251-260
	2009
4		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. UCS 15(11): 2196-2224 (2009)
	2008
3		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: 330-336
	2006
2		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: 226-235
	2005
1		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. Electr. Notes Theor. Comput. Sci. 130: 235-261 (2005)

Coauthor Index

1	André Aranha	[7]
2	João Paulo Barros	[7] [8]
3	Jairson M. Cabral	[2]
4	Anikó Costa	[4] [5] [6] [7] [8]
5	Jorge Figueiredo	[5] [7] [8]
6	Jorge C. A. de Figueiredo (Jorge Cesar Abrantes de Figueiredo)	[2] [3] [4] [6]
7	Luís Gomes	[4] [5] [6] [7] [8]
8	Dalton Serey Guerrero (Dalton Dario Serey Guerrero)	[2]
9	Antonio D. dos S. Junior	[3] [4] [5] [6]
10	Patrícia D. L. Machado	[1]
11	André Monteiro	[8]
12	Filipe Moutinho	[7] [8]
13	Elthon A. S. Oliveira	[1]
14	Franklin Ramalho (Franklin de S. Ramalho)	[3] [4] [5] [6] [7] [8]
15	Cássio L. Rodrigues	[1] [2]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page