George Marconi de Araújo Lima
Possui formação em Ciência da Computação nos díveis de graduação e pós-graduação: Bacharelado pela Universidade Federal da Bahia (1993), Mestrado pela Universidade Estadual de Campinas (1996); e Doutorado pela University of York/UK (2003). Durante 2015-2016 George esteve em período sabático na Universidade Federal de Pernambuco. George é professor associado da Universidade Federal da Bahia desde 2004, instituição onde atua junto ao Departamento de Ciência Computação, em nível de graduação e pós-graduação. Em termos de pesquisa, sua área de interesse têm ênfase em Software Básico com foco em sistemas de tempo real, Tópicos de interesse incluem escalonamento, sistemas operacionais, sistemas embarcados, economia de energia, sistemas tolerantes a falhas.
Informações coletadas do Lattes em 30/08/2025
Acadêmico
Formação acadêmica
Doutorado em Computer Science
1999 - 2003
University of York
Título: Fault Tolerance in Fixed-Priority Hard Real-Time Distributed Systems
Orientador: Prof Alan Burns
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: real-time systems; distributed systems; fault tolerance; Scheduling for fault tolerance; Distributed protocols.Grande área: Ciências Exatas e da TerraSetores de atividade: Desenvolvimento de Programas (Software).
Mestrado em Ciência da Computação
1993 - 1996
Universidade Estadual de Campinas
Título: Gerenciamento de Transações: um Estudo e uma Proposta
, Ano de Obtenção: 1996.Dra Maria Beatriz Felgar de Tolêdo.Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: gerenciamento de transações; Controle de concorrência; Banco de dados federados.Grande área: Ciências Exatas e da TerraSetores de atividade: Desenvolvimento de Programas (Software).
Graduação em Bacharelado em Ciência da Computação
1989 - 1993
Universidade Federal da Bahia
Título: Bacharel em Processamento de Dados
Pós-doutorado
2015 - 2016
Pós-Doutorado. , Universidade Federal de Pernambuco, UFPE, Brasil. , Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. , Grande área: Ciências Exatas e da Terra, Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Arquitetura de Sistemas de Computação.
Formação complementar
1996 - 1996
Internet Inside. (Carga horária: 8h). , Universidade Estadual de Campinas, UNICAMP, Brasil.
1996 - 1996
Introdução Ao Excel. (Carga horária: 12h). , Universidade Estadual de Campinas, UNICAMP, Brasil.
1996 - 1996
Lógica Aplicada à Computação VI Seminfo. (Carga horária: 8h). , Universidade Federal da Bahia, UFBA, Brasil.
1991 - 1991
Natural 2 Programming Fundamentals. (Carga horária: 24h). , Consultoria Sistemas e Representações Ltda, CONSIST, Brasil.
1991 - 1991
Microinformática Para Analista de Grande Porte. (Carga horária: 20h). , Real Dados Informática, REAL&DADOS, Brasil.
1991 - 1991
Formação de Programador. (Carga horária: 368h). , Banco Econômico S A, BE, Brasil.
1990 - 1990
Programação Em Lisp. (Carga horária: 8h). , Universidade Federal da Bahia, UFBA, Brasil.
1990 - 1990
Computação Gráfica (III Seminfo). (Carga horária: 8h). , Universidade Federal da Bahia, UFBA, Brasil.
1990 - 1990
Int. à Prog. Orientada a Objetos (III Seminfo). (Carga horária: 8h). , Universidade Federal da Bahia, UFBA, Brasil.
1989 - 1989
Introdução a Aquisição de Dados e Controle Em Temp. (Carga horária: 30h). , Universidade Federal da Bahia, UFBA, Brasil.
1988 - 1988
Extensão universitária em Informática e Organização. , Fundação Demócrito Rocha Universidade Federal do Ceará, FDR-UFC, Brasil.
1987 - 1987
Instrumentista de Sistemas. (Carga horária: 360h). , SENAI - Departamento Nacional, SENAI/DN, Brasil.
Idiomas
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Áreas de atuação
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Software Básico.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Sistemas de Tempo Real.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Tolerância a Falhas.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Sistemas Distribuídos.
Organização de eventos
LIMA, George ; SILVA, Flávio Moraes de Assis . Simpósio Brasileiro de Engenharia de Sistemas Computacionais. 2018. (Congresso).
LIMA, George ; RENAUX, Douglas . Workshop Brasileiro de Tempo Real (WTR). 2006. (Congresso).
LIMA, George ; Leite, Julius . Work-in-Progress Session of the 27th IEEE Real-Time Systems Symposium. 2006. (Congresso).
LIMA, George ; Braga, João Nestor de Pinho . XI COMPUTEC - Computação e Mercado. 2004. (Congresso).
Participação em eventos
16th IEEE Real-Time and Embedded Technology and Applications Symposium.A Bandwidth Reservation Strategy for Multiprocessor Real-Time Scheduling. 2010. (Simpósio).
11th Brazilian Workshop on Real-Time and Embedded Systems (WTR 2009).Simulation Scenarios: a Means of Deriving Fault Resilience for Real-Time Systems. 2009. (Oficina).
15th IEEE Real-Time and Embedded Technology and Applications Symposium.Dynamic Reconfiguration in Reservation-based Scheduling: An Optimization Approach. 2009. (Simpósio).
20th Euromicro Conference on Real-Time Systems (ECRTS 08).Dynamic Reconfiguration for Adaptive Multiversion Real-Time Systems. 2008. (Simpósio).
IX Workshop de Testes e Tolerância a Falhas. 2008. (Oficina).
Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos. 2008. (Congresso).
X Workshop Brasileiro de Tempo Real e Sistemas Embarcados.Online Schedulability Tests for Real-Time Systems. 2008. (Oficina).
IX Workshop de Tempo Real (WTR 2007).Coordenação de Comitê de Programa/Organização de Anais. 2007. (Oficina).
Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC 2007).A Priority-based Consensus Protocol. 2007. (Simpósio).
VIII Workshop de Testes e Tolerância a Falhas (WTF 2007).Suporte à Degradação Controlada em Sistemas de Tempo Real. 2007. (Oficina).
Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC 2006). 2006. (Congresso).
VIII Workshop de Tempo Real (WTR 2006). Workshop de Tempo Real. 2006. (Congresso).
Second Latin-American Symposium on Dependable Computing (LADC 2005). Latin-American Symposium on Dependable Computing. 2005. (Congresso).
VII Workshop de Tempo Real (WTR 2005).Escalonamento para Sistemas de Tempo-Real Tolerantes a Falhas:Um Estudo Empírico. 2005. (Oficina).
Workshop Interno do LaSiD (WoLa 2005).Considering Fault Effects in Hard Real-Time Systems Scheduling. 2005. (Encontro).
Workshop de Tempo Real (WTR 2004). 2004. (Oficina).
XXIV Congresso da Sociedade Brasileira de Computação. 2004. (Congresso).
14th IEEE Euromicro Conference on Real-Time Systems (ECRTS). 2002. (Simpósio).
1st International Workshop on Real-Time LANs in the Internet Age (RTLIA).Timing-Independent Safety on Top of CAN. 2002. (Outra).
13th IEEE Euromicro Conference on Real-Time Systems (ECRTS 2001). An Effective Schedulability Analysis for Fault-Tolerant Hard Real-Time Systems. 2001. (Congresso).
22nd IEEE Real Time Systems Symposium (RTSS 2001).A Timely Distributed Consensus Solution in a Crash/Omission-Fault Environment. 2001. (Simpósio).
20th IEEE Real-Time Systems Symposium (RTSS 1999). 1999. (Simpósio).
Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC 1999). 1999. (Simpósio).
I Encontro de Informática da Escola de Adminisração do Exército.Sistemas distribuídos e tolerância a falhas. 1998. (Seminário).
II Open Workshop of the Logic for Concurrency and Synchronism (LOCUS Project).Considerações sobre Robustez em Protocolos de Comunicação em Grupo na BCG. 1998. (Encontro).
II Workshop de Sistemas Distribuídos (WoSiD 1998). 1998. (Congresso).
I Open Workshop of the Logic for Concurrency and Synchronism (LOCUS Project).Experiência de Implementação de um Protocolo de Ordenação Causal. 1998. (Oficina).
VII Seminfo - Semana de Informática da UFBA. 1998. (Congresso).
Simpósio Brasileiro de Banco de Dados (SBBD 1997).Um Modelo de Transações Cooperativas Integrado a um Modelo de Versões. 1997. (Simpósio).
XV Simpósio Brasileiro de Redes de Computadores. 1997. (Simpósio).
I Workshop de Sistemas Distribuídos (WoSiD 1996). 1996. (Oficina).
VI Semana de Informática da UFBA. 1996. (Outra).
XX Escola de Computação. 1996. (Encontro).
IV Semana de Informática da UFBA. 1992. (Congresso).
III Semana de Informática da UFBA. 1990. (Congresso).
Participação em bancas
GRACIOLI, G.; PLENTZ, P. D. M.; SPENGLER, A. W.;Lima, George. MemGuard-RW Improved Real-Time Memory Bandwidth Regulation within a Hypervisor. 2025. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina.
Lima, Verônica Maria Cadena; RIOS, T. N.;LIMA, George. Avaliação experimental do uso de estatística dos valores extremos na determinação de limites de tempos de execução para projeto de sistemas de tempo real. 2023. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Bahia.
PETRUCCI, V.;LIMA, George; ORELLANA, E. T. V.. Melhorando a eficiência de sistemas em núvem através de coalocação de tarefas sensíveis a latência e de melhor esforço. 2022. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Bahia.
Allan Freitas; PETRUCCI, V.;LIMA, George. Avaliação de Algoritmos de Escalonamento e de Economia de Energia para Sistemas Embarcados Baseados em FreeRTOS. 2022. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Bahia.
LIMA, GeorgeSá, AlírioMassa, ErnestoRegnier, Paul. Shared Resources in Multiprocessor Real-Time Systems Scheduled by RUN. 2020. Dissertação (Mestrado em Programa de Pós-graduação em Ciência da Computação) - Universidade Federal da Bahia.
PETRUCCI, V.; Mossé, Daniel;LIMA, George. Profile-guided energy-aware scheduling for search workloads. 2020. Dissertação (Mestrado em Programa de Pós-graduação em Ciência da Computação) - Universidade Federal da Bahia.
SANCHES, C. A. A.;Saotome, Osamu; HIRATA, C. M.;LIMA, George. L2 Cache Robust Partitioning in Multicore Processors. 2020.
Oliveira, Rômulo Silva de; FROHLICH, A. A.;LIMA, George. Dynamic Slack Filling: uma estratégia para economia de energia baseada no escalonador de tempo real RUN com Dynamic Power Management. 2019. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina.
LIMA, GeorgeMassa, ErnestoSá, AlírioRegnier, Paul. SHARED RESOURCES IN MULTIPROCESSOR REAL-TIME SYSTEMS SCHEDULED BY RUN. 2019. Dissertação (Mestrado em Programa de Pós-graduação em Ciência da Computação) - Universidade Federal da Bahia.
Pedro, Paulo;LIMA, George; Delbem, Alexandre. Configuring Mode Changes in Fixed-Priority Preemptively Scheduled Real-Time Systems. 2015. Dissertação (Mestrado em TECNOLOGIA) - Universidade Estadual de Campinas.
Oliveira, Rômulo Silva de; da Silva, Alexandre José;LIMA, George; MONTEZ, Carlos Barros. Uma abordagem de escalonamento heterogêneo preemptivo e não preemptivo para sistemas de tempo real com garantia em multiprocessadores. 2012. Dissertação (Mestrado em Pós-Graduação em Engenharia de Automção e Sistemas) - Universidade Federal de Santa Catarina.
LIMA, GeorgeOliveira, Rômulo Silva deCamponogara, Eduardo. Escalonamento em Sistemas de Tempo Real Multiprocessados com Baixo Custo de Implementação. 2012. Dissertação (Mestrado em Mecatrônica) - Universidade Federal da Bahia.
SILVA, Flávio Moraes de Assis; ASSIS, Karcius Day R.;LIMA, George. Algorithms for the Directed k-Spanner with Minimum Degree Steiner Tree Problem. 2012. Dissertação (Mestrado em Mestrado em Mecatrônica (PPGM)) - Universidade Federal da Bahia.
LIMA, GeorgeOliveira, Rômulo Silva deBarreto, Luciano Porto. A Simulation-Based Fault Resilience Analysis for Real-Time Systems. 2009. Dissertação (Mestrado em Mestrado em Mecatrônica (PPGM)) - Universidade Federal da Bahia.
GREVE, Fabíola Gonçalves Pereira; Fraga, Joni da Silva;LIMA, George. Consenso FT-CUP em Redes Desconhecidas: Uma Abordagem Prática. 2009. Dissertação (Mestrado em Mestrado em Mecatrônica (PPGM)) - Universidade Federal da Bahia.
Camponogara, EduardoLIMA, George; Moura, A. Vieira; MONTEZ, Carlos Barros; Fraga, Joni da Silva. Uma Infraestrutura para Reconfiguração Dinâmica de Escalonadores de Tempo Real: Modelos, Algoritmos e Aplicações. 2009. Dissertação (Mestrado em Pós-Graduação em Engenharia de Automção e Sistemas) - Universidade Federal de Santa Catarina.
LIMA, George; SILVA, Flávio Morais de Assis; MONTEZ, Carlos Barros. Especificação Formal, Verificação e Implementação de um Protocolo de Comunicação Determinista Baseado em Ethernet. 2008 - Universidade Federal da Bahia.
LIMA, George; Mossé, Daniel;Macêdo, Raimundo José de Araújo. Reconfiguração DInâmica em Sistemas de Tempo Real Adaptativos. 2008. Dissertação (Mestrado em Mestrado em Mecatrônica (PPGM)) - Universidade Federal da Bahia.
LIMA, GeorgeOliveira, Rômulo Silva de; WEBER, Taisy Silva;Macêdo, Raimundo José de Araújo. Deretores Adaptativos de Defeitos para Sistemas de Controle de Tempo Real Críticos. 2006. Dissertação (Mestrado em Mestrado Em Mecatrônica) - Universidade Federal da Bahia.
LIMA, George. Uma Arquitetura Híbrida para o Suporte de Protocolos Distribuídos Telerantes a Falhas. 2004. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Paraíba.
Bletsas, K.; GRACIOLI, G.; Allan Freitas; PEIXOTO, M. L. M.;Lima, George. Métodos estatísticos e de inteligência computacional para análise temporal em sistemas de tempo real. 2025. Tese (Doutorado em Ciência da Computação) - Universidade Federal da Bahia.
PETRUCCI, V.; Mossé, Daniel; CARPENTER, P.; Oliveira, Luis; ORELLANA, E. T. V.;LIMA, George. Heterogeneous Memory Management for Graph Applications. 2023. Tese (Doutorado em Ciência da Computação) - Universidade Federal da Bahia.
LIMA, George; PETRUCCI, V.; CUCU-GOSJEAN, L.; Mossé, Daniel; Bletsas, K.. A Flexible Framework to Schedule Soft Aperiodic Tasks in Multiprocessor Hard Real-Time Systems. 2021. Tese (Doutorado em Ciência da Computação) - Universidade Federal da Bahia.
BARRETO, M. E.;LIMA, George; PEIXOTO, M. L. M.; RIGHI, R. R.; ORELLANA, E. T. V.. Exploiting heterogeneous computing techniques to address big data linkage. 2020. Tese (Doutorado em Programa de Pós-graduação em Ciência da Computação) - Universidade Federal da Bahia.
CUCU-GROSJEAN, L.; GROLLEAU, E.; CHETTO, M.; MUNIER, A.;LIMA, George; BARUAH, S.. Ordonnancement des Tâches avec des Dépendences et des Temps d?Éxecution Probabilistes sur Processeur Multi-c?urs. 2020. Tese (Doutorado em Informatique, Télécommunications et Électronique) - SORBONNE UNIVERSITÉ.
Pedro, Paulo;LIMA, George; Bruschi, Sarita; Dias, Ulisses; Finamore, Finamore. PROPOSTA DE UM MODELO FLEXÍVEL E PROATIVO PARA MUDANÇAS DE MODO EM SISTEMAS DE TEMPO REAL COM CRITICALIDADE MISTA. 2019. Tese (Doutorado em TECNOLOGIA) - Universidade Estadual de Campinas.
CUCU-GOSJEAN, L.; TRIQUET, B.; ROCHANGE, C.; NOLTE, T.; MUNIER, A.; JEGU, V.;LIMA, George; UHRIG, S.. Étude probabiliste des contraintes de bout en bout dans les systèmes temps réel. 2017. Tese (Doutorado em École doctorale Informatique, Télécommunications et Électronique) - Université Pierre et Marie Curie.
LIMA, George; ALCHIERI, E. A. P.; GREVE, Fabíola Gonçalves Pereira; ABRANTES, L. B.; CAMARGOS, L. J.. Consenso em Memória Compartilhada Dinâmica. 2015. Tese (Doutorado em Ciência da Computação - Ufba - Unifacs) - Universidade Federal da Bahia.
LIMA, George; Gerra, Raphael; Santos, Osmar; GREVE, Fabíola Gonçalves Pereira; SILVA, Flávio Moraes de Assis. Estratégias Baseadas em Servidores no Escalonamento de Sistemas de Tempo Real em Multiprocessadores. 2014. Tese (Doutorado em Ciência da Computação - Ufba - Unifacs) - Universidade Federal da Bahia.
LIMA, GeorgeOliveira, Rômulo Silva deCamponogara, Eduardo; SILVA, Flávio Moraes de Assis;Macêdo, R. J. A.. Optimal Multiprocessor Real-Time Scheduling via Reduction to Uniprocessor. 2012. Tese (Doutorado em Ciência da Computação - Ufba - Unifacs) - Universidade Federal da Bahia.
Burt, Philip; Almeida-Jr., Jorge; Midorikawa, Edson;Oliveira, Rômulo Silva deLIMA, George. Uma proposta de modificações no sistema operacional Linux para processamento digital de sinais em tempo real. 2011. Tese (Doutorado em Doutorado em Engenharia Elétrica) - Universidade de São Paulo.
Bletsas, K.; FIDALGO, J. N. M. M.; SOUTO, P. A. G. L. F.; BARBOSA, J. M. G.;LIMA, George. Real-Time Scheduling and Analysis of Parallel DAG Tasks on Heterogeneous Multiprocessors. 2023. Exame de qualificação (Doutorando em Electrical and Computer Engineering) - Faculdade de Engenharia da Universidade do Porto.
LIMA, George; Bletsas, K.; PEIXOTO, M. L. M.. Métodos estatísticos e de inteligência computacional para análise temporal em sistemas de tempo real. 2023. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal da Bahia.
PETRUCCI, V.; Mossé, Daniel;LIMA, George; CARPENTER, P.. Learning-based Heterogeneous Memory Management. 2020. Exame de qualificação (Doutorando em Programa de Pós-graduação em Ciência da Computação) - Universidade Federal da Bahia.
LIMA, George; SILVA, Flávio Moraes de Assis; GREVE, Fabíola Gonçalves Pereira. A Flexible Framework to Schedule Soft Aperiodic Tasks in Multiprocessor Hard Real-Time Systems. 2019. Exame de qualificação (Doutorando em Programa de Pós-graduação em Ciência da Computação) - Universidade Federal da Bahia.
LIMA, GeorgeMassa, Ernesto; PETRUCCI, V.. . Limites de Utilização do Processador Associados às Abordagens de Escalonamento Semi-particionadas. 2015. Exame de qualificação (Doutorando em Ciência da Computação - Ufba - Unifacs) - Universidade Federal da Bahia.
LIMA, George; ABRANTES, L. B.; GREVE, Fabíola Gonçalves Pereira. Consenso em Memória Compartilhada para Ambientes Dinâmicos. 2013. Exame de qualificação (Doutorando em Ciência da Computação - Ufba - Unifacs) - Universidade Federal da Bahia.
LIMA, George; Duarte, Elías P.;Barreto, Luciano. Mecanismos de Reconfiguração Autonômica para Escalonamento de Sistemas de Tempo Real Baseadas em Algoritmos Evolucionários Multiobjetivos. 2010. Exame de qualificação (Doutorando em Doutorado em Ciência da Computa (DMCC)) - Universidade Federal da Bahia.
Macêdo, R. J. A.; Duarte, Elías P.;LIMA, George. Um Framework Baseado em Teoria de Controle Realimentado para Auto-Cura em Sistemas Distribuídos Autonômicos. 2010. Exame de qualificação (Doutorando em Doutorado em Ciência da Computa (DMCC)) - Universidade Federal da Bahia.
MARTINS, Joberto Sergio Barbosa; Granville, Lisandro Zambenedetti;LIMA, George. Um Modelo Escalável, Flexível e Robusto para Gerência Autonômica de Redes de Computadores. 2010. Exame de qualificação (Doutorando em Doutorado em Ciência da Computa (DMCC)) - Universidade Federal da Bahia.
LIMA, GeorgeOliveira, Rômulo Silva deBarreto, Luciano Porto. Packing and Duality: An approach to Multiprocessor Real-Time Systems Scheduling. 2010. Exame de qualificação (Doutorando em Ciência da Computação - Ufba - Unifacs) - Universidade Federal da Bahia.
LIMA, GeorgeOliveira, Rômulo Silva deBarreto, Luciano Porto. Alocação de Banda de Processamento para Escalonamento em Sistemas de Tempo Real Multiprocessados. 2010. Exame de qualificação (Doutorando em Ciência da Computação - Ufba - Unifacs) - Universidade Federal da Bahia.
Oliveira, Rômulo Silva de; MONTEZ, Carlos Barros; Fraga, Joni da Silva; FARINES, Jean-marie;LIMA, George; Furtado, Olinto José; Friedrich, Luís Fernando. Soluções de Escalonamento para Threads Distribuídas no Âmbito da RTSJ. 2004. Exame de qualificação (Doutorando em PROGRAMA DE POS GRADUAÇÃO EM ENGENHARIA ELETRICA) - Universidade Federal de Santa Catarina.
GRACIOLI, G.; FROHLICH, A. A.;LIMA, George. Implementing a Memory Bandwidth Regulation Method In Bao Hypervisor. 2025.
LIMA, George; Bletsas, K.; PEIXOTO, M. L. M.. PSSA: Um algoritmo semi-particionado com server shadowing para o escalonamento de tarefas de tempo real periódicas em múltiplos processadores. 2023. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal da Bahia.
LIMA, George; SILVA, Flávio Morais de Assis. Um Protocolo de Comunicação baseado em Shared-Ethernet para Sistemas de Tempo Real com Requisitos Temporais Críticos e Não-Críticos. 2006. Monografia (Aperfeiçoamento/Especialização em Especialização Avançada em Sistemas Distribuídos) - Universidade Federal da Bahia.
PEIXOTO, M. L. M.; SAMPAIO, L. N.;LIMA, George. RUN-R: Entropy-Based Schedule Randomization for the Reduction to Uniprocessor Algorithm. 2025. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia.
LIMA, George; BARBOZA, Frederico; ALMEIDA, J. P. D.. Avaliação de um Sistema Web para Gerenciamento de Bolsas de Pós-Graduação. 2025. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia.
Regnier, Paul Denis Etienne; Cerqueira, Jés;LIMA, George. Análise da latência de interrupção no Raspberry Pi com o kernel Linux e patches de tempo real. 2019. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade Federal da Bahia.
SILVA, Flávio Moraes de Assis; GORENDER, Sérgio;LIMA, George. Implementação de um mecanismo de comunicação baseado em espaço de tuplas para agentes móveis sobre Sun SPOT. 2010. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal da Bahia.
Kröger, Pedro; di Silva, Marcos;LIMA, George. Cadeias de Markov Ocultas e sua aplicação em Análise Harmônica Funcional. 2008. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal da Bahia.
SILVA, Flávio Moraes de Assis;Macêdo, Raimundo Jose de ALIMA, George. Mecanismos de envio de mensagens para agentes móveis. 2008. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal da Bahia.
Ávila, Rafael; Santana, Helder;LIMA, George. Grupos de Confiaça em Redes Peer-to-Peer. 2008. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal da Bahia.
Andrade, Aline Maria Santos; Claro, Daniela Barreiro;LIMA, George. Geração de um Protótipo em C do Protocolo DoRiS com Base na Especificação Formal rm RT-Promela. 2008. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal da Bahia.
Barreto, Luciano PortoMacêdo, R. J. A.LIMA, George. Aplicação da teoria do controle no gerenciamento de energia em processadores com suporte a restrições temporais. 2007. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal da Bahia.
SILVA, Flávio Moraes de Assis;Macêdo, R. J. A.LIMA, George. Tolerância a Intrusão em Sistemas WEB. 2007. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal da Bahia.
GREVE, Fabíola Gonçalves Pereira;LIMA, George; Allan Freitas. Integrando o Protocolo Epidêmico NeEM à Gestão de grupo do Middleware de Grade Computacional OurGrid. 2007. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal da Bahia.
GREVE, Fabíola Gonçalves Pereira;LIMA, George; Brandão, Talmai. Uma Proposta de Implementação do Consenso FT-CUP para Sistemas P2P. 2007. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal da Bahia.
Palma, Walter;LIMA, GeorgeMacêdo, R. J. A.. Análise de Segurança em Transações Financeiras via Celular. 2006.
LIMA, George; SILVA, Flávio Moraes de Assis;Barboza, Frederico J. R.. QoS para Jogos Multijogador em Redes IEEE 802.11. 2006.
LIMA, George; FRIEDERICKA, A.. Um Estudo Sobre o Uso da Ethernet em Sistemas em Tempo Real. 2006.
LIMA, GeorgeMacêdo, Raimundo Jose de AAndrade, Aline. TESTeR: Uma Ferramenta para auxiliar a Análise de Escalonamento de Sistemas de Tempo Real. 2006. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal da Bahia.
LIMA, GeorgeBarreto, Luciano Porto; GREVE, Fabíola Gonçalves Pereira. Webhide: uma ferramenta para para Esteganografia em Páginas Web. 2006. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal da Bahia.
WERNER, C. M. L.; MALDONADO, J. C.; BORBA, P. H. M.; BATISTA, T. V.;Lima, George. Memorial Acadêmico: Eduardo Santana de Almeida. 2025.
PINHEIRO, V. C. M.; SIQUEIRA, S. W. M.; MARQUES, E. A.; SILVA, A. S.;Lima, George. Dados, Informação e Conhecimento: A minha Trajetória. 2025. Universidade Federal da Bahia.
SUAREZ, D. G. F.; RIOS, R. A.;LIMA, George. Promoção para Prof. Titular (UNEB). 2023.
LIMA, George; Fileto, Renato; TIMES, V. C.. Concurso público para professor adjunto. 2008. Universidade Federal da Bahia.
LIMA, George; SILVA, Flávio Moraes de Assis; PÔSSA, Cláudia Maria de Moura. Banca de seleção de professor substituto. 2006. Universidade Federal da Bahia.
LIMA, George; COSTA, Augusto Loureiro da; SCHWARZELMULLER, Ana Friederika. Banca de seleção de professor substituto. 2005. Universidade Federal da Bahia.
LIMA, George; GORENDER, Sérgio; GAMA, Cláudia Amado. Banca de seleção de professor substituto. 2005. Universidade Federal da Bahia.
LIMA, George; BITTENCOURT, Roberto Almeida; Ferraz, Carlos André Guimarães. Concurso Público para Professor Assistente para a Matéria Redes de Computadores e Sistemas Operacionais. 2004. Universidade Estadual de Feira de Santana.
LIMA, George. Banca Examinadora do Concurso Público para Professor Assistente da Matéria Informática em Saúde. 1997. Universidade Estadual de Feira de Santana.
Orientou
Análise temporal de programas (título genérico e provisório); Início: 2024; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Bahia; (Orientador);
Implementação de técnicas de tolerância a falhas em sistemas de tempo real com múltiplas unidades de processamento (título provisório); Início: 2024; Tese (Doutorado em Ciência da Computação) - Universidade Federal da Bahia; (Orientador);
Análise temporal probabilística em sistemas de tempo real (título provisório); Início: 2023; Tese (Doutorado em Ciência da Computação) - Universidade Federal da Bahia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; (Orientador);
PSSA: Um algoritmo semi-particionado com server shadowing para o escalonamento de tarefas de tempo real periódicas em múltiplos processadores; 2024; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Bahia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: George Marconi de Araújo Lima;
Avaliação experimental do uso de estatística dos valores extremos na determinação de limites de tempos de execução para projeto de sistemas de tempo real; 2023; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Bahia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: George Marconi de Araújo Lima;
Economia de Energia em Sistemas de Tempo Real Embarcados (provisório); 2022; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Bahia, ; Orientador: George Marconi de Araújo Lima;
Shared Resources in Multiprocessor Real-Time Systems Scheduled by RUN; 2020; Dissertação (Mestrado em Programa de Pós-graduação em Ciência da Computação) - Universidade Federal da Bahia, ; Orientador: George Marconi de Araújo Lima;
Escalonamento em sistemas de tempo real multiprocessados com baixo custo de implementação; 2012; Dissertação (Mestrado em Mecatrônica) - Universidade Federal da Bahia, Fundação de Amparo à Pesquisa do Estado da Bahia; Orientador: George Marconi de Araújo Lima;
Uma Abordagem para Aumentar a Privacidade de Localização Assegurada por Mix-Zones em Redes Veiculares; 2011; Dissertação (Mestrado em Mestrado em Mecatrônica (PPGM)) - Universidade Federal da Bahia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: George Marconi de Araújo Lima;
Reconfiguração dinâmica em sistemas de tempo real com restrições de consumo de energia; 2011; Dissertação (Mestrado em Pós-Graduação em Engenharia de Automção e Sistemas) - Universidade Federal de Santa Catarina, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Coorientador: George Marconi de Araújo Lima;
Um Método Estatistico para Estimar Distribuições de Probababilidade de Tempo de Execução em Sistemas de Tempo Real baseados em Componentes; 2009; Dissertação (Mestrado em Mestrado em Mecatrônica (PPGM)) - Universidade Federal da Bahia, ; Coorientador: George Marconi de Araújo Lima;
Uma Infraestrutura para Reconfiguração Dinâmica de Escalonadores de Tempo Real: Modelos, Algoritmos e Aplicações; 2009; Dissertação (Mestrado em Pós-Graduação em Engenharia de Automção e Sistemas) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: George Marconi de Araújo Lima;
A Simulation-Based Fault Resilience Analysis for Real-Time Systems; 2009; Dissertação (Mestrado em Mestrado em Mecatrônica (PPGM)) - Universidade Federal da Bahia, ; Orientador: George Marconi de Araújo Lima;
TANGRAM: Uma Ferramenta de Apoio à Verificação Formal de Sistemas de Tempo Real baseados em Componentes; 2009; Dissertação (Mestrado em Mestrado em Mecatrônica (PPGM)) - Universidade Federal da Bahia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: George Marconi de Araújo Lima;
Especificação Formal, Verificação e Implementação de um Protocolo de Comunicação Determinista Baseado em Ethernet; 2008; 0 f; Dissertação (Mestrado em Mestrado Em Mecatrônica) - Universidade Federal da Bahia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: George Marconi de Araújo Lima;
Reconfiguração Dinâmica em Sistemas de Tempo Real Adaptativos; 2008; 0 f; Dissertação (Mestrado em Mestrado Em Mecatrônica) - Universidade Federal da Bahia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: George Marconi de Araújo Lima;
R; Barboza; Verificação Formal da Função de Controle de Acesso ao Meio do Protocolo IEEE 802; 11 e Investigação da sua Aplicabilidade em Sistemas de Tempo-Real; 2006; 150 f; Dissertação (Mestrado em Mestrado Em Mecatrônica) - Universidade Federal da Bahia, ; Coorientador: George Marconi de Araújo Lima;
Métodos estatísticos e de inteligência computacional para análise temporal em sistemas de tempo real; 2025; Tese (Doutorado em Programa de Pós-graduação em Ciência da Computação) - Universidade Federal da Bahia, ; Orientador: George Marconi de Araújo Lima;
A Flexible Framework to Schedule Soft Aperiodic Tasks in Multiprocessor Hard Real-Time Systems; 2021; Tese (Doutorado em Ciência da Computação - Ufba - Unifacs) - Universidade Federal da Bahia, ; Orientador: George Marconi de Araújo Lima;
Estratégias Baseadas em Servidores no Escalonamento de Sistemas de Tempo Real em Multiprocessadores; 2014; Tese (Doutorado em Doutorado em Ciência da Computa (DMCC)) - Universidade Federal da Bahia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: George Marconi de Araújo Lima;
Análise de Características Temporais de Sistemas Operacionais de Tempo Real para Aplicações Espaciais Utilizando Métodos Minimamente Intrusivos; 2013; Tese (Doutorado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica, ; Coorientador: George Marconi de Araújo Lima;
Optimal Multiprocessor Real-Time Scheduling via Reduction to Uniprocessor; 2012; Tese (Doutorado em Doutorado em Ciência da Computa (DMCC)) - Universidade Federal da Bahia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: George Marconi de Araújo Lima;
Estudo sobre Detectores de Defeitos em Sistemas Distribuídos com Omissão de Mensagens; 2007; Monografia; (Aperfeiçoamento/Especialização em Especialização Avançada em Sistemas Distribuídos) - Universidade Federal da Bahia; Orientador: George Marconi de Araújo Lima;
Um Protocolo de Comunicação baseado em Shared-Ethernet para Sistemas de Tempo Real com Requisitos Temporais Críticos e Não-Críticos; 2006; 52 f; Monografia; (Aperfeiçoamento/Especialização em Especialização Avançada em Sistemas Distribuídos) - Universidade Federal da Bahia; Orientador: George Marconi de Araújo Lima;
Uma Investigação sobre Tolerância a Falhas em Sistemas de Tempo-Real Utilizando o Deferrable Server; 2004; 116 f; Monografia; (Aperfeiçoamento/Especialização em Especialização Avançada em Sistemas Distribuídos) - Universidade Federal da Bahia; Orientador: George Marconi de Araújo Lima;
Estratégia de Transição de Sistemas Empregando Técnicas de Replicação de Dados; 1999; 0 f; Monografia; (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Laboratório de Sistemas Distribuídos da Ufba; Orientador: George Marconi de Araújo Lima;
Gerenciamento de Transações Utilizando CORBA; 1999; 0 f; Monografia; (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Laboratório de Sistemas Distribuídos da Ufba; Orientador: George Marconi de Araújo Lima;
RUN-R: Entropy-Based Schedule Randomization for the Reduction to Uniprocessor Algorithm; 2025; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal da Bahia; Orientador: George Marconi de Araújo Lima;
Análise Comparativa de Mecanismos para Compartilhamento de Folgas em Escalonamento de Sistemas de Tempo Real Baseado no CBS; 2009; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal da Bahia; Orientador: George Marconi de Araújo Lima;
Implementação da Política de Escalonamento Earliest Deadline First para o Sistema Operacional de Tempo Real Xenomai; 2009; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal da Bahia; Orientador: George Marconi de Araújo Lima;
Implementação de um protocolo de comunicação para sistemas de tempo real utilizando a arquitetura RTnet; 2008; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal da Bahia; Orientador: George Marconi de Araújo Lima;
Um Estudo Sobre o Uso da Ethernet em Sistemas em Tempo Real; 2006; 0 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal da Bahia; Orientador: George Marconi de Araújo Lima;
TESTeR: Uma Ferramenta para auxiliar a Análise de Escalonamento de Sistemas de Tempo Real; 2006; 0 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal da Bahia; Orientador: George Marconi de Araújo Lima;
QoS para Jogos Multijogador em Redes IEEE 802; 11; 2006; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal da Bahia; Orientador: George Marconi de Araújo Lima;
Avaliando o uso de servidores para tarefas aperiódicas para fins de tolerância a falhas em sistemas com escalonamento dinâmico; 2005; 32 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal da Bahia; Orientador: George Marconi de Araújo Lima;
Simulador de escalonamento para sistemas de tempo real; 2005; 37 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal da Bahia; Orientador: George Marconi de Araújo Lima;
Uso de arquiteturas multiprocessadas e seus efeitos na previsibilidade temporal dos sistemas de tempo real; 2018; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: George Marconi de Araújo Lima;
Simulação de Escalonamento para Sistemas de Tempo Real Multiprocessados; 2012; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: George Marconi de Araújo Lima;
Geração de Tarefas Sintéticas para Sistemas de Tempo Real Multiprocessados; 2012; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: George Marconi de Araújo Lima;
Avaliação de políticas de escalonamento globais para suporte a tarefas de tempo real não-críticas em arquiteturas multiprocessadas; 2011; Iniciação Científica; (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal da Bahia, Fundação de Amparo à Pesquisa do Estado da Bahia; Orientador: George Marconi de Araújo Lima;
Avaliação de políticas de escalonamento globais para suporte a tarefas de tempo real não-críticas em arquiteturas multiprocessadas; 2010; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Fundação de Amparo à Pesquisa do Estado da Bahia; Orientador: George Marconi de Araújo Lima;
Implementação, Experimentação e Avaliação de Mecanismos de Escalonamento na Plataforma Xenomai/Linux; 2009; Iniciação Científica; (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal da Bahia, Fundação de Amparo à Pesquisa do Estado da Bahia; Orientador: George Marconi de Araújo Lima;
Santos Júnior; Implementação de um mecanismo de escalonamento para suporte ao protocolo DoRiS; 2008; Iniciação Científica; (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: George Marconi de Araújo Lima;
Comunicação de tempo real usando Ethernet; 2008; Iniciação Científica; (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal da Bahia; Orientador: George Marconi de Araújo Lima;
Configuração e avaliação de uma infra-estrutura para implementação de protocolos de comunicação de tempo real sobre Ethernet; 2007; 0 f; Iniciação Científica; (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal da Bahia, Fundação de Amparo à Pesquisa do Estado da Bahia; Orientador: George Marconi de Araújo Lima;
Escalonamento flexível de tarefas para sistemas de tempo-real; 2005; 0 f; Iniciação Científica; (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: George Marconi de Araújo Lima;
Produções bibliográficas
-
OLIVEIRA, G. ; Lima, George . Scheduling and energy savings for small scale embedded FreeRTOS-based real-time systems. DESIGN AUTOMATION FOR EMBEDDED SYSTEMS , v. 1, p. 1-27, 2023.
-
NOGUEIRA, T. ; Lima, George ; Lima, Verônica Maria Cadena ; BEN-AMOR, S. ; HAWILA, I. ; CUCU-GOSJEAN, L. . On the impact of hardware-related events on the execution of real-time programs. DESIGN AUTOMATION FOR EMBEDDED SYSTEMS , v. 1, p. 1-29, 2023.
-
Vasconcelos, Jamile ; Lima, George ; WEHAIBA EL KHAZEN, MARWAN ; GOGONEL, ADRIANA ; CUCU-GROSJEAN, LILIANA . On vulnerabilities in EVT-based timing analysis: an experimental investigation on a multi-core architecture. DESIGN AUTOMATION FOR EMBEDDED SYSTEMS (DORDRECHT. ONLINE) , v. 1, p. 1-21, 2023.
-
TEIXEIRA, RICARDO BRASIL ; Lima, George . Shared resources in multiprocessor real-time systems scheduled by RUN. Real-Time Systems (Online) , v. 58, p. 153-188, 2022.
-
BORIN, LAIS ; Lima, George ; CASTRO, MÁRCIO ; PLENTZ, PATRICIA D. M. . Dynamic power management under the RUN scheduling algorithm: a slack filling approach. REAL-TIME SYSTEMS , v. 57, p. 443-484, 2021.
-
JIMENEZ GIL, SAMUEL ; Bate, Iain ; Lima, George ; SANTINELLI, LUCA ; GOGONEL, ADRIANA ; CUCU-GROSJEAN, LILIANA . Open Challenges for Probabilistic Measurement-Based Worst-Case Execution Time. IEEE Embedded Systems Letters , v. 9, p. 1-1, 2017.
-
NASSIFFE, R. ; Camponogara, Eduardo ; Lima, George ; Mossé, Daniel . Optimising QoS in adaptive real-time systems with energy constraint varying CPU frequency. International Journal of Embedded Systems , v. 8, p. 368-379, 2016.
-
Nicodemos, Fernando ; Saotome, Osamu ; Lima, George ; Sato, Sandro . A minimally intrusive method for analysing the timing of RTEMS core characteristics. International Journal of Embedded Systems , v. 8, p. 391-411, 2016.
-
MASSA, Ernesto ; LIMA, George ; Regnier, Paul ; Levin, Greg ; Brandt, Scott . Quasi-partitioned scheduling: optimality and adaptation in multiprocessor real-time systems. Real-Time Systems , v. 1, p. 1-32, 2016.
-
MASSA, Ernesto ; Lima, George ; Regnier, Paul . From RUN to QPS: new trends for optimal real-time multiprocessor scheduling. International Journal of Embedded Systems , v. 8, p. 440-451, 2016.
-
SANTOS, J. AUGUSTO ; Lima, George ; BLETSAS, KONSTANTINOS . Efficient schedulability tests for real-time embedded systems with urgent routines. Design Automation for Embedded Systems , v. 1, p. 1-20, 2013.
-
NASSIFFE, R. M. ; Camponogara, Eduardo ; LIMA, George . Optimizing QoS in energy-aware real-time systems. SIGBED Review , v. 10, p. 25-25, 2013.
-
Nassiffe, Ríad ; Camponogara, Eduardo ; Lima, George . Optimizing quality of service in real-time systems under energy constraints. Operating Systems Review , v. 46, p. 82-92, 2012.
-
Regnier, Paul ; Lima, George ; Massa, Ernesto ; LEVIN, GREG ; BRANDT, SCOTT . Multiprocessor scheduling by reduction to uniprocessor: an original optimal approach. Real-Time Systems , v. 29, p. 436-474, 2012.
-
Camponogara, Eduardo ; Oliveira, Augusto Born ; Lima, George . Optimization-Based Dynamic Reconfiguration of Real-Time Schedulers With Support for Stochastic Processor Consumption. IEEE Transactions on Industrial Informatics , v. 6, p. 594-609, 2010.
-
Muniz, André L. N. ; Andrade, Aline M. S. ; Lima, George . Integrating UML and UPPAAL for designing, specifying and verifying component-based real-time systems. Innovations in Systems and Software Engineering (Print) , v. 6, p. 29-37, 2010.
-
Perrone, Ricardo ; Macêdo, Raimundo Jose de A ; Lima, George ; Lima, Verônica Maria Cadena . An Approach for Estimating Execution Time Probability Distributions of Component-based Real-Time Systems. Journal of Universal Computer Science (Print) , v. 15, p. 2142-2165, 2009.
-
Regnier, Paul ; Lima, George ; Andrade, Aline . A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol. Electronic Notes in Theoretical Computer Science , v. 240, p. 221-238, 2009.
-
LIMA, George ; Barboza, Frederico J. R. ; Andrade, Aline Maria Santos ; SILVA, Flávio Moraes de Assis . Specification and Verification of the IEEE 802.11 Medium Access Control and an Analysis of its Applicability to Real-Time Systems. Electronic Notes in Theoretical Computer Science , v. 195, p. 3-20, 2008.
-
LIMA, George . Evaluation of interrupt handling timeliness in real-time Linux operating systems. Operating Systems Review , v. 42, p. 52, 2008.
-
LIMA, George ; Burns, Alan . An Optimal Fixed-Priority Assignment Algorithm for Supporting Fault Tolerant Hard Real-Time Systems. IEEE Transactions on Computers , v. 52, n.10, p. 1332-1346, 2003.
-
BECKER, Leandro Buss (Org.) ; LIMA, George (Org.) ; SANTOS, Rodrigo (Org.) ; Abelém, Antônio Jorge Gomes (Org.) ; Costa, João Crisóstomo Weyl Albuquerque (Org.) ; Dias, Kelvin (Org.) . Anais do WTR 2007 - IX Workshop de Tempo Real. Porto Alegre: SBC, 2007. v. 1. 111p .
-
RENAUX, Douglas (Org.) ; LIMA, George (Org.) ; Almeida, Luis (Org.) . Anais do WTR 2006 - VIII Workshop de Tempo Real. , 2006. v. 1. 138p .
-
Leite, Julius (Org.) ; LIMA, George (Org.) . Proceedings of the RTSS 2006 Work-in-Progress Session. , 2006. v. 1. 124p .
-
Lima, George ; Massa, Ernesto ; Regnier, Paul . Practical Considerations in Optimal Multiprocessor Scheduling. In: Arvind Easwaran. (Org.). Handbook of Real-Time Computing. 1ed.: Springer Singapore, 2019, v. , p. 1-39.
-
Camponogara, Eduardo ; Oliveira, Augusto Born ; Lima, George . Reconfiguração Dinâmica em Sistemas de Tempo Real. In: Raimundo José de Araújo Macêdo, Jean-Marie Alexandre Farines. (Org.). Projeto de Sistemas Distribuídos e de Tempo Real para Automação. 1ed.Salvador: EDUFBA, 2018, v. , p. 120-161.
-
SANTOS JUNIOR, J. A. M. ; Lima, George ; Bletsas, K. . On the processor utilization bound of the C=D Scheduling Algorithm. In: Neil Audsley and Sanjoy Baruah. (Org.). Real-Time Systems: the past, the present and the future. 1ed.York, Reino Unido: CreateSpace Independent Publishing Platform, 2013, v. , p. 119-132.
-
Macêdo, Raimundo José de Araújo ; LIMA, George ; Barreto, Luciano Porto ; Andrade, Aline M .S. ; Barboza, Frederico J. R. ; Sá, Alírio ; ALBUQUERQUE, Rodrigo ; ANDRADE, Sandro . Tratando a previsibilidade em sistemas de tempo-real distribuídos: Especificação, Linguagens, Middleware e Mecanismos Básicos. In: Edmundo Madeira. (Org.). Livro-texto para o minicurso a ser apresentado no XXII Simpósio Brasileiro de Redes de Computadores. Porto Alegre: Editora da SBC, 2004, v. 1, p. 105-163.
-
NOGUEIRA, T. ; LIMA, George ; LIMA, VERONICA MARIA CADENA . Drawing Lines for Measurement-Based Probabilistic Timing Analysis. In: 45th IEEE Real-Time Systems Symposium, 2024, York. Proc. of the 45th IEEE Real-Time Systems Symposium, 2024. v. 1. p. 243-255.
-
ALVES, ALLAN S. G. ; Lima, George M. A. ; FERNANDES, ISLAME F. C. . Fault Tolerance in Multiprocessor Real-Time Systems Under Partitioned EDF Scheduling. In: 2024 XIV Brazilian Symposium on Computing Systems Engineering (SBESC), 2024, Recife. 2024 XIV Brazilian Symposium on Computing Systems Engineering (SBESC), 2024. p. 1.
-
BARRETO, JOÃO ; Massa, Ernesto ; Lima, George . Partitioning and Server Shadowing for Scheduling Periodic Real-time Tasks on Multiprocessors. In: 2023 XIII Brazilian Symposium on Computing Systems Engineering (SBESC), 2023, Porto Alegre. 2023 XIII Brazilian Symposium on Computing Systems Engineering (SBESC), 2023. p. 1-8.
-
NASCIMENTO, FLÁVIA MARISTELA S. ; Lima, George . Dealing with Soft Aperiodic Tasks in RUN. In: 2023 XIII Brazilian Symposium on Computing Systems Engineering (SBESC), 2023, Porto Alegre. 2023 XIII Brazilian Symposium on Computing Systems Engineering (SBESC), 2023. p. 1.
-
DE BARROS VASCONCELOS, JAMILE ; Lima, George . Possible risks with EVT-based timing analysis: an experimental study on a multi-core platform. In: 2022 XII Brazilian Symposium on Computing Systems Engineering (SBESC), 2022, Fortaleza/CE. 2022 XII Brazilian Symposium on Computing Systems Engineering (SBESC), 2022. v. 1. p. 1-8.
-
ANDRADE, TADEU NOGUEIRA C. ; Lima, George ; LIMA, VERONICA MARIA CADENA ; ABDEDDAIM, YASMINA ; GROSJEAN, LILIANA CUCU . On the Selection of Relevant Hardware Events for Explaining Execution Time Behavior. In: 2021 XI Brazilian Symposium on Computing Systems Engineering (SBESC), 2021, Florianopolis. 2021 XI Brazilian Symposium on Computing Systems Engineering (SBESC), 2021. p. 1-8.
-
Massa, Ernesto ; Lima, George ; ANDERSSON, BJORN ; PETRUCCI, VINICIUS . Heterogeneous Quasi-Partitioned Scheduling. In: 2021 IEEE RealTime Systems Symposium (RTSS), 2021, Dortmund. 2021 IEEE Real-Time Systems Symposium (RTSS), 2021. p. 266-278.
-
NASCIMENTO, FLAVIA MARISTELA S. ; Lima, George . Effectively Scheduling Hard and Soft Real-Time Tasks on Multiprocessors. In: 2021 IEEE 27th RealTime and Embedded Technology and Applications Symposium (RTAS), 2021, Nashville. 2021 IEEE 27th Real-Time and Embedded Technology and Applications Symposium (RTAS), 2021. p. 210-222.
-
OLIVEIRA, GESSE ; Lima, George . Evaluation of Scheduling Algorithms for Embedded FreeRTOS-based Systems. In: 2020 X Brazilian Symposium on Computing Systems Engineering (SBESC), 2020, Florianopolis. 2020 X Brazilian Symposium on Computing Systems Engineering (SBESC), 2020. p. 1-8.
-
NASCIMENTO, FLAVIA MARISTELA S. ; Lima, George . A Flexible Framework to Schedule Soft Aperiodic Tasks in Hard Real-Time Systems. In: 2019 IX Brazilian Symposium on Computing Systems Engineering (SBESC), 2019, Natal. 2019 IX Brazilian Symposium on Computing Systems Engineering (SBESC), 2019. p. 1-9.
-
Teixeira, Ricardo ; Lima, George . Improved task packing for shared resources in multiprocessor real-time systems scheduled by RUN under SBLP. In: 2019 IX Brazilian Symposium on Computing Systems Engineering (SBESC), 2019, Natal. 2019 IX Brazilian Symposium on Computing Systems Engineering (SBESC), 2019. p. 1-8.
-
Lima, George ; Bate, Iain . Valid Application of EVT in Timing Analysis by Randomising Execution Time Measurements. In: 2017 IEEE RealTime and Embedded Technology and Applications Symposium (RTAS), 2017, Pittsburg. 2017 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2017. v. 1. p. 187-197.
-
Lima, George ; DIAS, DARIO ; Barros, Edna . Extreme Value Theory for Estimating Task Execution Time Bounds: A Careful Look. In: 2016 28th Euromicro Conference on RealTime Systems (ECRTS), 2016, Toulouse. 2016 28th Euromicro Conference on Real-Time Systems (ECRTS). p. 200-211.
-
DIAS, DARIO ; Lima, George ; Barros, Edna . A Cache Design Assessment Approach for Embedded Real-Time Systems Based on Execution Time Measurement. In: 2016 VI Brazilian Symposium on Computing Systems Engineering (SBESC), 2016, João Pessoa. 2016 VI Brazilian Symposium on Computing Systems Engineering (SBESC), 2016. p. 168.
-
SANTOS, J. AUGUSTO ; Lima, George ; BLETSAS, KONSTANTINOS . Considerations on the Least Upper Bound for Mixed-Criticality Real-Time Systems. In: 2015 Brazilian Symposium on Computing Systems Engineering (SBESC), 2015, Foz do Iguacu. 2015 Brazilian Symposium on Computing Systems Engineering (SBESC). p. 58-63.
-
Massa, Ernesto ; Lima, George ; Regnier, Paul ; LEVIN, GREG ; BRANDT, SCOTT . OUTSTANDING PAPER: Optimal and Adaptive Multiprocessor Real-Time Scheduling: The Quasi-Partitioning Approach. In: 2014 26th Euromicro Conference on RealTime Systems (ECRTS), 2014, Madrid. 2014 26th Euromicro Conference on Real-Time Systems. p. 291-300.
-
Massa, Ernesto ; Lima, George ; Regnier, Paul . Revealing the Secrets of RUN and QPS: New Trends for Optimal Real-Time Multiprocessor Scheduling. In: 2014 Brazilian Symposium on Computing Systems Engineering (SBESC), 2014, Manaus. 2014 Brazilian Symposium on Computing Systems Engineering. p. 150-6.
-
MOSSE, DANIEL ; Camponogara, Eduardo ; Lima, George . A Model Considering QoS for Real-Time Systems with Energy and Temperature Constraints. In: 2014 Brazilian Symposium on Computing Systems Engineering (SBESC), 2014, Manaus. 2014 Brazilian Symposium on Computing Systems Engineering. p. 115-6.
-
JUNIOR, J. AUGUSTO SANTOS ; Lima, George ; BLETSAS, KONSTANTINOS ; Kato, Shinpei . Multiprocessor Real-Time Scheduling with a Few Migrating Tasks. In: 2013 IEEE 34th RealTime Systems Symposium (RTSS), 2013, Vancouver. 2013 IEEE 34th Real-Time Systems Symposium. p. 170-181.
-
Nicodemos, Fernando ; Saotome, Osamu ; Lima, George . RTEMS Core Analysis for Space Applications. In: 2013 III Brazilian Symposium on Computing Systems Engineering (SBESC), 2013, Niteroi. 2013 III Brazilian Symposium on Computing Systems Engineering. p. 125-130.
-
Camponogara, Eduardo ; Lima, George ; MOSSE, DANIEL ; NASSIFFE, RIAD . Optimizing QoS in Adaptive Real-Time Systems with Energy Constraint Varying CPU Frequency. In: 2013 III Brazilian Symposium on Computing Systems Engineering (SBESC), 2013, Niteroi. 2013 III Brazilian Symposium on Computing Systems Engineering. p. 101-106.
-
SANTOS JR., J. AUGUSTO ; Lima, George . Sufficient Schedulability Tests for EDF-Scheduled Real-Time Systems under Interference of a High Priority Task. In: 2012 Brazilian Symposium on Computing System Engineering (SBESC), 2012, Natal. 2012 Brazilian Symposium on Computing System Engineering. p. 131.
-
Regnier, Paul ; LIMA, George ; Massa, Ernesto ; G. Levin ; S. Brandt . RUN: Optimal Multiprocessor Real-Time Scheduling via Reduction to Uniprocessor. In: 32rd IEEE Real-Time Systems Symposium (RTSS 2011), 2011, Viena. Proc. of the 32rd IEEE Real-Time Systems Symposium, 2011. p. 104-115.
-
Santos, Marcelo ; Lisper, Björn ; Lima, Verônica Maria Cadena ; Lima, George . Sequential Composition of Execution Time Distributions by Convolution. In: Workshop on Compositional Theory and Technology for Real-Time Embedded Systems, 2011, Viena. 4th Workshop on Compositional Theory and Technology for Real-Time Embedded Systems. Published as Technical Report number YCS-2011-469 from the University of York. York, UK: The University of York, 2011. p. 30-37.
-
NASSIFFE, R. ; Camponogara, Eduardo ; Lima, George . A Model for Reconfiguration of Multi-Modal Real-Time Systems under Energy Constraints. In: Simpósio Brasileiro de Engenharias de Sistemas Computacionais (SBESC 2011), 2011, Florianópolis, Santa Catarina. Anais do Simpósio Brasileiro de Engenharias de Sistemas Computacionais. SBC: SBC - IEEE Computer Society, 2011. p. 127-132.
-
CARIANHA, ANTONIO M. ; Barreto, Luciano Porto ; Lima, George . Improving location privacy in mix-zones for VANETs. In: 2011 IEEE 30th International Performance Computing and Communications Conference (IPCCC), 2011, Orlando. 30th IEEE International Performance Computing and Communications Conference. p. 1-8.
-
Massa, Ernesto ; LIMA, George . A Bandwidth Reservation Strategy for Multiprocessor Real-Time Scheduling. In: 16th IEEE Real-Time and Embedded Technology and Applications Symposium, 2010, Stockholm. 16th IEEE Real-Time and Embedded Technology and Applications Symposium. Los Ammitos, California: IEEE Computer Society, 2010. p. 175-183.
-
Lima, George ; Nascimento, Flávia ; Lima, Verônica Maria Cadena . Fault Resilience Analysis for Real-Time Systems. In: 1st Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems, 2010, Bruxelas. 1st Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS 2010), 2010. p. 18-23.
-
Oliveira, Augusto Born ; Camponogara, Eduardo ; LIMA, George . Dynamic Reconfiguration in Reservation-based Scheduling: An Optimization Approach. In: 15th IEEE Real-Time and Embedded Technology and Applications Symposium, 2009, San Francisco, CA. 15th IEEE Real-Time and Embedded Technology and Applications Symposium. Los Amitos, CA, USA: IEEE Computer Society, 2009. p. 173-182.
-
Lima, George ; Nascimento, Flávia . Simulation Scenarios: a Means of Deriving Fault Resilience for Real-Time Systems. In: 11th Brazilian Workshop on Real-Time and Embedded Systems (WTR 2009), 2009, Recife. Proc. of the 11th Brazilian Workshop on Real-Time and Embedded Systems (WTR 2009). Porto Alegre - RS: Sociedade Brasileira de Computação, 2009. p. 1-12.
-
Passos, Alexandre ; Lima, George . On the Use of Hard and Soft Reservation Schemes in Constant Bandwidth Servers. In: 11th Brazilian Workshop on Real-Time and Embedded Systems (WTR 2009), 2009, Recife. Proc. 11th Brazilian Workshop on Real-Time and Embedded Systems (WTR 2009). Porto Alegre - RS: Sociedade Brasileira de Computação, 2009. p. 105-116.
-
Oliveira, Augusto Born ; Lima, George ; Camponogara, Eduardo . Experimental Analysis of Bandwidth Reservation Adaptive Schemes for Real-Time Systems. In: 11th Brazilian Workshop on Real-Time and Embedded Systems (WTR 2009), 2009, Recife. Proc. of the 11th Brazilian Workshop on Real-Time and Embedded Systems (WTR 2009). Porto Alegre - RS: Sociedade Brasileira de Computação, 2009. p. 81-92.
-
SANTOS JUNIOR, J. A. M. ; LIMA, George . Implementação da política EDF no Xenomai. In: VI Workshop de Sistemas Operacionais, 2009, Bento Gonçalves. Anais do VI Workshop de Sistemas Operacionais. Porto Alegre - RS: Sociedade Brasileira de Computação, 2009. p. 2429-2439.
-
Regnier, Paul ; Carianha, Antônio Marcos ; LIMA, George . DoRiS: Um Novo Protocolo de Comunicação de Tempo Real sobre Ethernet e sua Implementação em Linux/Xenomai. In: VI Workshop de Sistemas Operacionais, 2009, Bento Gonçalves. Anais do VI Workshop de Sistemas Operacionais. Porto Alegre: Sociedade Brasileira de Computação, 2009. p. 2453-2464.
-
Nascimento, Flávia ; Lima, George ; Lima, Verônica Maria Cadena . Deriving a Fault Resilience Metric for Real-Time Systems. In: 11o. Workshop de Testes e Tolerância a Falhas (WTF), 2009, João Pessoa. Anais do 11o. Workshop de Testes e Tolerância a Falhas. Porto Alegre: Sociedade Brasileira de Computação, 2009. p. 1-12.
-
LIMA, George ; Sokolonski, Ana Carolina ; Camponogara, Eduardo . Dynamic Reconfiguration for Adaptive Multiversion Real-Time Systems. In: 20th Euromicro Conference on Real-Time Systems (ECRTS 08), 2008, Praga, República Checa. 20th Euromicro Conference on Real-Time Systems (ECRTS 08). Los Amitos, CA, USA: Computer Society, 2008. p. 115-124.
-
SIMOES, M. A. C. ; LIMA, George ; Camponogara, Eduardo . An Approach to Dynamic Reconfiguration of CBS-Based Real-Time Systems. In: Workshop on Adaptive and Reconfigurable Embedded Systems (APRES 08), 2008, St. Louis, MO, USA. Workshop on Adaptive and Reconfigurable Embedded Systems, 2008. p. 43-46.
-
Oliveira, Augusto Born ; Camponogara, Eduardo ; LIMA, George . Dynamic Reconfiguration of Constant Bandwidth Servers. In: 10th Brazilian Workshop on Real-Time and Embedded Systems, 2008, Rio de Janeiro. Proc. of the 10th Brazilian Workshop on Real-Time and Embedded Systems. Porto Alegre: Sociedade Brasileira de Computação, 2008. p. 37-46.
-
LIMA, George ; Anton, Ana Carolina Sokolonski ; Camponogara, Eduardo . Online Schedulability Tests for Real-Time Systems. In: 10th Brazilian Workshop on Real-Time and Embedded Systems, 2008, Rio de Janeiro. Proc. of the 10th Brazilian Workshop on Real-Time and Embedded Systems. Porto Alegre: Sociedade Brasileira de Computação, 2008. p. 61-68.
-
Perrone, Ricardo ; Macêdo, Raimundo Jose de A ; LIMA, George ; Lima, Verônica Maria Cadena . Estimating Execution Time Probability Distributions in Component-based Real-Time Systems. In: 10th Brazilian Workshop on Real-Time and Embedded Systems, 2008, Rio de Janeiro. Proc. of the 10th Brazilian Workshop on Real-Time and Embedded Systems. Porto Alegre: Sociedade Brasileira de Computação, 2008. p. 21-28.
-
Regnier, Paul ; LIMA, George ; Barreto, Luciano Porto . Avaliação do Determinismo Temporal no Tratamento de Interrupções em Plataformas de Tempo Real Linux. In: Workshop de Sistemas Operacionais (SBC 2008 - WSO), 2008, Belém. Workshop de Sistemas Operacionais. Porto Alegre: Sociedade Brasileira de Computação, 2008. p. 1-12.
-
Muniz, André L.N. ; Andrade, Aline ; LIMA, George . An Automatic Translation Approach for Component-Based Real-Time Systems Verification. In: Simpósio Brasileiro de Métodos Formais (SBMF 2008), 2008, Salvador. Trilha de trabalhos de estudantes do Simpósio Brasileiro de Métodos Formais. Porto Alegre: Sociedade Brasileira de Computação, 2008. p. 1-8.
-
Regnier, Paul ; LIMA, George ; Andrade, Aline . A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol. In: Simpósio Brasileiro de Métodos Formais, 2008, Salvador. Simpósio Brasileiro de Métodos Formais (SBMF 2008). Porto Alegre: Sociedade Brasileira de Computação, 2008. p. 209-224.
-
Perrone, Ricardo ; Macêdo, R. J. A. ; Lima, George ; Lima, Verônica Maria Cadena . Uma Abordagem para Estimar Tempos de Execução em Sistemas de Tempo Real baseados em Componentes. In: II Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS 2008), 2008, Porto Alegre. II Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS 2008). Porto Alegre: Sociedade Brasileira de Computação, 2008. p. 82-95.
-
LIMA, George ; Burns, Alan . A Priority-based Consensus Protocol. In: Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC 2007), 2007, Belém. Anais do SBRC. Porto Alegre: SBC, 2007. v. 1. p. 353-366.
-
Anton, Ana Carolina Sokolonski ; LIMA, George ; Barreto, Luciano Porto . Suporte à Degradação Controlada em Sistemas de Tempo Real. In: VIII Workshop de Testes e Tolerância a Falhas (WTF 2007), 2007, Belém. Anais do VIII Workshop de Testes e Tolerância a Falhas (WTF 2007). Porto Alegre: SBC, 2007. p. 29-42.
-
CRUZ, Gisélia Magalhães ; LIMA, George . Simulador de Escalonamento para Sistemas de Tempo Real. In: IV WTICG - ERBASE 2006, 2006, Aracajú. IV WTICG - trabalho de conclusão de curso, 2006. p. 1-11.
-
Anton, Ana Carolina Sokolonski ; LIMA, George . Avaliando o Uso de Servidores para Tarefas Aperiódicas para fins de Tolerância a Falhas em Sistemas com Escalonamento Dinâmico. In: IV WTICG - ERBASE 2006, 2006, Aracajú. / IV WTICG - trabalho de conclusão de curso, 2006. p. 1-13.
-
Regnier, Paul ; LIMA, George . Deterministic Integration of Hard and Soft Real-Time Communication over Shared-Ethernet. In: VIII Workshop de Tempo Real (WTR 2006), 2006, Curitiba. Anais do VII Workshop Brasileiro de Tempo Real, 2006. p. 11-18.
-
Barboza, Frederico J. R. ; Andrade, Aline M. S. ; SILVA, Fl Vio Assis ; LIMA, George . Specification and Verification of the IEEE 802.11 Medium Access Control and an Analysis of its Applicability to Real-Time Systems. In: Brazilian Symposium on Formal Methods, 2006, Natal. Proc. of the 9th Brazilian Symposium on Formal Methods (SBMF 2006). Porto Alegre: SBC, 2006. p. 9-26.
-
LIMA, George ; Burns, Alan . Scheduling Fixed-Priority Hard Real-Time Tasks in the Presence of Faults. In: Second Latin-American Symposium on Dependable Computing (LADC 2005), 2005, Salvador. Dependable Computing: Second Latin-American Symposium, LADC 2005. Lecture Notes in Computer Science (LNCC), 2005. v. 3747. p. 154-173.
-
LIMA, George ; Burns, Alan . A Consensus Protocol for CAN-Based Systems. In: 24th IEEE Real-Time Systems Symposium (RTSS 2003), 2003, Cacun, Mexico. Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 2003. p. 420-429.
-
LIMA, George ; Burns, Alan . Timing-Independent Safety on Top of CAN. In: 1st International Workshop on Real-Time LANs in the Internet Age (RTLIA), 2002, Vienna. Proceedings of the 1st International Workshop on Real-Time LANs in the Internet Age (RTLIA), 2002. p. 5-8.
-
LIMA, George ; Burns, Alan . An Effective Schedulability Analysis for Fault-Tolerant Hard Real-Time Systems. In: 13th Euromicro Conference on Real-Time Systems (ECRTS 2001), 2001, Delft, The Netherlands. Proceedings of the 13th IEEE Euromicro Conference on Real-Time Systems, 2001. p. 209-216.
-
LIMA, George ; Macêdo, Raimundo José de Araújo . A Robust Causal Order Protocol. In: 11th Symposium on Computer Architecture and High Performance Computing, 1999, Natal, RN. 11th Symposium on Computer Architecture and High Performance Computing, 1999. p. 205-211.
-
LIMA, George ; Macêdo, Raimundo José de Araújo . Avaliação de Desempenho de Protocolos de Ordenação Causal para Comunicação em Grupo. In: XXV Conferência Latino Americana de Informática (CLEI 1999), 1999, Assunção, Paraguai. XXV Conferência Latino Americana de Informática (CLEI 1999), 1999.
-
LIMA, George ; Tolêdo, Maria Beatriz Felgar de . Um Modelo de Transações Cooperativas Integrado a um Modelo de Versões. In: Simpósio Brasileiro de Banco de Dados (SBBD 1997), 1997, Fortaleza, Ceará. Simpósio Brasileiro de Banco de Dados (SBBD 1997), 1997. p. 1-15.
-
NASCIMENTO, FLAVIA MARISTELA SANTOS ; Lima, George ; Massa, Ernesto . Work-in-Progress: Dealing with Aperiodic Tasks on Quasi-Partitioning Scheduling. In: 2017 IEEE RealTime Systems Symposium (RTSS), 2017, Paris. 2017 IEEE Real-Time Systems Symposium (RTSS), 2017. p. 381-374.
-
Nicodemos, Fernando ; Saotome, Osamu ; Lima, George . Design and Implementation of a FPGA-Based RTOS Real-Time Performance Analysis Environment (RTPE) for Satellite On-Board Computers. In: Junior Researcher Workshop on Real-Time Computing, 2013, Sophia Antipolis. Proceeding of the 7th Junior Researcher Workshop on Real-Time Computing, 2013. p. 49-52.
-
SIMOES, M. A. C. ; Lima, George ; Macêdo, Raimundo Jose de A . An Autonomic Approach for Dynamic Reconfiguration on Real-time Bandwidth-reservation Schedulers. In: 11th Brazilian Workshop on Real-Time and Embedded Systems (WTR 2009), 2009, Recife. Proc. of the 11th Brazilian Workshop on Real-Time and Embedded Systems (WTR 2009). Porto Alegre - RS: Sociedade Brasileira de Computação, 2009. p. 123-128.
-
Nascimento, Flávia ; LIMA, George ; Lima, Verônica Maria Cadena . Simulation-Based Analysis to Derive Fault Resilience in Real-Time Systems. In: 10th Brazilian Workshop on Real-Time and Embedded Systems, 2008, Rio de Janeiro. Proc. of the 10th Work-in-Progress Session of the Brazilian Workshop on Real-Time and Embedded Systems. Porto Alegre: Sociedade Brasileira de Computação, 2008. p. 113-116.
-
JESUS, Edinaldo Oliveira de ; LIMA, George . Escalonamento para Sistemas de Tempo-Real Tolerantes a Falhas:Um Estudo Empírico. In: VII Workshop de Tempo Real (WTR 2005), 2005, Fortaleza. Anais do Workshop Brasileiro de Tempo Real. Porto Alegre: SBC, 2005. v. 1. p. 69-72.
-
LIMA, George ; Burns, Alan . A Timely Distributed Consensus Solution in a Crash/Omission-Fault Environment. In: 22nd IEEE Real Time Systems Symposium (RTSS 2001), 2001, London. Proc. of the Working-in-progress session of the 22nd IEEE-RTSS. Available as Tech. Report YCS33. The Univ. of York, UK., 2001. p. 41-44.
-
Lima, George . Can the RUN Scheduling Algorithm go Beyond Periodic Task Models?. In: 10th Real-Time Systems Open Problems Seminar, 2019, Paris. Proceedings of the 10th Real-Time Systems Open Problems Seminar (RTSOPS 2019), 2019. v. 1. p. 4-5.
-
NASSIFFE, R. ; Camponogara, Eduardo ; Lima, George . Optimizing QoS in Energy-Aware Real-Time Systems. In: 33rd IEEE Real-Time Systems Symposium (Work-In-Progress Session), 2012, San Juan, Puerto Rico. Proc. of the Work-in-Progress Session of the RTSS, 2012. p. 14-14.
-
SANTOS JUNIOR, J. A. M. ; Lima, George . Implementação, Experimentação e Avaliação de Escalonamento na Plataforma Xenomai/Linux. In: XXVIII Seminário Estudantil de Pesquisa, 2009, Salvador. XXVIII Seminário Estudantil de Pesquisa e X Seminário de Pesquisa e Pós-Graduação. Salvador: EDUFBA, 2009. p. 1-1.
-
Nascimento, Flávia ; Lima, George ; Lima, Verônica Maria Cadena . Análise de Resiliência de Falhas para Sistemas de Tempo Real Baseada em Simulação. In: X Seminário de Pesquisa e Pós-Graduação, 2009, Salvador. XXVIII Seminário Estudantil de Pesquisa e X Seminário de Pesquisa e Pós-Graduação. Salvador: EDUFBA, 2009. p. 1-1.
-
BECKER, Leandro Buss ; LIMA, George ; SANTOS, Rodrigo . Prefácio do IX Workshop de Tempo Real (WTR 2007). In: IX Workshop de Tempo Real (WTR 2007), 2007, Belém. IX Workshop de Tempo Real (WTR 2007), 2007. p. 7-8.
-
LIMA, George . Considering Fault Effects in Hard Real-Time Systems Scheduling. In: Workshop Interno do LaSiD (WoLa 2005), 2005, Salvador. Workshop Interno do LaSiD (WoLa 2005), 2005. p. 3-3.
-
Anton, Ana Carolina Sokolonski ; LIMA, George . Avaliando o Uso de Servidores para Tarefas Aperiódicas para fins de Tolerância a Falhas em Sistemas com Escalonamento Dinâmico. In: Workshop Interno do LaSiD (WoLa 2005), 2005, Salvador. Workshop Interno do LaSiD (WoLa 2005), 2005. p. 11-11.
-
Regnier, Paul ; LIMA, George . DORIS - An Ethernet Double Ring Service for Real-Time Systems. In: Workshop Interno do LaSiD (WoLa 2005), 2005, Salvador. Workshop Interno do LaSiD (WoLa 2005), 2005. p. 12-12.
-
LIMA, George . Considerações sobre Robustez em Protocolos de Comunicação em Grupo na BCG. In: II Open Workshop of the Logic for Concurrency and Synchronism (LOCUS Project), 1998, Recife, Pernambuco. II Open Workshop of the LOCUS Project, 1998.
-
LIMA, George . Experiência de Implementação de um Protocolo de Ordenação Causal. In: I Open Workshop of the Logic for Concurrency and Synchronism (LOCUS Project), 1998, Recife, Pernambuco. I Open Workshop of the LOCUS Project, 1998.
-
LIMA, George . Incluindo Robustez no Protocolo de Ordenação Causal da BCG. In: Workshop Interno do LaSiD (WoLa 1998), 1998, Salvador. Workshop Interno do LaSiD, 1998.
-
ANDRADE, TADEU NOGUEIRA C. ; LIMA, George ; LIMA, VERONICA MARIA CADENA . Drawing Lines for Measurement-Based Probabilistic Timing Analysis. 2024. (Apresentação de Trabalho/Simpósio).
-
Vasconcelos, Jamile ; Lima, George . Possible risks with EVT-based timing analysis: an experimental study on a multi-core platform. 2022. (Apresentação de Trabalho/Congresso).
-
Lima, George . Can the RUN Scheduling Algorithm go Beyond Periodic Task Models?. 2019. (Apresentação de Trabalho/Conferência ou palestra).
-
Lima, George . Valid Application of EVT in Timing Analysis by Randomising Execution Time Measurements. 2017. (Apresentação de Trabalho/Simpósio).
-
Lima, George . Towards the design of optimal and efficient real-time scheduling algorithms. 2017. (Apresentação de Trabalho/Seminário).
-
Lima, George . Facts and Myths around Applying EVT in Timing Analysis. 2017. (Apresentação de Trabalho/Seminário).
-
Lima, George . Valid Application of EVT in Timing Analysis by Randomising Execution Time Measurements. 2017. (Apresentação de Trabalho/Seminário).
-
Lima, George ; DIAS, D. ; Barros, Edna . Extreme Value Theory for Estimating Task Execution Time Bounds: A Careful Look. 2016. (Apresentação de Trabalho/Simpósio).
-
Lima, George . Desafios e Recentes Avanços na Análise Temporal para Sistemas de Tempo Real (quando determinismo é impossível, estimar o improvável é necessário). 2016. (Apresentação de Trabalho/Seminário).
-
Lima, George . Escalonamento de tarefas em sistemas de tempo real multiprocessados. 2014. (Apresentação de Trabalho/Seminário).
-
LIMA, George ; Camponogara, Eduardo ; Sokolonski, Ana Carolina . Dynamic Reconfiguration for Adaptive Multiversion Real-Time Systems. 2008. (Apresentação de Trabalho/Simpósio).
-
LIMA, George ; Sokolonski, Ana Carolina ; Camponogara, Eduardo . Online Schedulability Tests for Real-Time Systems. 2008. (Apresentação de Trabalho/Congresso).
-
LIMA, George ; Burns, Alan . Scheduling Fixed-Priority Hard Real-Time Tasks in the Presence of Faults. 2005. (Apresentação de Trabalho/Simpósio).
-
LIMA, George ; Burns, Alan . A Consensus Protocol for CAN-Based Systems. 2003. (Apresentação de Trabalho/Simpósio).
-
LIMA, George ; Burns, Alan . Timing-Independent Safety on Top of CAN. 2002. (Apresentação de Trabalho/Congresso).
-
LIMA, George ; Burns, Alan . An Effective Schedulability Analysis for Fault-Tolerant Hard Real-Time Systems. 2001. (Apresentação de Trabalho/Simpósio).
-
LIMA, George ; Burns, Alan . A Timely Distributed Consensus Solution in a Crash/Omission-Fault Environment. 2001. (Apresentação de Trabalho/Congresso).
-
BECKER, Leandro Buss ; LIMA, George ; SANTOS, Rodrigo . IX Workshop on Real-Time Systems. Rio Grande do Sul, 2007. (Prefácio, Pósfacio/Prefácio)>.
-
RENAUX, Douglas ; LIMA, George ; Almeida, Luis . VIII Workshop de Tempo Real. Rio Grande do Sul, 2006. (Prefácio, Pósfacio/Prefácio)>.
-
Leite, Julius ; LIMA, George . Proceedings of the RTSS 2006 Work-in-Progress Session, 2006. (Prefácio, Pósfacio/Prefácio)>.
Outras produções
LIMA, George . Aspectos de Confiabilidade em Sistemas de Tempo-Real Críticos. Relatório número RTI007/98. 1998.
Tolêdo, Maria Beatriz Felgar de ; LIMA, George . An Adaptable Transaction Model for Traditional and Advanced Applications. Report number IC-98-18. 1998.
LIMA, George ; Macêdo, Raimundo José de Araújo . Avaliação de Desempenho de Protocolos de Ordenação Causal para Comunicacao em Grupo. Relatório número RTI-005/98. 1998.
LIMA, George ; Macêdo, Raimundo José de Araújo . Uma proposta de Controle de Fluxo para o Protocolo BCGcausal. Relatório número RTI006/98. 1998.
LIMA, George ; Macêdo, Raimundo José de Araújo . Avaliação de Desempenho do Protocolo BCGcausal. Relatório número RTI-003/97. 1997.
Lima, George . Ada-Europe International Conference on Reliable Software Technologies (AEiC 2024). 2024. (Comitê de programa).
Lima, George . Parecerista em projeto de pesquisa. 2024. (Parecer em projeto de pesquisa).
Lima, George . Symposium on Computing Systems Engineering (SBESC). 2024. (Comitê de programa).
Lima, George . 45th IEEE Real-Time Systems Symposium. 2024. (Comitê de programa).
Lima, George . Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC 2023). 2023. (Comitê de programa).
Lima, George . 12th International Real-Time Scheduling Open Problems Seminar (RTSOPS 2023). 2023. (Comitê de programa).
Lima, George . IEEE Real-Time Systems Symposium (RTSS 2022). 2022. (Comitê de programa).
Lima, George . Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC 2022). 2022. (Comitê de programa).
Lima, George . 11th International Real-Time Scheduling Open Problems Seminar (RTSOPS 2022). 2022. (Comitê de programa).
Lima, George . IEEE Real-Time Systems Symposium (RTSS 2022). 2022. (Publicity chair).
Lima, George . Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC). 2021. (Comitê de programa).
Lima, George . IEEE Real-Time Systems Symposium (RTSS 2021). 2021. (Comitê de programa).
Lima, George . Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC 2020). 2020. (Comitê científico).
Lima, George . Euromicro Conference on Real-Time Systems (ECRTS 2020). 2020. (Comitê científico).
Lima, George . Euromicro Conference on Real-Time Systems (ECRTS 2019). 2019. (Comitê de programa).
Lima, George . Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC 2019). 2019. (Comitê científico).
Lima, George . Real-Time Systems Symposium (RTSS 2019). 2019. (Comitê científico).
Lima, George . IEEE Real-Time Systems Symposium (RTSS 2018). 2018. (Comitê de programa).
Lima, George . Real-Time Systems Symposium (RTSS 2018). 2018. (Comitê científico).
Lima, George . Euromicro Real-Time Systems Conference (ECRTS 2018). 2018. (Comitê científico).
Lima, George ; SILVA, Flávio Moraes de Assis . Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC 2018). 2018. (Coordenação geral do SBESC 2018).
Lima, George . Euromicro Conference on Real-Time Systems (ECRTS 2017). 2017. (Comitê de programa).
Lima, George . 12th IEEE International Symposium on Industrial Embedded Systems (SIES). 2017. (Comitê de programa).
Lima, George . IEEE Real-Time Systems Symposium (RTSS 2017). 2017. (Comitê de programa).
Lima, George . Brazilian Symposium on Computing Systems Engineering (SBESC 2016). 2016. (Comitê de programa).
Lima, George . Euromicro Conference on Real-Time Systems (ECRTS 2016). 2016. (Comitê de programa).
Lima, George . IEEE Real-Time and Embedded Technology and Applications (RTAS 2016). 2016. (Comitê de programa).
Lima, George . IEEE Real-Time and Embedded Technology and Applications (RTAS 2017). 2016. (Comitê de programa).
Lima, George . Euromicro Conference on Real-Time Systems (ECRTS 2015). 2015. (Comitê de programa).
Lima, George . IEEE International Symposium on Industrial Embedded Systems (SIES 2014). 2015. (Comitê de programa).
Lima, George . Brazilian Symposium on Computing Systems Engineering (SBESC 2015). 2015. (Comitê de programa).
Lima, George . Euromicro Conference on Real-Time Systems (ECRTS 2014). 2014. (Comitê de programa).
Lima, George . IEEE International Symposium on Industrial Embedded Systems (SIES 2014). 2014. (Comitê de programa).
Lima, George . IEEE Real-Time Systems Symposium (RTSS 2014). 2014. (Comitê de programa).
Lima, George . Brazilian Symposium on Computing Systems Engineering (SBESC 2014). 2014. (Comitê de programa).
Lima, George . Euromicro Conference on Real-Time Systems (ECRTS 2013). 2013. (Comitê de programa).
Lima, George . IEEE Real-Time Systems Symposium (RTSS 2013). 2013. (Comitê de programa).
Lima, George . IEEE Real-Time and Embedded Technology and Applications (RTAS 2013). 2013. (Comitê de programa).
Lima, George . IEEE International Symposium on Industrial Embedded Systems (SIES 2013). 2013. (Comitê de programa).
Lima, George . Workshop de Sistemas de Tempo Real. 2012. (Comitê de programa).
Lima, George . Workshop de Sistemas Operacionais. 2012. (Comitê de programa).
Lima, George . 19th IEEE Real-Time and Embedded Technology and Applications Symposium. 2012. (Comitê de programa).
Lima, George ; Petters, Stefan M. . Workshop de Sistemas de Tempo Real (WTR 2011). 2011. (coordenador de comitê de programa).
Lima, George . Workshop de Sistemas Operacionais (WSO 2010). 2010. (Comitê de programa).
Lima, George . Escola Regional Bahia Sergipe (ERBASE WTICG 2010). 2010. (Comitê de programa).
Lima, George . Workshop de Tempo Real e Sistemas Embarcados (WTR 2010). 2010. (Comitê de programa).
Lima, George . Euromicro Conference on Real-Time Systems (ECRTS 2010). 2010. (Comitê de programa).
Lima, George . 24th ACM Symposium on Applied Computing - Real-Time Systems Track (ACM SAC 2010). 2010. (Comitê de programa).
Lima, George . Workshop de Sistemas Operacionais (WSO 2009). 2009. (Comitê de programa).
Lima, George . Escola Regional Bahia Sergipe (ERBASE-WTICG 2009). 2009. (Comitê de programa).
Lima, George . Workshop de Tempo Real e Sistemas Embarcados (WTR 2009). 2009. (Comitê de programa).
Lima, George . Workshop de testes e tolerância a falhas (WTF 2009). 2009. (Comitê de programa).
Lima, George . Euromicro Conference on Real-Time Systems (ECRTS 2009). 2009. (Comitê de programa).
Lima, George . 15th IEEE Real-Time and Embedded Technology and Applications Symposium. 2009. (Comitê de programa).
Lima, George . 25th ACM Symposium on Applied Computing - Real-Time Systems Track (ACM SAC 2009). 2009. (Comitê de programa).
Lima, George . Workshop de Tempo Real e Sistemas Embarcados (WTR 2009). 2009. (Comitê consultivo).
Lima, George . 5th Latin America Networking Conference (LANC 2009). 2009. (Comitê de programa).
LIMA, George . The 20th Euromicro Conference on Real-Time Systems (ECRTS 2008). 2008. (comitê de programa).
LIMA, George . ERBASE 2008 - WEIBASE - VI Workshop de Educação e Informática Bahia-Alagoas-Sergipe. 2008. (Comitê de programa).
LIMA, George . ERBASE 2008 - WTICG - VI Workshop de Trabalhos de Iniciação Científica e de Graduação Bahia-Alagoas-Sergipe. 2008. (Comitê de programa).
LIMA, George . WTR -X Workshop Brasileiro de Tempo Real e Sistemas Embarcados. 2008. (Comitê de programa e comitê consultivo).
LIMA, George . WTF 2008 - X Workshop de Teste e Tolerância a Falhas. 2008. (Comitê de programa).
Braberman, Victor ; D?ARGENIO, P. ; FARINES, Jean-marie ; FOHLER, G. ; Leite, Julius ; LIMA, George ; Olivero, Aredo ; SANTOS, Rodrigo ; SIFAKIS, J. ; YOVINE, S. ; Wagner, Flávio . ARTIST2 South-American School for Embedded Systems 2008. 2008. (Comitê científico).
LIMA, George . 24th ACM Symposium on Applied Computing - Track on Real-Time Systems. 2008. (Comitê científico).
LIMA, George . Workshop de Testes e Tolerância a Falhas (WTF 2007). 2007. (comitê de programa).
LIMA, George ; SANTOS, Rodrigo . Workshop de Tempo Real (WTR 2007). 2007. (coordenador de comitê de programa).
LIMA, George . IEEE Euromicro Conference on Real-Time Systems (ECRTS 2007). 2007. (comitê de programa).
LIMA, George . IFIP/ACM Latin America Networking Conference (LANC 2007). 2007. (comitê de programa).
Braberman, Victor ; D'Argenio, PEDRO ; ENDLER, M. ; FARINES, Jean-marie ; Fraga, Joni da Silva ; FOHLER, G. ; Leite, Julius ; LIMA, George ; Olivero, Aredo ; SANTOS, Rodrigo ; SIFAKIS, J. ; YOVINE, S. . First European-SouthAmerican School for Embedded Systems. 2007. (Comitê científico).
LIMA, George . VIII Simpósio Brasileiro de Automação Inteligente (SBAI 2007). 2007. (revisor de artigos).
LIMA, George . Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg 2006). 2006. (comitê de programa).
LIMA, George ; Leite, Julius . Work-in-Progress Session of the IEEE Real-Time Systems Symposium. 2006. (coordenador de comitê de programa).
LIMA, George . Real-Time Systems Symposium (RTSS 2006). 2006. (comitê de programa).
LIMA, George . IEEE Symposium on Reliable Distributed Systems (SRDS 2006). 2006. (revisor de artigos).
LIMA, George . 26th IEEE Real-Time Systems (RTSS 2006). 2006. (comitê de programa).
LIMA, George ; RENAUX, Douglas . Workshop de Tempo Real (WTR 2006). 2006. (Coordenação de comitê de organização).
LIMA, George . Workshop de Tempo Real. 2006. (Comitê consultivo).
LIMA, George . Fault Tolerance in Real-Time Systems. 2005. (Curso de curta duração ministrado/Extensão).
LIMA, George . Second Latin-American Symposium on Dependable Computing (LADC 2005). 2005. (comtê de organização).
LIMA, George . Second Latin-American Symposium on Dependable Computing (LADC 2005). 2005. (coordenador de publicação (publicity chair)).
LIMA, George . Elsevier Journal of Systems and Software. 2005. (revisor de artigos).
LIMA, George . Workshop Brasileiro de Tempo Real (WTR 2004). 2004. (comitê de programa).
LIMA, George . I Workshop de Sistemas Operacionais (WSO 2004). 2004. (comitê de programa).
LIMA, George . IEEE Transaction on Computers. 2004. (revisor de artigos).
LIMA, George . Elsevier Journal of Systems and Software. 2004. (revisor de artigos).
LIMA, George . Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC 99). 1999. (comtê de organização).
LIMA, George . VII Semana de Informática da UFBA (Seminfo 98). 1998. (comtê de organização).
LIMA, George . VII Semana de Informática da UFBA (Seminfo 98). 1998. (coordenador de comitê de programa).
Projetos de pesquisa
-
2025 - Atual
Guaranteeing Time and Data for Efficient Autonomous Cyber-Physical Systems (Giordano), Descrição: O principal objetivo deste projeto é a proposição de novos mecanismos e técnicas para implementação de sistemas ciber-físicos em plataformas multicore com parâmetros descritos por distribuições de probabilidade. Este objetivo será explorado em dois aspectos, análise temporal e escalonamento, que estarão relacionados pela variabilidade temporal intrínseca associada aos processadores multi-núcleos. Probabilidade e estatística serão usados para fornecer garantias temporais.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (1) / Doutorado: (7) . , Integrantes: George Marconi de Araújo Lima - Integrante / Verônica Maria Cadena Lima - Integrante / Ernesto Massa - Integrante / Liliana Cucu-Gosjean - Coordenador / Jamile de Barros Vasconcelos - Integrante / WEHAIBA EL KHAZEN, MARWAN - Integrante / ALVES, ALLAN S. G. - Integrante / Yves Sorel - Integrante / Julia Passos - Integrante / Hadjer Bendellaa - Integrante / Myriam Mabrouki - Integrante., Financiador(es): Centre de Recherche INRIA Paris - Outra.
-
2020 - 2024
Probabilistic foundations for time, a key concept for cyber-physical systems certification (Kepler), Descrição: The main scientific goal of this collaboration is the proposition of new mechanisms and techniques for implementing CPS on multicore processors while providing timeliness guarantees taking into consideration the mixed-criticality nature associated with the system components. This goal is to be explored with respect to two aspects, namely timing analysis and scheduling. These two aspects are related by the intrinsic time variability associated to multicore processors that we consider during the Kepler associated team. We use probability theory and statistics in order to ensure timing guarantees.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (4) . , Integrantes: George Marconi de Araújo Lima - Integrante / Paul Regnier - Integrante / Verônica Maria Cadena Lima - Integrante / Flávia Maristela Nascimento - Integrante / Ernesto de Souza Massa Neto - Integrante / Liliana Cucu-Grosjean - Coordenador / Kevin Zagalo - Integrante / Gessé Oliveira - Integrante / Evariste Ntaryamira - Integrante / Tadeu Nogueira - Integrante / Slim Ben-Amor - Integrante / Avner Bar-Hen - Integrante / Yasmina Abdedda - Integrante / Ives Sorel - Integrante., Financiador(es): Centre de Recherche INRIA Paris - Auxílio financeiro.
-
2015 - 2017
SCORES - Suporte a Sistemas de Tempo Real Complexos, Descrição: Sistemas de tempo real são sistemas que, através de uma interface, capturam a ocorrência de eventos do mundo real e nele atuam. Tais sistemas devem, portanto, respeitar a dinâmica da ocorrência destes eventos, estando sincronizados com o tempo real que marcam suas ocorrências. O suporte à execução dos sistemas de tempo real deve garantir tal sincronia. Porém, o aumento da complexidade de hardware e software têm exigido que novas soluções para tal suporte sejam concebidas. Neste projeto as fontes de complexidade abordadas serão o uso de arquiteturas multiprocessadas, o controle do consumo de energia para sistemas alimentados por baterias e a execução concorrente de componentes de software com diferentes requisitos de criticalidade. Novas soluções para prover adequado suporte a sistemas com tais características de complexidades serão desenvolvidas. Tais soluções estão no nível do sistema operacional, para prover suporte à execução, e no no nível do projeto do sistema, para prover análise de sua correção temporal. O principal objetivo do projeto SCORES é conceber mecanismos para garantir previsibilidade temporal dos sistemas de tempo real considerando aspectos de complexidade advindos do uso de arquiteturas multiprocessadas, do necessário controle de consumo de energia para sistemas alimentados por baterias e da execução concorrente de componentes de software com diferentes níveis de criminalidade.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (3) . , Integrantes: George Marconi de Araújo Lima - Coordenador / Paul Denis Etienne Regnier - Integrante / Eduardo Camponogara - Integrante / José Augusto M. Santos Júnior - Integrante / Flávia Maristela Nascimento - Integrante / Ernesto Massa - Integrante / Konstantinos Bletsas - Integrante / Ríad Mattos Nassiffe - Integrante / Tullio Vardanega - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
-
2015 - Atual
CAMUS - Cache Related Interference in Multiprocessor Real-Time Scheduling, Descrição: O principal objetivo deste projeto é analisar e modelar custos associados ao gerenciamento de memória cache em sistemas de tempo real multiprocessados para que se possa projetar algoritmos de escalonamento resilientes a tais efeitos. As pesquisas serão desenvolvidas junto ao grupo de pesquisa GRECO da UFPE sob a supervisão de profa. Edna Barros. Espera-se potencializar as expertises da UFBA e UFPE, ampliando os horizontes de atuação dos grupos de pesquisa envolvidos no projeto de ambas as instituições, fortalecendo os seus laços de cooperação em âmbito nacional.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (2) . , Integrantes: George Marconi de Araújo Lima - Coordenador / Paul Regnier - Integrante / José Augusto M. Santos Júnior - Integrante / Flávia Maristela Nascimento - Integrante / Ernesto Massa - Integrante / Vinicius Petrucci - Integrante / Edna Natividade da Silva Barros - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado da Bahia - Bolsa / Fundação de Apoio à Pesquisa,Desenvolvimento e Inovação-Exercito Brasileiro - Auxílio financeiro.
-
2014 - 2015
Soluções de Escalonamento para Sistemas de Tempo Real, Descrição: Duas tendências tecnológicas tornam o problema de escalonamento mais complexo, motivando a definição de novas soluções: aumento do grau de paralelismo em arquiteturas computacionais; e a incorporação de requisitos de adaptação às aplicações de tempo real. Neste contexto, este visa desenvolver novas heurísticas de escalonamento para sistemas de tempo real que sejam adequadas a tais tendências tecnológicas. O presente projeto propõem estender os resultados acima enumerados, contemplando diferentes requisitos de adaptação, tais como tratamento de eventos aperiódicos, tolerância a falhas e economia de energia. Espera-se ainda consolidar as parcerias mencionadas acima assim como fomentar trabalhos de pesquisa em níveis de pós-graduação e graduação.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (3) . , Integrantes: George Marconi de Araújo Lima - Coordenador / Paul Denis Etienne Regnier - Integrante / Eduardo Camponogara - Integrante / José Augusto M. Santos Júnior - Integrante / Flávia Maristela Nascimento - Integrante / Ernesto Massa - Integrante / Daniel Mossé - Integrante / Konstantinos Bletsas - Integrante / Shinpei Kato - Integrante / Ríad Mattos Nassiffe - Integrante., Financiador(es): Universidade Federal da Bahia - Bolsa.
-
2012 - 2014
SHERS - Scheduling Heuristics for Real-Time Systems, Descrição: O projeto SHERS é uma continuidade das ações desenvolvidas pelos projetos SMART e PARES. Objetiva-se desenvolver novas heurísticas de escalonamento para sistemas de tempo real. No contexto dos sistemas multiprocessados, estamos interessados em algoritmos de escalonamento com baixa sobrecarga de execução e em extensões da estratégia RUN aplicadas a sistemas tolerantes a falhas. Estamos ainda investigando heurísticas para lidar com adaptabilidade em sistemas de tempo real com restrições de energia. O projeto SHERS conta com a participação de pesquisadores da Universidade Federal de Santa Catarina, do Instituto Politécnico do Porto (Portugal) e da Universidade da Califórnia em Santa Cruz (EUA).. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Doutorado: (4) . , Integrantes: George Marconi de Araújo Lima - Coordenador / Paul Denis Etienne Regnier - Integrante / Eduardo Camponogara - Integrante / Greg Levin - Integrante / Scott Brandt - Integrante / Konstantinos Bletsas - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
-
2012 - 2013
PARES - Parallel and Adaptive Real-Time Scheduling, Descrição: Diversos níveis de paralelismo têm sido explorados em arquiteturas computacionais. Aumentar o desempenho, fornecer maior flexibilidade ou prover tolerância a falhas são alguns dos benefícios de arquiteturas multiprocessadas. Por outro lado, considerações sobre adaptabilidade de aplicações diversas têm sido tema recorrente na construção de sistemas computacionais em várias áreas de aplicação. Percebe-se, no entanto, que lidar tanto com paralelismo quanto com adaptação faz aumentar a complexidade de projeto e implementação de tais sistemas. Tal constatação não é diferente quando se considera os sistemas de tempo real. O projeto PARES se insere neste ontexto, tendo como principal objetivo desenvolver algoritmos eficientes de escalonamento para sistemas de tempo real multiprocessados e adaptativos. O projeto PARES recebe auxílio financeiro da UFBA (Edital PROPI/PROPG) no valor de R$ 4.320,00.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Doutorado: (4) . , Integrantes: George Marconi de Araújo Lima - Coordenador / Eduardo Camponogara - Integrante / Paul Regnier - Integrante / José Augusto M. Santos Júnior - Integrante / Flávia Maristela Nascimento - Integrante / Ernesto Massa - Integrante / Felipe Augusto Queiroz de Cerqueira - Integrante / Scott Brandt - Integrante / Ríad Nassiffe - Integrante., Financiador(es): Universidade Federal da Bahia - Auxílio financeiro.
-
2010 - 2012
SMART - Scheduling in Multiprocessor Archtectures with Real-Time Guarantees, Descrição: Atualmente é comum o uso de processadores multinúcleos, mesmo em simples computadores pessoais, alguns dos quais já estão equipados com processadores 8 núcleos, a exemplo dos processadores I7 e Xeon da Intel, comercializados a preços modestos. Protótipos da própria Intel já possuem chips com 80 núcleos enquanto que previsões de especialistas afirmam que em 2017 existirão máquinas com até 4096 núcleos de processamento num único chip. Neste contexto, será necessário grande investimento na adaptação de aplicações e sistemas operacionais para lidar com tal grau de paralelismo. Tais constatações motivam o presente projeto, que visa elaborar soluções adequadas para lidar com sistemas de tempo real em arquiteturas multiprocessadas. Mais precisamente, objetiva-se desenvolver: 1) Políticas de escalonamento adaptáveis e parametrizáveis; 2) Técnicas de análise de escalonamento adequadas e eficientes. Este projeto recebe financiamento do CNPq (Edital Universal) no valor de R$ 15.000,00.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) / Doutorado: (4) . , Integrantes: George Marconi de Araújo Lima - Coordenador / Eduardo Camponogara - Integrante / Paul Regnier - Integrante / José Augusto M. Santos Júnior - Integrante / Marco Antonio Costa Simões - Integrante / Flávia Maristela Nascimento - Integrante / Ernesto Massa - Integrante / Lucas Prado Melo - Integrante / Felipe Augusto Queiroz de Cerqueira - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 10
-
2008 - 2010
ESTER - Escalonamento em Sistemas de Tempo Real: Lidando com Incertezas e Adaptação, Descrição: Sistemas de tempo real são aqueles especificados em função do tempo (real) em que suas ações devem produzir resultados. Para estes sistemas, escalonamento é um problema fundamental, cujas soluções são peça-chaves na garantia de sua correção. Com o avanço tecnológico, e pela ampla necessidade de novas demandas de aplicações de tempo real, esta área de pesquisa enfrenta novos desafios. A complexidade das novas plataformas de hardware e do software assim como as incertezas provenientes do ambiente requerem dos mecanismos de escalonamento suporte à adaptação e capacidade de lidar com incertezas subjacentes ao seu funcionamento. Apesar de já existirem avanços de pesquisa na área, estes estão ainda em estágios preliminares de desenvolvimento. Ressalta-se ainda o fato de que a comunidade brasileira da área possui muito pouco envolvimento nos temas relacionados ao presente projeto. O projeto ESTER têm como principal objetivo desenvolver modelos e técnicas de escalonamento adequadas aos sistemas de tempo real modernos. Tais modelos devem ser capazes de quantificar as incertezas mencionadas acima e equacioná-las durante a análise de escalonamento de tais sistemas. O projeto ESTER possui financiamento FAPESB (Apoio projeto de pesquisa) no valor de 27.692,00. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (4) / Doutorado: (4) . , Integrantes: George Marconi de Araújo Lima - Coordenador / Paul Denis Etienne Regnier - Integrante / Eduardo Camponogara - Integrante / Antônio Marcos Carianha - Integrante / José Augusto M. Santos Júnior - Integrante / Marco Antonio Costa Simões - Integrante / Augusto Born de Oliveira - Integrante / Verônica Maria Cadena Lima - Integrante / Flávia Maristela Nascimento - Integrante / Ernesto Massa - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado da Bahia - Auxílio financeiro., Número de produções C, T & A: 7
-
2006 - 2008
Protocolo de Comunicação para Redes Industriais baseado em Ethernet, Descrição: O uso de redes de comunicação Ethernet para suporte aos sistemas industriais e de automação tem recebido atençãonos últimos anos devido ao seu baixo custo, as suas altas taxas de transferência e a sua larga difusão comercial.Contudo, a falta de previsibilidade temporal do protocolo Ethernet 803.2 não é adequado para o seu uso pela maioriados sistemas industriais. Isso tem motivado a criação de soluções para tornar Ethernet determinístico e permitir seu usoem ambientes que requerem um comportamento temporal previsível.Até então, protocolos e tecnologias existentes, ou são soluções proprietárias focadas apenas em sistemas deautomação, ou são usadas apenas para aplicações com requisitos temporais não críticos. Para preencher esta lacuna,este projeto propõe o desenvolvimento de um software inovador e de código livre, atendendo os seguintes requisitos:(a) Ser compatível com o protocolo Ethernet 802.3;(b) Integrar sistemas de automação com requisitos temporais críticos com sistemas de propósito geral;(c) Prover garantias temporais e tolerância a falhas, aspectos necessários aos sistemas críticos;(d) Garantir o isolamento temporal entre os diversos tipos de aplicações.(e) Ser possivelmente ampliado para redes sem fios.Pioneiro no Brasil, este trabalho permitirá a transferência de conhecimentos e de pesquisas recentes do Laboratório deSistemas Distribuídos (LaSiD) da UFBA para empresas de Tecnologias da Informação e Comunicação da Bahia.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Especialização: (1) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: George Marconi de Araújo Lima - Coordenador / Raimundo J de A Macedo - Integrante / Luciano Porto Barreto - Integrante / Aline M .S. Andrade - Integrante / Ana Carolina Sokolonski Anton - Integrante / Paul Regnier - Integrante / Flávio Moraes de Assis Silva - Integrante / Jorge Amaro Coelho Jr. - Integrante / Vicente Macêdo de Aguiar - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado da Bahia - Auxílio financeiro., Número de produções C, T & A: 6
-
2003 - 2008
IARA - Integrated Arquitecture for Real-Time Applications, Descrição: Na prática, aplicações críticas de tempo-real podem conter serviços/tarefas não-críticos ou até mesmo serviços cuja correção não depende do tempo. Há ainda a necessidade de executar diferentes aplicações, com requisitos temporais diversos num mesmo sistema. No contexto de sistema distribuído, essas características dificultam o controle temporal do sistema, necessário para que não haja violações das hipóteses citadas anteriormente. Por exemplo, a carga de trabalho num nodo pode causar uma sobrecarga na rede de comunicação afetando hipóteses sobre tempo de transmissão de mensagens. O principal objetivo do presente projeto de pesquisa é desenvolver uma arquitetura integrada para suporte a sistemas de tempo-real. Essa arquitetura, denominada IARA deve atender a aplicações/serviços com diferentes requisitos temporais usando tecnologias de sistemas distribuídos tolerante a falhas. A pesquisa em torno do projeto inclui três áreas de conhecimento: sistemas operacionais de tempo-real (políticas de escalonamento e análise temporal etc.); protocolos distribuídos tolerante a falhas (ordenação de mensagens, representação temporal etc.); e protocolos de redes de comunicação. Este projeto contou com com o apoio do CNPq e Fapesb. Inicialmente, o financiamento contou com uma bolsa CNPq DTR no período 2003-2004. Posteriormente, no período 2005- 2007, o projeto foi financiado pela FAPESB (apoio projeto de pesquisa) no valor de R$ 22.218,00 e, complementarmente, pelo CNPq (Edital Universal) no período 2006-2008 no valor de R$ 39.000,00.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Especialização: (2) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (1) . , Integrantes: George Marconi de Araújo Lima - Coordenador / Luciano Porto Barreto - Integrante / Raimundo Jose de A Macêdo - Integrante / Ana Carolina Sokolonski - Integrante / Aline Maria Santos Andrade - Integrante / Flávio Morais de Assis Silva - Integrante / Ana Paula Gomes Silva Silva - Integrante / Paul Denis Etienne Regnier - Integrante / Edson Félix Barbosa - Integrante / Antônio Marcos Carianha - Integrante / José Augusto M. Santos Júnior - Integrante / Marco Antonio Costa Simões - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Fundação de Amparo à Pesquisa do Estado da Bahia - Auxílio financeiro., Número de produções C, T & A: 33
-
1997 - 1998
Lógica para Concorrência e Sincronização (LOCUS), Descrição: A necessidade da utilização de técnicas de especificação formal para sistemas distribuídos deve-se principalmente à complexidade inerente a esse tipo de sistema. A utilização de descrições informais podem levar a imprecisões e inconsistências. Desse modo, os métodos de especificação formal permitem o desenvolvimento de sistemas sem ambiguidades, através de uma sintaxe e semântica bem definidas. Um tópico de importância crescente na área de sistemas distribuídos é o paradigma de Comunicação em Grupo (CG) que constitui-se uma ferramenta natural para a programação distribuída. A abstração de CG tem por objetivo resolver problemas básicos de inconsistências na comunicação entre processos distribuídos que cooperam para a execução de uma tarefa. Neste projeto buscou-se a abordagem unificadora para sistemas distribuidos observando os requisitos do paradigma de CG, dando continuidade ao projeto BCG (Base Confiável para Comunicação em Grupo) do LaSid/UFBA.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: George Marconi de Araújo Lima - Integrante / Ruy de Queiroz - Coordenador / Mario Benevides - Integrante / Raimundo José de Araújo Macedo - Integrante / Adolfo Gustavo Serra Sêca Neto - Integrante / Felipe França - Integrante / Murilo Marinho de Souza - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 2
Prêmios
2022
Best paper award -- Brazilian Symposium on Computer Engineering, SBC - CE-ESC.
2014
Best paper award -- Euromicro Conference on Real-Time Systems (ECRTS 2014), Euromicro.
2011
Best paper award -- 32rd IEEE Real-Time Systems Symposium (RTSS 2011), RTSS 2011.
2011
Best paper award -- 4th Workshop on Compositional Theory and Technology for Real‐Time Embedded Systems (CRTS 2011), CRTS 2011 and Rapita Systems LTDA.
2008
Best paper award -- 10th Workshop on Real-Time and Embedded Systems, SBC -- Nokia.
2008
Best paper award -- 5th. Workshop on Operating Systems, SBC/WSO 2008.
Histórico profissional
Endereço profissional
-
Universidade Federal da Bahia, Instituto de Matemática/Departamento de Ciência da Computação. , Av. Ademar de Barros, Ondina, 40170-110 - Salvador, BA - Brasil, Telefone: (71) 2636142, Ramal: 28, Fax: (71) 32636276, URL da Homepage:
Experiência profissional
2013 - Atual
Universidade Federal da BahiaVínculo: Servidor Público, Enquadramento Funcional: ProfessorAssociado, Carga horária: 40, Regime: Dedicação exclusiva.
2004 - 2012
Universidade Federal da BahiaVínculo: , Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.
2003 - 2004
Universidade Federal da BahiaVínculo: Bolsista recém-doutor, Enquadramento Funcional: Pesquisador/Professor, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações:
Envolvido em atividades de pesquisa junto ao LaSiD/DCC/UFBA nas áreas de sistemas de tempo-real, sistemas distribuídos e tolerância a falhas.
Na UFBA lecionou MAT152-Estrutura de Arquivos durante dois semestres. Foi coordenador do XI COMPUTEC (Computação e Mercado), evento do XXIV Congresso da SBC, participando também do comitê de organização do congresso.
Foi aprovado em primeiro lugar no concurso para professor adjunto em maio de 2003. Tomou posse no cargo em 23/09/;2004.
1997 - 1999
Universidade Federal da BahiaVínculo: Colaborador, Enquadramento Funcional: auxiliar de pesquisa, Carga horária: 20
Outras informações:
Atuou como pesquisador no desenvolvimento de protocolos distribuídos da BCG e participou do projeto Locus (Lógica para Concorrência e Sincronização) da fase III do ProTeM-CC com financiamento do CNPq.
1996 - 1998
Universidade Federal da BahiaVínculo: Colaborador, Enquadramento Funcional: Professor Substituto, Carga horária: 40
Outras informações:
Lecionou disciplinas na graduação e na pós-graduação (especialização)
1992 - 1992
Universidade Federal da BahiaVínculo: Outro, Enquadramento Funcional: Estudante de Iniciação Científica, Carga horária: 20
Outras informações:
Participação do projeto "Estudo e Implementação de Algoritmos em Palavras usando o Paradigma de Objetos" sob orientação da prof. Fabíola Greve
1990 - 1990
Universidade Federal da BahiaVínculo: Estágio, Enquadramento Funcional: Estagio não remunerado, Carga horária: 12
Atividades
-
11/2010
Direção e administração, Programa Multiinstitucional em Ciência da Comutação.,Cargo ou função, Vice-coordenador de programa.
-
08/2009
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Projeto e Análise de Algoritmos
-
10/2006
Ensino, Programa de Pós-Graduação em Mecatrônica, Nível: Pós-Graduação,Disciplinas ministradas, Tópicos em Sistemas Computacionais (Análise de Escalonamento em Sistemas de Tempo Real)
-
04/2006
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Estrutura de Arquivos / Algorimos e Estrutura de Dados II
-
10/2005
Ensino, Mestrado Em Mecatrônica, Nível: Pós-Graduação,Disciplinas ministradas, Tópicos Avançados em Sistemas Computacionais: Escalonamento e Análise de Escalonamento em Sistemas de Tempo Real
-
10/2003
Pesquisa e desenvolvimento, Instituto de Matemática, Departamento de Ciências da Computação.,Linhas de pesquisa
-
01/2014 - 07/2015
Direção e administração, Programa Multiinstitucional em Ciência da Comutação.,Cargo ou função, Coordenador de Programa de Pós-Graduação.
-
03/2007 - 07/2015
Ensino, Doutorado em Ciência da Computa (DMCC), Nível: Pós-Graduação,Disciplinas ministradas, Escalonamento em Sistemas de Tempo Real, Seminários Científicos
-
04/2008 - 04/2010
Direção e administração, Departamento de Ciência da Computação.,Cargo ou função, Vice-chefe de Departamento.
-
04/2006 - 04/2008
Direção e administração, Instituto de Matemática, Departamento de Ciências da Computação.,Cargo ou função, Chefe do Departamento de Ciência da Computação (mandato de 17/04/2006 a 16/04/2008).
-
03/2005 - 12/2006
Ensino, Especialização Avançada em Sistemas Distribuídos, Nível: Especialização,Disciplinas ministradas, Sistemas Operacionais e Redes
-
01/2004 - 04/2006
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Estrutura de Arquivos, Linguagem de Programação I, Sistemas Operacionais
-
10/2005 - 12/2005
Ensino, Programa de Pós-Graduação em Mecatrônica, Nível: Pós-Graduação,Disciplinas ministradas, Tópicos em Sistemas Computacionais (Escalonamento e Análise de Escalonamento em Sistemas de Tempo Real)
-
10/2004 - 11/2005
Conselhos, Comissões e Consultoria, Instituto de Matemática, Departamento de Ciências da Computação.,Cargo ou função, Presidente da Comissão para seleção de candidatos ao Mestrado em Mecatrônica.
-
06/1997 - 11/1999
Pesquisa e desenvolvimento, Laboratório de Sistemas Distribuídos Lasid.,Linhas de pesquisa
-
10/1998 - 08/1999
Ensino, Especialização Avançada em Sistemas Distribuídos, Nível: Especialização,Disciplinas ministradas, Sistemas de Informação Distribuídos, Sistemas Operacionais e Redes, Fundamentos de Sistemas Distribuídos
-
10/1996 - 10/1998
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Sistemas Operacionais, Processamento de Dados, Estrutura de Arquivos, Introdução a Processamento de Dados
-
03/1990 - 12/1990
Estágios , Instituto de Matemática, Departamento de Ciências da Computação.,Estágio realizado, Monitoria de MAT147-Linguagem de Programação I.
-
02/1990 - 12/1990
Estágios , Biblioteca Central Reitor Macedo Costa.,Estágio realizado, Desenvolvimento e manutenção de Sistemas.
1998 - 1999
Faculdade Rui BarbosaVínculo: Celetista, Enquadramento Funcional: Professor, Carga horária: 20
1996 - 1997
Faculdade Rui BarbosaVínculo: Celetista, Enquadramento Funcional: Professor, Carga horária: 20
Atividades
-
08/1998 - 07/1999
Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Introdução a Ciência da Computação
-
08/1996 - 07/1997
Ensino, Tecnologo em Processamento de Dados, Nível: Graduação,Disciplinas ministradas, Linguagem de Programação II, Técnicas Avançadas em Programação com C++
1992 - 1995
Banco Econômico S AVínculo: Celetista, Enquadramento Funcional: Programador, Carga horária: 40
Outras informações:
Responsável por desenvolver análise de sistemas e implementar sistemas usando linguagem NATURAL, COBOL e JCL. Participou da implantação do sistemas de cadastro de clientes (CADCLI). Afastado por licença sem vencimentos de julho de 1993 à julho de 1995 a fim de cursar pós-graduação.
1991 - 1992
Banco Econômico S AVínculo: Estagiário, Enquadramento Funcional: Programador, Carga horária: 30
Outras informações:
Participou da migração do sistemas de cadastro de clientes de NATURAL I para NATURAL II. Participou da análise do sistema na mesma tarefa.
Atividades
-
01/1991 - 07/1995
Serviços técnicos especializados , Processa, Divisão de Cadastro de Clientes.,Serviço realizado, Programação e desenvolvimento de sistemas para automação bancária.
-
01/1991 - 01/1992
Estágios , Processa, Divisão de Cadastro de Clientes.,Estágio realizado, Programador de sistemas.
1987 - 1988
Central de Manutenção de CamacariVínculo: Celetista, Enquadramento Funcional: Instrumentista Industrial, Carga horária: 40
Outras informações:
Responsável pela manutenção de instrumentos eletro-eletrônicos e pneumáticos, prestando serviço a COPENE.
Atividades
-
10/1987 - 04/1988
Serviços técnicos especializados , Copene.,Serviço realizado, Manutenção de instrumentos eletro-eletrônicos e pneumáticos.
1986 - 1987
Serviço de Manutenção Eletrônica LtdaVínculo: Estágio, Enquadramento Funcional: Estagiário, Carga horária: 30
Outras informações:
Manutenção Eletrônica em Geral. Estágio não remunerado no período de férias escolares.
Atividades
-
06/1986 - 01/1987
Estágios , Serviço de Manutenção Eletrônica Ltda.,Estágio realizado, Manutenção de aparelhos eletrônicos em geral.
2019 - 2019
Centre de Recherche INRIA ParisVínculo: Professor Visitante, Enquadramento Funcional: Professor visitante, Carga horária: 40
Outras informações:
Visiting professor at INRIA during 30 days in Jul-Aug 2019
2017 - 2017
Centre de Recherche INRIA ParisVínculo: Professor Visitante, Enquadramento Funcional: Prof. Visitante, Carga horária: 40
Outras informações:
Prof. visitante, a convite de Dra. Liliana Cucu-Grosjean junto ao grupo AOESTE.
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de George Marconi de Araújo Lima e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?