Ricardo Massa Ferreira Lima
Affiliations:- Federal University of Pernambuco, Recife, Brazil
According to our database1,
Ricardo Massa Ferreira Lima
authored at least 83 papers
between 1996 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on cin.ufpe.br
On csauthors.net:
Bibliography
2023
Investigating the Usability and Comprehensibility of Process Mining Tools Within an Application-Specific Context.
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2023
2020
A Methodology for Creating a Macro Action Plan to Improve IT Use and Its Governance in Organizations.
Inf., 2020
Int. J. Grid Util. Comput., 2020
Future Internet, 2020
Proceedings of the Trends and Innovations in Information Systems and Technologies, 2020
Proceedings of the 2020 IEEE International Conference on Systems, Man, and Cybernetics, 2020
Multiple-criteria Evaluation of Disaster Recovery Strategies Based on Stochastic Models.
Proceedings of the 16th International Conference on the Design of Reliable Communication Networks, 2020
2019
J. Syst. Softw., 2019
Assessing mobile applications performance and energy consumption through experiments and Stochastic models.
Computing, 2019
Evaluating Database Replication Mechanisms for Disaster Recovery in Cloud Environments.
Proceedings of the 2019 IEEE International Conference on Systems, Man and Cybernetics, 2019
Proceedings of the 2019 IEEE Symposium on Computers and Communications, 2019
2018
Availability Analysis of a Disaster Recovery Solution Through Stochastic Models and Fault Injection Experiments.
Proceedings of the 32nd IEEE International Conference on Advanced Information Networking and Applications, 2018
2017
A multi-perspective methodology for evaluating the security maturity of data centers.
Proceedings of the 2017 IEEE International Conference on Systems, Man, and Cybernetics, 2017
2016
2015
Expert Syst. Appl., 2015
Proceedings of the 2015 IEEE International Conference on Systems, 2015
A modeling architecture for the orchestration of service components in factory automation.
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015
Proceedings of the 2015 IEEE International Conference on Services Computing, 2015
Proceedings of the BPM - Driving Innovation in a Digital World, 2015
2014
Sci. Comput. Program., 2014
Proceedings of the ICEIS 2014, 2014
Proceedings of the 13th International Conference on Modularity, 2014
Proceedings of the 13th International Conference on Modularity, 2014
2013
Strategic and Tactical Evaluation of Conflicting Environment and Business Goals in Green Supply Chains.
IEEE Trans. Syst. Man Cybern. Syst., 2013
Optimizing generated aspect-oriented assertion checking code for JML using program transformations: An empirical study.
Sci. Comput. Program., 2013
Quantifying the effects of Aspectual Decompositions on Design by Contract Modularization: a Maintenance Study.
Int. J. Softw. Eng. Knowl. Eng., 2013
Reducing the Gap Between Business and Information Systems Through Complex Event Processing.
Comput. Informatics, 2013
Proceedings of the IEEE International Conference on Systems, 2013
A Solution to the State Space Explosion Problem in Declarative Business Process Modeling (S).
Proceedings of the 25th International Conference on Software Engineering and Knowledge Engineering, 2013
Client-aware checking and information hiding in interface specifications with JML/ajmlc.
Proceedings of the SPLASH'13, 2013
Proceedings of the Service-Oriented Computing - 11th International Conference, 2013
Proceedings of the 12th Workshop on Foundations of Aspect-Oriented Languages, 2013
2012
IEEE Trans. Syst. Man Cybern. Part A, 2012
Checking Contracts for AOP using XPIDRs.
Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012
Enforcing Contracts for Aspect-oriented programs with Annotations, Pointcuts and Advice.
Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012
Petri-SW: Uma Metodologia baseada em Redes de Petri para Avaliação do Desempenho de Processos de Software.
Proceedings of the 11th Brazilian Symposium on Software Quality, 2012
Proceedings of the 2012 IEEE 19th International Conference on Web Services, 2012
2011
EURASIP J. Embed. Syst., 2011
Proceedings of the IEEE International Conference on Systems, 2011
Proceedings of the IEEE International Conference on Systems, 2011
Assessing the Impact of Aspects on Design By Contract Effort: A Quantitative Study.
Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011
Conformance Checking of Software Development Processes Through Process Mining.
Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2011, 2011
On the interplay of exception handling and design by contract: an aspect-oriented recovery approach.
Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs, 2011
Proceedings of the 1st workshop on Modularity in systems software, 2011
2010
Automatic Modeling for Performance Evaluation of Inventory and Outbound Distribution.
IEEE Trans. Syst. Man Cybern. Part A, 2010
GA-based method for feature selection and parameters optimization for machine learning regression applied to software effort estimation.
Inf. Softw. Technol., 2010
Proceedings of the 8th Latin American Conference on Pattern Languages of Programs, 2010
A stochastic model for performance evaluation and bottleneck discovering on SOA-based systems.
Proceedings of the IEEE International Conference on Systems, 2010
Proceedings of the IEEE International Conference on Systems, 2010
An Aspect-based Approach for Concurrent Programming using CSP Features.
Proceedings of the ICSOFT 2010, 2010
Proceedings of the IEEE Congress on Evolutionary Computation, 2010
2009
Performance Evaluation of Service-Oriented Architecture through Stochastic Petri Nets.
Proceedings of the IEEE International Conference on Systems, 2009
Proceedings of the IEEE International Conference on Systems, 2009
2008
Des. Autom. Embed. Syst., 2008
Proceedings of the IEEE International Conference on Systems, 2008
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008
Proceedings of the First International Conference on Software Testing, 2008
2007
ACM SIGSOFT Softw. Eng. Notes, 2007
Proceedings of the 2nd International Conference on Performance Evaluation Methodolgies and Tools, 2007
Performance evaluation of manufacturing systems using GSPN with energy consumption and human resource allocation annotations.
Proceedings of the IEEE International Conference on Systems, 2007
Proceedings of the IEEE International Conference on Systems, 2007
An Intelligent Mechanism to Explore a Two-Level Cache Hierarchy Considering Energy Consumption and Time Performance.
Proceedings of the 19th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2007), 2007
Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007
2006
Analyzing Software Performance and Energy Consumption of Embedded Systems by Probabilistic Modeling: An Approach Based on Coloured Petri Nets.
Proceedings of the Petri Nets and Other Models of Concurrency, 2006
2005
J. Univers. Comput. Sci., 2005
A time petri net based approach for embedded hard real-time software synthesis with multiple operational modes.
Proceedings of the 18th Annual Symposium on Integrated Circuits and Systems Design, 2005
Proceedings of the 17th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2005), 2005
An Integrated Environment for Embedded Hard Real-Time Systems Scheduling with Timing and Energy Constraints.
Proceedings of the Integrated Circuit and System Design, 2005
A Retargetable Environment for Power-Aware Code Evaluation: An Approach Based on Coloured Petri Net.
Proceedings of the Integrated Circuit and System Design, 2005
Proceedings of the From Specification to Embedded Systems Application [International Embedded Systems Symposium, 2005
A Methodology for Software Synthesis of Embedded Real-Time Systems Based on TPN and LSC.
Proceedings of the Embedded Software and Systems, Second International Conference, 2005
Proceedings of the 2005 OOPSLA workshop on Eclipse Technology eXchange, 2005
2004
Proceedings of the 17th Annual Symposium on Integrated Circuits and Systems Design, 2004
An Approach for Pre Runtime Scheduling in Embedded Hard Real Time Systems with Power Constraints.
Proceedings of the 16th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2004), 2004
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004
EZPetri: A Petri net interchange framework for Eclipse based on PNML.
Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004
A Novel Approach for Off-Line Multiprocessor Scheduling in Embedded Hard Real-Time Systems.
Proceedings of the Design Methods and Applications for Distributed Embedded Systems, 2004
2002
Proceedings of the High Performance Computing for Computational Science, 2002
Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002
2000
Proceedings of the 14th Brazilian Symposium on Software Engineering, 2000
1996