| 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 | 113 | 2010 |
| 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 | 79 | 2013 |
| 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 | 49 | 2015 |
| 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 | 45 | 2013 |
| 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 | 34 | 2020 |
| 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 | 28 | 2018 |
| 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 | 28 | 2017 |
| 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 | 24 | 2013 |
| Profit: Detecting and Quantifying Side Channels in Networked Applications. N Rosner, IB Kadron, L Bang, T Bultan NDSS, 2019 | 22 | 2019 |
| 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 | 19 | 2014 |
| 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 | 15 | 2021 |
| 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 | 11 | 2014 |
| 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 | 10 | 2013 |
| 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 | 10 | 2010 |
| 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 | 9 | 2020 |
| 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 | 6 | 2014 |
| 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 | 5 | 2022 |
| 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 | 4 | 2019 |
| 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 | 4 | 2009 |
| Compositional taint analysis for enforcing security policies at scale S Banerjee, S Cui, M Emmi, A Filieri, L Hadarean, P Li, L Luo, ... Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023 | 2 | 2023 |
Juan Pablo GaleottiUniversidad de Buenos AiresVerified email at dc.uba.ar
