Toggle navigation
Repositorio Institucional
CONICET Digital
Inicio
EXPLORAR
AUTORES
DISCIPLINAS
COMUNIDADES
Estadísticas
Novedades
Noticias
Boletines
Ayuda
General
Datos de investigación
Acerca de
CONICET Digital
Equipo
Red Federal
Contacto
JavaScript is disabled for your browser. Some features of this site may not work without it.
Rosner, Nicolas Leandro
PRODUCCION CIENTÍFICO TECNOLÓGICA
Mostrando ítems 1-3 de 3
Artículo
BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support
Rosner, Nicolas Leandro
;
Geldenhuys, Jaco
;
Aguirre, Nazareno Matias
;
Visser, Willem
;
Frias, Marcelo Fabian
(
IEEE Computer Society
,
2015-07
)
Artículo
Efficient Tight Field Bounds Computation Based on Shape Predicates
Ponzio, Pablo Daniel
;
Rosner, Nicolas Leandro
;
Aguirre, Nazareno Matias
;
Frias, Marcelo Fabian
(
Springer
,
2014-05
)
Artículo
TACO: efficient SAT-based bounded verification using symmetry breaking and tight bounds
Galeotti, Juan Pablo
;
Rosner, Nicolas Leandro
;
Lopez Pombo, Carlos Gustavo
;
Frias, Marcelo Fabian
(
IEEE Computer Society
,
2013-03
)
Mostrando ítems 1-3 de 3