남원홍 (Wonhong Nam)
Professor
Department of Computer Science and Engineering
Seoul, Korea.
wnam@konkuk.ac.kr
+82-2-2049-6128
Professor
Department of Computer Science and Engineering
Seoul, Korea.
wnam@konkuk.ac.kr
+82-2-2049-6128
Formal Methods, Formal Verification, (Symbolic) Model Checking
Software Engineering
Programming Languages
Web Service Composition/Verification
Automated Planning
Formal Verification of Blockchain Smart Contracts via ATL Model Checking.
Wonhong Nam, Hyunyoung Kil.
IEEE Access 10: 8151-8162, 2022.
Automatic Incremental Recomposition Algorithm for QoS-aware Internet-of-Things Service Composition.
Hyunyoung Kil, Wonhong Nam.
International Journal of Web and Grid Services, Vol.17, No.2, pp.118-137, 2021.
Winning Strategy Tree Construction for BDD-Based ATL Model Checkers.
Wonhong Nam, Haejin Yang, Hyunyoung Kil.
International Journal of Software Engineering and Knowledge Engineering. Vol. 30, No. 4, pp. 555-573, 2020.
Formal Verification of Gravity-induced Loss of Consciousness Monitoring System for Aircraft.
Seonmo Kim, Hyunyoung Kil, Wonhong Nam, Myunghwan Park
Computing in Science and Engineering, Vol. 16(5):96-103, Oct, 2014.
On the Computational Complexity of Behavioral Description-Based Web Service Composition.
Wonhong Nam, Hyunyoung Kil, Dongwon Lee
Theoretical Computer Science, Vol.412(48):6736-6749. Nov 11, 2011.
Anytime Algorithm for QoS Web Service Composition.
Hyunyoung Kil, Wonhong Nam
The 20th International World Wide Web Conference (WWW'11 poster), pages 71-72, March 28-April 1, 2011.
Active Learning of Plans for Safety and Reachability Goals with Partial Observability.
Wonhong Nam, Rajeev Alur.
IEEE Transactions on Systems, Man, and Cybernetics-Part B: Cybernetics, Vol. 40(2):412-420, April 2010.
Efficient Abstraction and Refinement for Behavioral Description Based Web Service Composition.
Hyunyoung Kil, Wonhong Nam, Dongwon Lee.
The 21st International Joint Conference on Artificial Intelligence (IJCAI-09), pages 1740-1745, July 11-17, 2009.
Automatic Web Service Composition with Abstraction and Refinement.
Hyunyoung Kil, Wonhong Nam, Dongwon Lee.
The 18th International World Wide Web Conference (WWW'09 poster), pages 1121-1122, Apr 20-24, Dec 2-5, 2009.
Automatic Symbolic Compositional Verification by Learning Assumptions.
Wonhong Nam, P. Madhusudan, Rajeev Alur.
Formal Methods in System Design, Vol. 32(3):207-234, June 2008.
Formal Verification of Industrial Benchmarks Using Flexible Engine Architecture.
X. du, A. Kuehlmann, R.P. Kurshan, K.L. McMillan, W. Nam.
Cadence Technical Conference, May 8-10, 2006. The best paper award.
Symbolic Compositional Verification by Learning Assumptions.
Rajeev Alur, P. Madhusudan, Wonhong Nam.
The 17th International Conference on Computer Aided Verification (CAV'05), Edinburgh, Scotland, UK, July 6-10, 2005.
Synthesis of Interface Specifications for Java Classes.
Rajeev Alur, Pavol Cerny, P. Madhusudan, Wonhong Nam.
The 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'05), Long Beach, California, USA, pp.98-109, January 12-14, 2005.
Doctor of Philosophy in Computer and Information Science, Sep 2001–May 2007
University of Pennsylvania, Philadelphia, PA, USA.
Thesis: Synthesis and Compositional Verification Using Language Learning
Master of Science in Computer Science and Engineering, Sep 1998–Aug 2001
Korea University, Seoul, Republic of Korea.
Thesis: Formal Verification and Testing of RACE Protocol and CCA Board Using SMV
Bachelor of Science in Computer Science and Engineering, Mar 1992–Aug 1998
Korea University, Seoul, Republic of Korea.