Ton-Chanh Le

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 6

Top Topics

Temporal Patterns

Knowledge Representation Languages

Top Venues

Publications

Yuandong Cyrus Liu, Ton-Chanh Le, Timos Antonopoulos, Eric Koskinen, ThanhVu Nguyen
DrNLA: Extending Verification to Non-linear Programs through Dual Re-writing. CoRR (2023)
Yuandong Cyrus Liu, Chengbin Pang, Daniel Dietsch, Eric Koskinen, Ton-Chanh Le, Georgios Portokalidis, Jun Xu
Proving LTL Properties of Bitvector Programs and Decompiled Binaries. APLAS (2021)
Yuandong Cyrus Liu, Chengbin Pang, Daniel Dietsch, Eric Koskinen, Ton-Chanh Le, Georgios Portokalidis, Jun Xu
Source-Level Bitwise Branching for Temporal Verification of Lifted Binaries. CoRR (2021)
Yuandong Cyrus Liu, Ton-Chanh Le, Eric Koskinen
Source-Level Bitwise Branching for Temporal Verification. CoRR (2021)
Timos Antonopoulos, Eric Koskinen, Ton-Chanh Le
Specification and Inference of Trace Refinement Relations. CoRR (2019)
Mihaela Sighireanu, Juan Antonio Navarro Pérez, Andrey Rybalchenko, Nikos Gorogiannis, Radu Iosif, Andrew Reynolds, Cristina Serban, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger, Wei-Ngan Chin, Quang Loc Le, Quang-Trung Ta, Ton-Chanh Le, Thanh-Toan Nguyen, Siau-Cheng Khoo, Michal Cyprian, Adam Rogalewicz, Tomás Vojnar, Constantin Enea, Ondrej Lengál, Chong Gao, Zhilin Wu
SL-COMP: Competition of Solvers for Separation Logic. TACAS (3) (2019)