Claudionor Coelho

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

Ask others: ACM DL/Guide -

	2012
j1		Georgia Penido Safe, Claudionor Coelho, Luiz Filipe M. Vieira, Celina Gomes Do Val, José Augusto Miranda Nacif, Antônio Otávio Fernandes: Selection of formal verification heuristics for parallel execution. STTT 14(1): 95-108 (2012)
	2011
c4		José Augusto Miranda Nacif, Thiago S. F. Silva, Luiz Filipe M. Vieira, Alex Borges Vieira, Antônio Otávio Fernandes, Claudionor Coelho: Tracking hardware evolution. ISQED 2011: 442-447
	2009
c3		Rajeev K. Ranjan, Claudionor Coelho, Sebastian Skalberg: Beyond verification: leveraging formal for debugging. DAC 2009: 648-651
	2003
c2		Ana Luiza A. P. Zuquim, Luiz Filipe M. Vieira, Marcos Augusto M. Vieira, Alex Borges Vieira, Hervaldo S. Carvalho, José Augusto Miranda Nacif, Claudionor Coelho, Diógenes Cecilio da Silva Jr., Antônio Otávio Fernandes, Antonio Alfredo Ferreira Loureiro: Efficient power management in real-time embedded systems. ETFA (1) 2003: 496-505
c1		André Lins, Eduardo Freire Nakamura, Lincoln S. Rocha, Antonio Alfredo Ferreira Loureiro, Claudionor Coelho: Semi-automatic generation of monitoring applications for wireless networks. ETFA (1) 2003: 506-511

Coauthor Index

1	Hervaldo S. Carvalho	[c2]
2	Antônio Otávio Fernandes	[j1] [c4] [c2]
3	André Lins	[c1]
4	Antonio Alfredo Ferreira Loureiro	[c2] [c1]
5	José Augusto Miranda Nacif	[j1] [c4] [c2]
6	Eduardo Freire Nakamura	[c1]
7	Rajeev K. Ranjan	[c3]
8	Lincoln S. Rocha	[c1]
9	Georgia Penido Safe	[j1]
10	Thiago S. F. Silva	[c4]
11	Diógenes Cecilio da Silva Jr.	[c2]
12	Sebastian Skalberg	[c3]
13	Celina Gomes Do Val	[j1]
14	Alex Borges Vieira	[c4] [c2]
15	Luiz Filipe M. Vieira	[j1] [c4] [c2]
16	Marcos Augusto M. Vieira	[c2]
17	Ana Luiza A. P. Zuquim	[c2]

Last update Thu May 23 13:48:54 2013 CET by the DBLP Team —

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