Jorge Figueiredo

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2011
c4		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
c3		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
c2		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
	2008
c1		Jorge Figueiredo, Jacques Philippe Sauvé, Pedro Nicolletti, Eloi Rocha, Sérgio Araújo, Fructuoso Amorim, Anderson Feitosa, Ronaldo Agra, Willames Ribeiro: Smart Action: A Tool to Help Power System Restoration. HICSS 2008: 167

Coauthor Index

1	Ronaldo Agra	[c1]
2	Fructuoso Amorim	[c1]
3	André Aranha	[c3]
4	Sérgio Araújo	[c1]
5	Paulo E. S. Barbosa	[c4] [c3] [c2]
6	João Paulo Barros	[c4] [c3]
7	Anikó Costa	[c4] [c3] [c2]
8	Anderson Feitosa	[c1]
9	Luís Gomes	[c4] [c3] [c2]
10	Antonio D. dos S. Junior	[c2]
11	André Monteiro	[c4]
12	Filipe Moutinho	[c4] [c3]
13	Pedro Nicolletti	[c1]
14	Franklin Ramalho (Franklin de S. Ramalho)	[c4] [c3] [c2]
15	Willames Ribeiro	[c1]
16	Eloi Rocha	[c1]
17	Jacques Philippe Sauvé	[c1]

Last update Wed May 22 00:46:20 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page