Rosiane de Freitas

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 30

Top Topics

Interval Analysis

Music Genre Classification

Keyword Queries

Top Venues

Publications

Samuel N. Araújo, João Marcos Brito, Raquel Folz, Rosiane de Freitas, Rudini M. Sampaio
Graph convexity impartial games: Complexity and winning strategies. Theor. Comput. Sci. 998 (2024)
Víctor A. Braberman, Flavia Bonomo-Braberman, Yiannis Charalambous, Juan Gabriel Colonna, Lucas C. Cordeiro, Rosiane de Freitas
Tasks People Prompt: A Taxonomy of LLM Downstream Tasks in Software Verification and Falsification Approaches. CoRR (2024)
Rafael Sá Menezes, Edoardo Manino, Fedor Shmarov, Mohannad Aldughaim, Rosiane de Freitas, Lucas C. Cordeiro
Interval Analysis in Industrial-Scale BMC Software Verifiers: A Case Study. CoRR (2024)
Mohannad Aldughaim, Kaled M. Alshmrany, Mikhail R. Gadelha, Rosiane de Freitas, Lucas C. Cordeiro
FuSeBMC_IA: Interval Analysis and Methods for Test Case Generation - (Competition Contribution). FASE (2023)
Samuel N. Araújo, Raquel Folz, Rosiane de Freitas, Rudini Sampaio
Complexity and winning strategies of graph convexity games (Brief Announcement). LAGOS (2023)
Péricles Silva de Oliveira, Altigran S. da Silva, Edleno Silva de Moura, Rosiane de Freitas
Efficient Match-Based Candidate Network Generation for Keyword Queries Over Relational Databases. IEEE Trans. Knowl. Data Eng. 34 (4) (2022)
Rafael Menezes, Daniel Moura, Helena Cavalcante, Rosiane de Freitas, Lucas C. Cordeiro
ESBMC-Jimple: verifying Kotlin programs via jimple intermediate representation. ISSTA (2022)
Thailsson Clementino, Juan Rosas, Rosiane de Freitas, Eduardo Uchoa
Solving real urban VRPTW instances by applying a Branch-Cut-and-Price via VRPsolver. CLEI (2022)
Clarice de Souza, Micael Oliveira, João Alfredo Bessa, Kelson Mota, Rosiane de Freitas
3D structural prediction, analysis and validation of Sars-Cov-2 protein molecules. CLEI Electron. J. 25 (2) (2022)
Rafael Menezes, Daniel Moura, Helena Cavalcante, Rosiane de Freitas, Lucas C. Cordeiro
ESBMC-Jimple: Verifying Kotlin Programs via Jimple Intermediate Representation. CoRR (2022)
Elian Souza, Edwin Monteiro, Raimundo S. Barreto, Rosiane de Freitas
A Context-Aware Automatic Smartphone Reconfiguration. ICCE (2022)
Isac M. Lacerda, Eber A. Schmitz, Jayme Luiz Szwarcfiter, Rosiane de Freitas
Empirical Evaluation of Project Scheduling Algorithms for Maximization of the Net Present Value. CoRR (2022)
Gustavo de Freitas Martins, Genildo Gomes, Júlia Luiza Conceição, Leonardo C. Marques, Dan da Silva, Thais Castro, Bruno Gadelha, Rosiane de Freitas
Bumbometer digital crowd game: collaboration through competition in entertainment events. J. Interact. Syst. 12 (1) (2021)
Clarice de Souza, João Alfredo Bessa, Rosiane de Freitas, Micael Oliveira, Kelson Mota
Improvement of SARS-CoV-2 macromolecule conformation by algorithmic structural prediction. CLEI (2021)
Rosiane de Freitas, Elton Lever, Raquel Folz, Yuri Gagarin Soares, Fábio Pimentel, Marcos M. Salvatierra
Optimal scheduling of arborescences using the Gangal-Ranade algorithm. CLEI (2021)
Rosiane de Freitas, João M. B. Cavalcanti, Sergio Cleger, Niro Higuchi, Carlos Henrique Souza Celes, Adriano Jose Nogueira Lima
Estimating Amazon carbon stock using AI-based remote sensing. Commun. ACM 63 (11) (2020)
Gustavo de Freitas Martins, Genildo Gomes, Júlia Luiza Conceição, Leonardo C. Marques, Dan da Silva, Thais Castro, Bruno Gadelha, Rosiane de Freitas
Enhanced interaction: audience engagement in entertainment events through the Bumbometer app. IHC (2020)
Victoria Guimarães, Ariel Luane Bentes, Raquel Folz, Thiago Melo, Rosiane de Freitas
W-STEAM Card Game to Develop Computational Thinking. LAWCC@CLEI (2020)
Júlia Luiza Conceição, Rosiane de Freitas, Bruno Gadelha, João Gustavo Kienen, Sérgio Anders, Brendo Cavalcante
Applying supervised learning techniques to Brazilian music genre classification. CLEI (2020)
Genildo Gomes, Rosiane de Freitas, Thais Castro, Bruno Gadelha
InteraHeu: heuristics for technological interaction on events. IHC (2020)
Gustavo de Freitas Martins, Rosiane de Freitas, Bruno Gadelha
A mobile game based on participatory sensing with real-time client-server architecture for large entertainment events. CLEI (2020)
Rosiane de Freitas, Juliana Magalhães, Bruna Mariana Souza, Júlia Luiza Conceição, Maria Luiza Edwards, Joseph Paz, Leonardo da Silva, Matheus Uchoa
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 (2020)
Fernanda Pires, Fabio Michel Maquine Lima, Rafaela Melo, João Ricardo Serique Bernardo, Rosiane de Freitas
Gamification and Engagement: Development of Computational Thinking and the Implications in Mathematical Learning. ICALT (2019)
Simone Gama, Rosiane de Freitas, Mário Salvatierra
Choosability in bounded sequential list coloring. CoRR (2018)
Eduardo Valentin, Rosiane de Freitas, Raimundo S. Barreto
Towards optimal solutions for the low power hard real-time task allocation on multiple heterogeneous processors. Sci. Comput. Program. 165 (2018)
Victor Vasconcelos, Mauro Amazonas, Thais Castro, Rosiane de Freitas, Bruno Gadelha
Watch or Immerse?: Redefining Your Role in Big Shows. IHC (2018)
Ludymila Lobo de Aguiar Gomes, José Reginaldo Hughes Carvalho, Tanara Lauschner, Fabilo G. Nakamura, Rosiane de Freitas
Encouraging Women to Pursue a Computer Science Career in the Context of a Third World Country. FIE (2018)
Simone Gama, Rosiane de Freitas, Mario Salvatierra
Choosability in coloring problems of graphs with restricted color lists. CLEI (2017)
Eduardo Valentin, Rosiane de Freitas, Raimundo S. Barreto
Reaching Optimum Solutions for the Low Power Hard Real-Time Task Allocation on Multiple Heterogeneous Processors Problem. SBESC (2016)
Eduardo Bezerra Valentin, Rosiane de Freitas, Raimundo S. Barreto
Applying MGAP Modeling to the Hard Real-time Task Allocation on Multiple Heterogeneous Processors Problem. ICCS (2016)
Eduardo Valentin, Mario Salvatierra, Rosiane de Freitas, Raimundo S. Barreto
Response time schedulability analysis for hard real-time systems accounting DVFS latency on heterogeneous cluster-based platform. PATMOS (2015)
Gilbert Breves Martins, Rosiane de Freitas, Eduardo Souto
Virtual structures and heterogeneous nodes in dependency graphs for detecting metamorphic malware. IPCCC (2014)
Clarice Santos, Rosiane de Freitas, Mario Salvatierra
Sphere intersection algorithms for Molecular Distance Geometry Problem. CLEI (2013)