Resultados de Búsqueda por Autor

1

TacoPlug: An eclipse plug-in for TACO

por Galeotti, Juan Pablo
Publicado 2012

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

Enlace del recurso

Enlace del recurso
2

Verificación de software usando Alloy

por Galeotti, Juan Pablo
Publicado 2010

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

Enlace del recurso

Tesis Doctoral
3

Verificación de software usando Alloy

por Galeotti, Juan Pablo
Publicado 2010

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

Enlace del recurso

Tesis doctoral publishedVersion
4

Razonando entre la lógica dinámica y la lógica lineal temporal usando álgebras de Fork

por Galeotti, Juan Pablo
Publicado 2004

Número de Clasificación: Cargando...
Ubicado: Cargando...

Aportado por: Biblioteca Central Dr. Luis F. Leloir (FCEN)

Tesis Libro Cargando...
5

Verificación de software usando Alloy

por Galeotti, Juan Pablo
Publicado 2010

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

Enlace del recurso

Enlace del recurso

Tesis doctoral publishedVersion
6

Incorporating coverage criteria in bounded exhaustive black box test generation of structural inputs

por Frias, Marcelo, Galeotti, Juan Pablo
Publicado 2011

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

Enlace del recurso

Enlace del recurso
7

The DynAlloy visualizer

por Galeotti, Juan Pablo, Garbervetsky, Diego
Publicado 2014

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

Enlace del recurso

Enlace del recurso
8

Razonando entre la lógica dinámica y la lógica lineal temporal usando álgebras de fork

por Galeotti, Juan Pablo, Roman, Mario
Publicado 2004

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

Enlace del recurso

Tesis de grado publishedVersion
9

Razonando entre la lógica dinámica y la lógica lineal temporal usando álgebras de fork

por Galeotti, Juan Pablo, Roman, Mario
Publicado 2004

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

Enlace del recurso

Enlace del recurso

Tesis de grado publishedVersion
10

Parallel bounded analysis in code with rich invariants by refinement of field bounds

por Rosner, Nicolás, Galeotti, Juan Pablo, Frias, Marcelo
Publicado 2013

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

Enlace del recurso

Enlace del recurso
11

TacoFlow: optimizing SAT program verification using dataflow analysis

por Galeotti, Juan Pablo, Garbervetsky, Diego, Frias, Marcelo
Publicado 2014

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

Enlace del recurso

Enlace del recurso
12

On verifying resource contracts using code contracts

por Garbervetsky, Diego, Tapicer, Jonathan, Galeotti, Juan Pablo
Publicado 2014

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

Enlace del recurso

Enlace del recurso
13

A dataflow analysis to improve SAT-based bounded program verification

por Galeotti, Juan Pablo, Garbervetsky, Diego, Frias, Marcelo
Publicado 2011

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

Enlace del recurso

Enlace del recurso
14

Towards abstraction for DynAlloy specifications

por Frias, Marcelo, Cardiff, Brian J., Galeotti, Juan Pablo
Publicado 2008

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

Enlace del recurso

Enlace del recurso
15

Enabledness-based testing of object protocols

por Godoy, Javier, Galeotti, Juan Pablo, Garbervetsky, Diego, Uchitel, Sebastián
Publicado 2022

Aportado por: SEDICI (UNLP)

Enlace del recurso

Enlace del recurso

Objeto de conferencia Resumen
16

Incorporating coverage criteria in bounded exhaustive black box test generation of structural inputs

por Aguirre, Nazareno, Bengolea, Valeria, Galeotti, Juan Pablo, Frías, Marcelo
Publicado 2022

Aportado por: Repositorio Institucional Instituto Tecnológico de Buenos Aires (ITBA)

Enlace del recurso

Ponencias en Congresos acceptedVersion
17

DynAlloy: Upgrading alloy with actions

por Frias, Marcelo, Galeotti, Juan Pablo, López Pombo, Carlos Gustavo
Publicado 2005

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

Enlace del recurso

Enlace del recurso
18

Analysis of invariants for efficient bounded verification

por Galeotti, Juan Pablo, Rosner, Nicolás, López Pombo, Carlos G., Frías, Marcelo
Publicado 2022

Aportado por: Repositorio Institucional Instituto Tecnológico de Buenos Aires (ITBA)

Enlace del recurso

Ponencias en Congresos publishedVersion
19

TACO: Efficient SAT-based bounded verification using symmetry breaking and tight bounds

por Galeotti, Juan Pablo, Rosner, Nicolás, López Pombo, Carlos Gustavo, Frias, Marcelo
Publicado 2013

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

Enlace del recurso

Enlace del recurso
20

ParAlloy: Towards a framework for efficient parallel analysis of alloy models

por Rosner, Nicolás, Galeotti, Juan Pablo, López Pombo, Carlos Gustavo, Frias, Marcelo
Publicado 2010

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

Enlace del recurso

Enlace del recurso