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

Verifying Properties of Differentiable Programs., , , , and . SAS, volume 11002 of Lecture Notes in Computer Science, page 205-222. Springer, (2018)NbO 2 Memristive Neurons for Burst-Based Perceptron., , , , , and . Adv. Intell. Syst., 2 (8): 2000066 (2020)CIVL: the concurrency intermediate verification language., , , , , , , and . SC, page 61:1-61:12. ACM, (2015)AD-RoadNet: An Auxiliary-Decoding Road Extraction Network Improving Connectivity While Preserving Multiscale Road Details., , , , , and . IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., (2023)CIVL: Applying a General Concurrency Verification Framework to C/Pthreads Programs (Competition Contribution)., , , , , , and . TACAS, volume 9636 of Lecture Notes in Computer Science, page 908-911. Springer, (2016)CIVL: Formal Verification of Parallel Programs., , , , and . ASE, page 830-835. IEEE Computer Society, (2015)Towards Deductive Verification of Message-Passing Parallel Programs., and . CORRECTNESS@SC, page 59-68. IEEE, (2018)WenSiM: A Relative Accuracy Assessment Method for Land Cover Products Based on Optimal Transportation Theory., , , , , , and . Remote. Sens., 16 (2): 257 (January 2024)Symbolic Execution and Deductive Verification Approaches to VerifyThis 2017 Challenges., and . ISoLA (2), volume 11245 of Lecture Notes in Computer Science, page 160-178. Springer, (2018)Towards Self-Verification in Finite Difference Code Generation., , , , , , , , and . CORRECTNESS@SC, page 42-49. ACM, (2017)