DSpace Repository

Producción científica y tecnológica

Producción científica y tecnológica

 

Organiza, preserva y difunde en Acceso Abierto la producción científico-tecnológica edita e inédita de los docentes, investigadores, tecnólogos, becarios y estudiantes de postgrado; a fin de dar cumplimiento a lo establecido en la Ley 26899 (de Creación de Repositorios Digitales Institucionales de Acceso Abierto, Propios o Compartidos), que promueve el acceso libre y gratuito al conocimiento científico.

Para saber cómo enviar su producción mediante el autoarchivo, consulte la "Guía de autoarchivo en el repositorio institucional".

Si tiene dudas sobre qué implica realizar el autoarchivo de su trabajo, qué tipo de materiales puede enviar y cómo protegemos sus derechos de autoría, puede consultar las "Preguntas frecuentes sobre el repositorio institucional" o escribirnos a repositorio@undav.edu.ar.

Para conocer las normas establecidas para el funcionamiento del Repositorio Documental y de Datos de la UNDAV, que establecen los principios que rigen su operación y cómo deben ser tratados los contenidos incluidos en él, puede consultar las Políticas de uso del repositorio institucional.

Collections in this community

  • Revista multidisciplinaria en Ciencias, Arte y Tecnología, editada por la Secretaría de Investigación y Vinculación Tecnológica e Institucional de la Universidad Nacional de Avellaneda
  • Documentos de trabajo, monografías, informes técnicos, informes de avances e informes finales.
  • Esta colección reúne libros y capítulos de libros publicados en ediciones científicas revisadas por pares.
  • Tesis de postgrado (doctorado, maestría, especialización)
  • Comunicaciones y presentaciones realizadas en eventos científicos (congresos, encuentros, simposios, jornadas, etc.).
  • Esta colección reúne artículos, reseñas y demás tipos de trabajos publicados en revistas científicas revisadas por pares.

Recent Submissions

  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • Asteasuain, Fernando; Graiño, Claudio; Dubinsky, Manuel (Sociedad Argentina de Informática e Investigación Operativa, 2017)
    In this article 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 execution is monitored in order ...
  • 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, ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • Pazos, Fernando; Felicioni, Flavia E. (Complex Systems Publications, 2021)
    The recent worldwide epidemic of COVID-19 disease, for which there are no medications to cure it and the vaccination is still at an early stage, led to the adoption of public health measures by governments and populations ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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. ...

View more