Producción científica y tecnológica: Recent submissions

  • Un rancho para Fernando Birri: estrategias proyectuales para una arquitectura de resistencia 
    Diego Martín Fiscarelli; Goldwaser Yankelevich, Nathalie (Facultad de Arquitectura y Urbanismo. Universidad Nacional de La Plata., 2024-07-05)
    Desde mediados del siglo XX, la teoría modernizadora estableció un modelo socio-económico en que lo tradicional se sitúe en las antípodas del progreso, sobre todo para la “subdesarrollada” Latinoamérica. Sin embargo, en ...
  • Una bisagra para las transformaciones de la vida moderna: el fenómeno de la moda en un mundo oxidado 
    Goldwaser Yankelevich, Nathalie (Instituto de Investigación en Diseño de la Facultad de Diseño y Comunicación - Universidad de Palermo, 2024-11-01)
    En el presente artículo se utilizarán dos metáforas que permiten comprender y explicar algunos de los elementos esenciales que hacen a la vida moderna. ¿Cómo es que se sostiene una modernidad que se oxida una y otra vez ...
  • Dirigismo y autoconstrucción: El programa ATEPAM y los debates durante la presidencia de Hilario Zalba en el Instituto de la Vivienda de la provincia de Buenos Aires, Argentina (1958-1962) 
    Longoni, Lucas Emilio; Gregoric, Alejandro; Labra, Claudio Sebastián; Carranza, Martin (Facultad de Arquitectura de la Universidad ORT Uruguay, 2023)
    Con la finalización de la segunda guerra mundial se propagó en Latinoamérica la lógica de la planificación territorial, estimulada desde Estados Unidos a través de centros y entidades hemisféricas que difundieron programas ...
  • 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 ...
  • Dynamic Building of Software Architectural Connectors View 
    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 ...
  • 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 ...
  • A Control Approach to Guide Nonpharmaceutical Interventions in the Treatment of COVID-19 Disease Using a SEIHRD Dynamical Model 
    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 ...
  • 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 ...

Search DSpace


Browse

My Account