DSpace Repository

Browsing Trabajos presentados a eventos by Author "Dubinsky, Manuel"

Browsing Trabajos presentados a eventos by Author "Dubinsky, Manuel"

Sort by: Order: Results:

  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...

Search DSpace


Browse

My Account