default search action

combined dblp search
author search
venue search
publication search

ask others

Ricardo Massa Ferreira Lima

Ricardo M. F. Lima – Ricardo Lima 0001 – Ricardo Massa 0001

> Home > Persons

Person information

affiliation: Federal University of Pernambuco, Recife, Brazil

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/smc/AraujoLODGPG23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smc/AraujoLODGPG23
Thiago De Sousa Araújo, Ricardo Massa Ferreira Lima, Adriano Lorena Inácio de Oliveira, Raphael José D'Castro, Bráulio Gabriel Gusmão, Rafael Leite Paulo, João Thiago De França Guerra:
Investigating the Usability and Comprehensibility of Process Mining Tools Within an Application-Specific Context. SMC 2023: 4337-4342
2022
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/compsec/LimaLLB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/compsec/LimaLLB22
Milton V. M. Lima, Ricardo Lima, Fernando Lins, Michel S. Bonfim:
Beholder - A CEP-based intrusion detection and prevention systems for IoT environments. Comput. Secur. 120: 102824 (2022)
2020
[j19]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fi/GoncalvesSL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fi/GoncalvesSL20
Rosiberto Dos Santos Gonçalves, Jesse J. M. Soares, Ricardo M. F. Lima:
An IoT-Based Framework for Smart Water Supply Systems Management. Future Internet 12(7): 114 (2020)
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/ijguc/MendoncaLA20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijguc/MendoncaLA20
Júlio Mendonça, Ricardo Lima, Ermeson C. Andrade:
Evaluating and modelling solutions for disaster recovery. Int. J. Grid Util. Comput. 11(5): 683-704 (2020)
[j17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/information/TelinoMMGM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/information/TelinoMMGM20
Veronica Telino, Ricardo Massa, Ioná Mota, Alex Sandro Gomes, Fernando Moreira:
A Methodology for Creating a Macro Action Plan to Improve IT Use and Its Governance in Organizations. Inf. 11(9): 427 (2020)
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/drcn/MendoncaLAAK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/drcn/MendoncaLAAK20
Júlio Mendonça, Ricardo Lima, Ermeson Carneiro de Andrade, Julian Araujo, Dong Seong Kim:
Multiple-criteria Evaluation of Disaster Recovery Strategies Based on Stochastic Models. DRCN 2020: 1-7
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/smc/AlmeidaGANLMM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smc/AlmeidaGANLMM20
Glenda Malta de Almeida, Alex Sandro Gomes, Júlia Carneiro de Almeida, Tiago José Dimas Dias Nogueira, Ricardo Massa Ferreira Lima, Thiago Suruagy de Melo, Lorenna Andrade de Mello:
Evaluating Entrepreneurial Perceptions on Blended Learning. SMC 2020: 4334-4339
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/worldcist/TelinoMMGM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/worldcist/TelinoMMGM20
Veronica Telino, Ricardo Massa, Ioná Mota, Alex Sandro Gomes, Fernando Moreira:
Paving the Way for IT Governance in the Public Sector. WorldCIST (1) 2020: 281-290

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/computing/MendoncaAL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computing/MendoncaAL19
Julio Mendonca, Ermeson C. Andrade, Ricardo M. F. Lima:
Assessing mobile applications performance and energy consumption through experiments and Stochastic models. Computing 101(12): 1789-1811 (2019)
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/MendoncaAEL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/MendoncaAEL19
Julio Mendonca, Ermeson C. Andrade, Patricia Takako Endo, Ricardo M. F. Lima:
Disaster recovery solutions for IT systems: A Systematic mapping study. J. Syst. Softw. 149: 511-530 (2019)
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/iscc/MendoncaLQAK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iscc/MendoncaLQAK19
Júlio Mendonça, Ricardo Lima, Ewerton Queiroz, Ermeson Carneiro de Andrade, Dong Seong Kim:
Evaluation of a Backup-as-a-Service Environment for Disaster Recovery. ISCC 2019: 1-6
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/smc/MendoncaMAMML19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smc/MendoncaMAMML19
Júlio Mendonça, Wilson Medeiros, Ermeson C. Andrade, Ronierison Maciel, Paulo Romero Martins Maciel, Ricardo Lima:
Evaluating Database Replication Mechanisms for Disaster Recovery in Cloud Environments. SMC 2019: 2358-2363
2018
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/aina/MendoncaLMFA18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aina/MendoncaLMFA18
Julio Mendonca, Ricardo M. F. Lima, Rúbens de Souza Matos Júnior, João Ferreira, Ermeson Carneiro de Andrade:
Availability Analysis of a Disaster Recovery Solution Through Stochastic Models and Fault Injection Experiments. AINA 2018: 135-142
2017
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/smc/LimaLL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smc/LimaLL17
Milton V. M. Lima, Ricardo M. F. Lima, Fernando Antônio Aires Lins:
A multi-perspective methodology for evaluating the security maturity of data centers. SMC 2017: 1196-1201
2016
[j14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/isys/Baiao016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isys/Baiao016
Fernanda Araújo Baião, Ricardo Massa:
Editorial Vol.9, Nº 4. Braz. J. Inf. Syst. 9(4): 1-4 (2016)
2015
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/eswa/TeixeiraROL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eswa/TeixeiraROL15
Marcelo Teixeira, Richardson Ribeiro, César Augusto Lins de Oliveira, Ricardo Massa Ferreira Lima:
A quality-driven approach for resources planning in Service-Oriented Architectures. Expert Syst. Appl. 42(12): 5366-5379 (2015)
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEscc/SouzaSCRL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEscc/SouzaSCRL15
Fábio N. Souza, Tarcisio Coutinho Da Silva, David Junio Mota Cavalcanti, Nelson S. Rosa, Ricardo M. F. Lima:
A Meta-model for QoS Monitoring in a Dynamic Service-Component Platform. SCC 2015: 459-466
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/TeixeiraRBEL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/TeixeiraRBEL15
Marcelo Teixeira, Richardson Ribeiro, Marco A. C. Barbosa, Fabrício Enembreck, Ricardo Massa Ferreira Lima:
A modeling architecture for the orchestration of service components in factory automation. ETFA 2015: 1-8
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/smc/MendoncaLAC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smc/MendoncaLAC15
Julio Mendonca, Ricardo M. F. Lima, Ermeson C. Andrade, Gustavo Rau de Almeida Callou:
Assessing Performance and Energy Consumption in Mobile Applications. SMC 2015: 74-79
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/sp/15/OliveiraLR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/15/OliveiraLR15
César A. L. de Oliveira, Ricardo M. F. Lima, Hajo A. Reijers:
Implementing a Digital Strategy through Business Process Management. BPM 2015: 231-245
2014
[j12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/AldrichL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/AldrichL14
Jonathan Aldrich, Ricardo Massa Ferreira Lima:
Brazilian Symposium on Programming Languages (SBLP 2010). Sci. Comput. Program. 80: 51 (2014)
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/aosd/RebeloLBRLZCT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aosd/RebeloLBRLZCT14
Henrique Rebêlo, Gary T. Leavens, Mehdi Bagherzadeh, Hridesh Rajan, Ricardo Massa Ferreira Lima, Daniel M. Zimmerman, Márcio Cornélio, Thomas Thüm:
Modularizing crosscutting contracts with AspectJML. MODULARITY (Companion) 2014: 21-24
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/aosd/RebeloLBRLZCT14a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aosd/RebeloLBRLZCT14a
Henrique Rebêlo, Gary T. Leavens, Mehdi Bagherzadeh, Hridesh Rajan, Ricardo Massa Ferreira Lima, Daniel M. Zimmerman, Márcio Cornélio, Thomas Thüm:
AspectJML: modular specification and runtime checking for crosscutting contracts. MODULARITY 2014: 157-168
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/iceis/SilvaOAL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceis/SilvaOAL14
Natália C. Silva, César A. L. de Oliveira, Fabiane A. L. A. Albino, Ricardo M. F. Lima:
Declarative Versus Imperative Business Process Languages - A Controlled Experiment. ICEIS (3) 2014: 394-401
2013
[j11]
- view
  - electronic edition @ cai.sk (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/cai/OliveiraSSL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cai/OliveiraSSL13
César A. L. de Oliveira, Natália Cabral Silva, Cecília Leite Sabat, Ricardo Massa Ferreira Lima:
Reducing the Gap Between Business and Information Systems Through Complex Event Processing. Comput. Informatics 32(2): 225-250 (2013)
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/ijseke/RebeloLKRCCSM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijseke/RebeloLKRCCSM13
Henrique Rebêlo, Ricardo Massa Ferreira Lima, Uirá Kulesza, Márcio Ribeiro, Yuanfang Cai, Roberta Coelho, Cláudio Sant'Anna, Alexandre Mota:
Quantifying the effects of Aspectual Decompositions on Design by Contract Modularization: a Maintenance Study. Int. J. Softw. Eng. Knowl. Eng. 23(7): 913-942 (2013)
[j9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/RebeloLLCMO13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/RebeloLLCMO13
Henrique Rebêlo, Ricardo Massa Ferreira Lima, Gary T. Leavens, Márcio Cornélio, Alexandre Mota, César A. L. de Oliveira:
Optimizing generated aspect-oriented assertion checking code for JML using program transformations: An empirical study. Sci. Comput. Program. 78(8): 1137-1156 (2013)
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/tsmc/AlbuquerqueMLM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsmc/AlbuquerqueMLM13
Gabriel Alves de Albuquerque, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima, Fábio S. Magnani:
Strategic and Tactical Evaluation of Conflicting Environment and Business Goals in Green Supply Chains. IEEE Trans. Syst. Man Cybern. Syst. 43(5): 1013-1027 (2013)
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/foal/RebeloLLBR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/foal/RebeloLLBR13
Henrique Rebêlo, Gary T. Leavens, Ricardo Massa Ferreira Lima, Paulo Borba, Márcio Ribeiro:
Modular aspect-oriented design rule enforcement with XPIDRs. FOAL 2013: 13-18
[c48]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/icsoc/SilvaCOL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoc/SilvaCOL13
Natália Cabral Silva, Renata Medeiros de Carvalho, César Augusto Lins de Oliveira, Ricardo Massa Ferreira Lima:
REFlex: An Efficient Web Service Orchestrator for Declarative Business Processes. ICSOC 2013: 222-236
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/RebeloLL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/RebeloLL13
Henrique Rebêlo, Gary T. Leavens, Ricardo Massa Ferreira Lima:
Client-aware checking and information hiding in interface specifications with JML/ajmlc. SPLASH (Companion Volume) 2013: 11-12
[c46]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/seke/SilvaOL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seke/SilvaOL13
Natália C. Silva, César A. L. de Oliveira, Ricardo M. F. Lima:
A Solution to the State Space Explosion Problem in Declarative Business Process Modeling (S). SEKE 2013: 26-29
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/smc/CarvalhoSLC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smc/CarvalhoSLC13
Renata Medeiros de Carvalho, Natália Cabral Silva, Ricardo Massa Ferreira Lima, Márcio Cornélio:
ReFlex: An Efficient Graph-Based Rule Engine to Execute Declarative Processes. SMC 2013: 1379-1384
2012
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/tsmc/OliveiraLRR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsmc/OliveiraLRR12
César A. L. de Oliveira, Ricardo Massa Ferreira Lima, Hajo A. Reijers, Joel Tiago S. Ribeiro:
Quantitative Analysis of Resource-Constrained Business Processes. IEEE Trans. Syst. Man Cybern. Part A 42(3): 669-684 (2012)
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/icws/NevesOLS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icws/NevesOLS12
Alan M. V. Neves, César A. L. de Oliveira, Ricardo Massa Ferreira Lima, Cecília Leite Sabat:
Computing Strategic Trade-Offs in Web Service Deployment and Selection. ICWS 2012: 210-217
[c43]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/sbqs/VasconcelosOL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbqs/VasconcelosOL12
Lívia Maria R. de Vasconcelos, César Augusto Lins de Oliveira, Ricardo Massa Ferreira Lima:
Petri-SW: Uma Metodologia baseada em Redes de Petri para Avaliação do Desempenho de Processos de Software. SBQS 2012: 39-53
[c42]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/seke/RebeloLMOR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seke/RebeloLMOR12
Henrique Rebêlo, Ricardo Massa Ferreira Lima, Alexandre Mota, César A. L. de Oliveira, Márcio Ribeiro:
Enforcing Contracts for Aspect-oriented programs with Annotations, Pointcuts and Advice. SEKE 2012: 148-153
[c41]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/seke/RebeloLMOR12a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seke/RebeloLMOR12a
Henrique Rebêlo, Ricardo Massa Ferreira Lima, Alexandre Mota, César A. L. de Oliveira, Márcio Ribeiro:
Checking Contracts for AOP using XPIDRs. SEKE 2012
2011
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/ejes/NogueiraMTALCF11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ejes/NogueiraMTALCF11
Bruno Costa e Silva Nogueira, Paulo Romero Martins Maciel, Eduardo Tavares, Ermeson C. 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. Embed. Syst. 2011 (2011)
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/aosd/AraujoRL0KS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aosd/AraujoRL0KS11
José Elias Araújo, Henrique Rebêlo, Ricardo Massa Ferreira Lima, Alexandre Mota, Uirá Kulesza, Cláudio Sant'Anna:
An annotation-based approach for JCSP concurrent programming: a quantitative study. MISS@AOSD 2011: 7-11
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/RebeloCLLHMC11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/RebeloCLLHMC11
Henrique Rebêlo, Roberta Coelho, Ricardo M. F. Lima, Gary T. Leavens, Marieke Huisman, Alexandre Mota, Fernando Castor:
On the interplay of exception handling and design by contract: an aspect-oriented recovery approach. FTfJP@ECOOP 2011: 7:1-7:6
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/otm/SouzaLGRL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/otm/SouzaLGRL11
Fábio N. Souza, Danilo Lopes, Kiev Gama, Nelson Souto Rosa, Ricardo M. F. Lima:
Dynamic Event-Based Monitoring in a SOA Environment. OTM Conferences (2) 2011: 498-506
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/TeixeiraLOM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/TeixeiraLOM11
Marcelo Teixeira, Ricardo Massa Ferreira Lima, César A. L. de Oliveira, Paulo Romero Martins Maciel:
Planning service agreements in soa-based systems through stochastic models. SAC 2011: 1576-1581
[c36]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/seke/RebeloLKSCMRO11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seke/RebeloLKSCMRO11
Henrique Rebêlo, Ricardo Massa Ferreira Lima, Uirá Kulesza, Cláudio Sant'Anna, Roberta Coelho, Alexandre Mota, Márcio Ribeiro, César A. L. de Oliveira:
Assessing the Impact of Aspects on Design By Contract Effort: A Quantitative Study. SEKE 2011: 450-455
[c35]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/seke/LemosSLO11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seke/LemosSLO11
Artini M. Lemos, Caio C. Sabino, Ricardo Massa Ferreira Lima, César A. L. de Oliveira:
Conformance Checking of Software Development Processes Through Process Mining. SEKE 2011: 654-659
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/smc/LemosSLO11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smc/LemosSLO11
Artini M. Lemos, Caio C. Sabino, Ricardo Massa Ferreira Lima, César A. L. de Oliveira:
Using process mining in software development process management: A case study. SMC 2011: 1181-1186
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/smc/CarvalhoLO11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smc/CarvalhoLO11
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: 2313-2318
2010
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/infsof/OliveiraBLC10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/OliveiraBLC10
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. Inf. Softw. Technol. 52(11): 1155-1166 (2010)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/tsmc/AlbuquerqueMLZ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsmc/AlbuquerqueMLZ10
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 Trans. Syst. Man Cybern. Part A 40(5): 1025-1044 (2010)
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/cec/CarvalhoLOS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cec/CarvalhoLOS10
Renata Medeiros de 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: 1-8
[c31]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/icsoft/AraujoRLMCLLL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/AraujoRLMCLLL10
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 (2) 2010: 226-231
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/smc/TeixeiraLOM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smc/TeixeiraLOM10
Marcelo Teixeira, Ricardo Massa Ferreira Lima, César A. L. de Oliveira, Paulo Romero Martins Maciel:
A stochastic model for performance evaluation and bottleneck discovering on SOA-based systems. SMC 2010: 358-365
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/smc/CarvalhoLOS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smc/CarvalhoLOS10
Renata Medeiros de Carvalho, Ricardo Massa Ferreira Lima, Adriano L. I. de Oliveira, Felix Christian Guimarães Santos:
Identifying parallel jobs for Multi-Physics simulators scheduling. SMC 2010: 923-930
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/sugarloafplop/RebeloLKCMRA10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sugarloafplop/RebeloLKCMRA10
Henrique Rebêlo, Ricardo M. F. Lima, Uirá Kulesza, Roberta Coelho, Alexandre Mota, Márcio Ribeiro, José Elias Araújo:
The contract enforcement aspect pattern. SugarLoafPLoP 2010: 6:1-6:14

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/smc/OliveiraLAR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smc/OliveiraLAR09
César A. L. de Oliveira, Ricardo Massa Ferreira Lima, Thiago Andre, Hajo A. Reijers:
Modeling and Analyzing Resource-Constrained Business Processes. SMC 2009: 2824-2830
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/smc/TeixeiraLOM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smc/TeixeiraLOM09
Marcelo Teixeira, Ricardo Massa Ferreira Lima, César A. L. de Oliveira, Paulo Romero Martins Maciel:
Performance Evaluation of Service-Oriented Architecture through Stochastic Petri Nets. SMC 2009: 2831-2836
2008
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/dafes/BarretoMTFOL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dafes/BarretoMTFOL08
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. Des. Autom. Embed. Syst. 12(1-2): 31-62 (2008)
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/RebeloLCS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/RebeloLCS08
Henrique Rebêlo, Ricardo Massa Ferreira Lima, Márcio Cornélio, Sérgio Soares:
A JML Compiler Based on AspectJ. ICST 2008: 541-544
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/RebeloSLFC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/RebeloSLFC08
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: 228-233
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/smc/AlbuquerqueMLZ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smc/AlbuquerqueMLZ08
Gabriel Alves de Albuquerque, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima, Armin Zimmermann:
Performance evaluation of logistics with componentized stochastic models. SMC 2008: 2087-2092
2007
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/TavaresBMOARL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/TavaresBMOARL07
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 Softw. Eng. Notes 32(2): 1-10 (2007)
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/SoaresBL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/SoaresBL07
Sérgio Soares, Paulo Borba, Ricardo Massa Ferreira Lima:
Concurrency Control Modularization with Aspect-Oriented Programming. COMPSAC (1) 2007: 295-300
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/sbac-pad/Silva-FilhoFLFCL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbac-pad/Silva-FilhoFLFCL07
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: 177-184
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/smc/AlvesML07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smc/AlvesML07
Gabriel Alves, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima:
A GSPN based approach to evaluate outbound logistics. SMC 2007: 708-713
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/smc/ArcoverdeML07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smc/ArcoverdeML07
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: 2894-2900
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/valuetools/AlvesML07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/valuetools/AlvesML07
Gabriel Alves, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima:
Modeling and evaluation of supply chains with GSPN components. VALUETOOLS 2007: 31
2006
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/JuniorNMLRBTB06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/JuniorNMLRBTB06
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
2005
[j1]
- view
  - electronic edition @ jucs.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/jucs/MusicanteL05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jucs/MusicanteL05
Martin A. Musicante, Ricardo Massa Ferreira Lima:
The 9_th Brazilian Symposium on Programming Languages J.UCS Special Issue. J. Univers. Comput. Sci. 11(7): 1115-1116 (2005)
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/eclipse/ArcoverdeAL05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eclipse/ArcoverdeAL05
Adilson Arcoverde, Gabriel Alves, Ricardo Massa Ferreira Lima:
Petri nets tools integration through Eclipse. eTX 2005: 90-94
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/icess/AmorimBMTOBL05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icess/AmorimBMTOBL05
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
[c14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/iess/BarretoTMNOABL05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iess/BarretoTMNOABL05
Raimundo S. Barreto, Eduardo Tavares, Paulo Romero Martins Maciel, Marília Neves, Meuse N. Oliveira Jr., Leonardo Amorim, Arthur Bessa, Ricardo Massa Ferreira Lima:
Embedded Hard Real-Time Software Synthesis Considering Dispatcher Overheads. IESS 2005: 77-86
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/patmos/JuniorMLROABTA05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/patmos/JuniorMLROABTA05
Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima, Angelo Ribeiro, César A. L. de 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
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/patmos/TavaresBMOAALBB05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/patmos/TavaresBMOAALBB05
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
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/sbac-pad/BarretoTMOALCM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbac-pad/BarretoTMOALCM05
Raimundo S. Barreto, Eduardo Tavares, Paulo Romero Martins Maciel, Meuse N. Oliveira Jr., Leonardo Amorim, Ricardo Massa Ferreira Lima, Cesar Carvalho, Carlos A. B. Mello:
A Time Petri Net-Based Approach for Software Synthesis Considering Overheads. SBAC-PAD 2005: 184-192
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/sbcci/TavaresMBBBJL05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbcci/TavaresMBBBJL05
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
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/ifip10-3/BarretoMNTL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip10-3/BarretoMNTL04
Raimundo S. Barreto, Paulo Romero Martins Maciel, Marília Neves, Eduardo Tavares, Ricardo Massa Ferreira Lima:
A Novel Approach for Off-Line Multiprocessor Scheduling in Embedded Hard Real-Time Systems. DIPES 2004: 157-166
[c8]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/isola/AlvesALM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/AlvesALM04
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: 143-149
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/LimaLS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/LimaLS04
Ricardo Massa Ferreira Lima, Rafael Dueire Lins, André L. M. Santos:
A back-end for GHC based on categorical multi-combinators. SAC 2004: 1482-1489
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/sbac-pad/TavaresBJMNL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbac-pad/TavaresBJMNL04
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
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/sbcci/BarretoNOMTL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbcci/BarretoNOMTL04
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
2002
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/CarvalhoLL02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/CarvalhoLL02
F. H. Carvalho, Ricardo Massa Ferreira Lima, Rafael Dueire Lins:
Coordinating functional processes with Haskell_#. SAC 2002: 393-400
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/vecpar/JuniorLL02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vecpar/JuniorLL02
Francisco Heron de Carvalho Junior, Rafael Dueire Lins, Ricardo Massa Ferreira Lima:
Translating Haskell_# Programs into Petri Nets. VECPAR 2002: 635-649
2000
[c2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/sbes/LimaL00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbes/LimaL00
Ricardo Massa Ferreira Lima, Rafael Dueire Lins:
Translating HCL Programs into Petri Nets. SBES 2000: 147-162

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1996
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/euromicro/NetoLLS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/euromicro/NetoLLS96
Genésio Gomes da Cruz Neto, Ricardo Massa Ferreira Lima, Rafael Dueire Lins, André L. M. Santos:
Optimising Pseudoknotin FCMC. EUROMICRO 1996: 120-126

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.