George Lima

Orcid: 0000-0002-8468-5224

Affiliations:
  • Federal University of Bahia, Salvador, Brazil


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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
On vulnerabilities in EVT-based timing analysis: an experimental investigation on a multi-core architecture.
Des. Autom. Embed. Syst., March, 2024

2023
On the impact of hardware-related events on the execution of real-time programs.
Des. Autom. Embed. Syst., December, 2023

Scheduling and energy savings for small scale embedded FreeRTOS-based real-time systems.
Des. Autom. Embed. Syst., June, 2023

Dealing with Soft Aperiodic Tasks in RUN.
Proceedings of the XIII Brazilian Symposium on Computing Systems Engineering, 2023

Partitioning and Server Shadowing for Scheduling Periodic Real-time Tasks on Multiprocessors.
Proceedings of the XIII Brazilian Symposium on Computing Systems Engineering, 2023

2022
Shared resources in multiprocessor real-time systems scheduled by RUN.
Real Time Syst., 2022

Possible risks with EVT-based timing analysis: an experimental study on a multi-core platform.
Proceedings of the XII Brazilian Symposium on Computing Systems Engineering, 2022

Practical Considerations in Optimal Multiprocessor Scheduling.
Proceedings of the Handbook of Real-Time Computing, 2022

2021
Dynamic power management under the RUN scheduling algorithm: a slack filling approach.
Real Time Syst., 2021

On the Selection of Relevant Hardware Events for Explaining Execution Time Behavior.
Proceedings of the XI Brazilian Symposium on Computing Systems Engineering, 2021

Heterogeneous Quasi-Partitioned Scheduling.
Proceedings of the 42nd IEEE Real-Time Systems Symposium, 2021

Effectively Scheduling Hard and Soft Real-Time Tasks on Multiprocessors.
Proceedings of the 27th IEEE Real-Time and Embedded Technology and Applications Symposium, 2021

2020
Evaluation of Scheduling Algorithms for Embedded FreeRTOS-based Systems.
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.
Proceedings of the IX Brazilian Symposium on Computing Systems Engineering, 2019

A Flexible Framework to Schedule Soft Aperiodic Tasks in Hard Real-Time Systems.
Proceedings of the IX Brazilian Symposium on Computing Systems Engineering, 2019

2017
Open Challenges for Probabilistic Measurement-Based Worst-Case Execution Time.
IEEE Embed. Syst. Lett., 2017

Work-in-Progress: Dealing with Aperiodic Tasks on Quasi-Partitioning Scheduling.
Proceedings of the 2017 IEEE Real-Time Systems Symposium, 2017

Valid Application of EVT in Timing Analysis by Randomising Execution Time Measurements.
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.
Real Time Syst., 2016

A minimally intrusive method for analysing the timing of RTEMS core characteristics.
Int. J. Embed. Syst., 2016

Optimising QoS in adaptive real-time systems with energy constraint varying CPU frequency.
Int. J. Embed. Syst., 2016

From RUN to QPS: new trends for optimal real-time multiprocessor scheduling.
Int. J. Embed. Syst., 2016

A Cache Design Assessment Approach for Embedded Real-Time Systems Based on Execution Time Measurement.
Proceedings of the VI Brazilian Symposium on Computing Systems Engineering, 2016

Extreme Value Theory for Estimating Task Execution Time Bounds: A Careful Look.
Proceedings of the 28th Euromicro Conference on Real-Time Systems, 2016

2015
Considerations on the Least Upper Bound for Mixed-Criticality Real-Time Systems.
Proceedings of the 2015 Brazilian Symposium on Computing Systems Engineering, 2015

2014
Efficient schedulability tests for real-time embedded systems with urgent routines.
Des. Autom. Embed. Syst., 2014

A Model Considering QoS for Real-Time Systems with Energy and Temperature Constraints.
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.
Proceedings of the 2014 Brazilian Symposium on Computing Systems Engineering, 2014

OUTSTANDING PAPER: Optimal and Adaptive Multiprocessor Real-Time Scheduling: The Quasi-Partitioning Approach.
Proceedings of the 26th Euromicro Conference on Real-Time Systems, 2014

2013
Optimizing QoS in energy-aware real-time systems.
SIGBED Rev., 2013

Multiprocessor scheduling by reduction to uniprocessor: an original optimal approach.
Real Time Syst., 2013

Uma Ferramenta para Análise de Sentimentos em Redes Sociais Utilizando o SenticNet.
Proceedings of the 9th Brazilian Symposium on Information Systems, 2013

RTEMS Core Analysis for Space Applications.
Proceedings of the III Brazilian Symposium on Computing Systems Engineering, 2013

Optimizing QoS in Adaptive Real-Time Systems with Energy Constraint Varying CPU Frequency.
Proceedings of the III Brazilian Symposium on Computing Systems Engineering, 2013

Multiprocessor Real-Time Scheduling with a Few Migrating Tasks.
Proceedings of the IEEE 34th Real-Time Systems Symposium, 2013

2012
Optimizing quality of service in real-time systems under energy constraints.
ACM SIGOPS Oper. Syst. Rev., 2012

Brazilian symposium on computing system engineering.
ACM SIGOPS Oper. Syst. Rev., 2012

Sufficient Schedulability Tests for EDF-Scheduled Real-Time Systems under Interference of a High Priority Task.
Proceedings of the 2012 Brazilian Symposium on Computing System Engineering, 2012

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

A Model for Reconfiguration of Multi-Modal Real-Time Systems under Energy Constraints.
Proceedings of the Brazilian Symposium on Computing System Engineering, 2011

RUN: Optimal Multiprocessor Real-Time Scheduling via Reduction to Uniprocessor.
Proceedings of the 32nd IEEE Real-Time Systems Symposium, 2011

Improving location privacy in mix-zones for VANETs.
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.
IEEE Trans. Ind. Informatics, 2010

Integrating UML and UPPAAL for designing, specifying and verifying component-based real-time systems.
Innov. Syst. Softw. Eng., 2010

A Bandwidth Reservation Strategy for Multiprocessor Real-Time Scheduling.
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.
J. Univers. Comput. Sci., 2009

Dynamic Reconfiguration in Reservation-Based Scheduling: An Optimization Approach.
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.
ACM SIGOPS Oper. Syst. Rev., 2008

A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol.
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.
Proceedings of the Second Brazilian Symposium on Software Components, 2008

Dynamic Reconfiguration for Adaptive Multiversion Real-Time Systems.
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.
Proceedings of the Brazilian Symposium on Formal Methods, 2006

2005
Scheduling Fixed-Priority Hard Real-Time Tasks in the Presence of Faults.
Proceedings of the Dependable Computing, Second Latin-American Symposium, 2005

2003
Fault tolerance in fixed-priority hard real-time distributed systems.
PhD thesis, 2003

An Optimal Fixed-Priority Assignment Algorithm for Supporting Fault-Tolerant Hard Real-Time Systems.
IEEE Trans. Computers, 2003

A Consensus Protocol for CAN-Based Systems.
Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 2003

2001
An Effective Schedulability Analysis for Fault-Tolerant Hard Real-Time Systems.
Proceedings of the 13th Euromicro Conference on Real-Time Systems (ECRTS 2001), 2001


  Loading...