Zvonimir Pavlinovic is an author at New York University specializing in software analysis, computer science, and formal methods.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceSoftware AnalysisFormal VerificationCompilersProgram AnalysisSoftware TestingAutomated Reasoning
Publications per year
2014–2019
3
3
Finding minimum type error sources
Zvonimir Pavlinovic, Tim L. King, Thomas Wies · 2014 · 43 citations
Mathematical Programming, Engineering, Error Control Technique +23
VACCINE: Using Contextual Integrity For Data Leakage Detection
Yan Shvartzshnaider, Zvonimir Pavlinovic, Ananth Balashankar et al. · 2019 · 29 citations · Full text
Rows per page
1–3 of 3