Concepedia

Nicolás Rosner

NR

11

Publications

332

Citations

11

H-Index

2010

Active since

Affiliations

Universidad de Buenos Aires(Current)

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

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

Top concepts

EngineeringComputer ScienceFormal VerificationFormal MethodsProgram AnalysisSoftware AnalysisSoftware EngineeringSoftware TestingVerificationAutomated Reasoning

Publications per year

2010–2021

11

Publications

11

Analysis of invariants for efficient bounded verification

Juan Pablo Galeotti, Nicolás Rosner, Carlos G. López Pombo et al. · 2010 · 91 citations

Engineering, Verification, Computer-aided Verification +17

TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds

Juan Pablo Galeotti, Nicolás Rosner, Carlos G. López Pombo et al. · IEEE Transactions on Software Engineering · 2013 · 57 citations

Program Checking, Engineering, Verification +22

Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving

Pablo Garrido Abad, Nazareno Aguirre, Valeria Bengolea et al. · 2013 · 40 citations

Engineering, Verification, Test Data Generation +21

BLISS: Improved Symbolic Execution by\\ Bounded Lazy Initialization with SAT Support

Nicolás Rosner, Jaco Geldenhuys, Nazareno Aguirre et al. · IEEE Transactions on Software Engineering · 2015 · 35 citations

JIT Leaks: Inducing Timing Side Channels through Just-In-Time Compilation

Tegan Brennan, Nicolás Rosner, Tevfik Bultan · 2020 · 20 citations · Full text

Engineering, Compiler Technology, Software Engineering +21

Rows per page

1–5 of 11