Resultados de Búsqueda por Autor

1

Alloy Analyzer+PVS in the analysis and verification of Alloy specifications

por Frias, M.F
Publicado 2007

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

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

Registro en Scopus

Handle

Registro en la Biblioteca Digital

Acta de conferencia Capítulo de libro

Agregar a favoritos

Guardado en:
2

DynAlloy: Upgrading alloy with actions

por Frias, M.F
Publicado 2005

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

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

Registro en Scopus

Handle

Registro en la Biblioteca Digital

Acta de conferencia Capítulo de libro

Agregar a favoritos

Guardado en:
3

Reasoning about static and dynamic properties in alloy: A purely relational approach

por Frias, M.F
Publicado 2005

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

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

Registro en Scopus

DOI

Handle

Registro en la Biblioteca Digital

Capítulo de libro

Agregar a favoritos

Guardado en:
4

Interpretability of first-order linear temporal logics in fork algebras

por Frias, M.F., Pombo, C.G.L.

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

Enlace del recurso

JOUR

Agregar a favoritos

Guardado en:
5

Complete calculi for structured specifications in fork algebra

por Lopez Pombo, C.G., Frias, M.F.

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

Enlace del recurso

SER

Agregar a favoritos

Guardado en:
6

Fork algebras as a sufficiently rich universal institution

por Pombo, C.G.L., Frias, M.F.

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

Enlace del recurso

SER

Agregar a favoritos

Guardado en:
7

Dynamite: A tool for the verification of alloy models based on PVS

por Moscato, M.M., Lopez Pombo, C.G., Frias, M.F.

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

Enlace del recurso

JOUR

Agregar a favoritos

Guardado en:
8

Alloy Analyzer+PVS in the analysis and verification of Alloy specifications

por Frias, M.F., Lopez Pombo, C.G., Moscato, M.M.

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

Enlace del recurso

SER

Agregar a favoritos

Guardado en:
9

Dynamite 2.0: New features based on UnSAT-core extraction to improve verification of software requirements

por Moscato, M.M., López Pombo, C.G., Frias, M.F.

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

Enlace del recurso

SER

Agregar a favoritos

Guardado en:
10

A dataflow analysis to improve SAT-based bounded program verification

por Cuervo Parrino, B., Galeotti, J.P., Garbervetsky, D., Frias, M.F.

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

Enlace del recurso

SER

Agregar a favoritos

Guardado en:
11

TacoFlow: optimizing SAT program verification using dataflow analysis

por Cuervo Parrino, B., Galeotti, J.P., Garbervetsky, D., Frias, M.F.

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

Enlace del recurso

JOUR

Agregar a favoritos

Guardado en:
12

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

por Aguirre, N.M., Bengolea, V.S., Frias, M.F., Galeotti, J.P.

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

Enlace del recurso

SER

Agregar a favoritos

Guardado en:
13

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

por Galeotti, J.P., Rosner, N., Lopez Pombo, C.G., Frias, M.F.

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

Enlace del recurso

JOUR

Agregar a favoritos

Guardado en:
14

Alloy+HotCore: A fast approximation to unsat core

por D'Ippolito, N., Frias, M.F., Galeotti, J.P., Lanzarotti, E., Mera, S.

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

Enlace del recurso

SER

Agregar a favoritos

Guardado en:
15

Analysis of invariants for efficient bounded verification

por Galeotti, J.P., Rosner, N., Pombo, C.G.L., Frias, M.F.

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

Enlace del recurso

CONF

Agregar a favoritos

Guardado en:
16

BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support

por Rosner, N., Geldenhuys, J., Aguirre, N.M., Visser, W., Frias, M.F.

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

Enlace del recurso

JOUR

Agregar a favoritos

Guardado en:
17

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

por Rosner, N., Galeotti, J.P., Lopez Pombo, C.G., Frias, M.F.

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

Enlace del recurso

SER

Agregar a favoritos

Guardado en:
18

DynAlloy: Upgrading alloy with actions

por Frias, M.F., Galeotti, J.P., Pombo, C.G.L., Aguirre, N.M.

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

Enlace del recurso

CONF

Agregar a favoritos

Guardado en:
19

Describing and analyzing behaviours over tabular specifications using (Dyn)alloy

por Aguirre, N.M., Frias, M.F., Moscato, M.M., Maibaum, T.S.E., Wassyng, A.
Publicado 2009

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

Enlace del recurso

Artículo publishedVersion

Agregar a favoritos

Guardado en:
20

Describing and analyzing behaviours over tabular specifications using (Dyn)alloy

por Aguirre, N.M., Frias, M.F., Moscato, M.M., Maibaum, T.S.E., Wassyng, A.
Publicado 2009

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

Enlace del recurso

Enlace del recurso

Artículo publishedVersion

Agregar a favoritos

Guardado en: