Resultados de Búsqueda por Autor

1

Cómputo secuencial eficiente de cotas ajustadas, y su impacto en la performance de los análisis de programas basados en SAT

por Ponzio, Pablo Daniel
Publicado 2014

Aportado por: Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)

Enlace del recurso

Tesis Doctoral

Agregar a favoritos

Guardado en:
2

Cómputo secuencial eficiente de cotas ajustadas, y su impacto en la performance de los análisis de programas basados en SAT

por Ponzio, Pablo Daniel
Publicado 2014

Aportado por: Repositorio Digital de la Universidad de Buenos Aires (UBA)

Enlace del recurso

Enlace del recurso

Tesis doctoral publishedVersion

Agregar a favoritos

Guardado en:
3

Cómputo secuencial eficiente de cotas ajustadas, y su impacto en la performance de los análisis de programas basados en SAT

por Ponzio, Pablo Daniel
Publicado 2014

Aportado por: Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)

Enlace del recurso

Tesis doctoral publishedVersion

Agregar a favoritos

Guardado en:
4

Reparación de programas aplicando templates: generando workarounds permanentes a través de SAT

por Uva, Marcelo, Ponzio, Pablo Daniel, Aguirre, Nazareno Matías
Publicado 2019

Aportado por: SEDICI (UNLP)

Enlace del recurso

Objeto de conferencia

Agregar a favoritos

Guardado en:
5

Implementación Básica de Typestates en Rust

por Arroyo, Marcelo, Gutiérrez Brida, Simón, Ponzio, Pablo Daniel
Publicado 2019

Aportado por: SEDICI (UNLP)

Enlace del recurso

Objeto de conferencia

Agregar a favoritos

Guardado en:
6

Hacia la construccion de drivers eficientes en bounded model checking mediante deteccion automatica de builders

por Politano, Mariano, Bengolea, Valeria S., Ponzio, Pablo Daniel, Aguirre, Nazareno Matías
Publicado 2019

Aportado por: SEDICI (UNLP)

Enlace del recurso

Objeto de conferencia

Agregar a favoritos

Guardado en:
7

Reparación eficiente de estructuras de datos en tiempo de ejecución basada en SAT

por Uva, Marcelo, Ponzio, Pablo Daniel, Regis, Germán, Aguirre, Nazareno Matías
Publicado 2016

Aportado por: SEDICI (UNLP)

Enlace del recurso

Objeto de conferencia

Agregar a favoritos

Guardado en:
8

EvoSpex: An Evolutionary Algorithm for Learning Postconditions

por Molina, Facundo, Ponzio, Pablo Daniel, Aguirre, Nazareno Matías, Frias, Marcelo F.
Publicado 2021

Aportado por: SEDICI (UNLP)

Enlace del recurso

Enlace del recurso

Objeto de conferencia Resumen

Agregar a favoritos

Guardado en:
9

Detección de objetos espurios en generación automática de entradas

por Gutiérrez Brida, Simón, Ponzio, Pablo Daniel, Bengolea, Valeria, Aguirre, Nazareno Matías
Publicado 2019

Aportado por: SEDICI (UNLP)

Enlace del recurso

Objeto de conferencia

Agregar a favoritos

Guardado en:
10

Mejorando la aplicación de abstracción por predicados a especificaciones DynAlloy

por Ariño, Rodrigo, Degiovanni, Renzo, Fervari, Raul, Ponzio, Pablo Daniel, Aguirre, Nazareno Matías
Publicado 2010

Aportado por: SEDICI (UNLP)

Enlace del recurso

Objeto de conferencia

Agregar a favoritos

Guardado en:
11

Towards scaling up DynAlloy analysis using predicate abstraction

por Ariño, Rodrigo, Degiovanni, Renzo, Fervari, Raul, Ponzio, Pablo Daniel, Aguirre, Nazareno Matías
Publicado 2009

Aportado por: SEDICI (UNLP)

Enlace del recurso

Objeto de conferencia

Agregar a favoritos

Guardado en:
12

Darwin: una herramienta para verificar diseños arquitecturales

por Castro, Pablo Francisco, Ponzio, Pablo Daniel, Demasi, Ramiro Adrián, Baum, Gabriel Alfredo
Publicado 2005

Aportado por: SEDICI (UNLP)

Enlace del recurso

Objeto de conferencia

Agregar a favoritos

Guardado en:
13

Verificando diseños BON mediante Alloy

por Castro, Pablo Francisco, Ponzio, Pablo Daniel, Demasi, Ramiro Adrián, Baum, Gabriel Alfredo
Publicado 2005

Aportado por: SEDICI (UNLP)

Enlace del recurso

Objeto de conferencia

Agregar a favoritos

Guardado en:
14

Verifying BON models with alloy

por Demasi, Ramiro Adrián, Ponzio, Pablo Daniel, Castro, Pablo Francisco, Baum, Gabriel Alfredo
Publicado 2005

Aportado por: SEDICI (UNLP)

Enlace del recurso

Enlace del recurso

Articulo

Agregar a favoritos

Guardado en:
15

Efñcient Test Generation Guided by Field Coverage Gritería

por Godio, Ariel, Bengolea, Valeria, Ponzio, Pablo Daniel, Aguirre, Nazareno Matías, Frias, Marcelo F.
Publicado 2020

Aportado por: SEDICI (UNLP)

Enlace del recurso

Enlace del recurso

Objeto de conferencia Resumen

Agregar a favoritos

Guardado en:
16

Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds

por Ponzio, Pablo Daniel, Godio, Ariel, Rosner, Nicolás, Arroyo, Marcelo, Aguirre, Nazareno Matías, Frias, Marcelo F.
Publicado 2021

Aportado por: SEDICI (UNLP)

Enlace del recurso

Enlace del recurso

Objeto de conferencia

Agregar a favoritos

Guardado en:
17

Efficient Bounded Exhaustive Input Generation from Program APIs

por Politano, Mariano, Bengolea, Valeria, Molina, Facundo, Aguirre, Nazareno Matías, Frias, Marcelo F., Ponzio, Pablo Daniel
Publicado 2023

Aportado por: SEDICI (UNLP)

Enlace del recurso

Objeto de conferencia Resumen

Agregar a favoritos

Guardado en:
18

Analizando el uso de (Dyn)Alloy como herramienta educativa

por Cornejo, César, Politano, Mariano, Raverta, Fernando, Permigiani, Sonia, Ponzio, Pablo Daniel, Regis, Germán, Aguirre, Nazareno Matías
Publicado 2015

Aportado por: SEDICI (UNLP)

Enlace del recurso

Objeto de conferencia

Agregar a favoritos

Guardado en:
19

ProgEnv: un entorno para la enseñanza de la programación

por Arroyo, Marcelo, Bavera, Francisco, Bengolea, Valeria, Cerdá, Ernesto Pedro, Kilmurray, Cecilia, Novaira, Maria Marta, Permigiani, Sonia, Ponzio, Pablo Daniel, Scilingo, Gastón, Tardivo, María Laura, Uva, Marcelo
Publicado 2019

Aportado por: SEDICI (UNLP)

Enlace del recurso

Objeto de conferencia

Agregar a favoritos

Guardado en:
20

Cómputo automático de workarounds transitorios a partir de especificaciones de programas usando SAT solving

por Uva, Marcelo Ariel
Publicado 2022
Otros Autores: “...Ponzio, Pablo Daniel...”

Aportado por: Repositorio Digital de la Universidad de Buenos Aires (UBA)

Enlace del recurso

Enlace del recurso

Tesis doctoral publishedVersion

Agregar a favoritos

Guardado en: