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