Rosiane de Freitas

56 papers A 1B 4C 12Misc 1Journal 19Unranked 15
YearRankTypeTitle / Venue / Authors
2026 — ed.
Intelligent Systems - 35th Brazilian Conference, BRACIS 2025, Fortaleza-CE, Brazil, September 29 - October 2, 2025, Proceedings, Part I
BRACIS (1)
Rosiane de Freitas, Diego Furtado Silva
2026 — ed.
Intelligent Systems - 35th Brazilian Conference, BRACIS 2025, Fortaleza-CE, Brazil, September 29 - October 2, 2025, Proceedings, Part II
BRACIS (2)
Rosiane de Freitas, Diego Furtado Silva
2026 — ed.
Intelligent Systems - 35th Brazilian Conference, BRACIS 2025, Fortaleza-CE, Brazil, September 29 - October 2, 2025, Proceedings, Part III
BRACIS (3)
Rosiane de Freitas, Diego Furtado Silva
2026 — ed.
Intelligent Systems - 35th Brazilian Conference, BRACIS 2025, Fortaleza-CE, Brazil, September 29 - October 2, 2025, Proceedings, Part IV
BRACIS (4)
Rosiane de Freitas, Diego Furtado Silva
2026 — conf
Track-UGV-SYNC: A Framework for Synchronizing Sports User-Generated Videos Using Multi-Object Tracking Features.
VISAPP (3)
Elton Alencar, Rosiane de Freitas
2025 — conf
A multi-device Android mobile raw log Dataset for intelligent analysis.
SBESC
João Alfredo Bessa, Ricardo Miranda Filho, Raimundo S. Barreto, Rosiane de Freitas
2025 J jnl
Algorithms and complexity of graph convexity partizan games.
Theor. Comput. Sci.
Samuel N. Araújo, João Marcos Brito, Raquel Folz, Rosiane de Freitas, Rudini M. Sampaio
2025 — conf
Comparative Analysis of Deep Learning-Based Multi-Object Tracking Approaches Applied to Sports User-Generated Videos.
VISIGRAPP (2): VISAPP
Elton Alencar, Larissa Pessoa, Fernanda Costa, Guilherme Souza, Rosiane de Freitas
2025 B conf
ESBMC v7.7: Automating Branch Coverage Analysis Using CFG-Based Instrumentation and SMT Solving - (Competition Contribution).
FASE
Chenfeng Wei, Tong Wu, Rafael Sá Menezes, Fedor Shmarov, Fatimah Aljaafari, Sangharatna Godboley, Kaled M. Alshmrany, Rosiane de Freitas, Lucas C. Cordeiro
2025 J jnl
Exploring monotone priority queues for Dijkstra optimization.
RAIRO Oper. Res.
Jonas Costa Ferreira da Silva, Lucas Castro, Rosiane de Freitas
2025 J jnl
Implementation and Brief Experimental Analysis of the Duan et al. (2025) Algorithm for Single-Source Shortest Paths.
CoRR
Lucas Castro, Thailsson Clementino, Rosiane de Freitas
2025 J jnl
Improving polynomial bounds for the Graphical Traveling Salesman Problem with release dates on paths.
CoRR
Thailsson Clementino, Rosiane de Freitas
2025 J jnl
Log parsers' performance on raw logs from Android devices.
J. Internet Serv. Appl.
João Alfredo Bessa, Ricardo Miranda Filho, Girlana Souza, Raimundo S. Barreto, Rosiane de Freitas
2025 — conf
Mitigating High Dimensionality and Few Training Data with a Quantum Kernel Learning Approach.
BRACIS (2)
Mauro Nooblath, João Alfredo Bessa, Rosiane de Freitas
2025 J jnl
Retroactive Monotonic Priority Queues via Range Searching.
CoRR
Lucas Castro, Rosiane de Freitas
2025 — conf
VO-GCSE: Verification Optimization through Global Common Subexpression Elimination.
SIGSOFT FSE Companion
Rafael Sá Menezes, Norbert Tihanyi, Ridhi Jain, Alexander Levin, Rosiane de Freitas, Lucas C. Cordeiro
2024 — conf
A Literature Mapping of the Congress of Latin American Women in Computing (LAWCC) Papers.
LAWCC@CLEI
Maristela Holanda, María Elena García-Díaz, Alexandra González Eras, Carolina González-Süllow, Alicia García-Holgado, Gabriela Marín-Raventós, Donna A. Roper, Germania Rodríguez Morales, Rosiane de Freitas
2024 J jnl
Exploring monotonic priority queues for Dijkstra optimization.
CoRR
Jonas Costa Ferreira da Silva, Lucas Castro, Rosiane de Freitas
2024 — conf
Graph Convexity Partizan Games: Complexity and Winning Strategies.
COCOON (1)
Samuel N. Araújo, João Marcos Brito, Raquel Folz, Rosiane de Freitas, Rudini Menezes Sampaio
2024 J jnl
Graph convexity impartial games: Complexity and winning strategies.
Theor. Comput. Sci.
Samuel N. Araújo, João Marcos Brito, Raquel Folz, Rosiane de Freitas, Rudini M. Sampaio
2024 J jnl
Interval Analysis in Industrial-Scale BMC Software Verifiers: A Case Study.
CoRR
Rafael Sá Menezes, Edoardo Manino, Fedor Shmarov, Mohannad Aldughaim, Rosiane de Freitas, Lucas C. Cordeiro
2024 C conf
Measuring the Execution Time of Programs from different Android Embedded Programming Languages.
CLEI
Ricardo Miranda Filho, Ricardo Bonfim, Larissa Pessoa, Raimundo S. Barreto, Rosiane de Freitas
2024 J jnl
Tasks People Prompt: A Taxonomy of LLM Downstream Tasks in Software Verification and Falsification Approaches.
CoRR
Víctor A. Braberman, Flavia Bonomo-Braberman, Yiannis Charalambous, Juan Gabriel Colonna, Lucas C. Cordeiro, Rosiane de Freitas
2024 B conf
Where Did My Memory Go? An Interactive Visualization Approach to Investigate Memory Consumption on Android Devices.
VISSOFT
Girlana Souza, Pedro Matias, Ricardo Miranda Filho, Edwin Monteiro, Raimundo S. Barreto, Rosiane de Freitas
2024 J jnl
ZoAM GameBot: A Journey to the Lost Computational World in the Amazonia.
ACM Journal on Computing and Cultural Heritage
Larissa Pessoa, Lia Martins, Meng Hsu, Rosiane de Freitas
2023 — conf
Análise comparativa entre linguagens de programação em sistemas embarcados móveis Android.
SBLP
Fernando Neder, Ricardo Miranda Filho, Jônatas Azevedo, Larissa Pessoa, Rosiane de Freitas, Raimundo S. Barreto
2023 C conf
Complexity and winning strategies of graph convexity games (Brief Announcement).
LAGOS
Samuel N. Araújo, Raquel Folz, Rosiane de Freitas, Rudini M. Sampaio
2023 B conf
FuSeBMC_IA: Interval Analysis and Methods for Test Case Generation - (Competition Contribution).
FASE
Mohannad Aldughaim, Kaled M. Alshmrany, Mikhail R. Gadelha, Rosiane de Freitas, Lucas C. Cordeiro
2022 J jnl
3D structural prediction, analysis and validation of Sars-Cov-2 protein molecules.
CLEI Electron. J.
Clarice de Souza, Micael Oliveira, João Alfredo Bessa, Kelson Mota, Rosiane de Freitas
2022 C conf
A Context-Aware Automatic Smartphone Reconfiguration.
ICCE
Elian Souza, Edwin Monteiro, Raimundo S. Barreto, Rosiane de Freitas
2022 J jnl
ESBMC-Jimple: Verifying Kotlin Programs via Jimple Intermediate Representation.
CoRR
Rafael Menezes, Daniel Moura, Helena Cavalcante, Rosiane de Freitas, Lucas C. Cordeiro
2022 A conf
ESBMC-Jimple: verifying Kotlin programs via jimple intermediate representation.
ISSTA
Rafael Menezes, Daniel Moura, Helena Cavalcante, Rosiane de Freitas, Lucas C. Cordeiro
2022 J jnl
Efficient Match-Based Candidate Network Generation for Keyword Queries Over Relational Databases.
IEEE Trans. Knowl. Data Eng.
Péricles Silva de Oliveira, Altigran S. da Silva, Edleno Silva de Moura, Rosiane de Freitas
2022 J jnl
Empirical Evaluation of Project Scheduling Algorithms for Maximization of the Net Present Value.
CoRR
Isac M. Lacerda, Eber A. Schmitz, Jayme Luiz Szwarcfiter, Rosiane de Freitas
2022 C conf
Solving real urban VRPTW instances by applying a Branch-Cut-and-Price via VRPsolver.
CLEI
Thailsson Clementino, Juan Rosas, Rosiane de Freitas, Eduardo Uchoa
2021 J jnl
Bumbometer digital crowd game: collaboration through competition in entertainment events.
J. Interact. Syst.
Gustavo de Freitas Martins, Genildo Gomes, Júlia Luiza Conceição, Leonardo C. Marques, Dan da Silva, Thais Castro, Bruno Gadelha, Rosiane de Freitas
2021 C conf
Improvement of SARS-CoV-2 macromolecule conformation by algorithmic structural prediction.
CLEI
Clarice de Souza, João Alfredo Bessa, Rosiane de Freitas, Micael Oliveira, Kelson Mota
2021 C conf
Optimal scheduling of arborescences using the Gangal-Ranade algorithm.
CLEI
Rosiane de Freitas, Elton Lever, Raquel Folz, Yuri Gagarin Soares, Fábio Pimentel, Marcos M. Salvatierra
2020 C conf
A mobile game based on participatory sensing with real-time client-server architecture for large entertainment events.
CLEI
Gustavo de Freitas Martins, Rosiane de Freitas, Bruno Gadelha
2020 C conf
Applying supervised learning techniques to Brazilian music genre classification.
CLEI
Júlia Luiza Conceição, Rosiane de Freitas, Bruno Gadelha, João Gustavo Kienen, Sérgio Anders, Brendo Cavalcante
2020 — conf
Enhanced interaction: audience engagement in entertainment events through the Bumbometer app.
IHC
Gustavo de Freitas Martins, Genildo Gomes, Júlia Luiza Conceição, Leonardo C. Marques, Dan da Silva, Thais Castro, Bruno Gadelha, Rosiane de Freitas
2020 J jnl
Estimating Amazon carbon stock using AI-based remote sensing.
Commun. ACM
Rosiane de Freitas, João M. B. Cavalcanti, Sergio Cleger, Niro Higuchi, Carlos Henrique Souza Celes, Adriano Jose Nogueira Lima
2020 — conf
InteraHeu: heuristics for technological interaction on events.
IHC
Genildo Gomes, Rosiane de Freitas, Thais Castro, Bruno Gadelha
2020 — conf
Mistura de Gêneros e Habilidades no Desenvolvimento de um Aplicativo Móvel para Mulheres em Situações de Risco (Gender Mixing and Skills in Developing a Mobile Application for Women at Risk).
LAWCC@CLEI
Rosiane de Freitas, Juliana Magalhães, Bruna Mariana Souza, Júlia Luiza Conceição, Maria Luiza Edwards, Joseph Paz, Leonardo da Silva, Matheus Uchoa
2020 — conf
W-STEAM Card Game to Develop Computational Thinking.
LAWCC@CLEI
Victória Guimarães, Ariel Luane Bentes, Raquel Folz, Thiago Melo, Rosiane de Freitas
2019 B conf
Gamification and Engagement: Development of Computational Thinking and the Implications in Mathematical Learning.
ICALT
Fernanda Pires, Fábio Michel Maquiné de Lima, Rafaela Melo, João Ricardo Serique Bernardo, Rosiane de Freitas
2018 J jnl
Choosability in bounded sequential list coloring.
CoRR
Simone Gama, Rosiane de Freitas, Mário Salvatierra
2018 C conf
Encouraging Women to Pursue a Computer Science Career in the Context of a Third World Country.
FIE
Ludymila Lobo de Aguiar Gomes, José Reginaldo Hughes Carvalho, Tanara Lauschner, Fabíola G. Nakamura, Rosiane de Freitas
2018 J jnl
Towards optimal solutions for the low power hard real-time task allocation on multiple heterogeneous processors.
Sci. Comput. Program.
Eduardo Valentin, Rosiane de Freitas, Raimundo S. Barreto
2018 — conf
Watch or Immerse?: Redefining Your Role in Big Shows.
IHC
Victor Vasconcelos, Mauro Amazonas, Thais Castro, Rosiane de Freitas, Bruno Gadelha
2017 C conf
Choosability in coloring problems of graphs with restricted color lists.
CLEI
Simone Gama, Rosiane de Freitas, Mario Salvatierra
2016 Misc conf
Applying MGAP Modeling to the Hard Real-time Task Allocation on Multiple Heterogeneous Processors Problem.
ICCS
Eduardo Bezerra Valentin, Rosiane de Freitas, Raimundo S. Barreto
2016 — conf
Reaching Optimum Solutions for the Low Power Hard Real-Time Task Allocation on Multiple Heterogeneous Processors Problem.
SBESC
Eduardo Valentin, Rosiane de Freitas, Raimundo S. Barreto
2015 — conf
Response time schedulability analysis for hard real-time systems accounting DVFS latency on heterogeneous cluster-based platform.
PATMOS
Eduardo Valentin, Mario Salvatierra, Rosiane de Freitas, Raimundo S. Barreto
2014 C conf
Virtual structures and heterogeneous nodes in dependency graphs for detecting metamorphic malware.
IPCCC
Gilbert Breves Martins, Rosiane de Freitas, Eduardo Souto
2013 C conf
Sphere intersection algorithms for Molecular Distance Geometry Problem.
CLEI
Clarice Santos, Rosiane de Freitas, Mario Salvatierra