An Effective Schedulability Analysis for Fault-Tolerant Hard Real-Time Systems. - George Marconi de Araujo Lima; Alan Burns 001 (ECRTS, 2001)

A Consensus Protocol for CAN-Based Systems. - George Marconi de Araujo Lima; Alan Burns 001 (RTSS, 2003)

An Optimal Fixed-Priority Assignment Algorithm for Supporting Fault-Tolerant Hard Real-Time Systems. - George Marconi de Araujo Lima; Alan Burns 001 (IEEE Trans. Computers, 2003)

Fault tolerance in fixed-priority hard real-time distributed systems. - George Marconi de Araujo Lima (2003)

Scheduling Fixed-Priority Hard Real-Time Tasks in the Presence of Faults. - George Marconi de Araujo Lima; Alan Burns 001 (LADC, 2005)

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 001 (SBMF, 2006)

Dynamic Reconfiguration for Adaptive Multiversion Real-Time Systems. - George Lima 001; Eduardo Camponogara; Ana Carolina Sokolonski (ECRTS, 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 001; Veronica Lima (SBCARS, 2008)

A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol. - Paul Regnier; George Lima 001; Aline Maria Santos Andrade (SBMF, 2008)

Evaluation of interrupt handling timeliness in real-time Linux operating systems. - Paul Regnier; George Lima 001; Luciano Barreto (ACM SIGOPS Oper. Syst. Rev., 2008)

Dynamic Reconfiguration in Reservation-Based Scheduling: An Optimization Approach. - Augusto Born de Oliveira; Eduardo Camponogara; George Lima 001 (IEEE Real-Time and Embedded Technology and Applications Symposium, 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 001; Veronica Lima (J. Univers. Comput. Sci., 2009)

A Bandwidth Reservation Strategy for Multiprocessor Real-Time Scheduling. - Ernesto Massa; George Lima 001 (IEEE Real-Time and Embedded Technology and Applications Symposium, 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 001 (Innov. Syst. Softw. Eng., 2010)

Optimization-Based Dynamic Reconfiguration of Real-Time Schedulers with Support for Stochastic Processor Consumption. - Eduardo Camponogara; Augusto Born de Oliveira; George Lima 001 (IEEE Trans. Ind. Informatics, 2010)

Improving location privacy in mix-zones for VANETs. - Antonio M. Carianha; Luciano Barreto; George Lima 001 (IPCCC, 2011)

RUN: Optimal Multiprocessor Real-Time Scheduling via Reduction to Uniprocessor. - Paul Regnier; George Lima 001; Ernesto Massa; Greg Levin; Scott A. Brandt (RTSS, 2011)

A Model for Reconfiguration of Multi-Modal Real-Time Systems under Energy Constraints. - Ríad Nassiffe; Eduardo Camponogara; George Lima 001 (SBESC, 2011)

An Optimal Real-Time Scheduling Approach: From Multiprocessor to Uniprocessor - Paul Regnier; George Lima 001; Ernesto Massa (CoRR, 2011)

Sufficient Schedulability Tests for EDF-Scheduled Real-Time Systems under Interference of a High Priority Task. - J. Augusto Santos Junior; George Lima 001 (SBESC, 2012)

Brazilian symposium on computing system engineering. - Antônio Augusto Fröhlich; Leandro Buss Becker; George Lima 001; Stefan Petters; Dilma M. Da Silva; Edna Natividade da Silva Barros (ACM SIGOPS Oper. Syst. Rev., 2012)

Optimizing quality of service in real-time systems under energy constraints. - Ríad Nassiffe; Eduardo Camponogara; George Lima 001 (ACM SIGOPS Oper. Syst. Rev., 2012)

Multiprocessor Real-Time Scheduling with a Few Migrating Tasks. - J. Augusto Santos Junior; George Lima 001; Konstantinos Bletsas; Shinpei Kato (RTSS, 2013)

Optimizing QoS in Adaptive Real-Time Systems with Energy Constraint Varying CPU Frequency. - Eduardo Camponogara; George Lima 001; Daniel Mossé; Ríad Nassiffe (SBESC, 2013)

RTEMS Core Analysis for Space Applications. - Fernando Nicodemos; Osamu Saotome; George Lima 001 (SBESC, 2013)

Uma Ferramenta para Análise de Sentimentos em Redes Sociais Utilizando o SenticNet. - Yuri Malheiros; George Lima 001 (SBSI, 2013)

Multiprocessor scheduling by reduction to uniprocessor: an original optimal approach. - Paul Regnier; George Lima 001; Ernesto Massa; Greg Levin; Scott A. Brandt (Real Time Syst., 2013)

Optimizing QoS in energy-aware real-time systems. - Ríad Nassiffe; Eduardo Camponogara; George Lima 001 (SIGBED Rev., 2013)

OUTSTANDING PAPER: Optimal and Adaptive Multiprocessor Real-Time Scheduling: The Quasi-Partitioning Approach. - Ernesto Massa; George Lima 001; Paul Regnier; Greg Levin; Scott A. Brandt (ECRTS, 2014)

Revealing the Secrets of RUN and QPS: New Trends for Optimal Real-Time Multiprocessor Scheduling. - Ernesto Massa; George Lima 001; Paul Regnier (SBESC, 2014)

A Model Considering QoS for Real-Time Systems with Energy and Temperature Constraints. - Daniel Mossé; Eduardo Camponogara; George Lima 001 (SBESC, 2014)

Efficient schedulability tests for real-time embedded systems with urgent routines. - J. Augusto Santos Junior; George Lima 001; Konstantinos Bletsas (Des. Autom. Embed. Syst., 2014)

Considerations on the Least Upper Bound for Mixed-Criticality Real-Time Systems. - J. Augusto Santos Junior; George Lima 001; Konstantinos Bletsas (SBESC, 2015)

Extreme Value Theory for Estimating Task Execution Time Bounds: A Careful Look. - George Lima 001; Dario Dias; Edna Barros (ECRTS, 2016)

A Cache Design Assessment Approach for Embedded Real-Time Systems Based on Execution Time Measurement. - Dario Dias; George Lima 001; Edna Barros (SBESC, 2016)

From RUN to QPS: new trends for optimal real-time multiprocessor scheduling. - Ernesto Massa; George Lima 001; Paul Regnier (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 001; Daniel Mossé (Int. J. Embed. Syst., 2016)

A minimally intrusive method for analysing the timing of RTEMS core characteristics. - Fernando Nicodemos; Osamu Saotome; George Lima 001; Sandro S. Sato (Int. J. Embed. Syst., 2016)

Quasi-partitioned scheduling: optimality and adaptation in multiprocessor real-time systems. - Ernesto Massa; George Lima 001; Paul Regnier; Greg Levin; Scott A. Brandt (Real Time Syst., 2016)

Valid Application of EVT in Timing Analysis by Randomising Execution Time Measurements. - George Lima 001; Iain Bate (RTAS, 2017)

Work-in-Progress: Dealing with Aperiodic Tasks on Quasi-Partitioning Scheduling. - Flávia Maristela Santos Nascimento; George Lima 001; Ernesto Massa (RTSS, 2017)

Open Challenges for Probabilistic Measurement-Based Worst-Case Execution Time. - Samuel Jimenez Gil; Iain Bate; George Lima 001; Luca Santinelli; Adriana Gogonel; Liliana Cucu-Grosjean (IEEE Embed. Syst. Lett., 2017)

A Flexible Framework to Schedule Soft Aperiodic Tasks in Hard Real-Time Systems. - Flávia Maristela Santos Nascimento; George Lima 001 (SBESC, 2019)

Improved task packing for shared resources in multiprocessor real-time systems scheduled by RUN under SBLP. - Ricardo Brasil Teixeira; George Lima 001 (SBESC, 2019)

Evaluation of Scheduling Algorithms for Embedded FreeRTOS-based Systems. - Gessé Oliveira; George Lima 001 (SBESC, 2020)

Effectively Scheduling Hard and Soft Real-Time Tasks on Multiprocessors. - Flávia Maristela Santos Nascimento; George Lima 001 (RTAS, 2021)

Heterogeneous Quasi-Partitioned Scheduling. - Ernesto Massa; George Lima 001; Björn Andersson; Vinicius Petrucci (RTSS, 2021)

On the Selection of Relevant Hardware Events for Explaining Execution Time Behavior. - Tadeu Nogueira C. Andrade; George Lima 001; Veronica Maria Cadena Lima; Yasmina Abdeddaïm; Liliana Cucu-Grosjean (SBESC, 2021)

Dynamic power management under the RUN scheduling algorithm: a slack filling approach. - Lais Borin; George Lima 001; Márcio Castro 001; Patricia Della Méa Plentz (Real Time Syst., 2021)

Practical Considerations in Optimal Multiprocessor Scheduling. - George Lima 001; Ernesto Massa; Paul Regnier (Handbook of Real-Time Computing, 2022)

Possible risks with EVT-based timing analysis: an experimental study on a multi-core platform. - Jamile de Barros Vasconcelos; George Lima 001 (SBESC, 2022)

Shared resources in multiprocessor real-time systems scheduled by RUN. - Ricardo Brasil Teixeira; George Lima 001 (Real Time Syst., 2022)

Partitioning and Server Shadowing for Scheduling Periodic Real-time Tasks on Multiprocessors. - João Barreto 003; Ernesto Massa; George Lima 001 (SBESC, 2023)

Dealing with Soft Aperiodic Tasks in RUN. - Flávia Maristela Santos Nascimento; George Lima 001 (SBESC, 2023)

Scheduling and energy savings for small scale embedded FreeRTOS-based real-time systems. - Gessé Oliveira; George Lima 001 (Des. Autom. Embed. Syst., 2023)

On the impact of hardware-related events on the execution of real-time programs. - Tadeu Nogueira C. Andrade; George Lima 001; Veronica Maria Cadena Lima; Slim Bem-Amor; Ismail Hawila; Liliana Cucu-Grosjean (Des. Autom. Embed. Syst., 2023)

Drawing Lines for Measurement-Based Probabilistic Timing Analysis. - Tadeu Nogueira C. Andrade; George Lima 001; Veronica Maria Cadena Lima (RTSS, 2024)

Fault Tolerance in Multiprocessor Real-Time Systems Under Partitioned EDF Scheduling. - Allan S. G. Alves; George Marconi de Araujo Lima; Islame F. C. Fernandes (SBESC, 2024)

On vulnerabilities in EVT-based timing analysis: an experimental investigation on a multi-core architecture. - Jamile de Barros Vasconcelos; George Lima 001; Marwan Wehaiba el Khazen; Adriana Gogonel; Liliana Cucu-Grosjean (Des. Autom. Embed. Syst., 2024)

Towards a SoIS model for University Surveillance. - Roberto de Cerqueira Figueiredo; Babacar Mane; Diana Romero Clavijo; Samuel Rios da Silva; Fernando de Almeida Moraes; Caio Nery; Ana Patrícia Magalhães; Rita Suzana Pitangueira Maciel; Daniela Barreiro Claro; Marlo Vieira dos Santos Souza; George Marconi de Araujo Lima; Julio César Sampaio do Prado Leite (SESoS, 2025)