Wonhong Nam

According to our database, Wonhong Nam authored at least 29 papers between 2003 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Formal Verification of Blockchain Smart Contracts via ATL Model Checking.

Wonhong Nam, Hyunyoung Kil

IEEE Access, 2022

2021

Automatic incremental recomposition algorithm for QoS-aware internet of things service composition.

Hyunyoung Kil, Wonhong Nam

Int. J. Web Grid Serv., 2021

2020

Winning Strategy Tree Construction for BDD-Based ATL Model Checkers.

Wonhong Nam, Haejin Yang, Hyunyoung Kil

Int. J. Softw. Eng. Knowl. Eng., 2020

2018

Reliable Approximated Number System with Exact Bounds and Three-Valued Logic.

Reeseo Cha, Wonhong Nam, Jin-Young Choi

Comput. Syst. Sci. Eng., 2018

2017

MemPatrol: Reliable Sideline Integrity Monitoring for High-Performance Systems.

Myoung Jin Nam, Wonhong Nam, Jin-Young Choi, Periklis Akritidis

Proceedings of the Detection of Intrusions and Malware, and Vulnerability Assessment, 2017

2016

Optimal algorithm for Internet-of-Things service composition based on response time.

Wonhong Nam, Reeseo Cha, Hyunyoung Kil

Int. J. Web Grid Serv., 2016

Transaction history-based web service composition for uncertain QoS.

Hyunyoung Kil, Reeseo Cha, Wonhong Nam

Int. J. Web Grid Serv., 2016

2014

Formal Verification of a Gravity-Induced Loss-of-Consciousness Monitoring System for Aircraft.

Seonmo Kim, Wonhong Nam, Hyunyoung Kil, Myunghwan Park

Comput. Sci. Eng., 2014

2013

Behavioural description based web service composition using abstraction and refinement.

Hyunyoung Kil, Wonhong Nam, Dongwon Lee

Int. J. Web Grid Serv., 2013

Semantic web service composition via model checking techniques.

Hyunyoung Kil, Wonhong Nam

Int. J. Web Grid Serv., 2013

Efficient anytime algorithm for large-scale QoS-aware web service composition.

Hyunyoung Kil, Wonhong Nam

Int. J. Web Grid Serv., 2013

2012

Semantic Web Service Composition Using Formal Verification Techniques.

Hyunyoung Kil, Wonhong Nam

Proceedings of the Computer Applications for Database, Education, and Ubiquitous Computing, 2012

2011

On the computational complexity of behavioral description-based web service composition.

Wonhong Nam, Hyunyoung Kil, Dongwon Lee

Theor. Comput. Sci., 2011

Anytime algorithm for QoS web service composition.

Hyunyoung Kil, Wonhong Nam

Proceedings of the 20th International Conference on World Wide Web, 2011

2010

Active Learning of Plans for Safety and Reachability Goals With Partial Observability.

Wonhong Nam, Rajeev Alur

IEEE Trans. Syst. Man Cybern. Part B, 2010

Modeling autonomous military robots using hybrid system framework.

Jungjae Lee, Reeseo Cha, Younghun Han, Wonhong Nam, Jin-Young Choi, Wontae Kim, Seung-Min Park

Proceedings of the International Conference on Information and Communication Technology Convergence, 2010

2009

Graph Theoretic Topological Analysis of Web Service Networks.

Hyunyoung Kil, Seog-Chan Oh, Ergin Elmacioglu, Wonhong Nam, Dongwon Lee

World Wide Web, 2009

Automatic web service composition with abstraction and refinement.

Hyunyoung Kil, Wonhong Nam, Dongwon Lee

Proceedings of the 18th International Conference on World Wide Web, 2009

QoS-Driven Web Service Composition Using Learning-Based Depth First Search.

Wonhong Nam, Hyunyoung Kil, Jungjae Lee

Proceedings of the 2009 IEEE Conference on Commerce and Enterprise Computing, 2009

Efficient Abstraction and Refinement for Behavioral Description Based Web Service Composition.

Hyunyoung Kil, Wonhong Nam, Dongwon Lee

Proceedings of the IJCAI 2009, 2009

2008

Automatic symbolic compositional verification by learning assumptions.

Wonhong Nam, P. Madhusudan, Rajeev Alur

Formal Methods Syst. Des., 2008

Type-Aware Web Service Composition Using Boolean Satisfiability Solver.

Wonhong Nam, Hyunyoung Kil, Dongwon Lee

Proceedings of the 10th IEEE International Conference on E-Commerce Technology (CEC 2008) / 5th IEEE International Conference on Enterprise Computing, 2008

Computational Complexity of Web Service Composition Based on Behavioral Descriptions.

Hyunyoung Kil, Wonhong Nam, Dongwon Lee

Proceedings of the 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), 2008

DL2Go: Editable Digital Libraries in the Pocket.

Hyunyoung Kil, Wonhong Nam, Dongwon Lee

Proceedings of the Digital Libraries: Universal and Ubiquitous Access to Information, 2008

2006

Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition.

Wonhong Nam, Rajeev Alur

Proceedings of the Automated Technology for Verification and Analysis, 2006

2005

Synthesis of interface specifications for Java classes.

Rajeev Alur, Pavol Cerný, P. Madhusudan, Wonhong Nam

Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

Symbolic Compositional Verification by Learning Assumptions.

Rajeev Alur, P. Madhusudan, Wonhong Nam

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004

Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System.

Rajeev Alur, David Arney, Elsa L. Gunter, Insup Lee, Jaime Lee, Wonhong Nam, Frederick Pearce, Stephen Van Albert, Jiaxiang Zhou

Int. J. Softw. Tools Technol. Transf., 2004

2003

Symbolic computational techniques for solving games.

P. Madhusudan, Wonhong Nam, Rajeev Alur

Proceedings of the First International Workshop on Bounded Model Checking, 2003