Julián Armando González

Publications

197

Citations

H-Index

2009

Active since

Affiliations

National Centre of Scientific Research "Demokritos"(Current)

Julián Armando González is an author at National Centre of Scientific Research "Demokritos" specializing in formal verification, engineering, and software analysis.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceSoftware TestingSoftware AnalysisFormal VerificationCryptographyData SecuritySystem Software

Publications per year

2009–2015

Publications

Missing the Point(er): On the Effectiveness of Code Pointer Integrity

Isaac Evans, Sam Fingeret, Julián Armando González et al. · 2015 · 140 citations · Full text

Engineering, Information Security, Verification +25

Testing efficiency transfer codes for equivalence

T. Vidmar, Necati Çeli̇k, N. Cornejo Díaz et al. · Applied Radiation and Isotopes · 2009 · 57 citations · Full text

Mathematical Programming, Engineering, Software Testing +8

Rows per page

1–2 of 2