Nicols Rosner
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
7
Active years
2010–2021
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | FASE | Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds. | Pablo Ponzio, Ariel Godio, Nicols Rosner, Marcelo Arroyo, Nazareno Aguirre, Marcelo F. Frias |
| 2020 | ISSTA | Feedback-driven side-channel analysis for networked applications. | Ismet Burak Kadron, Nicols Rosner, Tevfik Bultan |
| 2020 | SP | JIT Leaks: Inducing Timing Side Channels through Just-In-Time Compilation. | Tegan Brennan, Nicols Rosner, Tevfik Bultan |
| 2019 | NDSS | Profit: Detecting and Quantifying Side Channels in Networked Applications. | Nicols Rosner, Ismet Burak Kadron, Lucas Bang, Tevfik Bultan |
| 2014 | FM | Efficient Tight Field Bounds Computation Based on Shape Predicates. | Pablo Ponzio, Nicols Rosner, Nazareno Aguirre, Marcelo F. Frias |
| 2014 | OOPSLA | Bounded exhaustive test input generation from hybrid invariants. | Nicols Rosner, Valeria S. Bengolea, Pablo Ponzio, Shadi Abdul Khalek, Nazareno Aguirre, Marcelo F. Frias, Sarfraz Khurshid |
| 2013 | ICST | 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, Nicols Rosner, Ignacio Vissani |
| 2013 | ISSTA | Parallel bounded analysis in code with rich invariants by refinement of field bounds. | Nicols Rosner, Juan P. Galeotti, Santiago Bermdez, Guido Marucci Blas, Santiago Perez De Rosso, Lucas Pizzagalli, Luciano Zemn, Marcelo F. Frias |
| 2010 | ISSTA | Analysis of invariants for efficient bounded verification. | Juan P. Galeotti, Nicols Rosner, Carlos Lpez Pombo, Marcelo F. Frias |