George Lima

53 papers A 9B 3C 1Journal 20Unranked 19
YearRankTypeTitle / Venue / Authors
2024 A conf
Drawing Lines for Measurement-Based Probabilistic Timing Analysis.
RTSS
Tadeu Nogueira C. Andrade, George Lima, Veronica Maria Cadena Lima
2024 J jnl
On vulnerabilities in EVT-based timing analysis: an experimental investigation on a multi-core architecture.
Des. Autom. Embed. Syst.
Jamile de Barros Vasconcelos, George Lima, Marwan Wehaiba El Khazen, Adriana Gogonel, Liliana Cucu-Grosjean
2023 — conf
Dealing with Soft Aperiodic Tasks in RUN.
SBESC
Flávia Maristela Santos Nascimento, George Lima
2023 J jnl
On the impact of hardware-related events on the execution of real-time programs.
Des. Autom. Embed. Syst.
Tadeu Nogueira C. Andrade, George Lima, Veronica Maria Cadena Lima, Slim Bem-Amor, Ismail Hawila, Liliana Cucu-Grosjean
2023 — conf
Partitioning and Server Shadowing for Scheduling Periodic Real-time Tasks on Multiprocessors.
SBESC
João Barreto, Ernesto Massa, George Lima
2023 J jnl
Scheduling and energy savings for small scale embedded FreeRTOS-based real-time systems.
Des. Autom. Embed. Syst.
Gessé Oliveira, George Lima
2022 — conf
Possible risks with EVT-based timing analysis: an experimental study on a multi-core platform.
SBESC
Jamile de Barros Vasconcelos, George Lima
2022 — ch.
Practical Considerations in Optimal Multiprocessor Scheduling.
Handbook of Real-Time Computing
George Lima, Ernesto Massa, Paul Regnier
2022 J jnl
Shared resources in multiprocessor real-time systems scheduled by RUN.
Real Time Syst.
Ricardo Brasil Teixeira, George Lima
2021 J jnl
Dynamic power management under the RUN scheduling algorithm: a slack filling approach.
Real Time Syst.
Lais Borin, George Lima, Márcio Castro, Patricia Della Méa Plentz
2021 A conf
Effectively Scheduling Hard and Soft Real-Time Tasks on Multiprocessors.
RTAS
Flávia Maristela Santos Nascimento, George Lima
2021 A conf
Heterogeneous Quasi-Partitioned Scheduling.
RTSS
Ernesto Massa, George Lima, Björn Andersson, Vinicius Petrucci
2021 — conf
On the Selection of Relevant Hardware Events for Explaining Execution Time Behavior.
SBESC
Tadeu Nogueira C. Andrade, George Lima, Veronica Maria Cadena Lima, Yasmina Abdeddaïm, Liliana Cucu-Grosjean
2020 — conf
Evaluation of Scheduling Algorithms for Embedded FreeRTOS-based Systems.
SBESC
Gessé Oliveira, George Lima
2019 — conf
A Flexible Framework to Schedule Soft Aperiodic Tasks in Hard Real-Time Systems.
SBESC
Flávia Maristela Santos Nascimento, George Lima
2019 — conf
Improved task packing for shared resources in multiprocessor real-time systems scheduled by RUN under SBLP.
SBESC
Ricardo Brasil Teixeira, George Lima
2017 J jnl
Open Challenges for Probabilistic Measurement-Based Worst-Case Execution Time.
IEEE Embed. Syst. Lett.
Samuel Jimenez Gil, Iain Bate, George Lima, Luca Santinelli, Adriana Gogonel, Liliana Cucu-Grosjean
2017 A conf
Valid Application of EVT in Timing Analysis by Randomising Execution Time Measurements.
RTAS
George Lima, Iain Bate
2017 A conf
Work-in-Progress: Dealing with Aperiodic Tasks on Quasi-Partitioning Scheduling.
RTSS
Flávia Maristela Santos Nascimento, George Lima, Ernesto Massa
2016 — conf
A Cache Design Assessment Approach for Embedded Real-Time Systems Based on Execution Time Measurement.
SBESC
Dario Dias, George Lima, Edna Barros
2016 J jnl
A minimally intrusive method for analysing the timing of RTEMS core characteristics.
Int. J. Embed. Syst.
Fernando Nicodemos, Osamu Saotome, George Lima, Sandro S. Sato
2016 B conf
Extreme Value Theory for Estimating Task Execution Time Bounds: A Careful Look.
ECRTS
George Lima, Dario Dias, Edna Barros
2016 J jnl
From RUN to QPS: new trends for optimal real-time multiprocessor scheduling.
Int. J. Embed. Syst.
Ernesto Massa, George Lima, Paul Regnier
2016 J jnl
Optimising QoS in adaptive real-time systems with energy constraint varying CPU frequency.
Int. J. Embed. Syst.
Ríad Nassiffe, Eduardo Camponogara, George Lima, Daniel Mossé
2016 J jnl
Quasi-partitioned scheduling: optimality and adaptation in multiprocessor real-time systems.
Real Time Syst.
Ernesto Massa, George Lima, Paul Regnier, Greg Levin, Scott A. Brandt
2015 — conf
Considerations on the Least Upper Bound for Mixed-Criticality Real-Time Systems.
SBESC
J. Augusto Santos Junior, George Lima, Konstantinos Bletsas
2014 — conf
A Model Considering QoS for Real-Time Systems with Energy and Temperature Constraints.
SBESC
Daniel Mossé, Eduardo Camponogara, George Lima
2014 J jnl
Efficient schedulability tests for real-time embedded systems with urgent routines.
Des. Autom. Embed. Syst.
J. Augusto Santos Junior, George Lima, Konstantinos Bletsas
2014 B conf
OUTSTANDING PAPER: Optimal and Adaptive Multiprocessor Real-Time Scheduling: The Quasi-Partitioning Approach.
ECRTS
Ernesto Massa, George Lima, Paul Regnier, Greg Levin, Scott A. Brandt
2014 — conf
Revealing the Secrets of RUN and QPS: New Trends for Optimal Real-Time Multiprocessor Scheduling.
SBESC
Ernesto Massa, George Lima, Paul Regnier
2013 A conf
Multiprocessor Real-Time Scheduling with a Few Migrating Tasks.
RTSS
J. Augusto Santos Junior, George Lima, Konstantinos Bletsas, Shinpei Kato
2013 J jnl
Multiprocessor scheduling by reduction to uniprocessor: an original optimal approach.
Real Time Syst.
Paul Regnier, George Lima, Ernesto Massa, Greg Levin, Scott A. Brandt
2013 — conf
Optimizing QoS in Adaptive Real-Time Systems with Energy Constraint Varying CPU Frequency.
SBESC
Eduardo Camponogara, George Lima, Daniel Mossé, Ríad Nassiffe
2013 J jnl
Optimizing QoS in energy-aware real-time systems.
SIGBED Rev.
Ríad Nassiffe, Eduardo Camponogara, George Lima
2013 — conf
RTEMS Core Analysis for Space Applications.
SBESC
Fernando Nicodemos, Osamu Saotome, George Lima
2013 — conf
Uma Ferramenta para Análise de Sentimentos em Redes Sociais Utilizando o SenticNet.
SBSI
Yuri Malheiros, George Lima
2012 J jnl
Brazilian symposium on computing system engineering.
ACM SIGOPS Oper. Syst. Rev.
Antônio Augusto Fröhlich, Leandro Buss Becker, George Lima, Stefan Petters, Dilma M. Da Silva, Edna Natividade da Silva Barros
2012 J jnl
Optimizing quality of service in real-time systems under energy constraints.
ACM SIGOPS Oper. Syst. Rev.
Ríad Nassiffe, Eduardo Camponogara, George Lima
2012 — conf
Sufficient Schedulability Tests for EDF-Scheduled Real-Time Systems under Interference of a High Priority Task.
SBESC
J. Augusto Santos Junior, George Lima
2011 — conf
A Model for Reconfiguration of Multi-Modal Real-Time Systems under Energy Constraints.
SBESC
Ríad Nassiffe, Eduardo Camponogara, George Lima
2011 J jnl
An Optimal Real-Time Scheduling Approach: From Multiprocessor to Uniprocessor
CoRR
Paul Regnier, George Lima, Ernesto Massa
2011 C conf
Improving location privacy in mix-zones for VANETs.
IPCCC
Antonio M. Carianha, Luciano Barreto, George Lima
2011 A conf
RUN: Optimal Multiprocessor Real-Time Scheduling via Reduction to Uniprocessor.
RTSS
Paul Regnier, George Lima, Ernesto Massa, Greg Levin, Scott A. Brandt
2010 A conf
A Bandwidth Reservation Strategy for Multiprocessor Real-Time Scheduling.
IEEE Real-Time and Embedded Technology and Applications Symposium
Ernesto Massa, George Lima
2010 J jnl
Integrating UML and UPPAAL for designing, specifying and verifying component-based real-time systems.
Innov. Syst. Softw. Eng.
André L. N. Muniz, Aline Maria Santos Andrade, George Lima
2010 J jnl
Optimization-Based Dynamic Reconfiguration of Real-Time Schedulers with Support for Stochastic Processor Consumption.
IEEE Trans. Ind. Informatics
Eduardo Camponogara, Augusto Born de Oliveira, George Lima
2009 J jnl
An Approach for Estimating Execution Time Probability Distributions of Component-based Real-Time Systems.
J. Univers. Comput. Sci.
Ricardo Perrone, Raimundo José de Araújo Macêdo, George Lima, Veronica Lima
2009 A conf
Dynamic Reconfiguration in Reservation-Based Scheduling: An Optimization Approach.
IEEE Real-Time and Embedded Technology and Applications Symposium
Augusto Born de Oliveira, Eduardo Camponogara, George Lima
2008 — conf
A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol.
SBMF
Paul Regnier, George Lima, Aline Maria Santos Andrade
2008 B conf
Dynamic Reconfiguration for Adaptive Multiversion Real-Time Systems.
ECRTS
George Lima, Eduardo Camponogara, Ana Carolina Sokolonski
2008 J jnl
Evaluation of interrupt handling timeliness in real-time Linux operating systems.
ACM SIGOPS Oper. Syst. Rev.
Paul Regnier, George Lima, Luciano Barreto
2008 — conf
Uma Abordagem para Estimar Tempos de Execução em Sistemas de Tempo Real baseados em Componentes.
SBCARS
Ricardo Perrone, Raimundo José de Araújo Macêdo, George Lima, Veronica Lima
2006 — conf
Specification and Verification of the IEEE 802.11 Medium Access Control and an Analysis of its Applicability to Real-Time Systems.
SBMF
Frederico J. R. Barboza, Aline Maria Santos Andrade, Flávio Morais de Assis Silva, George Lima
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling