Author of the publication

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

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)Inference of field initialization., and . ICSE, page 231-240. ACM, (2011)Re-engineering ERC-20 Smart Contracts with Efficient Snapshots for the Java Virtual Machine., , , and . BCCA, page 187-194. IEEE, (2021)Nullness Analysis in Boolean Form.. SEFM, page 21-30. IEEE Computer Society, (2008)Abstract Interpretation of Prolog Programs., and . AMAST, volume 1548 of Lecture Notes in Computer Science, page 455-470. Springer, (1998)Analysis of Downward Closed Properties of Logic Programs., and . AMAST, volume 1816 of Lecture Notes in Computer Science, page 181-196. Springer, (2000)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)Software verification challenges in the blockchain ecosystem., and . Int. J. Softw. Tools Technol. Transf., 26 (4): 431-444 (August 2024)Static analysis for discovering IoT vulnerabilities., , , and . Int. J. Softw. Tools Technol. Transf., 23 (1): 71-88 (2021)