남원홍 (Wonhong Nam)

Research Areas

• Formal Methods, Formal Verification, (Symbolic) Model Checking

• Software Engineering

• Programming Languages

• Web Service Composition/Verification

• Automated Planning

Selected Publication

• 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.

Education

• 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.