ParAlloy: Towards a Framework for Efficient Parallel Analysis of Alloy Models. - Nicolás Rosner; Juan P. Galeotti; Carlos López Pombo; Marcelo F. Frias (ASM, 2010)

Analysis of invariants for efficient bounded verification. - Juan P. Galeotti; Nicolás Rosner; Carlos López Pombo; Marcelo F. Frias (ISSTA, 2010)

Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving. - Pablo Abad; Nazareno Aguirre; Valeria S. Bengolea; Daniel Alfredo Ciolek; Marcelo F. Frias; Juan P. Galeotti; Tom Maibaum; Mariano M. Moscato; Nicolás Rosner; Ignacio Vissani (ICST, 2013)

Parallel bounded analysis in code with rich invariants by refinement of field bounds. - Nicolás Rosner; Juan P. Galeotti; Santiago Bermúdez; Guido Marucci Blas; Santiago Perez De Rosso; Lucas Pizzagalli; Luciano Zemín; Marcelo F. Frias (ISSTA, 2013)

Ranger: Parallel analysis of alloy models by range partitioning. - Nicolás Rosner; Junaid Haroon Siddiqui; Nazareno Aguirre; Sarfraz Khurshid; Marcelo F. Frias (ASE, 2013)

Parallel Bounded Verification of Alloy Models by TranScoping. - Nicolás Rosner; Carlos Gustavo López Pombo; Nazareno Aguirre; Ali Jaoua; Ali Mili 001; Marcelo F. Frias (VSTTE, 2013)

TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds. - Juan P. Galeotti; Nicolás Rosner; Carlos Gustavo López Pombo; Marcelo F. Frias (IEEE Trans. Software Eng., 2013)

Efficient Tight Field Bounds Computation Based on Shape Predicates. - Pablo Ponzio; Nicolás Rosner; Nazareno Aguirre; Marcelo F. Frias (FM, 2014)

Bounded exhaustive test input generation from hybrid invariants. - Nicolás Rosner; Valeria S. Bengolea; Pablo Ponzio; Shadi Abdul Khalek; Nazareno Aguirre; Marcelo F. Frias; Sarfraz Khurshid (OOPSLA, 2014)

BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support. - Nicolás Rosner; Jaco Geldenhuys; Nazareno Aguirre; Willem Visser; Marcelo F. Frias (IEEE Trans. Software Eng., 2015)

Constraint normalization and parameterized caching for quantitative program analysis. - Tegan Brennan; Nestan Tsiskaridze; Nicolás Rosner; Abdulbaki Aydin; Tevfik Bultan (ESEC/SIGSOFT FSE, 2017)

Online Synthesis of Adaptive Side-Channel Attacks Based On Noisy Observations. - Lucas Bang; Nicolás Rosner; Tevfik Bultan (EuroS&P, 2018)

Profit: Detecting and Quantifying Side Channels in Networked Applications. - Nicolás Rosner; Ismet Burak Kadron; Lucas Bang; Tevfik Bultan (NDSS, 2019)

Inductive verification of data model invariants in web applications using first-order logic. - Ivan Bocic; Tevfik Bultan; Nicolás Rosner (Autom. Softw. Eng., 2019)

Feedback-driven side-channel analysis for networked applications. - Ismet Burak Kadron; Nicolás Rosner; Tevfik Bultan (ISSTA, 2020)

JIT Leaks: Inducing Timing Side Channels through Just-In-Time Compilation. - Tegan Brennan; Nicolás Rosner; Tevfik Bultan (SP, 2020)

Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds. - Pablo Ponzio; Ariel Godio; Nicolás Rosner; Marcelo Arroyo; Nazareno Aguirre; Marcelo F. Frias (FASE, 2021)

RAPID: checking API usage for the cloud in the cloud. - Michael Emmi; Liana Hadarean; Ranjit Jhala; Lee Pike; Nicolás Rosner; Martin Schäf; Aritra Sengupta; Willem Visser (ESEC/SIGSOFT FSE, 2021)

Input splitting for cloud-based static application security testing platforms. - Maria Christakis; Thomas Cottenier; Antonio Filieri; Linghui Luo; Muhammad Numair Mansur; Lee Pike; Nicolás Rosner; Martin Schäf; Aritra Sengupta; Willem Visser (ESEC/SIGSOFT FSE, 2022)

Compositional Taint Analysis for Enforcing Security Policies at Scale. - Subarno Banerjee; Siwei Cui; Michael Emmi; Antonio Filieri; Liana Hadarean; Peixuan Li; Linghui Luo; Goran Piskachev; Nicolás Rosner; Aritra Sengupta; Omer Tripp; Jingbo Wang 006 (ESEC/SIGSOFT FSE, 2023)