Wonhong Nam

Research Area

• Formal Methods, Formal Verification, (Symbolic) Model Checking
• Interface Synthesis
• Automated Planning
• Analysis for Web Services

Office

• 313B IST Building
  College of Information Sciences and Technology,
  Pennsylvania State University,
  University Park, PA, 16802

Curriculum Vitae

• PDF

Publications

• Active Learning of Plans for Safety and Reachability Goals with Partial Observability.
  with R. Alur.
  IEEE Transactions on Systems, Man, and Cybernetics. Accepted. SCI.
• Graph Theoretic Topological Analysis of Web Service Networks.
  with H. Kil, S.-C. Oh, E. Elmacioglu and D. Lee
  World Wide Web Journal, Vol. 12(3):321-343, 2009. SCI-E.
• QoS-Driven Web Service Composition Using Learning-based Depth First Search.
  with H. Kil, and J. Lee.
  The 11th IEEE Conference on Commerce and Enterprise Computing (CEC'09), pages 507-510, 2009.
• Efficient Abstraction and Refinement for Behavioral Description Based Web Service Composition.
  with H. Kil and D. Lee.
  The 21st International Joint Conference on Artificial Intelligence (IJCAI-09), pages 1740-1745, 2009
  
• Automatic Web Service Composition with Abstraction and Refinement.
  with Hyunyoung Kil and Dongwon Lee.
  The 18th International World Wide Web Conference (WWW'09 poster), pages 1121-1122, 2009.
  
• Computational Complexity of Web Service Composition Based on Behavioral Descriptions.
  with Hyunyoung Kil and Dongwon Lee.
  The 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'08), pages 359-363, 2008.
• Type-Aware Web Service Composition Using Boolean Satisfiability Solver.
  with Hyunyoung Kil and Dongwon Lee.
  IEEE Joint Conference on E-Commerce Technology (CEC'08) and Enterprise Computing, E-Commerce and E-Services (EEE'08), page 331-334, 2008.
• Automatic Symbolic Compositional Verification by Learning Assumptions.
  with Rajeev Alur and P. Madhusudan.
  Formal Methods in System Design, Vol. 32(3):207-234, 2008. SCI-E.
• DL2Go: Editable Digital Libraries in the Pocket.
  with Hyunyoung Kil and Dongwon Lee.
  The 11th International Conference on Asia-Pacific Digital Libraries (ICADL'08), 2008.
  Lecture Notes in Computer Science (LNCS) 5362, pp.1-11.
• Learning-based Symbolic Assume-guarantee Reasoning with Automatic Decomposition.
  with Rajeev Alur.
  The 4th International Symposium on Automated Technology for Verification and Analysis (ATVA'06), Beijing, China, 2006.
  Lecture Notes in Computer Science (LNCS) 4218, pp.170-185.
• Formal Verification of Industrial Benchmarks Using Flexible Engine Architecture.
  with X. du, A. Kuehlmann, R.P. Kurshan and K.L. McMillan.
  Cadence Technical Conference, 2006. The best paper award.
• Symbolic Compositional Verification by Learning Assumptions.
  with Rajeev Alur and P. Madhusudan.
  The 17th International Conference on Computer Aided Verification (CAV'05), Edinburgh, Scotland, UK, 2005.
  Lecture Notes in Computer Science (LNCS) 3576, pp.548-562.
• Synthesis of Interface Specifications for Java Classes.
  with Rajeev Alur, Cerny Pavol and P. Madhusudan.
  The 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'05), Long Beach, California, USA, pp.98-109, 2005.
• Symbolic Computational Techniques for Solving Games.
  with Rajeev Alur and P. Madhusudan.
  International Journal on Software Tools for Technology Transfer (STTT), Vol.7(2), pp.118-128, 2005.
  - Preliminary version : The 1st International Workshop on Bounded Model Checking (BMC'03), Boulder, Colorado, USA, 2003.
  Electronic Notes in Theoretical Computer Science (ENTCS), Vol 89(4), pp.578-592.
• Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System.
  with R. Alur, D. Arney, E. L. Gunter, I. Lee et al.
  International Journal in Software Tools for Technology Transfer (STTT), Vol.5(4), pp.308-319, 2004.

Under review

• On the Computational Complexity of Behavioral Description-Based Web Service Composition.
  with H. Kil and D. Lee.
  Submitted to ACM Transactions on the Web. SCI-E.

Zohar Manna's Doctoral Descendents

Ph.D. Dissertation

• Synthesis and Compositional Verification Using Language Learning, University of Pennsylvania, 2007.