8
Publications
411
Citations
8
H-Index
2001
Active since
Affiliations
Milenko Drinić is an author at Microsoft (United States) specializing in engineering, computer engineering, and computer science.
Top concepts
EngineeringComputer ScienceComputer EngineeringProgram AnalysisSystem SoftwareSoftware AnalysisFormal MethodsFormal VerificationComputer ArchitectureCryptography
Publications per year
2001–2007
8
8
Framework for instruction-level tracing and analysis of program executions
Wen-Ke Chen, Stuart de Jong, Andrew J. Edwards et al. · 2006 · 235 citations
Software Maintenance, Engineering, Computer Architecture +21
Enabling trusted software integrity
Darko Kirovski, Milenko Drinić, Miodrag Potkonjak · 2002 · 81 citations
Milenko Drinić, Darko Kirovski, Hoi Vo · ACM Transactions on Programming Languages and Systems · 2007 · 14 citations · Full text
Rows per page
1–5 of 8