Author Info
Name
Affiliation
Papers
RICARDO LIMA
Departamento de Sistemas Computacionais, Universidade de Pernambuco (UPE), Brazil
16
Collaborators
Citations 
PageRank 
37
51
6.91
Referers 
Referees 
References 
164
396
161
Search Limit
100396
Title
Citations
PageRank
Year
Evaluation of a Backup-as-a-Service Environment for Disaster Recovery00.342019
Disaster recovery solutions for IT systems: A Systematic mapping study.00.342019
Evaluating Database Replication Mechanisms for Disaster Recovery in Cloud Environments.00.342019
A JML Compiler Based on AspectJ40.432008
Implementing Java modeling language contracts with AspectJ150.682008
Software synthesis for hard real-time embedded systems with multiple processors90.472007
Concurrency Control Modularization with Aspect-Oriented Programming10.362007
Modeling and evaluation of supply chains with GSPN components00.342007
Analyzing software performance and energy consumption of embedded systems by probabilistic modeling: an approach based on coloured petri nets150.932006
A retargetable environment for power-aware code evaluation: an approach based on coloured petri net20.452005
A time petri net based approach for embedded hard real-time software synthesis with multiple operational modes10.382005
Petri nets tools integration through Eclipse10.372005
An integrated environment for embedded hard real-time systems scheduling with timing and energy constraints10.462005
A methodology for software synthesis of embedded real-time systems based on TPN and LSC00.342005
An Approach for Pre Runtime Scheduling in Embedded Hard Real Time Systems with Power Constraints20.362004
A formal software synthesis approach for embedded hard real-time systems00.342004