Eduardo Tavares
List of publications from the DBLP Bibliography Server - FAQ
2008 | ||
---|---|---|
19 | EE | Gustavo Rau de Almeida Callou, Paulo Romero Martins Maciel, Ermeson Carneiro de Andrade, Bruno Costa e Silva Nogueira, Eduardo Tavares, Meuse N. Oliveira Jr.: A Formal Approach for Estimating Embedded System Execution Time and Energy Consumption. PATMOS 2008: 379-388 |
18 | EE | Gustavo Rau de Almeida Callou, Paulo Romero Martins Maciel, Ermeson Carneiro de Andrade, Bruno Costa e Silva Nogueira, Eduardo Antonio Guimarães Tavares: A coloured petri net based approach for estimating execution time and energy consumption in embedded systems. SBCCI 2008: 134-139 |
17 | EE | Eduardo Tavares, Bruno Silva, Paulo Romero Martins Maciel: An Environment for Measuring and Scheduling Time-Critical Embedded Systems with Energy Constraints. SEFM 2008: 291-300 |
16 | EE | Eduardo Tavares, Paulo Romero Martins Maciel, Bruno Silva, Meuse N. Oliveira Jr.: Hard real-time tasks' scheduling considering voltage scaling, precedence and exclusion relations. Inf. Process. Lett. 108(2): 50-59 (2008) |
15 | EE | Eduardo Tavares, Paulo Romero Martins Maciel, Bruno Silva: Modeling hard real-time systems considering inter-task relations, dynamic voltage scaling and overheads. Microprocessors and Microsystems - Embedded Hardware Design 32(8): 460-473 (2008) |
2007 | ||
14 | EE | Eduardo Tavares, Paulo Romero Martins Maciel, Bruno Silva, Meuse N. Oliveira Jr.: A time petri net-based approach for hard real-time systems scheduling considering dynamic voltage scaling, overheads, precedence and exclusion relations. SBCCI 2007: 312-317 |
13 | EE | Eduardo Tavares, Paulo Romero Martins Maciel, Bruno Silva, Meuse N. Oliveira Jr., Rafael Rodrigues, Renato Marques: Dynamic Voltage Scaling in hard real-time systems considering precedence and exclusion relations. SMC 2007: 2496-2501 |
12 | EE | 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) |
2006 | ||
11 | EE | Eduardo Tavares, Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Bruno Souza, Silvino Neto, Raimundo S. Barreto, Romulo Freitas, Marcelo Custodio: Pre-Runtime Scheduling Considering Timing and Energy Constraints in Embedded Systems with Multiple Processors. DIPES 2006: 255-264 |
10 | EE | 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 |
9 | EE | 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 | ||
8 | EE | 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 |
7 | EE | 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 |
6 | EE | Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima, Angelo Ribeiro, Cesar 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 |
5 | EE | 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 |
4 | EE | 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 | ||
3 | 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 | |
2 | EE | 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 |
1 | EE | 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 |
1 | Gabriel Alves | [7] |
2 | Leonardo Amorim | [5] [6] [8] [9] [12] |
3 | Ermeson Carneiro de Andrade | [18] [19] |
4 | Adilson Arcoverde | [6] [7] |
5 | Raimundo S. Barreto | [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] |
6 | Leonardo Barros | [4] [7] |
7 | Arthur Bessa | [4] [7] [8] |
8 | Frederico Braga | [10] |
9 | Gustavo Rau de Almeida Callou | [18] [19] |
10 | Cesar Carvalho | [5] |
11 | Marcelo Custodio | [11] |
12 | Romulo Freitas | [11] |
13 | Ricardo Massa Ferreira Lima | [1] [2] [3] [4] [5] [6] [7] [8] [10] [12] |
14 | Paulo Romero Martins Maciel | [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] |
15 | Renato Marques | [13] |
16 | Carlos Mello | [5] |
17 | Silvino Neto | [10] [11] |
18 | Marília Neves | [1] [2] [3] |
19 | Bruno Costa e Silva Nogueira | [18] [19] |
20 | Meuse N. Nogueira Jr. | [9] |
21 | Cesar Oliveira | [6] |
22 | Meuse N. Oliveira Jr. | [1] [2] [4] [5] [6] [7] [8] [10] [11] [12] [13] [14] [16] [19] |
23 | Angelo Ribeiro | [6] [10] |
24 | Fernando Rocha | [12] |
25 | Rafael Rodrigues | [13] |
26 | Bruno Silva | [13] [14] [15] [16] [17] |
27 | Bruno Souza | [11] |