Lucas Vieira Alves

Formação complementar

Idiomas

Áreas de atuação

Participação em eventos

Participação em bancas

Orientou

Produções bibliográficas

• GADELHA, RÔMULO ; VIEIRA, LUCAS ; MONTEIRO, DAVI ; VIDAL, FELIPE ; MAIA, PAULO HENRIQUE . Scen@rist: an approach for verifying self-adaptive systems using runtime scenarios. SOFTWARE QUALITY JOURNAL , v. 28, p. 1303-1345, 2020.

• LIMA, E. C. F. ; BARBOSA, B. ; ALVES, L. V. ; JESUINO, R. ; FILHO, M. ; MAIA, P. H. M. . LoTuS: uma Ferramenta Gráfica Extensível para Modelagem, Análise e Verificação de Modelos LTS e PLTS.. Revista Eletrônica de Iniciação Científica , v. 15, p. 41-63, 2017.

• ALVES, LUCAS ; PEREIRA, JOSE DAVI ; ARAGAO, NATALIA ; CHAGAS, MATHEUS ; MAIA, PAULO HENRIQUE . DRESS-ML: A Domain-specific Language for Modelling Exceptional Scenarios and Self-adaptive Behaviours for Drone-based Applications. In: 2022 IEEE/ACM 44th International Conference on Software Engineering: Software Engineering in Society (ICSESEIS), 2022, Pittsburgh. 2022 IEEE/ACM 44th International Conference on Software Engineering: Software Engineering in Society (ICSE-SEIS), 2022. p. 56.

• FONSECA, ADRILENE ; SOUSA, DENIS ; CHAGAS, MATHEUS ; MAIA, PAULO HENRIQUE M. ; ALVES, LUCAS ; PRAXEDES, VICTOR ; JUNIOR, ERNANDES . Dealing with IoT Defiant Components. In: 2021 IEEE/ACM Joint 9th International Workshop on Software Engineering for SystemsofSystems and 15th Workshop on Distributed Software Development, Software Ecosystems and SystemsofSystems (SESoS/WDES), 2021, Madrid. 2021 IEEE/ACM Joint 9th International Workshop on Software Engineering for Systems-of-Systems and 15th Workshop on Distributed Software Development, Software Ecosystems and Systems-of-Systems (SESoS/WDES), 2021. p. 24.

• DE SOUZA, JERFFESON TEIXEIRA ; DE CAMPOS, GUSTAVO AUGUSTO LIMA ; ROCHA, CLEILTON ; WERBET, ERIKO ; COSTA, LEONARDO FERREIRA DA ; DE MELO, RODRIGO TEIXEIRA ; ALVES, LUCAS VIEIRA . An agent program in an IoT system to recommend activities to minimize childhood obesity problems. In: SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, 2020, Brno Czech Republic. Proceedings of the 35th Annual ACM Symposium on Applied Computing. p. 654.

• FERREIRA DA COSTA, LEONARDO ; TEIXEIRA DE MELO, RODRIGO ; VIEIRA ALVES, LUCAS ; LIMA ROCHA, CLEILTON ; WERBET DE OLIVEIRA ARAUJO, ERIKO ; LIMA DE CAMPOS, GUSTAVO AUGUSTO ; TEIXEIRA DE SOUZA, JERFFESON ; TRIANTAFYLLIDIS, ANDREAS ; ALEXIADIS, ANASTASIOS ; VOTIS, KONSTANTINOS ; TZOVARAS, DIMITRIOS . Smart Algorithm for Unhealthy Behavior Detection in Health Parameters. In: 2020 IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC), 2020, Madrid. 2020 IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC), 2020. p. 654.

• ALVES, LUCAS V. ; DE MELO, RODRIGO T. ; DA COSTA, LEONARDO F. ; ROCHA, CLEILTON L. ; DE O. ARAUJO, ERIKO W. ; DE CAMPOS, GUSTAVO A. L. ; DE SOUZA, JERFFESON T. . An Agent Program in an IoT System to Recommend Plans of Activities to Minimize Childhood Obesity. In: 2020 IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC), 2020, Madrid. 2020 IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC), 2020. p. 674.

• MAIA, PAULO HENRIQUE ; VIEIRA, LUCAS ; CHAGAS, MATHEUS ; YU, YIJUN ; ZISMAN, ANDREA ; NUSEIBEH, BASHAR . Cautious Adaptation of Defiant Components. In: 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2019, San Diego. 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2019. p. 974.

• DAMASCENO, ADSON ; FERREIRA, ANDRESSA ; GAMA, ELIAKIM ; MORAES, JOSÉ PAULO RODRIGUES ; ALVES, LUCAS VIEIRA ; BARBOSA, MARX HARON ; CHAGAS, MATHEUS LIMA ; FREIRE, EMMANUEL SÁVIO SILVA ; CORTÉS, MARIELA INÉS . A landscape of the adoption of empirical evaluations in the brazilian symposium on human factors in computing systems. In: the 18th Brazilian Symposium, 2019, Vitória. Proceedings of the 18th Brazilian Symposium on Human Factors in Computing Systems - IHC '19, 2019. p. 1.

• SOUZA, J. T. ; CAMPOS, G. A. L. ; COSTA, L. F. ; MELO, R. T. ; ALVES, L. V. ; ARAUJO, E. W. O. ; ROCHA, C. L. . An Artificial Agent to Recommend Activities to Minimize Childhood Obesity Problems in an IoT System. In: Escola Regional de Computação Aplicada à Saúde (ERCAS 2019), 2019, Teresina. Anais da Escola Regional de Computação Aplicada à Saúde, 2019.

• MAIA, PAULO HENRIQUE ; VIEIRA, LUCAS ; CHAGAS, MATHEUS ; YU, YIJUN ; ZISMAN, ANDREA ; NUSEIBEH, BASHAR . Dragonfly: a Tool for Simulating Self-Adaptive Drone Behaviours. In: 2019 IEEE/ACM 14th International Symposium on Software Engineering for Adaptive and SelfManaging Systems (SEAMS), 2019, Montreal. 2019 IEEE/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2019. p. 107.

Outras produções

Projetos de pesquisa

• 2022 - 2023

  HIP, Descrição: Hybrid Integration Platform (HIP), projeto que consiste na criação de um framework para ingestão de dados para criação de um datalake para aplicação de uma abordagem data-driven decision em um contexto financeiro. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Lucas Vieira Alves - Integrante / Emanuelle Nogueira Jucá - Coordenador.

• 2020 - 2022

  Projeto Plat-IoT - Plataforma aberta de tecnologias para internet das coisas e suas aplicações, Descrição: O Projeto "PLATAFORMA IoT - PLATAFORMA ABERTA DE TECNOLOGIAS PARA INTERNET DAS COISAS E SUAS APLICAÇÕES" visa desenvolver e demonstrar tecnologias destinadas a aplicações do tipo Cidades Inteligentes, com foco em Segurança Pública, Mobilidade Urbana e Saúde Pública, apoiando-se em um framework arquitetural básico de Internet das Coisas ou IoT (Internet of Things).. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Lucas Vieira Alves - Integrante / Emanuelle Nogueira Jucá - Coordenador.

• 2018 - Atual

  Cautious Adaptation of Systems of Systems, Descrição: This project aims to propose a 'cautious' adaptation approach that supports changing the behaviour of such defiant components at runtime under exceptional conditions to satisfy global requirements while continuing to guarantee the satisfaction of the components? individual requirements. This means that the adaptation will not interfere with the original functionality of the participating components during their normal use, and will only be triggered in exceptional conditions. To achieve that, the research aims at: (i) investigating the use of scenarios as an intuitive and formal notation for system behaviour specification and verification; (ii) defining a technique to wrap multiple defiant components such that each of them correctly adapts at runtime during exceptional situations; (iii) implementing a decentralised adaptation decision strategy to deal with heterogeneous defiant components; (iv) engineering a solution that allows learning new unpredicted exceptional circumstances and augmenting the wrapper at runtime in order to address those new situations; (v) evaluating the proposed approach in real case studies... , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (2) Doutorado: (1) . , Integrantes: Lucas Vieira Alves - Integrante / Paulo Henrique Mendes Maia - Coordenador / Matheus Chagas - Integrante.

• 2017 - 2021

  OCARIoT: Smart Childhood Obesity Caring Solution using IoT potential, Descrição: Ocariot is a project co-funded by the European Union`s HORIZON 2020 Programme and the Brazilian Ministry of Science, Technology and Innovation through Rede Nacional de Ensino e Pesquisa (RNP). The project began in November 2017 and has a duration of three years. Child obesity is the major pediatric public health concern, affecting around 224 million school-age children in the world. Its prevalence has tripled in many European countries since 1980, increasing in an alarming rate. Childhood obesity already affects more than one in three school-aged children in Brazil, Greece and Spain. The main goal of OCARIoT is to promote the improvement of eating and physical disorders and also the prevention of the obesity onset for children (between 9 and 12 years old). For doing so, OCARIoT will develop an IoT-based personalised coaching solution guiding children to adopt healthy eating and physical activity behaviour. The IoT network will allow observing child activity patterns of daily living, health evolution, physiological & behavioural parameters and environmental data. All this information combined with medical patterns will allows OCARIoT to provide a customised obesity coaching plan while enabling children to remain active and engaged in their well-being and healthy habits management. The proposed solution will be able to empower children (and also educational staff and families) in taking control of their health by collecting real-time information about nutrition and physical activity, and interconnecting doctors and children (including parents and tutors) in order to adapt the individual obesity coaching plan. OCARIoT will demonstrate and validate its results on three specific pilot sites in Spain, Greece and Brazil. The OCARIoT consortium will ensure children`s rights and data privacy, security and confidentiality through an Ethics Board composed by healthcare professionals and children representatives from different EU and Brazil organisations.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (3) Doutorado: (1) . , Integrantes: Lucas Vieira Alves - Integrante / Jerfferson Teixeira de Souza - Integrante / Gustavo Augusto Lima de Campos - Integrante / Leonardo Ferreira da Costa - Integrante / Rodrigo Teixeira de Melo - Integrante / Cleilton Lima Rocha - Coordenador / Eriko Werbet de Oliveira Araujo - Integrante.

Projetos de desenvolvimento

• 2023 - 2024

  SIASE-T, Descrição: Projeto que pesquisa e desenvolvimento para limpeza, migração e ingestão de dados provenientes de bancos de dados separados sobre o domínio de distribuição energética no brasil criação de um data werehouse. Projeto em parceria com a ANEEL Agência Nacional de Energia Elétrica.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Lucas Vieira Alves - Coordenador / Gabriela C Costa Barbosa - Integrante.