UNDAV Digital

Listar Trabajos presentados a eventos por autor "Rodriguez Caldeira, Luciana"

Listar Trabajos presentados a eventos por autor "Rodriguez Caldeira, Luciana"

Ordenar por:Orden:Resultados:

  • A Parallel Tableau Algorithm for BIG DATA Verification 
    Asteasuain, Fernando; Rodriguez Caldeira, Luciana (Red de Universidades con Carreras en Informática, 2020)
    Big data systems are becoming more and more present in our everyday life generating data and information that needs to be explored and analyzed. In this sense, formal verification tools and techniques must provide solutions ...
  • An expressive and enriched specification language to synthesize behavior in BIG DATA systems 
    Asteasuain, Fernando; Rodriguez Caldeira, Luciana (Red de Universidades con Carreras en Informática, 2021)
    In this work we extend our behavioral specification and controller synthesis framework FVS to deal with BIG DATA requirements. For one side, we enriched FVS expressive power by exhibiting how our language can handle fluents ...
  • Verificación formal de software en sistemas de big data 
    Asteasuain, Fernando; Aragón, Rafael; Rodriguez Caldeira, Luciana; Granata, Nicolás; Patera, Nahuel; Gamboa, Pablo; Feng, Hang Shao (Red de Universidades con Carreras en Informática, 2022)
    La Ingeniería de Software debe evolucionar para poder enfrentar los desafíos de un mundo moderno híper conectado y con grandes volúmenes de información y datos disponibles para ser analizados. En este contexto, nuevas ...

Buscar en UNDAV Digital


Listar

Mi cuenta