Raimundo S. Barreto

	2011
26		Raimundo S. Barreto, Lucas Cordeiro, Bernd Fischer: Verifying Embedded C Software with Timing Constraints using an Untimed Model Checker CoRR abs/1106.2320: (2011)
	2010
25		Horacio A. B. F. de Oliveira, Raimundo S. Barreto, Awdren L. Fontao, Antonio Alfredo Ferreira Loureiro, Eduardo Freire Nakamura: A Novel Greedy Forward Algorithm for Routing Data toward a High Speed Sink in Wireless Sensor Networks. ICCCN 2010: 1-7
	2008
24		Mauro Teófilo, Lucas Cordeiro, Raimundo S. Barreto, José Raimundo Pereira, Ayres Mardem, Pedro Freitas: Mandos: A User Interaction Method in Embedded Applications for Mobile Telephony. ACHI 2008: 271-276
23		Fabiano Cruz, Raimundo S. Barreto, Lucas Cordeiro, Paulo Romero Martins Maciel: ezRealtime: A Domain-Specific Modeling Tool for Embedded Hard Real-Time Software Synthesis. DATE 2008: 1510-1515
22		Lucas Cordeiro, Carlos Mar, Eduardo Valentin, Fabiano Cruz, Daniel Patrick, Raimundo S. Barreto, Vicente Lucena: A Platform-Based Software Design Methodology for Embedded Control Systems: An Agile Toolkit. ECBS 2008: 408-417
21		Lucas Cordeiro, Raimundo S. Barreto, Meuse N. Oliveira Jr.: Towards a Semiformal Development Methodology for Embedded Systems. ENASE 2008: 5-12
20		Fabiano Cruz, Raimundo S. Barreto, Lucas Cordeiro: Towards a model-driven engineering approach for developing embedded hard real-time software. SAC 2008: 308-314
19		Lucas Cordeiro, Carlos Mar, Eduardo Valentin, Fabiano Cruz, Daniel Patrick, Raimundo S. Barreto, Vicente Lucena: An agile development methodology applied to embedded control software under stringent hardware constraints. ACM SIGSOFT Software Engineering Notes 11(1): (2008)
18		Raimundo S. Barreto, Paulo Romero Martins Maciel, Eduardo Tavares, Romulo Devezas Freitas, Meuse N. Oliveira Jr., Ricardo Massa Ferreira Lima: A time Petri net-based method for embedded hard real-time software synthesis. Design Autom. for Emb. Sys. 12(1-2): 31-62 (2008)
	2007
17		Lucas Cordeiro, Raimundo S. Barreto, Rafael Barcelos, Meuse N. Oliveira Jr., Vicente Lucena, Paulo Romero Martins Maciel: Agile Development Methodology for Embedded Systems: A Platform-Based Design Approach. ECBS 2007: 195-202
16		Eduardo Tavares, Raimundo S. Barreto, Paulo Romero Martins Maciel, Meuse N. Oliveira Jr., Leonardo Amorim, Fernando Rocha, Ricardo Massa Ferreira Lima: Software synthesis for hard real-time embedded systems with multiple processors. ACM SIGSOFT Software Engineering Notes 32(2): 1-10 (2007)
15		Lucas Cordeiro, Raimundo S. Barreto, Rafael Barcelos, Meuse N. Oliveira Jr., Vicente Lucena, Paulo Romero Martins Maciel: TXM: an agile HW/SW development methodology for building medical devices. ACM SIGSOFT Software Engineering Notes 32(6): (2007)
	2006
14		Eduardo Tavares, Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Bruno Souza, Silvino Neto, Raimundo S. Barreto, Romulo Devezas Freitas, Marcelo Custodio: Pre-Runtime Scheduling Considering Timing and Energy Constraints in Embedded Systems with Multiple Processors. DIPES 2006: 255-264
13		Meuse N. Oliveira Jr., Silvino Neto, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima, Angelo Ribeiro, Raimundo S. Barreto, Eduardo Tavares, Frederico Braga: Analyzing Software Performance and Energy Consumption of Embedded Systems by Probabilistic Modeling: An Approach Based on Coloured Petri Nets. ICATPN 2006: 261-281
12		Leonardo Amorim, Paulo Romero Martins Maciel, Meuse N. Nogueira Jr., Raimundo S. Barreto, Eduardo Tavares: Mapping live sequence chart to coloured petri nets for analysis and verification of embedded systems. ACM SIGSOFT Software Engineering Notes 31(3): 1-25 (2006)
	2005
11		Leonardo Amorim, Raimundo S. Barreto, Paulo Romero Martins Maciel, Eduardo Tavares, Meuse N. Oliveira Jr., Arthur Bessa, Ricardo Massa Ferreira Lima: A Methodology for Software Synthesis of Embedded Real-Time Systems Based on TPN and LSC. ICESS 2005: 50-62
10		Eduardo Tavares, Raimundo S. Barreto, Paulo Romero Martins Maciel, Meuse N. Oliveira Jr., Adilson Arcoverde, Gabriel Alves, Ricardo Massa Ferreira Lima, Leonardo Barros, Arthur Bessa: An Integrated Environment for Embedded Hard Real-Time Systems Scheduling with Timing and Energy Constraints. PATMOS 2005: 382-392
9		Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima, Angelo Ribeiro, Cesar A. L. Oliveira, Adilson Arcoverde, Raimundo S. Barreto, Eduardo Tavares, Leonardo Amorim: A Retargetable Environment for Power-Aware Code Evaluation: An Approach Based on Coloured Petri Net. PATMOS 2005: 49-58
8		Raimundo S. Barreto, Eduardo Tavares, Paulo Romero Martins Maciel, Meuse N. Oliveira Jr., Leonardo Amorim, Ricardo Massa Ferreira Lima, Cesar Carvalho, Carlos Mello: A Time Petri Net-Based Approach for Software Synthesis Considering Overheads. SBAC-PAD 2005: 184-192
7		Eduardo Tavares, Paulo Romero Martins Maciel, Arthur Bessa, Raimundo S. Barreto, Leonardo Barros, Meuse N. Oliveira Jr., Ricardo Massa Ferreira Lima: A time petri net based approach for embedded hard real-time software synthesis with multiple operational modes. SBCCI 2005: 98-103
	2004
6		Raimundo S. Barreto, Paulo Romero Martins Maciel, Marília Neves, Eduardo Tavares, Ricardo Massa Ferreira Lima: A Novel Approach for Off-Line Multiprocesor Scheduling in Embedded Hard Real-Time Systems. DIPES 2004: 157-166
5		Raimundo S. Barreto, Sérgio Cavalcante, Paulo Romero Martins Maciel: A Time Petri Net Approach for Finding Pre-Runtime Schedules in Embedded Hard Real-Time Systems. ICDCS Workshops 2004: 846-851
4		Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Raimundo S. Barreto, Fernando F. Carvalho: Towards a Software Power Cost Analysis Framework Using Colored Petri Net. PATMOS 2004: 362-371
3		Eduardo Tavares, Raimundo S. Barreto, Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Marília Neves, Ricardo Massa Ferreira Lima: An Approach for Pre Runtime Scheduling in Embedded Hard Real Time Systems with Power Constraints. SBAC-PAD 2004: 188-195
2		Raimundo S. Barreto, Marília Neves, Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Eduardo Tavares, Ricardo Massa Ferreira Lima: A formal software synthesis approach for embedded hard real-time systems. SBCCI 2004: 163-168
	2003
1		Raimundo S. Barreto, Paulo Romero Martins Maciel, Sérgio Cavalcante: A Modeling Methodology and Pre-Run-Time Scheduling for Embedded Real-Time Software. SBAC-PAD 2003: 72-81

Coauthor Index

1	Gabriel Alves (Gabriel Alves de Albuquerque)	[10]
2	Leonardo Amorim	[8] [9] [11] [12] [16]
3	Adilson Arcoverde	[9] [10]
4	Rafael Barcelos	[15] [17]
5	Leonardo Barros	[7] [10]
6	Arthur Bessa	[7] [10] [11]
7	Frederico Braga	[13]
8	Cesar Carvalho	[8]
9	Fernando F. Carvalho	[4]
10	Sérgio Cavalcante	[1] [5]
11	Lucas Cordeiro	[15] [17] [19] [20] [21] [22] [23] [24] [26]
12	Fabiano Cruz	[19] [20] [22] [23]
13	Marcelo Custodio	[14]
14	Bernd Fischer	[26]
15	Awdren L. Fontao	[25]
16	Pedro Freitas	[24]
17	Romulo Devezas Freitas	[14] [18]
18	Ricardo Massa Ferreira Lima	[2] [3] [6] [7] [8] [9] [10] [11] [13] [16] [18]
19	Antonio Alfredo Ferreira Loureiro	[25]
20	Vicente Ferreira de Lucena Jr. (Vicente Lucena)	[15] [17] [19] [22]
21	Paulo Romero Martins Maciel	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [23]
22	Carlos Mar	[19] [22]
23	Ayres Mardem	[24]
24	Carlos Mello	[8]
25	Eduardo Freire Nakamura	[25]
26	Silvino Neto	[13] [14]
27	Marília Neves	[2] [3] [6]
28	Meuse N. Nogueira Jr.	[12]
29	Cesar A. L. Oliveira	[9]
30	Horacio A. B. F. de Oliveira	[25]
31	Meuse N. Oliveira Jr.	[2] [3] [4] [7] [8] [9] [10] [11] [13] [14] [15] [16] [17] [18] [21]
32	Daniel Patrick	[19] [22]
33	José Raimundo Pereira	[24]
34	Angelo Ribeiro	[9] [13]
35	Fernando Rocha	[16]
36	Bruno Souza	[14]
37	Eduardo Antonio Guimarães Tavares (Eduardo Tavares)	[2] [3] [6] [7] [8] [9] [10] [11] [12] [13] [14] [16] [18]
38	Mauro Teófilo	[24]
39	Eduardo Valentin	[19] [22]

Colors in the list of coauthors

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