2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.

Publicações

2025

Modelling Advanced Persistent Threats to Support Cyber Incident Response

SILVA, JONATHAS; CORDEIRO, AILTON; LIMA, MILTON; LINS, FERNANDO; SANTOS, WELLISON R. M.; LIMA, RICARDO
[SMC] 2025 IEEE International Conference on Systems, Man, and Cybernetics (SMC)
2025

Trace clustering for judicial process simplification: identifying patterns and enhancing anaslysis

ARAÚJO, THIAGO; CARMO, DANILO; LIMA, RICARDO; OLIVEIRA, ADRIANO
ARTIFICIAL INTELLIGENCE AND LAW (DORDRECHT. PRINT)
2025

Multi-perspective log generator for declarative models

DE SIQUEIRA, BRUNA ALVES WANDERLEY; DA SILVA, KATIANE OLIVEIRA ALPES; LIMA, RICARDO MASSA FERREIRA
[SMC] 2025 IEEE International Conference on Systems, Man, and Cybernetics (SMC)
2025

Process mining for agile software process assessment and improvement

DA SILVA, KATIANE OLIVEIRA ALPES; LIMA, RICARDO MASSA FERREIRA; DA SILVA, VANDERSON BOTELHO
INFORMATION AND SOFTWARE TECHNOLOGY
2023

Investigating the Usability and Comprehensibility of Process Mining Tools Within an Application-Specific Context

DE SOUSA ARAÚJO, THIAGO; FERREIRA LIMA, RICARDO MASSA; OLIVEIRA, ADRIANO LORENA; D'CASTRO, RAPHAEL JOSÉ; GUSMÃO, BRÁULIO GABRIEL; PAULO, RAFAEL LEITE; DE FRANÇA GUERRA, JOÃO THIAGO
[SMC] 2023 IEEE International Conference on Systems, Man, and Cybernetics (SMC)
2022

Beholder - A CEP-based intrusion detection and prevention systems for IoT environments

LIMA, MILTON; LIMA, RICARDO; LINS, FERNANDO; BONFIM, MICHEL
COMPUTERS & SECURITY
2021

Identificação e caracterização de níveis de interação no ensino remoto de emergência na Educação Básica

PEREIRA, A. J.; GOMES, Alex Sandro; PRIMO, T. T.; SILVA, R. M. A.; RODRIGUES, R. L.; CAMPOS FILHO, A. S.; LIMA, R. M. F.; MELO JUNIOR, R. P.
XXXII SIMPÓSIO BRASILEIRO DE INFORMÁTICA NA EDUCAÇÃO
2020

Multiple-criteria Evaluation of Disaster Recovery Strategies Based on Stochastic Models

MENDONCA, JULIO; LIMA, RICARDO; ANDRADE, ERMESON; ARAUJO, JULIAN; KIM, DONG SEONG
[DRCN] 2020 16th International Conference on the Design of Reliable Communication Networks (DRCN)
2020

Performance Analysis of Metropolitan Bus Rapid Transit Line via Generalized Stochastic Petri Nets

WANINI GONÇALVES DE ARAÚJO, KATARINI; DE ANDRADE, MAURÍCIO OLIVEIRA; LIMA, RICARDO MASSA FERREIRA; DE OLIVEIRA, CÉSAR AUGUSTO LINS
JOURNAL OF URBAN PLANNING AND DEVELOPMENT
2020

A Methodology for Creating a Macro Action Plan to Improve IT Use and Its Governance in Organizations

TELINO, VERONICA; MASSA, RICARDO; MOTA, IONÁ; GOMES, ALEXSANDRO; MOREIRA, FERNANDO
INFORMATION
2020

Evaluating and modelling solutions for disaster recovery

Mendonça, J.; LIMA, R. M. F.; ANDRADE, E.C.
International Journal Of Grid And Utility Computing
2020

An IoT-Based Framework for Smart Water Supply Systems Management

GONÇALVES, ROSIBERTO; J. M. SOARES, JESSE; M. F. LIMA, RICARDO
Future Internet
2020

Evaluating Entrepreneurial Perceptions on Blended Learning

DE ALMEIDA, GLENDA MALTA; SANDRO GOMES, ALEX; DE ALMEIDA, JULIA CARNEIRO; DIAS NOGUEIRA, TIAGO JOSE DIMAS; FERREIRA LIMA, RICARDO MASSA; SURUAGY DE MELO, THIAGO; DE MELLO, LORENNA ANDRADE
[SMC] 2020 IEEE International Conference on Systems, Man, and Cybernetics (SMC)
2019

Assessing mobile applications performance and energy consumption through experiments and Stochastic models

MENDONÇA, J.; ANDRADE, ERMESON; LIMA, R. M. F.
COMPUTING
2019

Evaluation of a Backup-as-a-Service Environment for Disaster Recovery

MENDONCA, JULIO; LIMA, RICARDO; QUEIROZ, EWERTON; ANDRADE, ERMESON; KIM, DONG SEONG
[ISCC] 2019 IEEE Symposium on Computers and Communications (ISCC)
2019

Evaluating Database Replication Mechanisms for Disaster Recovery in Cloud Environments

MENDONCA, JULIO; MEDEIROS, WILSON; ANDRADE, ERMESON; MACIEL, RONIERISON; Maciel, Paulo; LIMA, RICARDO
[SMC] 2019 IEEE International Conference on Systems, Man and Cybernetics (SMC)
2018

REFlex Water - A Tool for Smart Water Management

Gonçalves, R. S.; Soares, J.J.M.; SOUZA, L. M. F.; LIMA, R. M. F.; SILVA, N.
International Research Journal of Engineering and Technolog
2018

Disaster Recovery Solutions for IT Systems: A Systematic Mapping Study

MENDONÇA, J.; ANDRADE, ERMESON; ENDO, PATRICIA TAKAKO; LIMA, R. M. F.
JOURNAL OF SYSTEMS AND SOFTWARE
2018

Availability Analysis of a Disaster Recovery Solution Through Stochastic Models and Fault Injection Experiments

MENDONCA, JULIO; LIMA, RICARDO; MATOS, RUBENS; FERREIRA, JOAO; ANDRADE, ERMESON
[AINA] 2018 IEEE 32nd International Conference on Advanced Information Networking and Applications (AINA)
2017

A multi-perspective methodology for evaluating the security maturity of data centers

LIMA, MILTON V. M.; Lima, Ricardo M. F.; LINS, FERNANDO A. A.
[SMC] 2017 IEEE International Conference on Systems, Man and Cybernetics (SMC)
2015

Assessing Performance and Energy Consumption in Mobile Applications

MENDONCA NETO, J. R.; Lima, Ricardo M. F.; ANDRADE, E.
[SMC] 2015 IEEE International Conference on Systems, Man, and Cybernetics (SMC2015)
2015

A modeling architecture for the orchestration of service components in factory automation

TEIXEIRA, Marcelo; RIBEIRO, R.; BARBOSA, M.; ENEMBRECK, F.; Lima, Ricardo M. F.
[ETFA] 20th IEEE International Conference on Emerging Technology & Factory Automation
2015

Avaliação de Desempenho do Processo de Manufatura do Café

SOUZA, L. M. F.; Lima, Ricardo M. F.; ANDRADE, E.; TAVARES, E.A.G.
[WPerformance] 14º WPerformance - CSBC 2015
2015

A Meta-model for QoS Monitoring in a Dynamic Service-Component Platform

SOUZA, F. N.; COUTINHO, T.; ROSA, Nelson Souto; Lima, Ricardo M. F.
12th IEEE International Conference on Services Computing
2015

A quality-driven approach for resources planning in Service-Oriented Architectures (Qualis A1)

TEIXEIRA, M.; RIBEIRO, R.; Oliveira, C. A. L.; LIMA, R. M. F.
Expert Systems with Applications
2014

AspectJML

REBÊLO, Henrique; LEAVENS, GARY T.; BAGHERZADEH, MEHDI; RAJAN, HRIDESH; LIMA, RICARDO; ZIMMERMAN, DANIEL M.; CORNÉLIO, MÁRCIO; THÜM, THOMAS
[MODULARITY] the 13th international conference
2014

Modularizing crosscutting contracts with AspectJML

REBÊLO, Henrique; LEAVENS, GARY T.; BAGHERZADEH, MEHDI; RAJAN, HRIDESH; LIMA, RICARDO; ZIMMERMAN, DANIEL M.; CORNÉLIO, MÁRCIO; THÜM, THOMAS
[MODULARITY] the 13th international conference
2014

AspectJML: Modular Specification and Runtime Checking for Crosscutting Contracts

REBÊLO, H. E. M.; Gary T. Leavens; Lima, Ricardo M.F.; BAGHERZADEH, M.; RAJAN, H.; ZIMMERMAN, D.; CORNÉLIO, Márcio Lopes; THUMAS, T.
Modularity 2014
2013

Optimizing generated aspect-oriented assertion checking code for JML using program transformations: An empirical study (Qualis B1)

REBÊLO, H.; LIMA, R. M. F.; CORNÉLIO, M. L.; G. T. Leavens; MOTA, Alexandre Cabral; C. Oliveira
Science of Computer Programming (Print)
2013

A Solution to the State Space Explosion Problem in Declarative Business Process

MEDEIROS, R. W.; SILVA, N. C.; OLIVEIRA, C. A. L. DE; Lima, Ricardo M.F.
[SEKE] SEKE 2013
2013

Reducing the Gap Between Business and Information Systems Through Complex Event Processing (Qualis B3)

Oliveira, Cesar A. L.; SILVA, N. C.; LIMA, R. M. F.; Sabat, Cecilia L.
Computing and Informatics
2013

Quantifying the Effects of Aspectual Decompositions on Design By Contract Modularization: A Maintenance Study (Qualis B2)

REBÊLO, Henrique; LIMA, R. M. F.; KULESZA, U.; RIBEIRO, Márcio; Yuanfang Cai; COELHO, R. S.; SANT`ANNA, Cláudio; MOTA, Alexandre
International Journal of Software Engineering and Knowledge Engineering
2013

Modular aspect-oriented design rule enforcement with XPIDRs

REBÊLO, Henrique Emanuel Mostaert; Gary T. Leavens; FERREIRA LIMA, RICARDO MASSA; BORBA, Paulo Henrique Monteiro; RIBEIRO, M.
12th workshop on Foundations of aspect-oriented languages FOAL '13:
2013

Strategic and Tactical Evaluation of Conflicting Environment and Business Goals in Green Supply Chains

ALVES JUNIOR, G.; Maciel, Paulo; LIMA, R. M. F.; MAGNANI, F.
IEEE T SYST MAN CY-S
2012

Computing Strategic Trade-Offs in Web Service Deployment and Selection (Qualis B1)

NEVES, A. M. V.; OLIVEIRA, C. A. L. DE; LIMA, R. M. F.; SABAT, C.
International Conference on Web Services
2012

A Performance Comparison of Public Cloud Storage Services

AMORIM, Leonardo; MACIEL, P. R. M.; SOUSA, E. T. G.; TAVARES, E.A.G.; LIMA, R. M. F.
[SMC] IEEE International Conference on Systems, Man, and Cybernetics
2012

Enforcing Contracts for Aspect-oriented programs with Annotations, Pointcuts and Advice (Qualis B2)

REBÊLO, H. E. M.; LIMA, R. M. F.; Mota, A.C.; CORNÉLIO, Márcio Lopes; OLIVEIRA, C. A. L. DE; RIBEIRO, M.
[SEKE] Conference on Software Engineering and Knowledge Engineering
2012

Quantitative Analysis of Resource-Constrained Business Processes (Qualis A1)

OLIVEIRA, C. A. L. DE; LIMA, R. M. F.; REIJERS, H.A.; Joel T. S. Ribeiro
IEEE Transactions on Systems, Man and Cybernetics. Part A. Systems and Humans
2012

Uma Metodologia Quantitativa baseada em Redes de Petri para Avaliação do Desempenho de Processos de Software

VASCONCELOS, L. M. R.; OLIVEIRA, C. A. L. DE; LIMA, R. M. F.
[SBQS] Simpósio Brasileiro de Qualidade de Software
2012

Garantia de Qualidade de Software através da Mineração de Processos

CASTRO, R. J. D.; OLIVEIRA, Adriano Lorena Inácio de; GUSMAO, C. M. G.; LIMA, R. M. F.
Workshop de Teses e Dissertações em Qualidade de Software
2011

On the Interplay of Exception Handling and Design by Contract: An Aspect-Oriented Recovery Approach

REBÊLO, H. E. M.; COELHO, R.; LIMA, R. M. F.; Gary T. Leavens; HUISMAN, M.; Mota, A.C.; CASTOR, F.
13th Workshop on Formal Techniques for Java-like Programs (FTfJP 2011), ECOOP 2011
2011

Towards the evaluation of environment and business trade-offs in supply chains

ALBUQUERQUE JUNIOR, G. A. DE; MACIEL, Paulo Romero Martins; LIMA, R. M. F.; Magnani, F.; ARCOVERDE, Adilson
Fifth International Workshop on Practical Applications of Stochastic Modelling
2011

Using Process Mining in Software Development Process Management: A Case Study

LEMOS, A. M.; SABINO, C. C.; LIMA, R. M. F.; OLIVEIRA, C. A. L. DE
[SMC] IEEE Int Conf on Systems, Man, and Cybernetics (IEEE SMC 2011 - Qualis B1)
2011

An Annotation-Based Approach for JCSP Concurrent Programming: A Quantitative Study

Queiroga J. E.; REBÊLO, H. E. M.; LIMA, R. M. F.; Mota, A.C.; Kulesza, U.; SANTAANNA, C.
1st Workshop on Modularity In Systems Software - co-located with AOSD'2011
2011

Towards the Evaluation of Environment and Business Trade-offs in Supply Chains (Qualis B1)

ALBUQUERQUE JUNIOR, G. A. DE; MACIEL, P. R. M.; LIMA, R. M. F.; MAGNANI, F.; ARCOVERDE JUNIOR, A. DE O.
Electronic Notes in Theoretical Computer Science
2011

Planning Service Agreements in SOA-Based Systems through Stochastic Models

TEIXEIRA, Marcelo; LIMA, R. M. F.; OLIVEIRA, C. A. L. DE; MACIEL, Paulo Romero Martins
[SAC] 26th Symposium On Applied Computing
2011

Assessing the Impact of Aspects on Design By Contract Effort: A Quantitative Study

REBÊLO, H. E. M.; LIMA, R. M. F.; Kulesza, U.; SANTAANNA, C.; COELHO, R.; Mota, A.C.; RIBEIRO, M.; OLIVEIRA, C. A. L. DE
[SEKE] 23rd International Conference on Software Engineering and Knowledge Engineering (SEKE 2011)
2011

Dynamic Event-based Monitoring in a SOA Environment

SOUZA, F. N.; LOPES, D. V.; GAMA, K.; ROSA, Nelson Souto; LIMA, R. M. F.
International Symposium on Distributed Objects and Application
2011

Modular Contracts with Procedures, Annotations, Pointcuts and Advice

REBÊLO, H. E. M.; LIMA, R. M. F.; Gary T. Leavens
[SBLP] Brazilian Symposium on Programming Languages (SBLP 2011)
2011

Conformance Checking of Software Development Processes Through Process Mining

LEMOS, A. M.; SABINO, C. C.; LIMA, R. M. F.; OLIVEIRA, C. A. L. DE
[SEKE] 13th Software Engineering and Knowledge Engineering
2011

An efficient algorithm for static task scheduling in parallel applications

MEDEIROS, R. W.; LIMA, R. M. F.; Oliveira, Adriano L.I.
[SMC] IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2011)
2011

Mining Service Agreements in SOA-Based Systems through Stochastic Models

TEIXEIRA, Marcelo; LIMA, R. M. F.; OLIVEIRA, César Augusto Lins de; MACIEL, Paulo Romero Martins
[SAC] 26th Symposium On Applied Computing
2010

The Contract Enforcement Aspect Pattern

REBÊLO, H. E. M.; LIMA, R. M. F.; Kulesza, U.; COELHO, R.; Mota, A.C.; RIBEIRO, M.; ARAUJO, J. E. Q. C.
[SUGARLOAFPLOP] 8th Latin American Conference on Pattern Languages of Programming (SugarLoafPLoP 2010)
2010

An Aspect-Based Approach for Concurrent Programming Using CSP Features

Queiroga J. E.; LIMA, R. M. F.; REBÊLO, H. E. M.; Mota, A.C.; Lucena J.; Lima F.; Lima T.
5th International Conference on Software and Data Technologies
2010

Automatic Modeling for Performance Evaluation of Inventory and Outbound Distribution (Qualis A1)

ALBUQUERQUE JUNIOR, G. A. DE; MACIEL, Paulo Romero Martins; LIMA, R. M. F.; ZIMMERMANN, A.
IEEE Transactions on Systems, Man and Cybernetics. Part A. Systems and Humans
2010

A Formal Model for Performance and Energy Evaluation of Embedded Systems (Qualis B2)

NOGUEIRA, B.; MACIEL, Paulo Romero Martins; TAVARES, Eduardo; ANDRADE, E.; LIMA, R. M. F.; CALLOU, G.; Ferraz, R.
Eurasip Journal on Embedded Systems
2010

Identifying Parallel Jobs for Multi-Physics Simulators Scheduling

MEDEIROS, R. W.; LIMA, R. M. F.; SANTOS, F. C. G. (Felix Christian Guimarães Santos); OLIVEIRA, César Augusto Lins de; OLIVEIRA, Adriano Lorena Inácio de
[SMC] 2010 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2010)
2010

GA-based method for feature selection and parameters optimization for machine learning regression applied to software effort estimation (Qualis A2)

OLIVEIRA, Adriano Lorena Inácio de; Oliveira, Adriano L.I.; LIMA, R. M. F.; Braga, Petronio L.; Cornélio, Márcio L.
Information and Software Technology
2010

A Stochastic Model for Performance Evaluation and Bottleneck Discovering on SOA-Based Systems

TEIXEIRA, Marcelo; LIMA, R. M. F.; OLIVEIRA, César Augusto Lins de; MACIEL, Paulo Romero Martins
[SMC] 2010 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2010)
2010

Scheduling Parallel Jobs For Multiphysics Simulators

MEDEIROS, R. W.; LIMA, R. M. F.; SANTOS, F. C. G. (Felix Christian Guimarães Santos); OLIVEIRA, Adriano Lorena Inácio de
[CEC] IEEE Congress on Evolutionary Computation
2009

Optimizing JML Features Compilation in Ajmlc Using Aspect-Oriented Refactorings (Qualis B3)

REBÊLO, H. E. M.; LIMA, R. M. F.; CORNÉLIO, Márcio Lopes; Gary T. Leavens; Mota, A.C.
[SBLP] Simpósio Brasileiro de Linguagens de Programação - SBLP 2009
2009

An Adaptable Framework for Distributed and Parallel Applications

Rocha, F.; SOARES, S. C. B.; Soares, A.; LIMA, R. M. F.
8th Parallel/High-Performance Object-Oriented Scientific Computing (POOSC 09), Workshop at the 23rd European Conference on Object-Oriented Programming (ECOOP 09)
2009

Modeling and Analyzing Resource-Constrained Business Processes (Qualis B1)

OLIVEIRA, C. A. L. DE; LIMA, R. M. F.; REIJERS, H.A.
[SMC] IEEE International Conference on Systems, Man and Cybernetics (SMC)
2009

Performance Evaluation of Service-Oriented Architecture through Stochastic Petri Nets (Qualis B1)

TEIXEIRA, Marcelo; LIMA, R. M. F.; OLIVEIRA, C. A. L. DE; MACIEL, Paulo Romero Martins
[SMC] IEEE International Conference on Systems, Man and Cybernetics (SMC)
2009

Application of Coloured Petri Net For Performance and Energy Consumption Evaluation of Embedded Systems (Qualis B2)

NOGUEIRA, B.; MACIEL, Paulo Romero Martins; TAVARES, Eduardo; LIMA, R. M. F.; CALLOU, G.; ANDRADE, E.
[SBAC-PAD] International Symposium on Computer Architecture and High Performance Computing - SBAC-PAD
2008

Stochastic evaluation of supply chains and replenishment policies with Petri net components

LIMA, R. M. F.; ALBUQUERQUE JR., G. A. DE; MACIEL, Paulo Romero Martins
International Journal of Services Operations and Informatics (Print)
2008

A JML Compiler based on AspectJ (Qualis B) - Divulgação Internacional

REBÊLO, H. E. M.; LIMA, R. M. F.; CORNÉLIO, Márcio Lopes; SOARES, S. C. B.
International Conference on Software Testing, Verification and Validation
2008

Implementing Java Modeling Language Contracts with AspectJ (Qualis A)

REBÊLO, H. E. M.; LIMA, R. M. F.; CORNÉLIO, Márcio Lopes; SOARES, S. C. B.; FERREIRA, Leopoldo Pires
[SAC] 23rd Annual ACM Symposium on Applied Computing
2008

JML and Aspects: The Benefits of instrumenting JML Features with AspectJ (Qualis C - Internacional)

REBÊLO, H. E. M.; LIMA, R. M. F.; CORNÉLIO, Márcio Lopes; Gary T. Leavens; SOARES, S. C. B.; BORBA, Paulo Henrique Monteiro
Workshop on Specification and Verification of Component-Based Systems (SAVCBS 2008), 16th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 16)
2008

Dynamic Interface for Multi-physics Simulators

OLIVEIRA, C. A. L. DE; ROCHA, F. A. F.; MEDEIROS, R. W.; LIMA, R. M. F.; SOARES, S. C. B.; SANTOS, F. C. G. (Felix Christian Guimarães Santos); Ismael H. S. Santos
International Journal of Modeling and Simulation for the Petroleum Industry (Impresso)
2008

A Time Petri Net-based Method for Embedded Hard Real-Time Software Synthesis (Qualis B2)

BARRETO, Raimundo; MACIEL, Paulo Romero Martins; TAVARES, Eduardo; FREITAS, R. D. F.; OLIVEIRA JR, Meuse; LIMA, R. M. F.
Design Automation for Embedded Systems
2008

Performance Evaluation of Logistic with Componentized Stochastic Models (Qualis A - Internacional)

ALBUQUERQUE JR., G. A. DE; MACIEL, Paulo Romero Martins; LIMA, R. M. F.
[SMC] IEEE International Conference on Systems, Man, and Cybernetics (SMC 2008)
2007

Concurrency Control Modularization with Aspect-Oriented Programming

SOARES, S. C. B.; BORBA, Paulo Henrique Monteiro; LIMA, R. M. F.
[COMPSAC] 31st Annual International Computer Software and Applications Conference COMPSAC'07
2007

CML: C Modeling Language (Qualis B2)

OLIVEIRA JR., F. G. A. DE; LIMA, R. M. F.; CORNÉLIO, Márcio Lopes; SOARES, S. C. B.; MACIEL, Paulo Romero Martins; BARRETO, Raimundo; OLIVEIRA JR, Meuse; TAVARES, Eduardo
Journal of Universal Computer Science (Print)
2007

Software synthesis for hard real-time embedded systems with multiple processors

TAVARES, Eduardo; BARRETO, Raimundo; MACIEL, Paulo Romero Martins; OLIVEIRA JR, Meuse; AMORIM, Leonardo; LIMA, R. M. F.
ACM SIGSOFT Software Engineering Notes
2007

Evaluating Supply Chains with Stochastic Models

ALVES, Gabriel; MACIEL, Paulo Romero Martins; LIMA, R. M. F.
2007 IEEE/INFORMS International Conference on Service Operations and Logistics, and Informatics
2007

An Intelligent Mechanism to Explore a Two-Level Cache Hierarchy Considering Energy Consumption and Time Performance

SILVA FILHO, A. G.; BASTOS FILHO, C. J. A.; LIMA, R. M. F.; Coderiro, D. M. A. C.; LIMA, M. P.
[SBAC-PAD] SBAC-PAD 2007: 19th International Symposium on Computer Architecture and High Performance Computing
2007

CML: C Modeling Language (Qualis A)

OLIVEIRA JR., F. G. A. DE; LIMA, R. M. F.; CORNÉLIO, Márcio Lopes; SOARES, S. C. B.; TAVARES, Eduardo; MACIEL, Paulo Romero Martins; BARRETO, Raimundo; OLIVEIRA JR, Meuse
[SBLP] 11o Simpósio Brasileiro de Linguagens de Programação, SBLP'07
2007

Performance evaluation of manufacturing systems using GSPN with energy consumption and human resource allocation annotations (Qualis A) Circulação Internacional

ARCOVERDE JR., A. DE O.; MACIEL, Paulo Romero Martins; LIMA, R. M. F.
[SMC] 2007 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2007)
2007

Software synthesis for hard real-time embedded systems with multiple processors

TAVARES, Eduardo; BARETO, Raimundo; MACIEL, P. R. M.; NOGUEIRA, Meuse; AMORIM, Leonardo; ROCHA, Fernando; LIMA, R. M. F.
Software Engineering Notes
2007

Modeling and Evaluation of Supply Chains with GSPN Components (Qualis C) Circulação Internacional

ALBUQUERQUE JUNIOR, G. A. DE; MACIEL, Paulo Romero Martins; LIMA, R. M. F.
ValueTools: 2nd International Conference on Performance Evaluation Methodologies and Tools
2007

A GSPN Based Approach to Evaluate Outbound Logistics (Qualis A) Circulação: Internacional

ALVES, Gabriel; MACIEL, Paulo Romero Martins; LIMA, R. M. F.
[SMC] 2007 IEEE International Conference on Systems, Man and Cybernetics
2006

Analyzing Software Performance and Energy Consumption of Embedded Systems by Probabilistic Modeling: An Approach Based on Coloured Petri Net

OLIVEIRA JR, Meuse; MACIEL, Paulo Romero Martins; LIMA, R. M. F.; BARRETO, Raimundo; TAVARES, Eduardo
27th International Conference on Application and Theory of Petri Nets and Other Models Of Councurrency - ICTPN'2006
2005

An Integrated Environment for Embedded Hard Real-Time Systems Scheduling with Timing and Energy Constraints

TAVARES, Eduardo; BARRETO, Raimundo; MACIEL, Paulo Romero Martins; OLIVEIRA JR, Meuse; ARCOVERDE JR., A. DE O.; ALBUQUERQUE JUNIOR, G. A. DE; LIMA, R. M. F.; AMORIM, Leonardo; BESSA, A.
[PATMOS] PATMOS
2005

Caracterização de Desempenho de Programas SPMD Utilizando Modelos Probabilísticos

QUENTAL, Nivia Cruz; CARVALHO JÚNIOR, Francisco Heron de; LIMA, R. M. F.
VI Workshop em Sistemas Computacionais de Alto Desempenho - WSCAD 2005
2005

A Retargetable Environment for Power-Aware Code Exploration: An Approach Based on Coloured Petri Nets

OLIVEIRA JR, Meuse; MACIEL, Paulo Romero Martins; LIMA, R. M. F.; RIBEIRO, Ângelo Roncalli; OLIVEIRA, C. A. L. DE; ARCOVERDE JR., A. DE O.; BARRETO, Raimundo; TAVARES, Eduardo; AMORIM, Leonardo
[PATMOS] PATMOS
2005

A Time Petri Net-based Approach for Software Synthesis Considering Overheads

BARRETO, Raimundo; TAVARES, Eduardo; MACIEL, Paulo Romero Martins; OLIVEIRA JR, Meuse; AMORIM, Leonardo; LIMA, R. M. F.; CARVALHO, C. A. M. DE; MELLO, C. A. B.
[SBAC-PAD] 17th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD'05)
2005

An Integrated Environment for Embedded Hard Real-Time Systems Scheduling with Timing and Energy Constraints

TAVARES, E.; BARRETO, R.; MACIEL, P.; OLIVEIRA, M.; ARCOVERDE JR., A. O.; ALVES, G.; LIMA, R. M. F.; BARROS, L.; BESSA, A.
Lecture Notes in Computer Science
2005

A Time Petri Net-Based Approach for Embedded Hard Real-Time Software Synthesis with Multiple Operational Modes

TAVARES, Eduardo; BARRETO, Raimundo; MACIEL, Paulo Romero Martins; OLIVEIRA JR, Meuse; LIMA, R. M. F.; BARROS, L.; BESSA, A.
18th Symposium on Integrated Circuits and Systems
2005

Petri Nets tools integration through Eclipse (Qualis C, Internacional)

LIMA, R. M. F.; ARCOVERDE, Adilson; ALVES, Gabriel; MACIEL, Paulo Romero Martins; OLIVEIRA JR, Meuse
eclipse Technology eXchange (eTX) Workshop at OOPSLA 2005
2004

EZPetri: A Petri net interchange framework for Eclipse
based on PNML

ARCOVERDE, Adilson; ALVES, Gabriel; LIMA, R. M. F.; MACIEL, Paulo Romero Martins; OLIVEIRA JR, Meuse; BARRETO, Raimundo
[ISOLA] 1st International Symposium on Leveraging Applications of Formal Method - ISOLA 2004
2004

A Formal Software Synthesis Approach for Embedded Hard Real-Time Systems

BARRETO, Raimundo; TAVARES, Eduardo; MACIEL, Paulo Romero Martins; LIMA, R. M. F.
[SBCCI] 17th Brazilian Symposium on Integrated Circuits and Systems Design (SBCCI'2004)
2004

A Novel Approach for Off-line Multiprocessor Scheduling in Embedded Hard Real-Time Systems

BARRETO, Raimundo; MACIEL, Paulo Romero Martins; NEVES, Marília; TAVARES, Eduardo; LIMA, R. M. F.
IFIP Working Conference on Distributed and Parallel Embedded Systems - in conjunction with 18th IFIP World Computer Congress. Design Methods and Applications for Distributed Embedded Systems. B. Kleinjohann, G.R. Gao, H. Kopetz, L. Kleinjohann (eds.)
2004

An Approach for Pre-Runtime Scheduling in Embedded Hard Real-Time Systems with Power Constraints

TAVARES, Eduardo; BARRETO, Raimundo; NEVES, Marília; MACIEL, Paulo Romero Martins; LIMA, R. M. F.
16th Brazilian Symposium on Computer Architecture and High Performance Computing
2003

A back-end for GHC based on Categorical Multi-Combinators

LIMA, R. M. F.; LINS, Rafael Dueire; SANTOS, André Luís de Medeiros
ACM - SYMPOSIUM ON APPLIED COMPUTING - Technical Track on Programming Languages
2002

Translating Haskell# Programs into Petri Nets

CARVALHO JÚNIOR, Francisco Heron de; LIMA, R. M. F.; LINS, Rafael Dueire
[VECPAR] High Performance Computing for Computational Science
2002

Coordinating Functional Processes with Haskell#

CARVALHO JÚNIOR, Francisco Heron de; LIMA, R. M. F.; LINS, Rafael Dueire
[SAC] ACM Symposium on Applied Computing - Special Track on Coordination Models, Languages and Applications
2001

Parallelizing MPC-Haskell for Evaluating Haskell Parallel Programming Environment

CARVALHO JÚNIOR, Francisco Heron de; LIMA, R. M. F.; LINS, Rafael Dueire
13th Brazilian Symposium on Computer Architecture and High Performance Computing
2000

Translating HCL Programs into Petri Nets

LIMA, R. M. F.; LINS, Rafael Dueire
13th Brazilian Symposium on Software Engineering
2000

An Action Semantics to STG

CARVALHO JÚNIOR, Francisco Heron de; MOURA, H. P.; LIMA, R. M. F.; LINS, Rafael Dueire
Action Semantics
1999

HaskellX: A Message Passing Extension to Haskell

LIMA, R. M. F.; CARVALHO JÚNIOR, Francisco Heron de; LINS, Rafael Dueire
Latin American Conference on Functional Programming
1998

Research Interest in Functional Programming

CAMELO, H. A. L.; LINS, Rafael Dueire; LIMA, R. M. F.; SOUZA, F. V.
Workshop Brasileiro de Métodos Formais
1998

HaskelX: A Functional Language with Explicity Parallelism

LIMA, R. M. F.; LINS, Rafael Dueire
[VECPAR] VECPAR'98
1997

Implementando Haskell Usando mGCMC

LIMA, R. M. F.; CRUZ NETO, G. G.; SALZANO FILHO, J. A.; LIRA, B. O.; LINS, Rafael Dueire
[SBLP] SBLP'97
1996

Novas Técnicas de Otimização de Código em GCMC

LIMA, R. M. F.; CRUZ NETO, G. G.; LINS, Rafael Dueire; SANTOS, André Luís de Medeiros
[SBLP] SBLP'96
1996

Optimising Pseudoknot in GCMC

LIMA, R. M. F.; CRUZ NETO, G. G.; LINS, Rafael Dueire; SANTOS, André Luís de Medeiros
[EUROMICRO] EUROMICRO'96
1996

Mapping Basic LOTOS Constructors into Occam 2

LIMA, R. M. F.; LINS, Rafael Dueire; QUEIROZ, J. A. M.
[SEMISH] SEMISH
1996

Translating Basic LOTOS into Occam 2

LIMA, R. M. F.; LINS, Rafael Dueire; QUEIROZ, J. A. M.
[EUROMICRO] EUROMICRO'96
1994

Implementando and Otimizando GCMC

LINS, Rafael Dueire; CRUZ NETO, G. G.; LIMA, R. M. F.
[SEMISH] SEMISH
1994

Implementing and Optimising GCMC

LINS, Rafael Dueire; CRUZ NETO, G. G.; LIMA, R. M. F.
[EUROMICRO] EUROMICRO'94

Publicações

2025

Modelling Advanced Persistent Threats to Support Cyber Incident Response

SILVA, JONATHAS; CORDEIRO, AILTON; LIMA, MILTON; LINS, FERNANDO; SANTOS, WELLISON R. M.; LIMA, RICARDO
[SMC] 2025 IEEE International Conference on Systems, Man, and Cybernetics (SMC)
2025

Trace clustering for judicial process simplification: identifying patterns and enhancing anaslysis

ARAÚJO, THIAGO; CARMO, DANILO; LIMA, RICARDO; OLIVEIRA, ADRIANO
ARTIFICIAL INTELLIGENCE AND LAW (DORDRECHT. PRINT)
2025

Multi-perspective log generator for declarative models

DE SIQUEIRA, BRUNA ALVES WANDERLEY; DA SILVA, KATIANE OLIVEIRA ALPES; LIMA, RICARDO MASSA FERREIRA
[SMC] 2025 IEEE International Conference on Systems, Man, and Cybernetics (SMC)
2025

Process mining for agile software process assessment and improvement

DA SILVA, KATIANE OLIVEIRA ALPES; LIMA, RICARDO MASSA FERREIRA; DA SILVA, VANDERSON BOTELHO
INFORMATION AND SOFTWARE TECHNOLOGY
2023

Investigating the Usability and Comprehensibility of Process Mining Tools Within an Application-Specific Context

DE SOUSA ARAÚJO, THIAGO; FERREIRA LIMA, RICARDO MASSA; OLIVEIRA, ADRIANO LORENA; D'CASTRO, RAPHAEL JOSÉ; GUSMÃO, BRÁULIO GABRIEL; PAULO, RAFAEL LEITE; DE FRANÇA GUERRA, JOÃO THIAGO
[SMC] 2023 IEEE International Conference on Systems, Man, and Cybernetics (SMC)
2022

Beholder - A CEP-based intrusion detection and prevention systems for IoT environments

LIMA, MILTON; LIMA, RICARDO; LINS, FERNANDO; BONFIM, MICHEL
COMPUTERS & SECURITY
2021

Identificação e caracterização de níveis de interação no ensino remoto de emergência na Educação Básica

PEREIRA, A. J.; GOMES, Alex Sandro; PRIMO, T. T.; SILVA, R. M. A.; RODRIGUES, R. L.; CAMPOS FILHO, A. S.; LIMA, R. M. F.; MELO JUNIOR, R. P.
XXXII SIMPÓSIO BRASILEIRO DE INFORMÁTICA NA EDUCAÇÃO
2020

Multiple-criteria Evaluation of Disaster Recovery Strategies Based on Stochastic Models

MENDONCA, JULIO; LIMA, RICARDO; ANDRADE, ERMESON; ARAUJO, JULIAN; KIM, DONG SEONG
[DRCN] 2020 16th International Conference on the Design of Reliable Communication Networks (DRCN)
2020

Performance Analysis of Metropolitan Bus Rapid Transit Line via Generalized Stochastic Petri Nets

WANINI GONÇALVES DE ARAÚJO, KATARINI; DE ANDRADE, MAURÍCIO OLIVEIRA; LIMA, RICARDO MASSA FERREIRA; DE OLIVEIRA, CÉSAR AUGUSTO LINS
JOURNAL OF URBAN PLANNING AND DEVELOPMENT
2020

A Methodology for Creating a Macro Action Plan to Improve IT Use and Its Governance in Organizations

TELINO, VERONICA; MASSA, RICARDO; MOTA, IONÁ; GOMES, ALEXSANDRO; MOREIRA, FERNANDO
INFORMATION
2020

Evaluating and modelling solutions for disaster recovery

Mendonça, J.; LIMA, R. M. F.; ANDRADE, E.C.
International Journal Of Grid And Utility Computing
2020

An IoT-Based Framework for Smart Water Supply Systems Management

GONÇALVES, ROSIBERTO; J. M. SOARES, JESSE; M. F. LIMA, RICARDO
Future Internet
2020

Evaluating Entrepreneurial Perceptions on Blended Learning

DE ALMEIDA, GLENDA MALTA; SANDRO GOMES, ALEX; DE ALMEIDA, JULIA CARNEIRO; DIAS NOGUEIRA, TIAGO JOSE DIMAS; FERREIRA LIMA, RICARDO MASSA; SURUAGY DE MELO, THIAGO; DE MELLO, LORENNA ANDRADE
[SMC] 2020 IEEE International Conference on Systems, Man, and Cybernetics (SMC)
2019

Assessing mobile applications performance and energy consumption through experiments and Stochastic models

MENDONÇA, J.; ANDRADE, ERMESON; LIMA, R. M. F.
COMPUTING
2019

Evaluation of a Backup-as-a-Service Environment for Disaster Recovery

MENDONCA, JULIO; LIMA, RICARDO; QUEIROZ, EWERTON; ANDRADE, ERMESON; KIM, DONG SEONG
[ISCC] 2019 IEEE Symposium on Computers and Communications (ISCC)
2019

Evaluating Database Replication Mechanisms for Disaster Recovery in Cloud Environments

MENDONCA, JULIO; MEDEIROS, WILSON; ANDRADE, ERMESON; MACIEL, RONIERISON; Maciel, Paulo; LIMA, RICARDO
[SMC] 2019 IEEE International Conference on Systems, Man and Cybernetics (SMC)
2018

REFlex Water - A Tool for Smart Water Management

Gonçalves, R. S.; Soares, J.J.M.; SOUZA, L. M. F.; LIMA, R. M. F.; SILVA, N.
International Research Journal of Engineering and Technolog
2018

Disaster Recovery Solutions for IT Systems: A Systematic Mapping Study

MENDONÇA, J.; ANDRADE, ERMESON; ENDO, PATRICIA TAKAKO; LIMA, R. M. F.
JOURNAL OF SYSTEMS AND SOFTWARE
2018

Availability Analysis of a Disaster Recovery Solution Through Stochastic Models and Fault Injection Experiments

MENDONCA, JULIO; LIMA, RICARDO; MATOS, RUBENS; FERREIRA, JOAO; ANDRADE, ERMESON
[AINA] 2018 IEEE 32nd International Conference on Advanced Information Networking and Applications (AINA)
2017

A multi-perspective methodology for evaluating the security maturity of data centers

LIMA, MILTON V. M.; Lima, Ricardo M. F.; LINS, FERNANDO A. A.
[SMC] 2017 IEEE International Conference on Systems, Man and Cybernetics (SMC)
2015

Assessing Performance and Energy Consumption in Mobile Applications

MENDONCA NETO, J. R.; Lima, Ricardo M. F.; ANDRADE, E.
[SMC] 2015 IEEE International Conference on Systems, Man, and Cybernetics (SMC2015)
2015

A modeling architecture for the orchestration of service components in factory automation

TEIXEIRA, Marcelo; RIBEIRO, R.; BARBOSA, M.; ENEMBRECK, F.; Lima, Ricardo M. F.
[ETFA] 20th IEEE International Conference on Emerging Technology & Factory Automation
2015

Avaliação de Desempenho do Processo de Manufatura do Café

SOUZA, L. M. F.; Lima, Ricardo M. F.; ANDRADE, E.; TAVARES, E.A.G.
[WPerformance] 14º WPerformance - CSBC 2015
2015

A Meta-model for QoS Monitoring in a Dynamic Service-Component Platform

SOUZA, F. N.; COUTINHO, T.; ROSA, Nelson Souto; Lima, Ricardo M. F.
12th IEEE International Conference on Services Computing
2015

A quality-driven approach for resources planning in Service-Oriented Architectures (Qualis A1)

TEIXEIRA, M.; RIBEIRO, R.; Oliveira, C. A. L.; LIMA, R. M. F.
Expert Systems with Applications
2014

AspectJML

REBÊLO, Henrique; LEAVENS, GARY T.; BAGHERZADEH, MEHDI; RAJAN, HRIDESH; LIMA, RICARDO; ZIMMERMAN, DANIEL M.; CORNÉLIO, MÁRCIO; THÜM, THOMAS
[MODULARITY] the 13th international conference
2014

Modularizing crosscutting contracts with AspectJML

REBÊLO, Henrique; LEAVENS, GARY T.; BAGHERZADEH, MEHDI; RAJAN, HRIDESH; LIMA, RICARDO; ZIMMERMAN, DANIEL M.; CORNÉLIO, MÁRCIO; THÜM, THOMAS
[MODULARITY] the 13th international conference
2014

AspectJML: Modular Specification and Runtime Checking for Crosscutting Contracts

REBÊLO, H. E. M.; Gary T. Leavens; Lima, Ricardo M.F.; BAGHERZADEH, M.; RAJAN, H.; ZIMMERMAN, D.; CORNÉLIO, Márcio Lopes; THUMAS, T.
Modularity 2014
2013

Optimizing generated aspect-oriented assertion checking code for JML using program transformations: An empirical study (Qualis B1)

REBÊLO, H.; LIMA, R. M. F.; CORNÉLIO, M. L.; G. T. Leavens; MOTA, Alexandre Cabral; C. Oliveira
Science of Computer Programming (Print)
2013

A Solution to the State Space Explosion Problem in Declarative Business Process

MEDEIROS, R. W.; SILVA, N. C.; OLIVEIRA, C. A. L. DE; Lima, Ricardo M.F.
[SEKE] SEKE 2013
2013

Reducing the Gap Between Business and Information Systems Through Complex Event Processing (Qualis B3)

Oliveira, Cesar A. L.; SILVA, N. C.; LIMA, R. M. F.; Sabat, Cecilia L.
Computing and Informatics
2013

Quantifying the Effects of Aspectual Decompositions on Design By Contract Modularization: A Maintenance Study (Qualis B2)

REBÊLO, Henrique; LIMA, R. M. F.; KULESZA, U.; RIBEIRO, Márcio; Yuanfang Cai; COELHO, R. S.; SANT`ANNA, Cláudio; MOTA, Alexandre
International Journal of Software Engineering and Knowledge Engineering
2013

Modular aspect-oriented design rule enforcement with XPIDRs

REBÊLO, Henrique Emanuel Mostaert; Gary T. Leavens; FERREIRA LIMA, RICARDO MASSA; BORBA, Paulo Henrique Monteiro; RIBEIRO, M.
12th workshop on Foundations of aspect-oriented languages FOAL '13:
2013

Strategic and Tactical Evaluation of Conflicting Environment and Business Goals in Green Supply Chains

ALVES JUNIOR, G.; Maciel, Paulo; LIMA, R. M. F.; MAGNANI, F.
IEEE T SYST MAN CY-S
2012

Computing Strategic Trade-Offs in Web Service Deployment and Selection (Qualis B1)

NEVES, A. M. V.; OLIVEIRA, C. A. L. DE; LIMA, R. M. F.; SABAT, C.
International Conference on Web Services
2012

A Performance Comparison of Public Cloud Storage Services

AMORIM, Leonardo; MACIEL, P. R. M.; SOUSA, E. T. G.; TAVARES, E.A.G.; LIMA, R. M. F.
[SMC] IEEE International Conference on Systems, Man, and Cybernetics
2012

Enforcing Contracts for Aspect-oriented programs with Annotations, Pointcuts and Advice (Qualis B2)

REBÊLO, H. E. M.; LIMA, R. M. F.; Mota, A.C.; CORNÉLIO, Márcio Lopes; OLIVEIRA, C. A. L. DE; RIBEIRO, M.
[SEKE] Conference on Software Engineering and Knowledge Engineering
2012

Quantitative Analysis of Resource-Constrained Business Processes (Qualis A1)

OLIVEIRA, C. A. L. DE; LIMA, R. M. F.; REIJERS, H.A.; Joel T. S. Ribeiro
IEEE Transactions on Systems, Man and Cybernetics. Part A. Systems and Humans
2012

Uma Metodologia Quantitativa baseada em Redes de Petri para Avaliação do Desempenho de Processos de Software

VASCONCELOS, L. M. R.; OLIVEIRA, C. A. L. DE; LIMA, R. M. F.
[SBQS] Simpósio Brasileiro de Qualidade de Software
2012

Garantia de Qualidade de Software através da Mineração de Processos

CASTRO, R. J. D.; OLIVEIRA, Adriano Lorena Inácio de; GUSMAO, C. M. G.; LIMA, R. M. F.
Workshop de Teses e Dissertações em Qualidade de Software
2011

On the Interplay of Exception Handling and Design by Contract: An Aspect-Oriented Recovery Approach

REBÊLO, H. E. M.; COELHO, R.; LIMA, R. M. F.; Gary T. Leavens; HUISMAN, M.; Mota, A.C.; CASTOR, F.
13th Workshop on Formal Techniques for Java-like Programs (FTfJP 2011), ECOOP 2011
2011

Towards the evaluation of environment and business trade-offs in supply chains

ALBUQUERQUE JUNIOR, G. A. DE; MACIEL, Paulo Romero Martins; LIMA, R. M. F.; Magnani, F.; ARCOVERDE, Adilson
Fifth International Workshop on Practical Applications of Stochastic Modelling
2011

Using Process Mining in Software Development Process Management: A Case Study

LEMOS, A. M.; SABINO, C. C.; LIMA, R. M. F.; OLIVEIRA, C. A. L. DE
[SMC] IEEE Int Conf on Systems, Man, and Cybernetics (IEEE SMC 2011 - Qualis B1)
2011

An Annotation-Based Approach for JCSP Concurrent Programming: A Quantitative Study

Queiroga J. E.; REBÊLO, H. E. M.; LIMA, R. M. F.; Mota, A.C.; Kulesza, U.; SANTAANNA, C.
1st Workshop on Modularity In Systems Software - co-located with AOSD'2011
2011

Towards the Evaluation of Environment and Business Trade-offs in Supply Chains (Qualis B1)

ALBUQUERQUE JUNIOR, G. A. DE; MACIEL, P. R. M.; LIMA, R. M. F.; MAGNANI, F.; ARCOVERDE JUNIOR, A. DE O.
Electronic Notes in Theoretical Computer Science
2011

Planning Service Agreements in SOA-Based Systems through Stochastic Models

TEIXEIRA, Marcelo; LIMA, R. M. F.; OLIVEIRA, C. A. L. DE; MACIEL, Paulo Romero Martins
[SAC] 26th Symposium On Applied Computing
2011

Assessing the Impact of Aspects on Design By Contract Effort: A Quantitative Study

REBÊLO, H. E. M.; LIMA, R. M. F.; Kulesza, U.; SANTAANNA, C.; COELHO, R.; Mota, A.C.; RIBEIRO, M.; OLIVEIRA, C. A. L. DE
[SEKE] 23rd International Conference on Software Engineering and Knowledge Engineering (SEKE 2011)
2011

Dynamic Event-based Monitoring in a SOA Environment

SOUZA, F. N.; LOPES, D. V.; GAMA, K.; ROSA, Nelson Souto; LIMA, R. M. F.
International Symposium on Distributed Objects and Application
2011

Modular Contracts with Procedures, Annotations, Pointcuts and Advice

REBÊLO, H. E. M.; LIMA, R. M. F.; Gary T. Leavens
[SBLP] Brazilian Symposium on Programming Languages (SBLP 2011)
2011

Conformance Checking of Software Development Processes Through Process Mining

LEMOS, A. M.; SABINO, C. C.; LIMA, R. M. F.; OLIVEIRA, C. A. L. DE
[SEKE] 13th Software Engineering and Knowledge Engineering
2011

An efficient algorithm for static task scheduling in parallel applications

MEDEIROS, R. W.; LIMA, R. M. F.; Oliveira, Adriano L.I.
[SMC] IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2011)
2011

Mining Service Agreements in SOA-Based Systems through Stochastic Models

TEIXEIRA, Marcelo; LIMA, R. M. F.; OLIVEIRA, César Augusto Lins de; MACIEL, Paulo Romero Martins
[SAC] 26th Symposium On Applied Computing
2010

The Contract Enforcement Aspect Pattern

REBÊLO, H. E. M.; LIMA, R. M. F.; Kulesza, U.; COELHO, R.; Mota, A.C.; RIBEIRO, M.; ARAUJO, J. E. Q. C.
[SUGARLOAFPLOP] 8th Latin American Conference on Pattern Languages of Programming (SugarLoafPLoP 2010)
2010

An Aspect-Based Approach for Concurrent Programming Using CSP Features

Queiroga J. E.; LIMA, R. M. F.; REBÊLO, H. E. M.; Mota, A.C.; Lucena J.; Lima F.; Lima T.
5th International Conference on Software and Data Technologies
2010

Automatic Modeling for Performance Evaluation of Inventory and Outbound Distribution (Qualis A1)

ALBUQUERQUE JUNIOR, G. A. DE; MACIEL, Paulo Romero Martins; LIMA, R. M. F.; ZIMMERMANN, A.
IEEE Transactions on Systems, Man and Cybernetics. Part A. Systems and Humans
2010

A Formal Model for Performance and Energy Evaluation of Embedded Systems (Qualis B2)

NOGUEIRA, B.; MACIEL, Paulo Romero Martins; TAVARES, Eduardo; ANDRADE, E.; LIMA, R. M. F.; CALLOU, G.; Ferraz, R.
Eurasip Journal on Embedded Systems
2010

Identifying Parallel Jobs for Multi-Physics Simulators Scheduling

MEDEIROS, R. W.; LIMA, R. M. F.; SANTOS, F. C. G. (Felix Christian Guimarães Santos); OLIVEIRA, César Augusto Lins de; OLIVEIRA, Adriano Lorena Inácio de
[SMC] 2010 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2010)
2010

GA-based method for feature selection and parameters optimization for machine learning regression applied to software effort estimation (Qualis A2)

OLIVEIRA, Adriano Lorena Inácio de; Oliveira, Adriano L.I.; LIMA, R. M. F.; Braga, Petronio L.; Cornélio, Márcio L.
Information and Software Technology
2010

A Stochastic Model for Performance Evaluation and Bottleneck Discovering on SOA-Based Systems

TEIXEIRA, Marcelo; LIMA, R. M. F.; OLIVEIRA, César Augusto Lins de; MACIEL, Paulo Romero Martins
[SMC] 2010 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2010)
2010

Scheduling Parallel Jobs For Multiphysics Simulators

MEDEIROS, R. W.; LIMA, R. M. F.; SANTOS, F. C. G. (Felix Christian Guimarães Santos); OLIVEIRA, Adriano Lorena Inácio de
[CEC] IEEE Congress on Evolutionary Computation
2009

Optimizing JML Features Compilation in Ajmlc Using Aspect-Oriented Refactorings (Qualis B3)

REBÊLO, H. E. M.; LIMA, R. M. F.; CORNÉLIO, Márcio Lopes; Gary T. Leavens; Mota, A.C.
[SBLP] Simpósio Brasileiro de Linguagens de Programação - SBLP 2009
2009

An Adaptable Framework for Distributed and Parallel Applications

Rocha, F.; SOARES, S. C. B.; Soares, A.; LIMA, R. M. F.
8th Parallel/High-Performance Object-Oriented Scientific Computing (POOSC 09), Workshop at the 23rd European Conference on Object-Oriented Programming (ECOOP 09)
2009

Modeling and Analyzing Resource-Constrained Business Processes (Qualis B1)

OLIVEIRA, C. A. L. DE; LIMA, R. M. F.; REIJERS, H.A.
[SMC] IEEE International Conference on Systems, Man and Cybernetics (SMC)
2009

Performance Evaluation of Service-Oriented Architecture through Stochastic Petri Nets (Qualis B1)

TEIXEIRA, Marcelo; LIMA, R. M. F.; OLIVEIRA, C. A. L. DE; MACIEL, Paulo Romero Martins
[SMC] IEEE International Conference on Systems, Man and Cybernetics (SMC)
2009

Application of Coloured Petri Net For Performance and Energy Consumption Evaluation of Embedded Systems (Qualis B2)

NOGUEIRA, B.; MACIEL, Paulo Romero Martins; TAVARES, Eduardo; LIMA, R. M. F.; CALLOU, G.; ANDRADE, E.
[SBAC-PAD] International Symposium on Computer Architecture and High Performance Computing - SBAC-PAD
2008

Stochastic evaluation of supply chains and replenishment policies with Petri net components

LIMA, R. M. F.; ALBUQUERQUE JR., G. A. DE; MACIEL, Paulo Romero Martins
International Journal of Services Operations and Informatics (Print)
2008

A JML Compiler based on AspectJ (Qualis B) - Divulgação Internacional

REBÊLO, H. E. M.; LIMA, R. M. F.; CORNÉLIO, Márcio Lopes; SOARES, S. C. B.
International Conference on Software Testing, Verification and Validation
2008

Implementing Java Modeling Language Contracts with AspectJ (Qualis A)

REBÊLO, H. E. M.; LIMA, R. M. F.; CORNÉLIO, Márcio Lopes; SOARES, S. C. B.; FERREIRA, Leopoldo Pires
[SAC] 23rd Annual ACM Symposium on Applied Computing
2008

JML and Aspects: The Benefits of instrumenting JML Features with AspectJ (Qualis C - Internacional)

REBÊLO, H. E. M.; LIMA, R. M. F.; CORNÉLIO, Márcio Lopes; Gary T. Leavens; SOARES, S. C. B.; BORBA, Paulo Henrique Monteiro
Workshop on Specification and Verification of Component-Based Systems (SAVCBS 2008), 16th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 16)
2008

Dynamic Interface for Multi-physics Simulators

OLIVEIRA, C. A. L. DE; ROCHA, F. A. F.; MEDEIROS, R. W.; LIMA, R. M. F.; SOARES, S. C. B.; SANTOS, F. C. G. (Felix Christian Guimarães Santos); Ismael H. S. Santos
International Journal of Modeling and Simulation for the Petroleum Industry (Impresso)
2008

A Time Petri Net-based Method for Embedded Hard Real-Time Software Synthesis (Qualis B2)

BARRETO, Raimundo; MACIEL, Paulo Romero Martins; TAVARES, Eduardo; FREITAS, R. D. F.; OLIVEIRA JR, Meuse; LIMA, R. M. F.
Design Automation for Embedded Systems
2008

Performance Evaluation of Logistic with Componentized Stochastic Models (Qualis A - Internacional)

ALBUQUERQUE JR., G. A. DE; MACIEL, Paulo Romero Martins; LIMA, R. M. F.
[SMC] IEEE International Conference on Systems, Man, and Cybernetics (SMC 2008)
2007

Concurrency Control Modularization with Aspect-Oriented Programming

SOARES, S. C. B.; BORBA, Paulo Henrique Monteiro; LIMA, R. M. F.
[COMPSAC] 31st Annual International Computer Software and Applications Conference COMPSAC'07
2007

CML: C Modeling Language (Qualis B2)

OLIVEIRA JR., F. G. A. DE; LIMA, R. M. F.; CORNÉLIO, Márcio Lopes; SOARES, S. C. B.; MACIEL, Paulo Romero Martins; BARRETO, Raimundo; OLIVEIRA JR, Meuse; TAVARES, Eduardo
Journal of Universal Computer Science (Print)
2007

Software synthesis for hard real-time embedded systems with multiple processors

TAVARES, Eduardo; BARRETO, Raimundo; MACIEL, Paulo Romero Martins; OLIVEIRA JR, Meuse; AMORIM, Leonardo; LIMA, R. M. F.
ACM SIGSOFT Software Engineering Notes
2007

Evaluating Supply Chains with Stochastic Models

ALVES, Gabriel; MACIEL, Paulo Romero Martins; LIMA, R. M. F.
2007 IEEE/INFORMS International Conference on Service Operations and Logistics, and Informatics
2007

An Intelligent Mechanism to Explore a Two-Level Cache Hierarchy Considering Energy Consumption and Time Performance

SILVA FILHO, A. G.; BASTOS FILHO, C. J. A.; LIMA, R. M. F.; Coderiro, D. M. A. C.; LIMA, M. P.
[SBAC-PAD] SBAC-PAD 2007: 19th International Symposium on Computer Architecture and High Performance Computing
2007

CML: C Modeling Language (Qualis A)

OLIVEIRA JR., F. G. A. DE; LIMA, R. M. F.; CORNÉLIO, Márcio Lopes; SOARES, S. C. B.; TAVARES, Eduardo; MACIEL, Paulo Romero Martins; BARRETO, Raimundo; OLIVEIRA JR, Meuse
[SBLP] 11o Simpósio Brasileiro de Linguagens de Programação, SBLP'07
2007

Performance evaluation of manufacturing systems using GSPN with energy consumption and human resource allocation annotations (Qualis A) Circulação Internacional

ARCOVERDE JR., A. DE O.; MACIEL, Paulo Romero Martins; LIMA, R. M. F.
[SMC] 2007 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2007)
2007

Software synthesis for hard real-time embedded systems with multiple processors

TAVARES, Eduardo; BARETO, Raimundo; MACIEL, P. R. M.; NOGUEIRA, Meuse; AMORIM, Leonardo; ROCHA, Fernando; LIMA, R. M. F.
Software Engineering Notes
2007

Modeling and Evaluation of Supply Chains with GSPN Components (Qualis C) Circulação Internacional

ALBUQUERQUE JUNIOR, G. A. DE; MACIEL, Paulo Romero Martins; LIMA, R. M. F.
ValueTools: 2nd International Conference on Performance Evaluation Methodologies and Tools
2007

A GSPN Based Approach to Evaluate Outbound Logistics (Qualis A) Circulação: Internacional

ALVES, Gabriel; MACIEL, Paulo Romero Martins; LIMA, R. M. F.
[SMC] 2007 IEEE International Conference on Systems, Man and Cybernetics
2006

Analyzing Software Performance and Energy Consumption of Embedded Systems by Probabilistic Modeling: An Approach Based on Coloured Petri Net

OLIVEIRA JR, Meuse; MACIEL, Paulo Romero Martins; LIMA, R. M. F.; BARRETO, Raimundo; TAVARES, Eduardo
27th International Conference on Application and Theory of Petri Nets and Other Models Of Councurrency - ICTPN'2006
2005

An Integrated Environment for Embedded Hard Real-Time Systems Scheduling with Timing and Energy Constraints

TAVARES, Eduardo; BARRETO, Raimundo; MACIEL, Paulo Romero Martins; OLIVEIRA JR, Meuse; ARCOVERDE JR., A. DE O.; ALBUQUERQUE JUNIOR, G. A. DE; LIMA, R. M. F.; AMORIM, Leonardo; BESSA, A.
[PATMOS] PATMOS
2005

Caracterização de Desempenho de Programas SPMD Utilizando Modelos Probabilísticos

QUENTAL, Nivia Cruz; CARVALHO JÚNIOR, Francisco Heron de; LIMA, R. M. F.
VI Workshop em Sistemas Computacionais de Alto Desempenho - WSCAD 2005
2005

A Retargetable Environment for Power-Aware Code Exploration: An Approach Based on Coloured Petri Nets

OLIVEIRA JR, Meuse; MACIEL, Paulo Romero Martins; LIMA, R. M. F.; RIBEIRO, Ângelo Roncalli; OLIVEIRA, C. A. L. DE; ARCOVERDE JR., A. DE O.; BARRETO, Raimundo; TAVARES, Eduardo; AMORIM, Leonardo
[PATMOS] PATMOS
2005

A Time Petri Net-based Approach for Software Synthesis Considering Overheads

BARRETO, Raimundo; TAVARES, Eduardo; MACIEL, Paulo Romero Martins; OLIVEIRA JR, Meuse; AMORIM, Leonardo; LIMA, R. M. F.; CARVALHO, C. A. M. DE; MELLO, C. A. B.
[SBAC-PAD] 17th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD'05)
2005

An Integrated Environment for Embedded Hard Real-Time Systems Scheduling with Timing and Energy Constraints

TAVARES, E.; BARRETO, R.; MACIEL, P.; OLIVEIRA, M.; ARCOVERDE JR., A. O.; ALVES, G.; LIMA, R. M. F.; BARROS, L.; BESSA, A.
Lecture Notes in Computer Science
2005

A Time Petri Net-Based Approach for Embedded Hard Real-Time Software Synthesis with Multiple Operational Modes

TAVARES, Eduardo; BARRETO, Raimundo; MACIEL, Paulo Romero Martins; OLIVEIRA JR, Meuse; LIMA, R. M. F.; BARROS, L.; BESSA, A.
18th Symposium on Integrated Circuits and Systems
2005

Petri Nets tools integration through Eclipse (Qualis C, Internacional)

LIMA, R. M. F.; ARCOVERDE, Adilson; ALVES, Gabriel; MACIEL, Paulo Romero Martins; OLIVEIRA JR, Meuse
eclipse Technology eXchange (eTX) Workshop at OOPSLA 2005
2004

EZPetri: A Petri net interchange framework for Eclipse
based on PNML

ARCOVERDE, Adilson; ALVES, Gabriel; LIMA, R. M. F.; MACIEL, Paulo Romero Martins; OLIVEIRA JR, Meuse; BARRETO, Raimundo
[ISOLA] 1st International Symposium on Leveraging Applications of Formal Method - ISOLA 2004
2004

A Formal Software Synthesis Approach for Embedded Hard Real-Time Systems

BARRETO, Raimundo; TAVARES, Eduardo; MACIEL, Paulo Romero Martins; LIMA, R. M. F.
[SBCCI] 17th Brazilian Symposium on Integrated Circuits and Systems Design (SBCCI'2004)
2004

A Novel Approach for Off-line Multiprocessor Scheduling in Embedded Hard Real-Time Systems

BARRETO, Raimundo; MACIEL, Paulo Romero Martins; NEVES, Marília; TAVARES, Eduardo; LIMA, R. M. F.
IFIP Working Conference on Distributed and Parallel Embedded Systems - in conjunction with 18th IFIP World Computer Congress. Design Methods and Applications for Distributed Embedded Systems. B. Kleinjohann, G.R. Gao, H. Kopetz, L. Kleinjohann (eds.)
2004

An Approach for Pre-Runtime Scheduling in Embedded Hard Real-Time Systems with Power Constraints

TAVARES, Eduardo; BARRETO, Raimundo; NEVES, Marília; MACIEL, Paulo Romero Martins; LIMA, R. M. F.
16th Brazilian Symposium on Computer Architecture and High Performance Computing
2003

A back-end for GHC based on Categorical Multi-Combinators

LIMA, R. M. F.; LINS, Rafael Dueire; SANTOS, André Luís de Medeiros
ACM - SYMPOSIUM ON APPLIED COMPUTING - Technical Track on Programming Languages
2002

Translating Haskell# Programs into Petri Nets

CARVALHO JÚNIOR, Francisco Heron de; LIMA, R. M. F.; LINS, Rafael Dueire
[VECPAR] High Performance Computing for Computational Science
2002

Coordinating Functional Processes with Haskell#

CARVALHO JÚNIOR, Francisco Heron de; LIMA, R. M. F.; LINS, Rafael Dueire
[SAC] ACM Symposium on Applied Computing - Special Track on Coordination Models, Languages and Applications
2001

Parallelizing MPC-Haskell for Evaluating Haskell Parallel Programming Environment

CARVALHO JÚNIOR, Francisco Heron de; LIMA, R. M. F.; LINS, Rafael Dueire
13th Brazilian Symposium on Computer Architecture and High Performance Computing
2000

Translating HCL Programs into Petri Nets

LIMA, R. M. F.; LINS, Rafael Dueire
13th Brazilian Symposium on Software Engineering
2000

An Action Semantics to STG

CARVALHO JÚNIOR, Francisco Heron de; MOURA, H. P.; LIMA, R. M. F.; LINS, Rafael Dueire
Action Semantics
1999

HaskellX: A Message Passing Extension to Haskell

LIMA, R. M. F.; CARVALHO JÚNIOR, Francisco Heron de; LINS, Rafael Dueire
Latin American Conference on Functional Programming
1998

Research Interest in Functional Programming

CAMELO, H. A. L.; LINS, Rafael Dueire; LIMA, R. M. F.; SOUZA, F. V.
Workshop Brasileiro de Métodos Formais
1998

HaskelX: A Functional Language with Explicity Parallelism

LIMA, R. M. F.; LINS, Rafael Dueire
[VECPAR] VECPAR'98
1997

Implementando Haskell Usando mGCMC

LIMA, R. M. F.; CRUZ NETO, G. G.; SALZANO FILHO, J. A.; LIRA, B. O.; LINS, Rafael Dueire
[SBLP] SBLP'97
1996

Novas Técnicas de Otimização de Código em GCMC

LIMA, R. M. F.; CRUZ NETO, G. G.; LINS, Rafael Dueire; SANTOS, André Luís de Medeiros
[SBLP] SBLP'96
1996

Optimising Pseudoknot in GCMC

LIMA, R. M. F.; CRUZ NETO, G. G.; LINS, Rafael Dueire; SANTOS, André Luís de Medeiros
[EUROMICRO] EUROMICRO'96
1996

Mapping Basic LOTOS Constructors into Occam 2

LIMA, R. M. F.; LINS, Rafael Dueire; QUEIROZ, J. A. M.
[SEMISH] SEMISH
1996

Translating Basic LOTOS into Occam 2

LIMA, R. M. F.; LINS, Rafael Dueire; QUEIROZ, J. A. M.
[EUROMICRO] EUROMICRO'96
1994

Implementando and Otimizando GCMC

LINS, Rafael Dueire; CRUZ NETO, G. G.; LIMA, R. M. F.
[SEMISH] SEMISH
1994

Implementing and Optimising GCMC

LINS, Rafael Dueire; CRUZ NETO, G. G.; LIMA, R. M. F.
[EUROMICRO] EUROMICRO'94
rmfl

Ricardo Massa Ferreira de Lima

Professor Titular

Vice-Diretor do Centro de Informática

Processamento e Sintese de midias digitais
Design Thinking
Link para o site pessoal de Ricardo Massa Ferreira de Lima
Link para o perfil do lattes de Ricardo Massa Ferreira de Lima
Link para o perfil do LinkedIn de Ricardo Massa Ferreira de Lima
Link para o perfil do DBLP de Ricardo Massa Ferreira de Lima
Link para o perfil do ORCID de Ricardo Massa Ferreira de Lima
Link para o perfil do Scholar de Ricardo Massa Ferreira de Lima
Link para o perfil do sigaa de Ricardo Massa Ferreira de Lima
E-mail
rmfl@cin.ufpe.br
Telefone
+55 81 2126-8430 R:4372
Sala
A010
•Publicações
Publicações
•Projetos
Projetos
•Orientações Acadêmicas
Orientações
rmfl

Ricardo Massa Ferreira de Lima

Professor Titular

Vice-Diretor do Centro de Informática

Processamento e Sintese de midias digitais
Design Thinking
Link para o site pessoal de Ricardo Massa Ferreira de Lima
Link para o perfil do lattes de Ricardo Massa Ferreira de Lima
Link para o perfil do LinkedIn de Ricardo Massa Ferreira de Lima
Link para o perfil do DBLP de Ricardo Massa Ferreira de Lima
Link para o perfil do ORCID de Ricardo Massa Ferreira de Lima
Link para o perfil do Scholar de Ricardo Massa Ferreira de Lima
Link para o perfil do sigaa de Ricardo Massa Ferreira de Lima
E-mail
rmfl@cin.ufpe.br
Telefone
+55 81 2126-8430 R:4372
Sala
A010
•Publicações
Publicações
•Projetos
Projetos
•Orientações Acadêmicas
Orientações