George Lima

Publication Activity (10 Years)

Years Active: 2008-2021
Publications (10 Years): 15

Top Topics

Scheduling Algorithm

Extreme Value Theory

Embedded Systems

Top Venues

Int. J. Embed. Syst.

Real Time Syst.

Publications

Tadeu Nogueira C. Andrade, George Lima, Veronica Maria Cadena Lima, Yasmina Abdeddaïm, Liliana Cucu-Grosjean
On the Selection of Relevant Hardware Events for Explaining Execution Time Behavior. SBESC (2021)
Flávia Maristela Santos Nascimento, George Lima
Effectively Scheduling Hard and Soft Real-Time Tasks on Multiprocessors. RTAS (2021)
Lais Borin, George Lima, Márcio Castro, Patricia Della Méa Plentz
Dynamic power management under the RUN scheduling algorithm: a slack filling approach. Real Time Syst. 57 (4) (2021)
Gessé Oliveira, George Lima
Evaluation of Scheduling Algorithms for Embedded FreeRTOS-based Systems. SBESC (2020)
Flavia Maristela Santos Nascimento, George Lima
A Flexible Framework to Schedule Soft Aperiodic Tasks in Hard Real-Time Systems. SBESC (2019)
Ricardo Teixeira, George Lima
Improved task packing for shared resources in multiprocessor real-time systems scheduled by RUN under SBLP. SBESC (2019)
Flavia Maristela Santos Nascimento, George Lima, Ernesto Massa
Work-in-Progress: Dealing with Aperiodic Tasks on Quasi-Partitioning Scheduling. RTSS (2017)
Samuel Jimenez Gil, Iain Bate, George Lima, Luca Santinelli, Adriana Gogonel, Liliana Cucu-Grosjean
Open Challenges for Probabilistic Measurement-Based Worst-Case Execution Time. IEEE Embed. Syst. Lett. 9 (3) (2017)
George Lima, Iain Bate
Valid Application of EVT in Timing Analysis by Randomising Execution Time Measurements. RTAS (2017)
George Lima, Dario Dias, Edna Barros
Extreme Value Theory for Estimating Task Execution Time Bounds: A Careful Look. ECRTS (2016)
Dario Dias, George Lima, Edna Barros
A Cache Design Assessment Approach for Embedded Real-Time Systems Based on Execution Time Measurement. SBESC (2016)
Ernesto Massa, George Lima, Paul Regnier
From RUN to QPS: new trends for optimal real-time multiprocessor scheduling. Int. J. Embed. Syst. 8 (5/6) (2016)
Fernando Nicodemos, Osamu Saotome, George Lima, Sandro S. Sato
A minimally intrusive method for analysing the timing of RTEMS core characteristics. Int. J. Embed. Syst. 8 (5/6) (2016)
Ernesto Massa, George Lima, Paul Regnier, Greg Levin, Scott A. Brandt
Quasi-partitioned scheduling: optimality and adaptation in multiprocessor real-time systems. Real Time Syst. 52 (5) (2016)
Ríad Nassiffe, Eduardo Camponogara, George Lima, Daniel Mossé
Optimising QoS in adaptive real-time systems with energy constraint varying CPU frequency. Int. J. Embed. Syst. 8 (5/6) (2016)
J. Augusto Santos Junior, George Lima, Konstantinos Bletsas
Considerations on the Least Upper Bound for Mixed-Criticality Real-Time Systems. SBESC (2015)
Ernesto Massa, George Lima, Paul Regnier
Revealing the Secrets of RUN and QPS: New Trends for Optimal Real-Time Multiprocessor Scheduling. SBESC (2014)
Ernesto Massa, George Lima, Paul Regnier, Greg Levin, Scott A. Brandt
OUTSTANDING PAPER: Optimal and Adaptive Multiprocessor Real-Time Scheduling: The Quasi-Partitioning Approach. ECRTS (2014)
J. Augusto Santos Junior, George Lima, Konstantinos Bletsas
Efficient schedulability tests for real-time embedded systems with urgent routines. Des. Autom. Embed. Syst. 18 (1-2) (2014)
Daniel Mossé, Eduardo Camponogara, George Lima
A Model Considering QoS for Real-Time Systems with Energy and Temperature Constraints. SBESC (2014)
J. Augusto Santos Junior, George Lima, Konstantinos Bletsas, Shinpei Kato
Multiprocessor Real-Time Scheduling with a Few Migrating Tasks. RTSS (2013)
Paul Regnier, George Lima, Ernesto Massa, Greg Levin, Scott A. Brandt
Multiprocessor scheduling by reduction to uniprocessor: an original optimal approach. Real Time Syst. 49 (4) (2013)
Eduardo Camponogara, George Lima, Daniel Mossé, Ríad Nassiffe
Optimizing QoS in Adaptive Real-Time Systems with Energy Constraint Varying CPU Frequency. SBESC (2013)
Fernando Nicodemos, Osamu Saotome, George Lima
RTEMS Core Analysis for Space Applications. SBESC (2013)
Ríad Nassiffe, Eduardo Camponogara, George Lima
Optimizing QoS in energy-aware real-time systems. SIGBED Rev. 10 (2) (2013)
Yuri Malheiros, George Lima
Uma Ferramenta para Análise de Sentimentos em Redes Sociais Utilizando o SenticNet. SBSI (2013)
Antônio Augusto Fröhlich, Leandro Buss Becker, George Lima, Stefan Petters, Dilma M. Da Silva, Edna Natividade da Silva Barros
Brazilian symposium on computing system engineering. ACM SIGOPS Oper. Syst. Rev. 46 (1) (2012)
Ríad Nassiffe, Eduardo Camponogara, George Lima
Optimizing quality of service in real-time systems under energy constraints. ACM SIGOPS Oper. Syst. Rev. 46 (1) (2012)
J. Augusto Santos Junior, George Lima
Sufficient Schedulability Tests for EDF-Scheduled Real-Time Systems under Interference of a High Priority Task. SBESC (2012)
Ríad Nassiffe, Eduardo Camponogara, George Lima
A Model for Reconfiguration of Multi-Modal Real-Time Systems under Energy Constraints. SBESC (2011)
Antonio M. Carianha, Luciano Barreto, George Lima
Improving location privacy in mix-zones for VANETs. IPCCC (2011)
Paul Regnier, George Lima, Ernesto Massa, Greg Levin, Scott A. Brandt
RUN: Optimal Multiprocessor Real-Time Scheduling via Reduction to Uniprocessor. RTSS (2011)
Paul Regnier, George Lima, Ernesto Massa
An Optimal Real-Time Scheduling Approach: From Multiprocessor to Uniprocessor CoRR (2011)
Eduardo Camponogara, Augusto Born de Oliveira, George Lima
Optimization-Based Dynamic Reconfiguration of Real-Time Schedulers with Support for Stochastic Processor Consumption. IEEE Trans. Ind. Informatics 6 (4) (2010)
André L. N. Muniz, Aline Maria Santos Andrade, George Lima
Integrating UML and UPPAAL for designing, specifying and verifying component-based real-time systems. Innov. Syst. Softw. Eng. 6 (1-2) (2010)
Ernesto Massa, George Lima
A Bandwidth Reservation Strategy for Multiprocessor Real-Time Scheduling. IEEE Real-Time and Embedded Technology and Applications Symposium (2010)
Augusto Born de Oliveira, Eduardo Camponogara, George Lima
Dynamic Reconfiguration in Reservation-Based Scheduling: An Optimization Approach. IEEE Real-Time and Embedded Technology and Applications Symposium (2009)
Ricardo Perrone, Raimundo Macedo, George Lima, Veronica Lima
An Approach for Estimating Execution Time Probability Distributions of Component-based Real-Time Systems. J. Univers. Comput. Sci. 15 (11) (2009)
Paul Regnier, George Lima, Aline Maria Santos Andrade
A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol. Electron. Notes Theor. Comput. Sci. 240 (2009)
George Lima, Eduardo Camponogara, Ana Carolina Sokolonski
Dynamic Reconfiguration for Adaptive Multiversion Real-Time Systems. ECRTS (2008)
Paul Regnier, George Lima, Luciano Barreto
Evaluation of interrupt handling timeliness in real-time Linux operating systems. ACM SIGOPS Oper. Syst. Rev. 42 (6) (2008)
Frederico J. R. Barboza, Aline Maria Santos Andrade, Flávio Morais de Assis Silva, George Lima
Specification and Verification of the IEEE 802.11 Medium Access Control and an Analysis of its Applicability to Real-Time Systems. Electron. Notes Theor. Comput. Sci. 195 (2008)
Ricardo Perrone, Raimundo Macedo, George Lima, Veronica Lima
Uma Abordagem para Estimar Tempos de Execução em Sistemas de Tempo Real baseados em Componentes. SBCARS (2008)