( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Model-based whitebox fuzzing for program binaries.

, , и . ASE, стр. 543-553. ACM, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Abhik Narayan Choudhury

Abhik Narayan Choudhury

Abhik Narayan Choudhury

 

Другие публикации лиц с тем же именем

A Framework to Model Branch Prediction for Worst Case Execution Time Analysis, и . (июня 2002)Long version of: A Framework to Model Branch Prediction for WCET Analysis, Tulika Mitra, Abhik Roychoudhury, 2nd Workshop on Worst Case Execution Time Analysis (WCET), Austria, June 2002. Also available as NUS Technical Report 11-01. One of Author's homepage: http://www.comp.nus.edu.sg/~abhik/.Formal Reasoning about Hardware and Software Memory Models.. ICFEM, том 2495 из Lecture Notes in Computer Science, стр. 423-434. Springer, (2002)Generalized Unfold/fold Transformation Systems for Normal Logic Programs., , и . ICLP, стр. 616. MIT Press, (1999)Scalable and precise refinement of cache timing analysis via path-sensitive verification., и . Real Time Syst., 49 (4): 517-562 (2013)Fairness-guided SMT-based Rectification of Decision Trees and Random Forests., , , и . CoRR, (2020)Welcome., , и . Commun. ACM, 63 (4): 44-46 (2020)Hierarchical dynamic slicing., и . ISSTA, стр. 228-238. ACM, (2007)Efficient Algorithms for Vertex Arboricity of Planar Graphs., и . FSTTCS, том 1026 из Lecture Notes in Computer Science, стр. 37-51. Springer, (1995)WOMM: A Weak Operational Memory Model., , и . ISoLA (1), том 6415 из Lecture Notes in Computer Science, стр. 519-534. Springer, (2010)Interacting process classes., , , и . ICSE, стр. 302-311. ACM, (2006)