Nicolás Rosner
TitleCited byYear
Analysis of invariants for efficient bounded verification
JP Galeotti, N Rosner, CG López Pombo, MF Frias
Proceedings of the 19th international symposium on Software testing and …, 2010
772010
TACO: efficient SAT-based bounded verification using symmetry breaking and tight bounds
JP Galeotti, N Rosner, CGL Pombo, MF Frias
IEEE Transactions on Software Engineering 39 (9), 1283-1307, 2013
402013
Improving test generation under rich contracts by tight bounds and incremental SAT solving
P Abad, N Aguirre, V Bengolea, D Ciolek, MF Frias, J Galeotti, T Maibaum, ...
2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013
282013
BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support
N Rosner, J Geldenhuys, N Aguirre, W Visser, MF Frias
IEEE Transactions in Software Engineering, 2015
232015
Ranger: Parallel analysis of alloy models by range partitioning
N Rosner, JH Siddiqui, N Aguirre, S Khurshid, MF Frias
2013 28th IEEE/ACM International Conference on Automated Software …, 2013
142013
Bounded exhaustive test input generation from hybrid invariants
N Rosner, V Bengolea, P Ponzio, SA Khalek, N Aguirre, MF Frias, ...
ACM SIGPLAN Notices 49 (10), 655-674, 2014
92014
ParAlloy: towards a framework for efficient parallel analysis of alloy models
N Rosner, JP Galeotti, CG Lopez Pombo, MF Frias
Proceedings of the Second international conference on Abstract State …, 2010
82010
Parallel bounded analysis in code with rich invariants by refinement of field bounds
N Rosner, J Galeotti, S Bermúdez, GM Blas, SP De Rosso, L Pizzagalli, ...
Proceedings of the 2013 International Symposium on Software Testing and …, 2013
72013
Parallel bounded verification of Alloy models by TranScoping
N Rosner, CGL Pombo, N Aguirre, A Jaoua, A Mili, MF Frias
Working Conference on Verified Software: Theories, Tools, and Experiments …, 2013
52013
Online synthesis of adaptive side-channel attacks based on noisy observations
L Bang, N Rosner, T Bultan
2018 IEEE European Symposium on Security and Privacy (EuroS&P), 307-322, 2018
42018
Constraint normalization and parameterized caching for quantitative program analysis
T Brennan, N Tsiskaridze, N Rosner, A Aydin, T Bultan
Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017
42017
Efficient tight field bounds computation based on shape predicates
P Ponzio, N Rosner, N Aguirre, M Frias
International Symposium on Formal Methods, 531-546, 2014
42014
Distributed SAT-Based Computation of Relational Tight Bounds
JP Galeotti, N Rosner, CGL Pombo, MF Frias
Proc. of the Symposium on Automatic Program Verification (APV 2009), 2009
22009
Profit: Detecting and Quantifying Side Channels in Networked Applications.
N Rosner, IB Kadron, L Bang, T Bultan
NDSS, 2019
12019
Inductive verification of data model invariants in web applications using first-order logic
I Bocić, T Bultan, N Rosner
Automated Software Engineering 26 (2), 379-416, 2019
2019
JIT Leaks: Inducing Timing Side Channels through Just-In-Time Compilation
T Brennan, N Rosner, T Bultan
Inducing JIT-Based Side Channels for Inferring Predicates about Secrets
T Brennan, N Rosner, T Bultan
The system can't perform the operation now. Try again later.
Articles 1–17