George Lima

According to our database, George Lima authored at least 57 papers between 2001 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

On vulnerabilities in EVT-based timing analysis: an experimental investigation on a multi-core architecture.

Jamile de Barros Vasconcelos, George Lima, Marwan Wehaiba el Khazen, Adriana Gogonel, Liliana Cucu-Grosjean

Des. Autom. Embed. Syst., March, 2024

2023

On the impact of hardware-related events on the execution of real-time programs.

Tadeu Nogueira C. Andrade, George Lima, Veronica Maria Cadena Lima, Slim Bem-Amor, Ismail Hawila, Liliana Cucu-Grosjean

Des. Autom. Embed. Syst., December, 2023

Scheduling and energy savings for small scale embedded FreeRTOS-based real-time systems.

Gessé Oliveira, George Lima

Des. Autom. Embed. Syst., June, 2023

Dealing with Soft Aperiodic Tasks in RUN.

Flávia Maristela Santos Nascimento, George Lima

Proceedings of the XIII Brazilian Symposium on Computing Systems Engineering, 2023

Partitioning and Server Shadowing for Scheduling Periodic Real-time Tasks on Multiprocessors.

João Barreto, Ernesto Massa, George Lima

Proceedings of the XIII Brazilian Symposium on Computing Systems Engineering, 2023

2022

Shared resources in multiprocessor real-time systems scheduled by RUN.

Ricardo Brasil Teixeira, George Lima

Real Time Syst., 2022

Possible risks with EVT-based timing analysis: an experimental study on a multi-core platform.

Jamile de Barros Vasconcelos, George Lima

Proceedings of the XII Brazilian Symposium on Computing Systems Engineering, 2022

Practical Considerations in Optimal Multiprocessor Scheduling.

George Lima, Ernesto Massa, Paul Regnier

Proceedings of the Handbook of Real-Time Computing, 2022

2021

Dynamic power management under the RUN scheduling algorithm: a slack filling approach.

Lais Borin, George Lima, Márcio Castro, Patricia Della Méa Plentz

Real Time Syst., 2021

On the Selection of Relevant Hardware Events for Explaining Execution Time Behavior.

Tadeu Nogueira C. Andrade, George Lima, Veronica Maria Cadena Lima, Yasmina Abdeddaïm, Liliana Cucu-Grosjean

Proceedings of the XI Brazilian Symposium on Computing Systems Engineering, 2021

Heterogeneous Quasi-Partitioned Scheduling.

Ernesto Massa, George Lima, Björn Andersson, Vinicius Petrucci

Proceedings of the 42nd IEEE Real-Time Systems Symposium, 2021

Effectively Scheduling Hard and Soft Real-Time Tasks on Multiprocessors.

Flávia Maristela Santos Nascimento, George Lima

Proceedings of the 27th IEEE Real-Time and Embedded Technology and Applications Symposium, 2021

2020

Evaluation of Scheduling Algorithms for Embedded FreeRTOS-based Systems.

Gessé Oliveira, George Lima

Proceedings of the X Brazilian Symposium on Computing Systems Engineering, 2020

2019

Improved task packing for shared resources in multiprocessor real-time systems scheduled by RUN under SBLP.

Ricardo Brasil Teixeira, George Lima

Proceedings of the IX Brazilian Symposium on Computing Systems Engineering, 2019

A Flexible Framework to Schedule Soft Aperiodic Tasks in Hard Real-Time Systems.

Flávia Maristela Santos Nascimento, George Lima

Proceedings of the IX Brazilian Symposium on Computing Systems Engineering, 2019

2017

Open Challenges for Probabilistic Measurement-Based Worst-Case Execution Time.

Samuel Jimenez Gil, Iain Bate, George Lima, Luca Santinelli, Adriana Gogonel, Liliana Cucu-Grosjean

IEEE Embed. Syst. Lett., 2017

Work-in-Progress: Dealing with Aperiodic Tasks on Quasi-Partitioning Scheduling.

Flávia Maristela Santos Nascimento, George Lima, Ernesto Massa

Proceedings of the 2017 IEEE Real-Time Systems Symposium, 2017

Valid Application of EVT in Timing Analysis by Randomising Execution Time Measurements.

George Lima, Iain Bate

Proceedings of the 2017 IEEE Real-Time and Embedded Technology and Applications Symposium, 2017

2016

Quasi-partitioned scheduling: optimality and adaptation in multiprocessor real-time systems.

Ernesto Massa, George Lima, Paul Regnier, Greg Levin, Scott A. Brandt

Real Time Syst., 2016

A minimally intrusive method for analysing the timing of RTEMS core characteristics.

Fernando Nicodemos, Osamu Saotome, George Lima, Sandro S. Sato

Int. J. Embed. Syst., 2016

Optimising QoS in adaptive real-time systems with energy constraint varying CPU frequency.

Ríad Nassiffe, Eduardo Camponogara, George Lima, Daniel Mossé

Int. J. Embed. Syst., 2016

From RUN to QPS: new trends for optimal real-time multiprocessor scheduling.

Ernesto Massa, George Lima, Paul Regnier

Int. J. Embed. Syst., 2016

A Cache Design Assessment Approach for Embedded Real-Time Systems Based on Execution Time Measurement.

Dario Dias, George Lima, Edna Barros

Proceedings of the VI Brazilian Symposium on Computing Systems Engineering, 2016

Extreme Value Theory for Estimating Task Execution Time Bounds: A Careful Look.

George Lima, Dario Dias, Edna Barros

Proceedings of the 28th Euromicro Conference on Real-Time Systems, 2016

2015

Considerations on the Least Upper Bound for Mixed-Criticality Real-Time Systems.

J. Augusto Santos Junior, George Lima, Konstantinos Bletsas

Proceedings of the 2015 Brazilian Symposium on Computing Systems Engineering, 2015

2014

Efficient schedulability tests for real-time embedded systems with urgent routines.

J. Augusto Santos Junior, George Lima, Konstantinos Bletsas

Des. Autom. Embed. Syst., 2014

A Model Considering QoS for Real-Time Systems with Energy and Temperature Constraints.

Daniel Mossé, Eduardo Camponogara, George Lima

Proceedings of the 2014 Brazilian Symposium on Computing Systems Engineering, 2014

Revealing the Secrets of RUN and QPS: New Trends for Optimal Real-Time Multiprocessor Scheduling.

Ernesto Massa, George Lima, Paul Regnier

Proceedings of the 2014 Brazilian Symposium on Computing Systems Engineering, 2014

OUTSTANDING PAPER: Optimal and Adaptive Multiprocessor Real-Time Scheduling: The Quasi-Partitioning Approach.

Ernesto Massa, George Lima, Paul Regnier, Greg Levin, Scott A. Brandt

Proceedings of the 26th Euromicro Conference on Real-Time Systems, 2014

2013

Optimizing QoS in energy-aware real-time systems.

Ríad Nassiffe, Eduardo Camponogara, George Lima

SIGBED Rev., 2013

Multiprocessor scheduling by reduction to uniprocessor: an original optimal approach.

Paul Regnier, George Lima, Ernesto Massa, Greg Levin, Scott A. Brandt

Real Time Syst., 2013

Uma Ferramenta para Análise de Sentimentos em Redes Sociais Utilizando o SenticNet.

Yuri Malheiros, George Lima

Proceedings of the 9th Brazilian Symposium on Information Systems, 2013

RTEMS Core Analysis for Space Applications.

Fernando Nicodemos, Osamu Saotome, George Lima

Proceedings of the III Brazilian Symposium on Computing Systems Engineering, 2013

Optimizing QoS in Adaptive Real-Time Systems with Energy Constraint Varying CPU Frequency.

Eduardo Camponogara, George Lima, Daniel Mossé, Ríad Nassiffe

Proceedings of the III Brazilian Symposium on Computing Systems Engineering, 2013

Multiprocessor Real-Time Scheduling with a Few Migrating Tasks.

J. Augusto Santos Junior, George Lima, Konstantinos Bletsas, Shinpei Kato

Proceedings of the IEEE 34th Real-Time Systems Symposium, 2013

2012

Optimizing quality of service in real-time systems under energy constraints.

Ríad Nassiffe, Eduardo Camponogara, George Lima

ACM SIGOPS Oper. Syst. Rev., 2012

Brazilian symposium on computing system engineering.

Antônio Augusto Fröhlich, Leandro Buss Becker, George Lima, Stefan Petters, Dilma M. Da Silva, Edna Natividade da Silva Barros

ACM SIGOPS Oper. Syst. Rev., 2012

Sufficient Schedulability Tests for EDF-Scheduled Real-Time Systems under Interference of a High Priority Task.

J. Augusto Santos Junior, George Lima

Proceedings of the 2012 Brazilian Symposium on Computing System Engineering, 2012

2011

An Optimal Real-Time Scheduling Approach: From Multiprocessor to Uniprocessor

Paul Regnier, George Lima, Ernesto Massa

CoRR, 2011

A Model for Reconfiguration of Multi-Modal Real-Time Systems under Energy Constraints.

Ríad Nassiffe, Eduardo Camponogara, George Lima

Proceedings of the Brazilian Symposium on Computing System Engineering, 2011

RUN: Optimal Multiprocessor Real-Time Scheduling via Reduction to Uniprocessor.

Paul Regnier, George Lima, Ernesto Massa, Greg Levin, Scott A. Brandt

Proceedings of the 32nd IEEE Real-Time Systems Symposium, 2011

Improving location privacy in mix-zones for VANETs.

Antonio M. Carianha, Luciano Barreto, George Lima

Proceedings of the 30th IEEE International Performance Computing and Communications Conference, 2011

2010

Optimization-Based Dynamic Reconfiguration of Real-Time Schedulers with Support for Stochastic Processor Consumption.

Eduardo Camponogara, Augusto Born de Oliveira, George Lima

IEEE Trans. Ind. Informatics, 2010

Integrating UML and UPPAAL for designing, specifying and verifying component-based real-time systems.

André L. N. Muniz, Aline Maria Santos Andrade, George Lima

Innov. Syst. Softw. Eng., 2010

A Bandwidth Reservation Strategy for Multiprocessor Real-Time Scheduling.

Ernesto Massa, George Lima

Proceedings of the 16th IEEE Real-Time and Embedded Technology and Applications Symposium, 2010

2009

An Approach for Estimating Execution Time Probability Distributions of Component-based Real-Time Systems.

Ricardo Perrone, Raimundo José de Araújo Macêdo, George Lima, Veronica Lima

J. Univers. Comput. Sci., 2009

Dynamic Reconfiguration in Reservation-Based Scheduling: An Optimization Approach.

Augusto Born de Oliveira, Eduardo Camponogara, George Lima

Proceedings of the 15th IEEE Real-Time and Embedded Technology and Applications Symposium, 2009

2008

Evaluation of interrupt handling timeliness in real-time Linux operating systems.

Paul Regnier, George Lima, Luciano Barreto

ACM SIGOPS Oper. Syst. Rev., 2008

A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol.

Paul Regnier, George Lima, Aline Maria Santos Andrade

Proceedings of the Eleventh Brazilian Symposium on Formal Methods, 2008

Uma Abordagem para Estimar Tempos de Execução em Sistemas de Tempo Real baseados em Componentes.

Ricardo Perrone, Raimundo José de Araújo Macêdo, George Lima, Veronica Lima

Proceedings of the Second Brazilian Symposium on Software Components, 2008

Dynamic Reconfiguration for Adaptive Multiversion Real-Time Systems.

George Lima, Eduardo Camponogara, Ana Carolina Sokolonski

Proceedings of the 20th Euromicro Conference on Real-Time Systems, 2008

2006

Specification and Verification of the IEEE 802.11 Medium Access Control and an Analysis of its Applicability to Real-Time Systems.

Frederico J. R. Barboza, Aline Maria Santos Andrade, Flávio Morais de Assis Silva, George Lima

Proceedings of the Brazilian Symposium on Formal Methods, 2006

2005

Scheduling Fixed-Priority Hard Real-Time Tasks in the Presence of Faults.

George Marconi de Araujo Lima, Alan Burns

Proceedings of the Dependable Computing, Second Latin-American Symposium, 2005

2003

Fault tolerance in fixed-priority hard real-time distributed systems.

George Marconi de Araujo Lima

PhD thesis, 2003

An Optimal Fixed-Priority Assignment Algorithm for Supporting Fault-Tolerant Hard Real-Time Systems.

George Marconi de Araujo Lima, Alan Burns

IEEE Trans. Computers, 2003

A Consensus Protocol for CAN-Based Systems.

George Marconi de Araujo Lima, Alan Burns

Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 2003

2001

An Effective Schedulability Analysis for Fault-Tolerant Hard Real-Time Systems.

George Marconi de Araujo Lima, Alan Burns

Proceedings of the 13th Euromicro Conference on Real-Time Systems (ECRTS 2001), 2001