Nicolás Rosner - Concepedia

Author

Nicolás Rosner

Universidad de Buenos Aires ORCID

Also Known As

N Rösner, Nicolas Rosner, Nicolás Rosner

Publications

396

Citations

H-Index

Concepts

All Affiliations

Universidad de Buenos Aires Buenos Aires Institute of Technology University of California, Santa Barbara National University of Río Cuarto Consejo Nacional de Investigaciones Científicas y Técnicas

About

Nicolás Rosner is an author at Universidad de Buenos Aires specializing in engineering, formal verification, and computer science.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	8	8	270
2	Computer Science	8	8	270
3	Computer Engineering	5	5	105
4	Systems Engineering	2	2	53
5	Combinatorial Optimization	1	1	40

Nicolás Rosner

Publications

332

Citations

H-Index

Page 1

	Year	Citations
Analysis of invariants for efficient bounded verification Juan Pablo Galeotti, Nicolás Rosner, Carlos G. López Pombo, EngineeringVerificationComputer-aided VerificationSoftware EngineeringSoftware Analysis	2010	91
TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds Juan Pablo Galeotti, Nicolás Rosner, Carlos G. López Pombo, IEEE Transactions on Software Engineering Program CheckingEngineeringVerificationComputer-aided VerificationSoftware Engineering	2013	57
Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving Pablo Garrido Abad, Nazareno Aguirre, Valeria Bengolea, EngineeringVerificationTest Data GenerationSoftware EngineeringComputational Complexity	2013	40
BLISS: Improved Symbolic Execution by\\ Bounded Lazy Initialization with SAT Support Nicolás Rosner, Jaco Geldenhuys, Nazareno Aguirre, IEEE Transactions on Software Engineering	2015	35
JIT Leaks: Inducing Timing Side Channels through Just-In-Time Compilation Tegan Brennan, Nicolás Rosner, Tevfik Bultan EngineeringCompiler TechnologySoftware EngineeringSource Code AnalysisSoftware Analysis	2020	20
Constraint normalization and parameterized caching for quantitative program analysis Tegan Brennan, Nestan Tsiskaridze, Nicolás Rosner, Mathematical ProgrammingProgram CheckingEngineeringVerificationSoftware Engineering	2017	17
Bounded exhaustive test input generation from hybrid invariants Nicolás Rosner, Valeria Bengolea, Pablo Ponzio, Mathematical ProgrammingEngineeringVerificationTest Data GenerationSoftware Engineering	2014	16
Online Synthesis of Adaptive Side-Channel Attacks Based On Noisy Observations Lucas Bang, Nicolás Rosner, Tevfik Bultan EngineeringInformation SecurityAdaptive AttacksInformation ForensicsSoftware Engineering	2018	16
Profit: Detecting and Quantifying Side Channels in Networked Applications Nicolás Rosner, İsmet Burak Kadron, Lucas Bang,	2019	14
Ranger: Parallel analysis of alloy models by range partitioning Nicolás Rosner, Junaid Haroon Siddiqui, Nazareno Aguirre, Alloy LanguageRange PartitioningEngineeringComputational ComplexityComputer-aided Design	2013	13

Page 1