Resultados de Búsqueda por Autor

1

A proof of the interpretability of P/PML in a relational setting

por Baum, Gabriel Alfredo, Frias, Marcelo F.
Publicado 2001

Aportado por: SEDICI (UNLP)

Enlace del recurso

Objeto de conferencia

Agregar a favoritos

Guardado en:
2

A Logic for Real-Time Systems Specification, Its Algebraic Semantics, and Equational Calculus

por Baum, Gabriel Alfredo, Frias, Marcelo F., Maibaum, Tom
Publicado 1999

Aportado por: SEDICI (UNLP)

Enlace del recurso

Objeto de conferencia

Agregar a favoritos

Guardado en:
3

How to say greedy in fork algebras

por Baum, Gabriel Alfredo, Canal, Esteban de la, Frias, Marcelo F.
Publicado 2001

Aportado por: SEDICI (UNLP)

Enlace del recurso

Objeto de conferencia

Agregar a favoritos

Guardado en:
4

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:
5

Translating fork specification into logic programs

por Baum, Gabriel Alfredo, Frias, Marcelo F., Aguirre, Nazareno Matías, Arroyo, Marcelo
Publicado 2001

Aportado por: SEDICI (UNLP)

Enlace del recurso

Objeto de conferencia

Agregar a favoritos

Guardado en:
6

Construcción y optimización de programas en Fork Álgebras

por Baum, Gabriel Alfredo, Frias, Marcelo F., Aguirre, Nazareno Matías, Medel, Ricardo
Publicado 1998

Aportado por: SEDICI (UNLP)

Enlace del recurso

Objeto de conferencia

Agregar a favoritos

Guardado en:
7

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:
8

From Specifications to Programs: A Fork-Algebraic Approach to Bridge the Gap

por Baum, Gabriel Alfredo, Frias, Marcelo F., Haeberer, Armando Martin, Martínez López, Pablo E.
Publicado 1996

Aportado por: SEDICI (UNLP)

Enlace del recurso

Objeto de conferencia

Agregar a favoritos

Guardado en:
9

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:
10

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:
11

ATR: Template-based repair for alloy specifications

por Zheng, Guolong, Vu Nguyen, Thanh, Gutiérrez Brida, Simón, Regis, Germán, Aguirre, Nazareno, Frías, Marcelo F., Bagheri, Hamid
Publicado 2023

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

Enlace del recurso

Artículo de Publicación Periódica acceptedVersion

Agregar a favoritos

Guardado en:
12

FLACK: Counterexample-Guided Fault Localization for Alloy Models

por Zheng, Guolong, Nguyen, ThanhVu, Gutiérrez Brida, Simón, Regis, Germán, Frias, Marcelo F., Aguirre, Nazareno Matías, Bagheri, Hamid
Publicado 2021

Aportado por: SEDICI (UNLP)

Enlace del recurso

Enlace del recurso

Objeto de conferencia Resumen

Agregar a favoritos

Guardado en:
13

Bounded Exhaustive Search of Alloy Specification Repairs

por Gutiérrez Brida, Simón, Regis, Germán, Zheng, Guolong, Bagheri, Hamid, Nguyen, ThanhVu, 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:
14

ATR: template-based repair for Alloy specifications

por Zheng, Guolong, Nguyen, ThanhVu, Gutiérrez Brida, Simón, Regis, Germán, Aguirre, Nazareno Matías, Frias, Marcelo F., Bagheri, Hamid
Publicado 2022

Aportado por: SEDICI (UNLP)

Enlace del recurso

Enlace del recurso

Objeto de conferencia Resumen

Agregar a favoritos

Guardado en:
15

Acelerando ReMo a través de la generación de modelos no isomorfos

por Miranda, Fernando Carlos, Miranda, Fernando Carlos
Publicado 2007
Otros Autores: “...Frias, Marcelo F....”

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

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

Tesis Libro Cargando...

Agregar a favoritos

Guardado en: