Trabajos presentados a eventos: Recent submissions

  • Dynamic Validation of Software Architectural Connectors 
    Asteasuain, Fernando; Graiño, Claudio; Dubinsky, Manuel (Sociedad Argentina de Informática e Investigación Operativa (SADIO), 2016)
    In this work we present an approach to dynamically validate the usage of software connectors in the context of software architectures. By employing aspect oriented techniques the system’s execution is monitored in order ...
  • Especificaciones formales tempranas del comportamiento de sistemas de software 
    Asteasuain, Fernando; Dubinsky, Manuel; Díaz, Federico José; Lagostena, Juan (Red de Universidades con Carreras en Informática, 2017)
    El objetivo general del presente proyecto es facilitar la especificación formal del comportamiento de artefactos de software. La especificación formal del comportamiento esperado de artefactos de software ha sido identificada ...
  • Algoritmos de regresión lineal aplicados al mantenimiento de un datacenter 
    D'Angiolo, Federico Gabriel; Kwist, Iván Federico; Loiseau, Matías; Contreras, David Exequiel; Asteasuain, Fernando (Red de Universidades con Carreras en Informática, 2019)
    En el presente Trabajo se describe la aplicación de Algoritmos de Regresión Lineal al estudio del comportamiento climático de un Datacenter. Este análisis permite comprender cómo varían la temperatura y la humedad, con el ...
  • Exploring Architectural Model Checking with Declarative Specifications 
    Asteasuain, Fernando; Tarulla, Francisco (Red de Universidades con Carreras en Informática, 2017)
    In this work we explore the FVS language in the context of architectural behavior model checking. FVS holds desirable characteristics for this particular domain. Its flexible notation enables the possibility of performing ...
  • Exploring Specification Pattern based Behavioral Synthesis with Scenario Clauses 
    Asteasuain, Fernando; Calonge, Federico; Dubinsky, Manuel (Red de Universidades con Carreras en Informática, 2018)
    The Software Engineering community has identified behavioral specification as one of the main challenges to be addressed for the transference of formal verification techniques such as model checking. In particular, ...
  • Una metaheurística GRASP para integración en grafos 
    Dubinsky, Manuel; Massri, César; Asteasuain, Fernando (Sociedad Argentina de Informática e Investigación Operativa, 2017)
    Given an edge-weighted graph, we analyze the problem of finding an orientation of its edges and a function on its nodes, such that for each oriented edge the consistent subtraction of the function on its incident vertices ...
  • Aplicaciones inteligentes sobre internet de las cosas y grandes volúmenes de datos: un enfoque riguroso 
    Asteasuain, Fernando; D'Angiolo, Federico; Dubinsky, Manuel; Pazos, Fernando; Kwist, Iván; Loiseau, Matías; Contreras, David; Calonge, Federico (Red de Universidades con Carreras en Informática, 2020)
    Día tras días se generan millones y millones de nuevos datos y la cantidad de información a procesar es un desafío creciente. Entre los más destacados podemos mencionar el crecimiento exponencial de la “Internet de las ...
  • Algoritmo recursivo de mínimos cuadrados: identificación de modelos de plantas de primer orden para procesos industriales 
    Rieiro Soñez, Gastón; D’Angiolo, Federico Gabriel; Asteasuain, Fernando; Mayer, Roberto Osvaldo (Sociedad Argentina de Informática e Investigación Operativa, 2020)
    En el presente trabajo se analiza el algoritmo Recursivo de Mínimos Cuadrados para identificar los parámetros de una Planta de primer orden. Para esto, el algoritmo se implementa en una placa EDU-CIAA dado que contiene un ...
  • Verification and Behavioral Synthesis of Agent-Based Systems 
    Asteasuain, Fernando; D'Angiolo, Federico; Dubinsky, Manuel; Gamboa, Pablo Daniel (Sociedad Argentina de Informática, 2020)
    In this work we explore the FVS language as a formalism to express, validate and synthesize behavior in the agent-based systems' world. Recent work relates Behavioral Synthesis with agent-based systems, opening the possibility ...
  • 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 ...
  • Aspect Oriented Behavioral Synthesis 
    Asteasuain, Fernando; Calonge, Federico; Gamboa, Pablo (Red de Universidades con Carreras en Informática, 2019)
    Modern modularization techniques such as Aspect Orientation require powerful and expressive enough specification languages in order to conceive the development of a system as the combination of the different views it is ...
  • 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 ...
  • Implementación y Análisis de rendimiento de Algoritmos Criptográficos para aplicaciones en Sistemas Embebidos 
    González, María Sol; Roldán, Graciana; D’Angiolo, Federico Gabriel; Asteasuain, Fernando (Sociedad Argentina de Informática e Investigación Operativa, 2021)
    El presente trabajo describe la implementación y análisis de algoritmos criptográficos en Sistemas Embebidos. Los algoritmos bajo estudio son: AES y RSA. El objetivo es comparar y determinar cuál de estos algoritmos resulta ...
  • A flexible and expressive formalism to specify Metamorphic Properties for BIG DATA systems validation 
    Asteasuain, Fernando (Red de Universidades con Carreras en Informática, 2022)
    BIG DATA systems represent a huge challenge for software engineering validations tasks since they have been classified as “non testable”. Metamorphic Relationships (MR) have been proposed as a technique to overcome this ...
  • 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 ...
  • Desarrollo de computadoras de a bordo para misiones satelitales de órbita baja 
    Asteasuain, Fernando; Collado, Federico; Pazos, Fernando; D’Angiolo, Federico; Dubinsky, Manuel; Loiuseau, Matías; Aparicio, Noelia; Caceres, Katherine; Guanco, Leonardo (Red de Universidades con Carreras en Informática, 2023)
    La industria aeroespacial se ha convertido en los últimos años en una de las áreas de mayor potencial dentro del mundo software tecnológico. En particular, el diseño y desarrollo de los denominados nano satélites ha crecido ...
  • Diseño de generador eólico de baja potencia con materiales reciclados 
    Colombo, Silvio; Flores, Martín; Galarraga, Gonzalo; Mesiti, Nicolás; Muñoz, Carlos (Comisión de Investigaciones Científicas de la Provincia de Buenos Aires, 2022)
    La creciente demanda de energía eléctrica a nivel global, como así también los avances en relación al cuidado del medio ambiente nos obligan a desarrollar nuevas tecnologías de generación cada vez más eficientes y al mismo ...
  • Modelado de comportamiento de conectores de software a través de lenguajes declarativos 
    Asteasuain, Fernando; Tarulla, Francisco (Universidad Católica de Salta. Facultad de Ingeniería, 2016)
    La descripción del comportamiento arquitectónico de un sistema requiere contar con una notación expresiva y flexible para poder explorar y razonar sobre las distintas alternativas posibles evitando tomar decisiones prematuras. ...
  • Addressing the state explosion problem for big data systems formal verification 
    Asteasuain, Fernando (Red de Universidades con Carreras en Informática, 2023)
    The formal verification of BIG DATA systems remains as a challenging task to be addressed since a very large and complex state space describing the behavior of the system must be explored and verified. In particular, the ...
  • Caracterización de procesos de soldadura en la industria alimenticia. La soldadura láser como herramienta de optimización y certificación tecnológica y sanitaria 
    Colombo, Silvio; Herrera, Ricardo; Martínez, Isabel; Muñoz, Carlos; Sabio, Eduardo (Universidad Nacional del Litoral, 2024)

Search DSpace


Browse

My Account