Yeonseok Lee

According to our database, Yeonseok Lee authored at least 4 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

Incorrectness Separation Logic with Arrays and Pointer Arithmetic.

Yeonseok Lee, Koji Nakazawa

CoRR, March, 2025

DVSMOT: Dual View Sharing for Enhanced Multi-Object Tracking and ID Switch Reduction.

Heon Jun Shin, Joohyung Oh, Woo-Seok Choi, Joong Hun Cho, Yeonseok Lee, Tae-Kyung Kim

Proceedings of the IEEE International Conference on Big Data and Smart Computing, 2025

Proposing a business model analysis framework for IoT Bigdata.

Junghwan Lee, Yeonseok Lee

Proceedings of the IEEE International Conference on Big Data and Smart Computing, 2025

2024

Relative Completeness of Incorrectness Separation Logic.

Yeonseok Lee, Koji Nakazawa

Proceedings of the Programming Languages and Systems - 22nd Asian Symposium, 2024