default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGeorge Lima 0001
Person information
- affiliation: Federal University of Bahia, Salvador, Brazil
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j20]Jamile de Barros Vasconcelos, George Lima, Marwan Wehaiba el Khazen, Adriana Gogonel, Liliana Cucu-Grosjean:
On vulnerabilities in EVT-based timing analysis: an experimental investigation on a multi-core architecture. Des. Autom. Embed. Syst. 28(1): 1-21 (2024)- 2023
- [j19]Gessé Oliveira, George Lima:
Scheduling and energy savings for small scale embedded FreeRTOS-based real-time systems. Des. Autom. Embed. Syst. 27(1-2): 3-29 (2023) - [j18]Tadeu Nogueira C. Andrade, George Lima, Veronica Maria Cadena Lima, Slim Bem-Amor, Ismail Hawila, Liliana Cucu-Grosjean:
On the impact of hardware-related events on the execution of real-time programs. Des. Autom. Embed. Syst. 27(4): 275-302 (2023) - [c34]João Barreto, Ernesto Massa
, George Lima:
Partitioning and Server Shadowing for Scheduling Periodic Real-time Tasks on Multiprocessors. SBESC 2023: 1-6 - [c33]Flávia Maristela Santos Nascimento, George Lima:
Dealing with Soft Aperiodic Tasks in RUN. SBESC 2023: 1-6 - 2022
- [j17]Ricardo Brasil Teixeira, George Lima:
Shared resources in multiprocessor real-time systems scheduled by RUN. Real Time Syst. 58(2): 153-188 (2022) - [c32]Jamile de Barros Vasconcelos, George Lima:
Possible risks with EVT-based timing analysis: an experimental study on a multi-core platform. SBESC 2022: 1-8 - [p1]George Lima, Ernesto Massa, Paul Regnier:
Practical Considerations in Optimal Multiprocessor Scheduling. Handbook of Real-Time Computing 2022: 193-231 - 2021
- [j16]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): 443-484 (2021) - [c31]Flávia Maristela Santos Nascimento, George Lima:
Effectively Scheduling Hard and Soft Real-Time Tasks on Multiprocessors. RTAS 2021: 210-222 - [c30]Ernesto Massa, George Lima, Björn Andersson, Vinicius Petrucci:
Heterogeneous Quasi-Partitioned Scheduling. RTSS 2021: 266-278 - [c29]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: 1-8 - 2020
- [c28]Gessé Oliveira, George Lima:
Evaluation of Scheduling Algorithms for Embedded FreeRTOS-based Systems. SBESC 2020: 1-8
2010 – 2019
- 2019
- [c27]Flávia Maristela Santos Nascimento, George Lima:
A Flexible Framework to Schedule Soft Aperiodic Tasks in Hard Real-Time Systems. SBESC 2019: 1-8 - [c26]Ricardo Brasil Teixeira, George Lima:
Improved task packing for shared resources in multiprocessor real-time systems scheduled by RUN under SBLP. SBESC 2019: 1-8 - 2017
- [j15]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): 69-72 (2017) - [c25]George Lima, Iain Bate:
Valid Application of EVT in Timing Analysis by Randomising Execution Time Measurements. RTAS 2017: 187-198 - [c24]Flávia Maristela Santos Nascimento, George Lima, Ernesto Massa:
Work-in-Progress: Dealing with Aperiodic Tasks on Quasi-Partitioning Scheduling. RTSS 2017: 381-383 - 2016
- [j14]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): 368-379 (2016) - [j13]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): 391-411 (2016) - [j12]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): 440-451 (2016) - [j11]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): 566-597 (2016) - [c23]George Lima, Dario Dias, Edna Barros:
Extreme Value Theory for Estimating Task Execution Time Bounds: A Careful Look. ECRTS 2016: 200-211 - [c22]Dario Dias, George Lima, Edna Barros:
A Cache Design Assessment Approach for Embedded Real-Time Systems Based on Execution Time Measurement. SBESC 2016: 168-173 - 2015
- [c21]J. Augusto Santos Junior, George Lima, Konstantinos Bletsas:
Considerations on the Least Upper Bound for Mixed-Criticality Real-Time Systems. SBESC 2015: 58-63 - 2014
- [j10]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): 19-38 (2014) - [c20]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: 291-300 - [c19]Daniel Mossé, Eduardo Camponogara, George Lima:
A Model Considering QoS for Real-Time Systems with Energy and Temperature Constraints. SBESC 2014: 115-120 - [c18]Ernesto Massa, George Lima, Paul Regnier:
Revealing the Secrets of RUN and QPS: New Trends for Optimal Real-Time Multiprocessor Scheduling. SBESC 2014: 150-155 - 2013
- [j9]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): 436-474 (2013) - [j8]Ríad Nassiffe, Eduardo Camponogara, George Lima:
Optimizing QoS in energy-aware real-time systems. SIGBED Rev. 10(2): 25 (2013) - [c17]J. Augusto Santos Junior, George Lima, Konstantinos Bletsas, Shinpei Kato:
Multiprocessor Real-Time Scheduling with a Few Migrating Tasks. RTSS 2013: 170-181 - [c16]Eduardo Camponogara, George Lima, Daniel Mossé, Ríad Nassiffe:
Optimizing QoS in Adaptive Real-Time Systems with Energy Constraint Varying CPU Frequency. SBESC 2013: 101-106 - [c15]Fernando Nicodemos, Osamu Saotome, George Lima:
RTEMS Core Analysis for Space Applications. SBESC 2013: 125-130 - [c14]Yuri Malheiros, George Lima:
Uma Ferramenta para Análise de Sentimentos em Redes Sociais Utilizando o SenticNet. SBSI 2013: 517-522 - 2012
- [j7]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): 52 (2012) - [j6]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): 82-92 (2012) - [c13]J. Augusto Santos Junior, George Lima:
Sufficient Schedulability Tests for EDF-Scheduled Real-Time Systems under Interference of a High Priority Task. SBESC 2012: 131-136 - 2011
- [c12]Antonio M. Carianha, Luciano Barreto, George Lima:
Improving location privacy in mix-zones for VANETs. IPCCC 2011: 1-6 - [c11]Paul Regnier, George Lima, Ernesto Massa, Greg Levin, Scott A. Brandt:
RUN: Optimal Multiprocessor Real-Time Scheduling via Reduction to Uniprocessor. RTSS 2011: 104-115 - [c10]Ríad Nassiffe, Eduardo Camponogara, George Lima:
A Model for Reconfiguration of Multi-Modal Real-Time Systems under Energy Constraints. SBESC 2011: 127-132 - [i1]Paul Regnier, George Lima, Ernesto Massa:
An Optimal Real-Time Scheduling Approach: From Multiprocessor to Uniprocessor. CoRR abs/1104.3523 (2011) - 2010
- [j5]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): 29-37 (2010) - [j4]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): 594-609 (2010) - [c9]Ernesto Massa, George Lima:
A Bandwidth Reservation Strategy for Multiprocessor Real-Time Scheduling. IEEE Real-Time and Embedded Technology and Applications Symposium 2010: 175-183
2000 – 2009
- 2009
- [j3]Ricardo Perrone, Raimundo José de Araújo Macêdo, George Lima, Veronica Lima:
An Approach for Estimating Execution Time Probability Distributions of Component-based Real-Time Systems. J. Univers. Comput. Sci. 15(11): 2142-2165 (2009) - [c8]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: 173-182 - 2008
- [j2]Paul Regnier, George Lima, Luciano Barreto:
Evaluation of interrupt handling timeliness in real-time Linux operating systems. ACM SIGOPS Oper. Syst. Rev. 42(6): 52-63 (2008) - [c7]George Lima, Eduardo Camponogara, Ana Carolina Sokolonski:
Dynamic Reconfiguration for Adaptive Multiversion Real-Time Systems. ECRTS 2008: 115-124 - [c6]Ricardo Perrone, Raimundo José de Araújo Macêdo, George Lima, Veronica Lima:
Uma Abordagem para Estimar Tempos de Execução em Sistemas de Tempo Real baseados em Componentes. SBCARS 2008: 82-95 - [c5]Paul Regnier, George Lima, Aline Maria Santos Andrade:
A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol. SBMF 2008: 221-238 - 2006
- [c4]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. SBMF 2006: 3-20 - 2005
- [c3]George Marconi de Araujo Lima, Alan Burns:
Scheduling Fixed-Priority Hard Real-Time Tasks in the Presence of Faults. LADC 2005: 154-173 - 2003
- [b1]George Marconi de Araujo Lima:
Fault tolerance in fixed-priority hard real-time distributed systems. University of York, UK, 2003 - [j1]George Marconi de Araujo Lima, Alan Burns:
An Optimal Fixed-Priority Assignment Algorithm for Supporting Fault-Tolerant Hard Real-Time Systems. IEEE Trans. Computers 52(10): 1332-1346 (2003) - [c2]George Marconi de Araujo Lima, Alan Burns:
A Consensus Protocol for CAN-Based Systems. RTSS 2003: 420-429 - 2001
- [c1]George Marconi de Araujo Lima, Alan Burns:
An Effective Schedulability Analysis for Fault-Tolerant Hard Real-Time Systems. ECRTS 2001: 209-216
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
