Author of the publication

Static analysis of Android Auto infotainment and on-board diagnostics II apps.

, , , , and . Softw. Pract. Exp., 49 (7): 1131-1161 (2019)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Re-engineering ERC-20 Smart Contracts with Efficient Snapshots for the Java Virtual Machine., , , and . BCCA, page 187-194. IEEE, (2021)Inference of field initialization., and . ICSE, page 231-240. ACM, (2011)Abstract Compilation for Sharing Analysis., and . FLOPS, volume 2024 of Lecture Notes in Computer Science, page 311-325. Springer, (2001)The Nullness Analyser of julia.. LPAR (Dakar), volume 6355 of Lecture Notes in Computer Science, page 405-424. Springer, (2010)Abstract Interpretation of Prolog Programs., and . AMAST, volume 1548 of Lecture Notes in Computer Science, page 455-470. Springer, (1998)Nullness Analysis in Boolean Form.. SEFM, page 21-30. IEEE Computer Society, (2008)Information Flow Analysis for Detecting Non-Determinism in Blockchain., , , , , , and . ECOOP, volume 263 of LIPIcs, page 23:1-23:25. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Analysis of Downward Closed Properties of Logic Programs., and . AMAST, volume 1816 of Lecture Notes in Computer Science, page 181-196. Springer, (2000)Software verification challenges in the blockchain ecosystem., and . Int. J. Softw. Tools Technol. Transf., 26 (4): 431-444 (August 2024)Locking discipline inference and checking., , , , and . ICSE, page 1133-1144. ACM, (2016)