Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Tidjani Négadi
Hafeni Mthoko
Robert Villa
Jhonathan Pinzon
Liangliang Shang
Giovanni Venturelli
Chen Ma
Jing-Sheng Wong
Joachim Becker
Radu Timofte
Home
/
Author
/
NICOLÁS ROSNER
Author Info
Open Visualization
Name
Affiliation
Papers
NICOLÁS ROSNER
Univ Buenos Aires, Dept Computac FCEFyN, Buenos Aires, Argentina
11
Collaborators
Citations
PageRank
25
68
5.14
Referers
Referees
References
133
366
209
Search Limit
100
366
Publications (11 rows)
Collaborators (25 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
JIT Leaks: Inducing Timing Side Channels through Just-In-Time Compilation
1
0.35
2020
Inductive verification of data model invariants in web applications using first-order logic
0
0.34
2019
Profit - Detecting and Quantifying Side Channels in Networked Applications.
0
0.34
2019
Online Synthesis of Adaptive Side-Channel Attacks Based On Noisy Observations
2
0.37
2018
Constraint normalization and parameterized caching for quantitative program analysis
1
0.37
2017
Bounded exhaustive test input generation from hybrid invariants
5
0.40
2014
Efficient Tight Field Bounds Computation Based on Shape Predicates.
2
0.36
2014
Parallel Bounded Verification of Alloy Models by TranScoping.
2
0.39
2013
Parallel bounded analysis in code with rich invariants by refinement of field bounds
4
0.41
2013
ParAlloy: towards a framework for efficient parallel analysis of alloy models
4
0.43
2010
Analysis of invariants for efficient bounded verification
47
1.39
2010
1