Byeongjee Kang
According to our database1,
Byeongjee Kang
authored at least 3 papers
between 2022 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2022
2023
2024
0
1
2
3
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Narrowing and heuristic search for symbolic reachability analysis of concurrent object-oriented systems.
Sci. Comput. Program., 2024
Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2024
2022
Symbolic Reachability Analysis of Distributed Systems using Narrowing and Heuristic Search.
Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2022