-
Research projects that I have been involved
-
ASTRA / VITALITY (PNRR MUR project VITALITY (ECS00000041), MUR - Ministero dell’Università e della Ricerca & PNRR - Piano nazionale di ripresa e resilienza) - Italy
- Period: 2022 - current.
- ASTRA - Advanced Space Technologies and Research Alliance - aims at investigating and developing innovative software architectures for new space applications. The idea goes towards a framework that hosts accelerators for artificial intelligence, capable of autonomy on board. This technology should allow maneuvers, reconfigurations, and on-board diagnostics-based artificial intelligence, as well as update of software when the satellite is in orbit. Further information: Vitality / ASTRA.
- Keywords: space, software architecture, artificial intelligence, devops.
- -
COBOL – COmmunity-Based Organized Littering (PRIN project) - Italy
- Period: 2024 - current.
- Littering is a major problem that threatens the environment (e.g., causing fire hazards, air pollution and street flooding), the society (e.g., causing human health hazards), and the economy (e.g., causing significant expenses for administrations and municipalities). The root of littering is indeed in the society and cannot be feasibly solved by the authorities alone: addressing littering requires everyones’ commitment. Managing littering is a multi-facet problem that requires the cooperation of different professionalisms and agencies. The project focuses on illegal dumping and addresses the automated localization and identification of abandoned littering and of managing its proper disposal in an integrated, and flexible way. Website: COBOL.
- Keywords: sustainability, environment, business processing, self-adaptive processes, waste detection in images.
- -
Prioritization of Software Test Cases by employing Markov Chains
- Period: 2020 - current.
- Software testing has become an important asset to qualify software, in particular, critical software, such as those of space applications. Once the software is modeled as a Finite State Machine (FSM), it is possible to apply criteria or methods to generate test cases or test sequences. However, depending on the criteria, a large number of software test cases are generated and it may not be possible to exercise all the test cases. This project has the objective of investigating the use of the steady-state probabilities, obtained by means of solving a Markov chain (modeled as a FSM), in order to rank the test cases and it is up to the test manager to exercise as many test cases as possible based on the available budget and time constraints. More details available in our publications:
- (2023) IFIP International Conference on Testing Software and Systems (ICTSS).
- (2022) Information and Software Technology Journal.
- Keywords: software testing, test case prioritization, Markov chain.
- -
Pauliceia: Collaborative Mapping of the History of São Paulo (1870-1940) (Fapesp - São Paulo Research Foundation (2020/03700-7) and CNPq - National Council for Scientific and Technological Development) - Brazil.
- Period: 2020 - current.
- The project foresees an open and collaborative platform for Historians on the web, a historical digital cartographic base of the city of São Paulo, referring to the period of its urban-industrial modernization (1870-1940). It offers an interface that allows interactivity of interested researchers, so that they can feed the available database with spatializable events from their own investigations. This way, interested researchers will be able to produce maps and visualizations of their respective research. This actual phase aims to expand the spatial coverage, the platform's functionalities, the engagement of the target community and the conditions for replicating the project to other cities. Project website here.
- Keywords: digital humanities technologies, collaborative systems, volunteered geographic information.
- -
Formal Verification of Blockchain Smart Contracts
- Period: 2020 - 2021.
- Within the context of Blockchains, Smart Contracts are codes to ensure agreement among the parties. The main essence of Blockchain concept is that such codes are unchangeable. This means, if the code has some flaw, there is no option to fix it. Therefore, this leads to the importance and validation (tests) and verification (correctness) of such codes besides looking into code vulnerabilities (security). The project will develop a Systematic Mapping (SM) to understand what the available methods and/or tools are to validate, verify and ensure removing vulnerabilities. The second step, based on the results of the SM, is to adopt or develop a method/tool for the proposed purpose. More details available in our publication:
- (2021) International Conference on Computational Science and Its Applications (ICCSA).
- Keywords: blockchain, smart contracts, verification, vulnerabilities, security.
- -
DeepLIBRAS: Brazilian Sign Language Translation via Machine Learning Techniques (Edital PRP 823/2018 - IFSP) - Brazil.
- Period: 2016 - 2021.
- This project aims to generate a global model for the interpretation of the Brazilian Sign Language (LIBRAS). To achieve this purpose, the project attacks different aspects of LIBRAS in isolation: hand configuration, point of articulation, movement and facial and body expression. Project website here.
- Keywords: assistive technology, inclusion, machine learning.
- -
A model for supporting physiotherapeutic treatment in patients with chronic backache
- Period: 2016 - 2021.
- Spinal pain is one of the biggest problems today. In a study published in 2015 by collaborators of the Global Burden of Disease Study, in Brazil, low back pain is ranked first among the disorders that cause the most years of life lost and disability. Neck pain is ranked fourth. The project is divided into two phases: initially, the aim is to analyze databases from a physiotherapy clinic existing since 2008 with 2000 patients. The idea is to carry out pre-processing and make the data ready for Artificial Intelligence algorithms to be applied. The second phase aims to characterize the evolution of patients with spinal pain undergoing physiotherapeutic treatment based on scientific evidence, in addition to outlining their profile, which makes it possible to develop a more efficient action plan. More details available in our publications:
- (2021) Iberian Conference on Information Systems and Technologies (CISTI).
- (2019) Brazilian Symposium on Multimedia and Web (WebMedia).
- Keywords: data analysis, spine pain, decision making, medical treatment, prognostics and health management, information systems.
- -
VVTransv: A Method for Testing and Formal Verification for the Development of Critical Systems (Fapesp - São Paulo Research Foundation (2012/23767-2)) - Brazil.
- Period: 2013 - 2016.
- In order to ensure that the software developed is of high quality, testing and formal verification activities must be carried out. However, the practical feasibility of carrying out these activities depends on development methods that explore the joint use of techniques, as well as tools that help them to be carried out, since the execution of both usually constitutes a high cost for software development. In view of the need to facilitate testing and formal verification of mission-critical software systems, this project proposes to develop an integrated methodology, with the support of computational tools, for the formal verification and testing of these systems, taking into account reducing the costs of Verification and Validation activities. The main objects of study that constitute a scientific challenge to the project are the exploration of the complementarity of the two activities across the development of critical systems, to enable the joint use of these activities and evaluate the cost of their application. The case studies, which will be used in this project, are based on space software developed in projects at the National Institute for Space Research (INPE). More details available in our publications:
- (2019) International Journal of Computer Applications in Technology.
- (2019) Brazilian Symposium on Systematic and Automated Software Testing (SAST).
- (2017) International Conference on Computational Science and Its Applications (ICCSA).
- Keywords: software testing, formal verification, space applications.
- -
Formal Software Verification for the protoMIRAX Scientific Experiment project (CNPq - National Council for Scientific and Technological Development (455097/2013-5)) - Brazil.
Planning and performance evaluation of access technologies aimed at digital inclusion: approaches based on modeling and measurement (CAPES Foundation (0226/05-0)) - Brazil.
- Period: 2006 - 2010.
- This project aims to consolidate cooperation between the research groups of PPGCC-UFPA (Federal Univesity of Pará), LAC-INPE (National Institute for Space Research) and IEC-ITA (Aeronautics Institute of Technology), with the purpose of creating a framework (based on measurement and modeling) that supports decision-making for the implementation of access technologies aimed at enabling strategic applications to the country and strongly to the Amazon region. Project website here (in Portuguese).
- Keywords: management knowledge, inclusion, decision-making, public policy.
- -
Projects applied to the community that I have been involved
-
IFVest: a platforma to Mathematics studies (Extention edital JCR-68/2022 - IFSP) - Brazil.
- Period: 2020 - 2022.
- This proposal gives public school students the opportunity to improve their knowledge of Mathematics content, which is usually required in the country's main university entrance exams and the National High School Exam (ENEM). Given the reality found in public schools, where the Mathematics course is often not taught by a specialist in the area, this project complements the students' training, allowing closer contact with a Mathematics teacher who can clarify doubts and assist in guiding studies. To this end, it is proposed the development of a web platform for studies, called IFVest, which will have a database of exam questions, in addition to generating simulations and making content summaries for exam avaliations. Extended abstracts related to this project available here and here (in Portuguese), as well as a presentation video (also in Portuguese).
- Keywords: information system, platform development, educational and social development.
- -
Application development for automating the school food control process at the Jacareí City Hall (Extention edital 2020 JCR_039/2021 JCR_511 - IFSP) - Brazil.
- Period: 2019 - 2022.
- This project aims to automate the control of school meals for the network of municipal schools in the city of Jacareí, together with the Municipal Department of Education. Currently, the management of this data is done manually, using printed sheets and spreadsheets, which requires a considerable amount of time and work. With the implementation of the tool, greater agility and less rework are expected. Project website here (in Portuguese).
- Keywords: information system, platform development, public policy.
- -
You should program like a girl (Extention edital 2021 PRX_495 - IFSP) - Brazil.
- Period: 2020 - 2021.
- The “To program like a Girl” project seeks to encourage more girls between 10 and 18 years old to become interested in the area of Exact Sciences, mainly IT and Mathematics. The project intends to visit municipal and state public schools, in the form of modules with four meetings. Each meeting will have workshops, mini-courses and lectures for girls to awaken their interest in these areas of knowledge.
- Keywords: girls in science, education, gender equality.
- -
A framework to alumni of Jacareí campus (Extention edital 2020 PRX_196 /2021 JCR_511 - IFSP) - Brazil.
- Period: 2019 - 2021.
- At the moment, the survey to monitor students leaving the campus is carried out through a questionnaire, available on the institution's website, where information is collected manually, after the students' responses. The aim is to create a web system that allows the management of information provided by students about their current situation, to evaluate the courses, as well as understand the graduate's insertion in society. Furthermore, it is expected that the system can integrate students, providing meetings and providing job opportunities, in addition to encouraging the maintenance of links with the institution, attending internal campus events.
- Keywords: information system, platform development, public policy.
- -