|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 22 occurrences of 15 keywords
|
|
|
|
|
Results
Found 40 publication records. Showing 40 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Cesar A. L. Oliveira, Ricardo Massa Ferreira Lima, Hajo A. Reijers, Joel Tiago S. Ribeiro |
Quantitative Analysis of Resource-Constrained Business Processes.  |
IEEE Transactions on Systems, Man, and Cybernetics, Part A  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Renata Medeiros de Carvalho, Ricardo Massa Ferreira Lima, Adriano Lorena Inácio de Oliveira |
An efficient algorithm for static task scheduling in parallel applications. |
SMC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Artini M. Lemos, Caio C. Sabino, Ricardo Massa Ferreira Lima, Cesar A. L. Oliveira |
Using process mining in software development process management: A case study. |
SMC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrique Rebêlo, Ricardo Massa Ferreira Lima, Uirá Kulesza, Cláudio Sant'Anna, Roberta Coelho, Alexandre Mota, Márcio Ribeiro, Cesar A. L. Oliveira |
Assessing the Impact of Aspects on Design By Contract Effort: A Quantitative Study. |
SEKE |
2011 |
DBLP BibTeX RDF |
|
| 1 | Artini M. Lemos, Caio C. Sabino, Ricardo Massa Ferreira Lima, Cesar A. L. Oliveira |
Conformance Checking of Software Development Processes Through Process Mining. |
SEKE |
2011 |
DBLP BibTeX RDF |
|
| 1 | Gabriel 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 |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Adriano L. I. Oliveira, Petrônio L. Braga, Ricardo Massa Ferreira Lima, Márcio Cornélio |
GA-based method for feature selection and parameters optimization for machine learning regression applied to software effort estimation. |
Information & Software Technology |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | José Elias Araújo, Henrique Rebêlo, Ricardo Massa Ferreira Lima, Alexandre Mota, Fernando Castor, Tiago Lima, Juliana Lucena, Filipe Lima |
An Aspect-based Approach for Concurrent Programming using CSP Features. |
ICSOFT |
2010 |
DBLP BibTeX RDF |
|
| 1 | Marcelo 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Renata Medeiros de Carvalho, Ricardo Massa Ferreira Lima, Adriano L. I. de Oliveira, Felix Christian Guimaraes Santos |
Identifying parallel jobs for Multi-Physics simulators scheduling. |
SMC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Renata M. Carvalho, Ricardo Massa Ferreira Lima, Adriano L. I. Oliveira, Felix C. G. Santos |
Scheduling parallel jobs for multiphysics simulators. |
IEEE Congress on Evolutionary Computation |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Cesar A. L. Oliveira, Ricardo Massa Ferreira Lima, Thiago Andre, Hajo A. Reijers |
Modeling and Analyzing Resource-Constrained Business Processes. |
SMC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrique Rebêlo, Ricardo Massa Ferreira Lima, Márcio Cornélio, Sérgio Soares |
A JML Compiler Based on AspectJ. |
ICST |
2008 |
DBLP DOI BibTeX RDF |
JML compiler, Aspect-Oriented Programming, AspectJ, Design by Contract, JML language |
| 1 | Henrique Rebêlo, Sérgio Soares, Ricardo Massa Ferreira Lima, Leopoldo Ferreira, Márcio Cornélio |
Implementing Java modeling language contracts with AspectJ. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
JML compiler, aspect-oriented programming, AspectJ, design by contract, JML language |
| 1 | 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 |
2007 |
DBLP DOI BibTeX RDF |
petri nets, real-time embedded systems, software synthesis, multiple processors |
| 1 | Gabriel Alves, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima |
A GSPN based approach to evaluate outbound logistics. |
SMC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Adilson 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Alves, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima |
Modeling and evaluation of supply chains with GSPN components. |
VALUETOOLS |
2007 |
DBLP DOI BibTeX RDF |
performance evaluation, modeling, petri nets, supply chain management, stochastic processes, logistics |
| 1 | Sérgio Soares, Paulo Borba, Ricardo Massa Ferreira Lima |
Concurrency Control Modularization with Aspect-Oriented Programming. |
COMPSAC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Abel G. Silva-Filho, Carmelo J. A. Bastos Filho, Ricardo Massa Ferreira Lima, Davi M. A. Falcão, Filipe R. Cordeiro, Marília P. Lima |
An Intelligent Mechanism to Explore a Two-Level Cache Hierarchy Considering Energy Consumption and Time Performance. |
SBAC-PAD |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin A. Musicante, Ricardo Massa Ferreira Lima |
The 9th Brazilian Symposium on Programming Languages J.UCS Special Issue. |
J. UCS |
2005 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
embedded hard real-time systems, hardware/software codesign methodologies, software synthesis |
| 1 | Adilson Arcoverde, Gabriel Alves, Ricardo Massa Ferreira Lima |
Petri nets tools integration through Eclipse. |
ETX |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
embedded hard real-time systems, hardware/software codesign methodologies, software synthesis |
| 1 | Ricardo Massa Ferreira Lima, Rafael Dueire Lins, André L. M. Santos |
A back-end for GHC based on categorical multi-combinators. |
SAC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Gabriel 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 |
DBLP BibTeX RDF |
|
| 1 | F. H. Carvalho, Ricardo Massa Ferreira Lima, Rafael Dueire Lins |
Coordinating functional processes with Haskell#. |
SAC |
2002 |
DBLP DOI BibTeX RDF |
parallel functional programming, parallel software engineering, coordination, Haskell |
| 1 | Francisco Heron de Carvalho Junior, Rafael Dueire Lins, Ricardo Massa Ferreira Lima |
Translating Haskell# Programs into Petri Nets. |
VECPAR |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Genésio Gomes da Cruz Neto, Ricardo Massa Ferreira Lima, Rafael Dueire Lins, André L. M. Santos |
Optimising Pseudoknotin FCMC. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #40 of 40 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")