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
1072010
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
762013
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
462015
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
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
272017
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
252020
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
252018
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
Profit: Detecting and Quantifying Side Channels in Networked Applications.
N Rosner, IB Kadron, L Bang, T Bultan
NDSS, 2019
222019
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
182014
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
132021
Parallel bounded verification of Alloy models by TranScoping
N Rosner, CG López Pombo, N Aguirre, A Jaoua, A Mili, MF Frias
Verified Software: Theories, Tools, Experiments: 5th International …, 2014
112014
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
102013
ParAlloy: Towards a framework for efficient parallel analysis of Alloy models
N Rosner, JP Galeotti, CG Lopez Pombo, MF Frias
Abstract State Machines, Alloy, B and Z: Second International Conference …, 2010
102010
Feedback-driven side-channel analysis for networked applications
IB Kadron, N Rosner, T Bultan
Proceedings of the 29th ACM SIGSOFT International Symposium on Software …, 2020
82020
Efficient tight field bounds computation based on shape predicates
P Ponzio, N Rosner, N Aguirre, M Frias
FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16 …, 2014
62014
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
42022
Inductive verification of data model invariants in web applications using first-order logic
I Bocić, T Bultan, N Rosner
Automated Software Engineering 26, 379-416, 2019
42019
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
32009
Efficient bounded model checking of heap-manipulating programs using tight field bounds
P Ponzio, A Godio, N Rosner, M Arroyo, N Aguirre, MF Frias
Fundamental Approaches to Software Engineering: 24th International …, 2021
22021
The system can't perform the operation now. Try again later.
Articles 1–20