Resultados de Búsqueda por Autor

41

Visual timed event scenarios

por Alfonso, Alejandra, Braberman, Víctor Adrián, Kicillof, Nicolás
Publicado 2004

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

Enlace del recurso

Enlace del recurso

Agregar a favoritos

Guardado en:
42

Speeding up model checking of timed-models by combining scenario specialization and live component analysis

por Braberman, Víctor Adrián, Kicillof, Nicolás, Monteverde, Daniel
Publicado 2009

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

Enlace del recurso

Enlace del recurso

Agregar a favoritos

Guardado en:
43

On improving backwards verification of timed automata (extended abstract)

por Braberman, Víctor Adrián, López Pombo, Carlos Gustavo
Publicado 2002

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

Enlace del recurso

Enlace del recurso

Agregar a favoritos

Guardado en:
44

Enhancing the adoption of formal methods to design real-time systems

por Felder, Miguel, Pieniazek, Fabio Javier, Braberman, Victor Adrian
Publicado 1996

Aportado por: SEDICI (UNLP)

Enlace del recurso

Objeto de conferencia

Agregar a favoritos

Guardado en:
45

Contractor.NET: Inferring typestate properties to enrich code contracts

por Braberman, Víctor Adrián, de Caso, Guido, Garbervetsky, Diego
Publicado 2011

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

Enlace del recurso

Enlace del recurso

Agregar a favoritos

Guardado en:
46

Validation of contracts using enabledness preserving finite state abstractions

por de Caso, Guido, Braberman, Víctor Adrián, Garbervetsky, Diego
Publicado 2009

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

Enlace del recurso

Enlace del recurso

Agregar a favoritos

Guardado en:
47

Automated abstractions for contract validation

por de Caso, Guido, Braberman, Víctor Adrián, Garbervetsky, Diego
Publicado 2012

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

Enlace del recurso

Enlace del recurso

Agregar a favoritos

Guardado en:
48

Abstractions for validation in action

por de Caso, Guido, Braberman, Víctor Adrián, Garbervetsky, Diego
Publicado 2012

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

Enlace del recurso

Enlace del recurso

Agregar a favoritos

Guardado en:
49

Enabledness-based program abstractions for behavior validation

por de Caso, Guido, Braberman, Víctor Adrián, Garbervetsky, Diego
Publicado 2013

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

Enlace del recurso

Enlace del recurso

Agregar a favoritos

Guardado en:
50

Parametric prediction of heap memory requirements

por Braberman, Víctor Adrián, Fernández, Federico Javier, Garbervetsky, Diego
Publicado 2008

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

Enlace del recurso

Enlace del recurso

Agregar a favoritos

Guardado en:
51

Program abstractions for behaviour validation

por de Caso, Guido, Braberman, Víctor Adrián, Garbervetsky, Diego
Publicado 2011

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

Enlace del recurso

Enlace del recurso

Agregar a favoritos

Guardado en:
52

Hypervolume approximation in timed automata model checking

por Braberman, Víctor Adrián, Lucángeli Obes, Jorge, Schapachnik, Fernando Pablo
Publicado 2007

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

Enlace del recurso

Enlace del recurso

Agregar a favoritos

Guardado en:
53

On transforming Java-like programs into memory-predictable code

por Garbervetsky, Diego, Braberman, Víctor Adrián, Rouaux, Martín, Taboada, Alejandro Darío
Publicado 2009

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

Enlace del recurso

Enlace del recurso

Agregar a favoritos

Guardado en:
54

Quantitative dynamic-memory analysis for Java

por Garbervetsky, Diego, Braberman, Víctor Adrián, Rouaux, Martín, Taboada, Alejandro Darío
Publicado 2011

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

Enlace del recurso

Enlace del recurso

Agregar a favoritos

Guardado en:
55

Interaction Models and Automated Control under Partial Observable Environments

por Ciolek, Daniel, Braberman, Victor Adrian, D'Ippolito, Nicolás, Piterman, Nir, Uchitel, Sebastián
Publicado 2016

Aportado por: SEDICI (UNLP)

Enlace del recurso

Enlace del recurso

Objeto de conferencia

Agregar a favoritos

Guardado en:
56

Supporting incremental behaviour model elaboration

por Braberman, Víctor Adrián, de Caso, Guido, Fischbein, Darío, Garbervetsky, Diego, Sibay, Germán Emir
Publicado 2013

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

Enlace del recurso

Enlace del recurso

Agregar a favoritos

Guardado en:
57

Assured and Correct Dynamic Update of Controllers

por Nahabedian, L., Braberman, Victor Adrian, D'Ippolitto, N., Honiden, Shinichi, Kramer, J., Tei, K., Uchitel, Sebastián
Publicado 2016

Aportado por: SEDICI (UNLP)

Enlace del recurso

Enlace del recurso

Objeto de conferencia Resumen

Agregar a favoritos

Guardado en:
58

A toolsuite for the verification of real-time systems in Eclipse

por Cavatorta, Lucía Irene, de Caso, Guido, Braberman, Víctor Adrián, Garbervetsky, Diego, Kicillof, Nicolás, Schapachnik, Fernando Pablo
Publicado 2006

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

Enlace del recurso

Enlace del recurso

Agregar a favoritos

Guardado en:
59

Experiencias de I+D+i en productos avanzados para el análisis de software

por Anacleto, Valerio Adrián, Braberman, Victor Adrian, Echagüe, Juan Vicente, Filia, Guillermo, Garbervetsky, Diego, Gómez, Maximiliano, Fernández Rojo, Esteban, Uchitel, Sebastián
Publicado 2014

Aportado por: SEDICI (UNLP)

Enlace del recurso

Objeto de conferencia

Agregar a favoritos

Guardado en:
60

Sobre la dinámica de un equipo de vinculación tecnológica

por Hernández, Alejandro, Echagüe, Juan Vicente, Yankelevich, Daniel, Filia, Guillermo, Gómez, Maximiliano, Guede, Christian, Braberman, Victor Adrian, Garbervetsky, Diego, Díaz, Camilo, Jamardo, Julián, Uchitel, Sebastián
Publicado 2015

Aportado por: SEDICI (UNLP)

Enlace del recurso

Enlace del recurso

Objeto de conferencia

Agregar a favoritos

Guardado en: