Byeongjee Kang

According to our database¹, Byeongjee Kang authored at least 2 papers between 2022 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

Narrowing and heuristic search for symbolic reachability analysis of concurrent object-oriented systems.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2024

2022

Symbolic Reachability Analysis of Distributed Systems using Narrowing and Heuristic Search.

[BibT_eX]

[DOI]

Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2022