dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Paulo Romero Martins Maciel Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJulio C. Damasceno, Fernando Antônio Aires Lins, Robson W. A. Medeiros, Bruno L. B. Silva, Andre R. R. Souza, D. Aragão, Paulo Romero Martins Maciel, Nelson Souto Rosa, Bryan Stephenson, J. Li: Modeling and Executing Business Processes with Annotated Security Requirements in the Cloud. ICWS 2011: 137-144
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAna Maria, Rivalino Matias, Autran Macedo, Paulo Romero Martins Maciel, Lucio Borges de Araujo: Performance Analysis of Control Charts Techniques Applied to IP Traffic Forecasts. PDCAT 2011: 109-115
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcelo Teixeira, Ricardo Massa Ferreira Lima, Cesar A. L. Oliveira, Paulo Romero Martins Maciel: Planning service agreements in soa-based systems through stochastic models. SAC 2011: 1576-1581
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFernando Antônio Aires Lins, Robson W. A. Medeiros, Bruno L. B. Silva, Andre R. R. Souza, D. Aragão, Julio C. Damasceno, Paulo Romero Martins Maciel, Nelson Souto Rosa, Bryan Stephenson, J. Li: SSC4Cloud Tooling: An Integrated Environment for the Development of Business Processes with Security Requirements in the Cloud. SERVICES 2011: 53-60
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean Araujo, Rubens Matos, Paulo Romero Martins Maciel, Rivalino Matias: Software aging issues on the eucalyptus cloud computing infrastructure. SMC 2011: 1411-1416
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGustavo Rau de Almeida Callou, Paulo Romero Martins Maciel, Eduardo Tavares, Erica Sousa, Bruno L. B. Silva, J. Figueiredo, Carlos Araújo, F. S. Magnani, F. Neves: Sustainability and dependability evaluation on data center architectures. SMC 2011: 398-403
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRivalino Matias, Ana M. M. Carvalho, Lucio Borges de Araujo, Paulo Romero Martins Maciel: Comparison analysis of statistical control charts for quality monitoring of network traffic forecasts. SMC 2011: 404-409
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGustavo Rau de Almeida Callou, Erica Sousa, Paulo Romero Martins Maciel, Eduardo Tavares, B. Silva, J. Figueiredo, Carlos Araújo, F. S. Magnani, F. Neves: A formal approach to the quantification of sustainability and dependability metrics on data center infrastructures. SpringSim (TMS-DEVS) 2011: 274-281
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Araújo, Paulo Romero Martins Maciel, Armin Zimmermann, Ermeson Andrade, Erica Sousa, Gustavo Rau de Almeida Callou, Paulo Roberto Freire Cunha: Performability modeling of electronic funds transfer systems. Computing 91(4): 315-334 (2011)
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBruno Costa e Silva Nogueira, Paulo Romero Martins Maciel, Eduardo Tavares, Ermeson Andrade, Ricardo Massa Ferreira Lima, Gustavo Rau de Almeida Callou, Rodolfo Ferraz: A Formal Model for Performance and Energy Evaluation of Embedded Systems. EURASIP J. Emb. Sys. 2011: (2011)
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabriel Alves, Paulo Romero Martins Maciel, Ricardo Lim, Fábio Magnani, Adilson Arcoverde Jr.: Towards the Evaluation of Environment and Business Trade-offs in Supply Chains. Electr. Notes Theor. Comput. Sci. 275: 5-21 (2011)
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGustavo Rau de Almeida Callou, Paulo Romero Martins Maciel, Eduardo Tavares, Ermeson Andrade, Bruno Costa e Silva Nogueira, Carlos Araújo, Paulo Roberto Freire Cunha: Energy consumption and execution time estimation of embedded system applications. Microprocessors and Microsystems - Embedded Hardware Design 35(4): 426-440 (2011)
2010
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRivalino Matias, Kishor S. Trivedi, Paulo Romero Martins Maciel: Using Accelerated Life Tests to Estimate Time to Software Aging Failure. ISSRE 2010: 211-219
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHugo Estanislau Soares Galindo, Erico A. C. Guedes, Paulo Romero Martins Maciel, Bruno Silva, Sergio Mario Lins Galdino: WGCap: A synthetic trace generation tool for capacity planning of virtual server environments. SMC 2010: 2094-2101
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergio Mario Lins Galdino, Paulo Romero Martins Maciel: Availability with input uncertainties using an interval-based approach. SMC 2010: 298-303
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcelo Teixeira, Ricardo Massa Ferreira Lima, Cesar A. L. Oliveira, Paulo Romero Martins Maciel: A stochastic model for performance evaluation and bottleneck discovering on SOA-based systems. SMC 2010: 358-365
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcelo Marinho, Paulo Romero Martins Maciel, Erica Sousa, Teresa Maciel, Almir Guimares: Stochastic model for performance evaluation of test planning. SMC 2010: 3690-3697
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGustavo Rau de Almeida Callou, Erica Sousa, Paulo Romero Martins Maciel, Eduardo Antonio Guimarães Tavares, Carlos Araújo, Bruno L. B. Silva, Nelson Souto Rosa, Manish Marwah, Ratnesh K. Sharma, Amip Shah, Tom Christian, Jose Paulo Pires, F. S. Magnani: Impact analysis of maintenance policies on data center power infrastructure. SMC 2010: 526-533
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlmir Pereira Guimaraes, Paulo Romero Martins Maciel, Rivalino Matias: Quantitative analysis of performability in voice and data networks. SMC 2010: 761-768
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBruno L. B. Silva, Paulo Romero Martins Maciel, Eduardo Antonio Guimarães Tavares, Carlos Araújo, Gustavo Rau de Almeida Callou, Erica Sousa, Nelson Souto Rosa, Manish Marwah, Ratnesh K. Sharma, Amip Shah, Tom Christian, Jose Paulo Pires: ASTRO: A tool for dependability evaluation of Data Center infrastructures. SMC 2010: 783-790
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcelo Marinho, Paulo Romero Martins Maciel, Erica Sousa, Teresa Maciel, Ermeson Andrade: Performance evaluation of test process based on stochastic models. SpringSim 2010: 141
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLR. O. Nascimento, Paulo Romero Martins Maciel: DBT-5: An Open-Source TPC-E Implementation for Global Performance Measurement of Computer Systems. Computing and Informatics 29(5): 719-740 (2010)
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEduardo Tavares, Paulo Romero Martins Maciel, Pedro Dallegrave, B. Silva, Tiago Falcão, Bruno Costa e Silva Nogueira, Gustavo Rau de Almeida Callou, P. R. F. Cunha: Model-driven software synthesis for hard real-time applications with energy constraints. Design Autom. for Emb. Sys. 14(4): 327-366 (2010)
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabriel Alves de Albuquerque, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima, Armin Zimmermann: Automatic Modeling for Performance Evaluation of Inventory and Outbound Distribution. IEEE Transactions on Systems, Man, and Cybernetics, Part A 40(5): 1025-1044 (2010)
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErmeson Andrade, Paulo Romero Martins Maciel, Tiago Falcão, Bruno Costa e Silva Nogueira, Carlos Araújo, Gustavo Rau de Almeida Callou: Performance and energy consumption estimation for commercial off-the-shelf component system design. ISSE 6(1-2): 107-114 (2010)
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErmeson Andrade, Paulo Romero Martins Maciel, Bruno Costa e Silva Nogueira, Carlos Araújo, Gustavo Rau de Almeida Callou: A COTS-based approach for estimating performance and energy consumption of embedded real-time systems. Inf. Process. Lett. 110(14-15): 525-534 (2010)
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManish Marwah, Paulo Romero Martins Maciel, Amip Shah, Ratnesh K. Sharma, Tom Christian, Virgilio Almeida, Carlos Araújo, Erica Sousa, Gustavo Rau de Almeida Callou, Bruno Silva, Sergio Mario Lins Galdino, Jose Paulo Pires: Quantifying the sustainability impact of data center availability. SIGMETRICS Performance Evaluation Review 37(4): 64-68 (2010)
2009
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErmeson Carneiro de Andrade, Paulo Romero Martins Maciel, Gustavo Rau de Almeida Callou, Bruno Costa e Silva Nogueira: A Methodology for Mapping SysML Activity Diagram to Time Petri Net for Requirement Validation of Embedded Real-Time Systems with Energy Constraints. ICDS 2009: 266-271
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndre R. R. Souza, Bruno L. B. Silva, Fernando Antônio Aires Lins, Julio C. Damasceno, Nelson Souto Rosa, Paulo Romero Martins Maciel, Robson W. A. Medeiros, Bryan Stephenson, Hamid R. Motahari Nezhad, Jun Li, Caio Northfleet: Incorporating Security Requirements into Service Composition: From Modelling to Execution. ICSOC/ServiceWave 2009: 373-388
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndre R. R. Souza, Bruno L. B. Silva, Fernando Antônio Aires Lins, Julio C. Damasceno, Nelson S. Rosa, Paulo Romero Martins Maciel, Robson W. A. Medeiros, Bryan Stephenson, Hamid R. Motahari Nezhad, Jun Li, Caio Northfleet: Sec-MoSC Tooling - Incorporating Security Requirements into Service Composition. ICSOC/ServiceWave 2009: 649-650
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdilayne Meneses Salgueiro, Paulo Roberto Freire Cunha, Paulo Romero Martins Maciel, José Augusto Suruagy Monteiro, Ricardo J. P. B. Salgueiro: Defining bandwidth constraints with cooperative games. ICUMT 2009: 1-8
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Araújo, Erica Sousa, Paulo Romero Martins Maciel, Fábio Chicout, Ermeson Carneiro de Andrade: Performance Modeling for Evaluation and Planning of Electronic Funds Transfer Systems with Bursty Arrival Traffic. INTENSIVE 2009: 65-70
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErica Sousa, Paulo Romero Martins Maciel, Carlos Araújo, Fábio Chicout: Performability evaluation of EFT systems for SLA assurance. IPDPS 2009: 1-8
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErica Sousa, Paulo Romero Martins Maciel, Carlos Araújo, Gabriel Alves, Fábio Chicout: Performance modeling for evaluation and planning of Electronic Funds Transfer Systems. ISCC 2009: 73-76
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErmeson Carneiro de Andrade, Paulo Romero Martins Maciel, Gustavo Rau de Almeida Callou, Bruno Costa e Silva Nogueira, Carlos Araújo: Mapping UML sequence diagram to time petri net for requirement validation of embedded real-time systems with energy constraints. SAC 2009: 377-381
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBruno Costa e Silva Nogueira, Paulo Romero Martins Maciel, Eduardo Antonio Guimarães Tavares, Ermeson Carneiro de Andrade, Gustavo Rau de Almeida Callou, Ricardo Massa Oliveira Lima, Rodolfo Ferraz, Bruno Montenegro: Performance and Energy Consumption Evaluation of Embedded Applications: A Method Based on Platform's Behavioral Model. SBAC-PAD 2009: 135-142
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcelo Teixeira, Ricardo Massa Ferreira Lima, Cesar A. L. Oliveira, Paulo Romero Martins Maciel: Performance Evaluation of Service-Oriented Architecture through Stochastic Petri Nets. SMC 2009: 2831-2836
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHugo Estanislau Soares Galindo, Wagner Medeiros Santos, Paulo Romero Martins Maciel, Bruno L. B. Silva, Sergio Mario Lins Galdino, Jose Paulo Pires: Synthetic workload generation for capacity planning of virtual server environments. SMC 2009: 2837-2842
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEduardo Tavares, Pedro Dallegrave, Bruno L. B. Silva, Gustavo Rau de Almeida Callou, Bruno Costa e Silva Nogueira, Paulo Romero Martins Maciel: A Hybrid DVS Scheduling Approach for Hard Real-Time Systems. SMC 2009: 2848-2853
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErica Teixeira Gomes Sousa, Paulo Romero Martins Maciel, Carlos Julian Menezes Araújo: Performability Evaluation of EFT Systems using Expolinomial Stochastic Models. SMC 2009: 3328-3333
2008
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErmeson Andrade, Paulo Romero Martins Maciel, Gustavo Rau de Almeida Callou, Bruno Costa e Silva Nogueira: Mapping UML Interaction Overview Diagram to Time Petri Net for Analysis and Verification of Embedded Real-Time Systems with Energy Constraints. CIMCA/IAWTIC/ISE 2008: 615-620
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabiano 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
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFábio N. Souza, Roberto D. Arteiro, Nelson S. Rosa, Paulo Romero Martins Maciel: Performance Models for the Instance Pooling Mechanism of the JBoss Application Server. IPCCC 2008: 135-143
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGustavo 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
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEduardo Tavares, Bruno Silva, Paulo Romero Martins Maciel, Pedro Dallegrave: Software Synthesis for Hard Real-Time Embedded Systems with Energy Constraints. SBAC-PAD 2008: 115-122
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGustavo 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
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEduardo Tavares, Bruno Silva, Paulo Romero Martins Maciel: An Environment for Measuring and Scheduling Time-Critical Embedded Systems with Energy Constraints. SEFM 2008: 291-300
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaimundo 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)
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEduardo 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)
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEduardo 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
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLucas 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
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEduardo 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
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEduardo 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
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergio Mario Lins Galdino, Paulo Romero Martins Maciel, Nelson Souto Rosa: Interval generalized stochastic petri net models in dependability evaluation. SMC 2007: 2502-2507
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdilson Arcoverde, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima: Performance evaluation of manufacturing systems using GSPN with energy consumption and human resource allocation annotations. SMC 2007: 2894-2900
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabriel Alves, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima: A GSPN based approach to evaluate outbound logistics. SMC 2007: 708-713
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabriel Alves, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima: Modeling and evaluation of supply chains with GSPN components. VALUETOOLS 2007: 31
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEduardo 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)
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLucas 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)
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberta A. de A. Fagundes, Paulo Romero Martins Maciel, Nelson S. Rosa: Performance Evaluation of CORBA Concurrency Control Service Using Stochastic Petri Nets. RITA 14(2): 109-132 (2007)
2006
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEduardo 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
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMeuse 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
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFábio N. Souza, Roberto D. Arteiro, Nelson S. Rosa, Paulo Romero Martins Maciel: Using stochastic Petri nets for performance modelling of application servers. IPDPS 2006
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonardo 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
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRemy Eskinazi Sant'Anna, Manoel Eusebio de Lima, Paulo Romero Martins Maciel, Carlos A. Valderrama, Abel Guilhermino Silva-Filho, Paulo Sérgio B. do Nascimento: A petri-net based Pre-runtime scheduler for dynamically self-reconfiguration of FPGAs (abstract only). FPGA 2005: 262
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaulo Sérgio B. do Nascimento, Paulo Romero Martins Maciel, Manoel Eusebio de Lima, Remy Eskinazi Sant'Anna, Abel Guilhermino Silva-Filho: A partial reconfigurable FPGA implementation for industrial controllers using SFC-petri net description (abstract only). FPGA 2005: 275
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonardo 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
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRemy Eskinazi Sant'Anna, Manoel Eusebio de Lima, Paulo Romero Martins Maciel, Carlos A. Valderrama, Abel Guilhermino Silva-Filho, Paulo Sérgio B. do Nascimento: A Timed Petri Net Approach for Pre-Runtime Scheduling in Partial and Dynamic Reconfigurable Systems. IPDPS 2005
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHélio Lopes dos Santos, Paulo Romero Martins Maciel, Nelson S. Rosa, Roberto Souto Maior de Barros: Managing Petri Nets in MOF Repositories. OTM Conferences (2) 2005: 1381-1397
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEduardo 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
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMeuse 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
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaimundo 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
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEduardo 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
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaimundo 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
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRemy Eskinazi Sant'Anna, Manoel Eusebio de Lima, Paulo Romero Martins Maciel: A left-edge algorithm approach for scheduling and allocation of hardware contexts in dynamically reconfigurable architectures. FPGA 2004: 259
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaimundo 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
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabriel Alves, Adilson Arcoverde, Ricardo Massa Ferreira Lima, Paulo Romero Martins Maciel: EZPetri: A Petri net interchange framework for Eclipse based on PNML. ISoLA (Preliminary proceedings) 2004: 143-149
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMeuse 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
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEduardo 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
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaulo Sérgio B. do Nascimento, Paulo Romero Martins Maciel, Manoel Eusebio de Lima, Remy Eskinazi Sant'Anna, Abel Guilhermino Silva-Filho: A partial reconfigurable architecture for controllers based on Petri nets. SBCCI 2004: 16-21
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaimundo 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
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauro J. C. de Silva, Wellington João Silva, Paulo Romero Martins Maciel: Modelling and analysis in production system: an approach based on Petri net. SMC (5) 2004: 4354-4359
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlbano Portela Machado, Paulo Romero Martins Maciel, Edna Barros: A Petri net based method for functional and interconnect units estimation. SMC (5) 2004: 4983-4988
2003
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSérgio M. M. Fernandes, Paulo Romero Martins Maciel: Reliability Evaluation for Dependable Embedded System Specifications: An Approach Based on DSPN. MEMOCODE 2003: 172-
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJulio A. de Oliveira Filho, Manoel Eusebio de Lima, Paulo Romero Martins Maciel: Petri Net Based Interface Analysis for Fast IP-Core Integration. MEMOCODE 2003: 34-
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaimundo 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
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJulio A. de Oliveira Filho, Manoel Eusebio de Lima, Paulo Romero Martins Maciel, Juliana Moura, Bruno Celso: A Fast IP-Core Integration Methodology for SoC Design. SBCCI 2003: 131-136
1999
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaulo Romero Martins Maciel, Edna Barros, Wolfgang Rosenstiel: A Petri Net Model for Hardware/Software Codesign. Design Autom. for Emb. Sys. 4(4): 243-310 (1999)

Coauthor Index

1Virgílio A. F. Almeida (Virgilio Almeida) [62]
2Gabriel Alves (Gabriel Alves de Albuquerque) [12] [19] [32] [33] [55] [65] [78]
3Leonardo Amorim [17] [18] [22] [25] [31]
4Ermeson Carneiro de Andrade (Ermeson Andrade) [43] [45] [48] [53] [54] [57] [61] [63] [64] [68] [77] [79] [80]
5D. Aragão [85] [88]
6Carlos Araújo (Carlos Julian Menezes Araújo) [49] [54] [55] [56] [57] [62] [63] [64] [69] [71] [77] [80] [81] [83]
7Jean Araujo [84]
8Lucio Borges de Araujo [82] [87]
9Adilson Arcoverde [12] [18] [19] [34]
10Adilson Arcoverde Jr. [78]
11Roberto D. Arteiro [26] [46]
12Rafael Barcelos [30] [38]
13Raimundo S. Barreto [3] [8] [10] [11] [13] [15] [16] [17] [18] [19] [22] [25] [27] [28] [30] [31] [38] [41] [47]
14Edna Barros [1] [6]
15Leonardo Barros [16] [19]
16Roberto Souto Maior de Barros [20]
17Arthur Bessa [16] [19] [22]
18Frederico Braga [27]
19Gustavo Rau de Almeida Callou [43] [45] [48] [50] [53] [54] [61] [62] [63] [64] [66] [69] [71] [77] [79] [80] [81] [83]
20Ana M. M. Carvalho [82]
21Cesar Carvalho [17]
22Fernando F. Carvalho [11]
23Sérgio Cavalcante [3] [13]
24Bruno Celso [2]
25Fábio Chicout [55] [56] [57]
26Tom Christian [62] [69] [71]
27Lucas Cordeiro [30] [38] [47]
28Fabiano Cruz [47]
29Paulo Roberto Freire Cunha (P. R. F. Cunha) [58] [66] [77] [80]
30Marcelo Custodio [28]
31Pedro Dallegrave [44] [50] [66]
32Julio C. Damasceno [59] [60] [85] [88]
33Roberta A. de A. Fagundes [29]
34Tiago Falcão [64] [66]
35Sérgio M. M. Fernandes [5]
36Rodolfo Ferraz [53] [79]
37J. Figueiredo [81] [83]
38Julio A. de Oliveira Filho [2] [4]
39Romulo Devezas Freitas [28] [41]
40Sergio Mario Lins Galdino [35] [51] [62] [74] [75]
41Hugo Estanislau Soares Galindo [51] [75]
42Erico A. C. Guedes [75]
43Almir Pereira Guimaraes [70]
44Almir Guimares [72]
45J. Li [85] [88]
46Jun Li [59] [60]
47Ricardo Lim [78]
48Manoel Eusebio de Lima [2] [4] [9] [14] [21] [23] [24]
49Ricardo Massa Ferreira Lima [8] [10] [12] [15] [16] [17] [18] [19] [22] [27] [31] [32] [33] [34] [41] [52] [65] [73] [79] [86]
50Ricardo Massa Oliveira Lima [53]
51Fernando Antônio Aires Lins [59] [60] [85] [88]
52Vicente Ferreira de Lucena Jr. (Vicente Lucena) [30] [38]
53Autran Macedo [87]
54Albano Portela Machado [6]
55Teresa Maciel [68] [72]
56F. S. Magnani [71] [81] [83]
57Fábio Magnani [78]
58Ana Maria [87]
59Marcelo Marinho [68] [72]
60Renato Marques [36]
61Manish Marwah [62] [69] [71]
62Rivalino Matias [70] [76] [82] [84] [87]
63Rubens Matos [84]
64Robson W. A. Medeiros [59] [60] [85] [88]
65Carlos Mello [17]
66José Augusto Suruagy Monteiro [58]
67Bruno Montenegro [53]
68Juliana Moura [2]
69Paulo Sérgio B. do Nascimento (Paulo Sérgio Brandão do Nascimento) [9] [21] [23] [24]
70R. O. Nascimento [67]
71Silvino Neto [27] [28]
72F. Neves [81] [83]
73Marília Neves [8] [10] [15]
74Hamid R. Motahari Nezhad [59] [60]
75Bruno Costa e Silva Nogueira [43] [45] [48] [50] [53] [54] [61] [63] [64] [66] [77] [79]
76Meuse N. Nogueira Jr. [25]
77Caio Northfleet [59] [60]
78Cesar A. L. Oliveira [18] [52] [73] [86]
79Meuse N. Oliveira Jr. [8] [10] [11] [16] [17] [18] [19] [22] [27] [28] [30] [31] [36] [37] [38] [40] [41] [45]
80Jose Paulo Pires [51] [62] [69] [71]
81Angelo Ribeiro [18] [27]
82Fernando Rocha [31]
83Rafael Rodrigues [36]
84Nelson Souto Rosa (Nelson S. Rosa) [20] [26] [29] [35] [46] [59] [60] [69] [71] [85] [88]
85Wolfgang Rosenstiel [1]
86Edilayne Meneses Salgueiro [58]
87Ricardo J. P. B. Salgueiro [58]
88Remy Eskinazi Sant'Anna [9] [14] [21] [23] [24]
89Hélio Lopes dos Santos [20]
90Wagner Medeiros Santos [51]
91Amip Shah [62] [69] [71]
92Ratnesh K. Sharma [62] [69] [71]
93B. Silva [66] [81]
94Bruno L. B. Silva (Bruno Silva) [36] [37] [39] [40] [42] [44] [50] [51] [59] [60] [62] [69] [71] [75] [83] [85] [88]
95Mauro J. C. de Silva [7]
96Wellington João Silva [7]
97Abel G. Silva-Filho (Abel Guilhermino Silva-Filho) [9] [21] [23] [24]
98Erica Sousa (Erica Teixeira Gomes Sousa) [49] [55] [56] [57] [62] [68] [69] [71] [72] [80] [81] [83]
99Andre R. R. Souza [59] [60] [85] [88]
100Bruno Souza [28]
101Fábio N. Souza [26] [46]
102Bryan Stephenson [59] [60] [85] [88]
103Eduardo Antonio Guimarães Tavares (Eduardo Tavares) [8] [10] [15] [16] [17] [18] [19] [22] [25] [27] [28] [31] [36] [37] [39] [40] [41] [42] [43] [44] [45] [50] [53] [66] [69] [71] [77] [79] [81] [83]
104Marcelo Teixeira [52] [73] [86]
105Kishor S. Trivedi [76]
106Carlos A. Valderrama [21] [24]
107Armin Zimmermann [65] [80]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page