Follow
Nicolás Rosner
Title
Cited by
Cited by
Year
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
1042010
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
712013
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
422013
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
372015
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
262017
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
232013
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
202018
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
152014
JIT leaks: Inducing timing side channels through just-in-time compilation
T Brennan, N Rosner, T Bultan
2020 IEEE Symposium on Security and Privacy (SP), 1207-1222, 2020
132020
Profit: Detecting and Quantifying Side Channels in Networked Applications.
N Rosner, IB Kadron, L Bang, T Bultan
NDSS, 2019
132019
Parallel bounded verification of Alloy models by TranScoping
N Rosner, CG López Pombo, N Aguirre, A Jaoua, A Mili, MF Frias
Working Conference on Verified Software: Theories, Tools, and Experiments …, 2013
102013
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
92013
ParAlloy: Towards a framework for efficient parallel analysis of Alloy models
N Rosner, JP Galeotti, CG Lopez Pombo, MF Frias
International Conference on Abstract State Machines, Alloy, B and Z, 396-397, 2010
92010
RAPID: checking API usage for the cloud in the cloud
M Emmi, L Hadarean, R Jhala, L Pike, N Rosner, M Schäf, A Sengupta, ...
Proceedings of the 29th ACM Joint Meeting on European Software Engineering …, 2021
62021
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
62014
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
42019
Feedback-driven side-channel analysis for networked applications
İB Kadron, N Rosner, T Bultan
Proceedings of the 29th ACM SIGSOFT International Symposium on Software …, 2020
32020
Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds
P Ponzio, A Godio, N Rosner, M Arroyo, N Aguirre, MF Frias
International Conference on Fundamental Approaches to Software Engineering …, 2021
22021
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
Input splitting for cloud-based static application security testing platforms
M Christakis, T Cottenier, A Filieri, L Luo, MN Mansur, L Pike, N Rosner, ...
Proceedings of the 30th ACM Joint European Software Engineering Conference …, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–20