| 2025 | FASE | ESBMC v7.7: Automating Branch Coverage Analysis Using CFG-Based Instrumentation and SMT Solving - (Competition Contribution). | Chenfeng Wei, Tong Wu, Rafael S Menezes, Fedor Shmarov, Fatimah Aljaafari, Sangharatna Godboley, Kaled M. Alshmrany, Rosiane de Freitas, Lucas C. Cordeiro |
| 2025 | VISIGRAPP | Comparative Analysis of Deep Learning-Based Multi-Object Tracking Approaches Applied to Sports User-Generated Videos. | Elton Alencar, Larissa Pessoa, Fernanda Costa, Guilherme Souza, Rosiane de Freitas |
| 2024 | CLEI | Measuring the Execution Time of Programs from different Android Embedded Programming Languages. | Ricardo Miranda Filho, Ricardo Bonfim, Larissa Pessoa, Raimundo S. Barreto, Rosiane de Freitas |
| 2024 | COCOON | Graph Convexity Partizan Games: Complexity and Winning Strategies. | Samuel N. Arajo, Joo Marcos Brito, Raquel Folz, Rosiane de Freitas, Rudini Menezes Sampaio |
| 2024 | VISSOFT | Where Did My Memory Go? An Interactive Visualization Approach to Investigate Memory Consumption on Android Devices. | Girlana Souza, Pedro Matias, Ricardo Miranda Filho, Edwin Monteiro, Raimundo S. Barreto, Rosiane de Freitas |
| 2023 | FASE | FuSeBMC_IA: Interval Analysis and Methods for Test Case Generation - (Competition Contribution). | Mohannad Aldughaim, Kaled M. Alshmrany, Mikhail R. Gadelha, Rosiane de Freitas, Lucas C. Cordeiro |
| 2023 | LAGOS | Complexity and winning strategies of graph convexity games (Brief Announcement). | Samuel N. Arajo, Raquel Folz, Rosiane de Freitas, Rudini M. Sampaio |
| 2022 | CLEI | Solving real urban VRPTW instances by applying a Branch-Cut-and-Price via VRPsolver. | Thailsson Clementino, Juan Rosas, Rosiane de Freitas, Eduardo Uchoa |
| 2022 | ISSTA | ESBMC-Jimple: verifying Kotlin programs via jimple intermediate representation. | Rafael Menezes, Daniel Moura, Helena Cavalcante, Rosiane de Freitas, Lucas C. Cordeiro |
| 2021 | CLEI | Optimal scheduling of arborescences using the Gangal-Ranade algorithm. | Rosiane de Freitas, Elton Lever, Raquel Folz, Yuri Gagarin Soares, Fbio Pimentel, Marcos M. Salvatierra |
| 2021 | CLEI | Improvement of SARS-CoV-2 macromolecule conformation by algorithmic structural prediction. | Clarice de Souza, Joo Alfredo Bessa, Rosiane de Freitas, Micael Oliveira, Kelson Mota |
| 2020 | CLEI | Applying supervised learning techniques to Brazilian music genre classification. | Jlia Luiza Conceio, Rosiane de Freitas, Bruno Gadelha, Joo Gustavo Kienen, Srgio Anders, Brendo Cavalcante |
| 2020 | CLEI | Mistura de Gneros e Habilidades no Desenvolvimento de um Aplicativo Mvel para Mulheres em Situaes de Risco (Gender Mixing and Skills in Developing a Mobile Application for Women at Risk). | Rosiane de Freitas, Juliana Magalhes, Bruna Mariana Souza, Jlia Luiza Conceio, Maria Luiza Edwards, Joseph Paz, Leonardo da Silva, Matheus Uchoa |
| 2020 | CLEI | W-STEAM Card Game to Develop Computational Thinking. | Victria Guimares, Ariel Luane Bentes, Raquel Folz, Thiago Melo, Rosiane de Freitas |
| 2020 | CLEI | A mobile game based on participatory sensing with real-time client-server architecture for large entertainment events. | Gustavo de Freitas Martins, Rosiane de Freitas, Bruno Gadelha |
| 2019 | ICALT | Gamification and Engagement: Development of Computational Thinking and the Implications in Mathematical Learning. | Fernanda Pires, Fbio Michel Maquin de Lima, Rafaela Melo, Joo Ricardo Serique Bernardo, Rosiane de Freitas |
| 2018 | FIE | Encouraging Women to Pursue a Computer Science Career in the Context of a Third World Country. | Ludymila Lobo de Aguiar Gomes, Jos Reginaldo Hughes Carvalho, Tanara Lauschner, Fabola G. Nakamura, Rosiane de Freitas |
| 2017 | CLEI | Choosability in coloring problems of graphs with restricted color lists. | Simone Gama, Rosiane de Freitas, Mario Salvatierra |
| 2016 | ICCS | Applying MGAP Modeling to the Hard Real-time Task Allocation on Multiple Heterogeneous Processors Problem. | Eduardo Bezerra Valentin, Rosiane de Freitas, Raimundo S. Barreto |
| 2014 | IPCCC | Virtual structures and heterogeneous nodes in dependency graphs for detecting metamorphic malware. | Gilbert Breves Martins, Rosiane de Freitas, Eduardo Souto |
| 2013 | CLEI | Sphere intersection algorithms for Molecular Distance Geometry Problem. | Clarice Santos, Rosiane de Freitas, Mario Salvatierra |