Wonhong Nam

Publication Activity (10 Years)

Years Active: 2003-2022
Publications (10 Years): 7

Top Topics

Discrete Particle Swarm Optimization

Service Composition

Top Venues

Int. J. Web Grid Serv.

Comput. Sci. Eng.

Int. J. Softw. Eng. Knowl. Eng.

Publications

Wonhong Nam, Hyunyoung Kil
Formal Verification of Blockchain Smart Contracts via ATL Model Checking. IEEE Access 10 (2022)
Hyunyoung Kil, Wonhong Nam
Automatic incremental recomposition algorithm for QoS-aware internet of things service composition. Int. J. Web Grid Serv. 17 (2) (2021)
Wonhong Nam, Haejin Yang, Hyunyoung Kil
Winning Strategy Tree Construction for BDD-Based ATL Model Checkers. Int. J. Softw. Eng. Knowl. Eng. 30 (4) (2020)
Reeseo Cha, Wonhong Nam, Jin-Young Choi
Reliable Approximated Number System with Exact Bounds and Three-Valued Logic. Comput. Syst. Sci. Eng. 33 (6) (2018)
Myoung Jin Nam, Wonhong Nam, Jin-Young Choi, Periklis Akritidis
MemPatrol: Reliable Sideline Integrity Monitoring for High-Performance Systems. DIMVA (2017)
Wonhong Nam, Reeseo Cha, Hyunyoung Kil
Optimal algorithm for Internet-of-Things service composition based on response time. Int. J. Web Grid Serv. 12 (4) (2016)
Hyunyoung Kil, Reeseo Cha, Wonhong Nam
Transaction history-based web service composition for uncertain QoS. Int. J. Web Grid Serv. 12 (1) (2016)
Seonmo Kim, Wonhong Nam, Hyunyoung Kil, Myunghwan Park
Formal Verification of a Gravity-Induced Loss-of-Consciousness Monitoring System for Aircraft. Comput. Sci. Eng. 16 (5) (2014)
Hyunyoung Kil, Wonhong Nam
Efficient anytime algorithm for large-scale QoS-aware web service composition. Int. J. Web Grid Serv. 9 (1) (2013)
Hyunyoung Kil, Wonhong Nam, Dongwon Lee
Behavioural description based web service composition using abstraction and refinement. Int. J. Web Grid Serv. 9 (1) (2013)
Hyunyoung Kil, Wonhong Nam
Semantic web service composition via model checking techniques. Int. J. Web Grid Serv. 9 (4) (2013)
Hyunyoung Kil, Wonhong Nam
Semantic Web Service Composition Using Formal Verification Techniques. FGIT-EL/DTA/UNESST (2012)
Wonhong Nam, Hyunyoung Kil, Dongwon Lee
On the computational complexity of behavioral description-based web service composition. Theor. Comput. Sci. 412 (48) (2011)
Hyunyoung Kil, Wonhong Nam
Anytime algorithm for QoS web service composition. WWW (Companion Volume) (2011)
Wonhong Nam, Rajeev Alur
Active Learning of Plans for Safety and Reachability Goals With Partial Observability. IEEE Trans. Syst. Man Cybern. Part B 40 (2) (2010)
Jungjae Lee, Reeseo Cha, Younghun Han, Wonhong Nam, Jin-Young Choi, Won-Tae Kim, Seung-Min Park
Modeling autonomous military robots using hybrid system framework. ICTC (2010)
Hyunyoung Kil, Seog-Chan Oh, Ergin Elmacioglu, Wonhong Nam, Dongwon Lee
Graph Theoretic Topological Analysis of Web Service Networks. World Wide Web 12 (3) (2009)
Hyunyoung Kil, Wonhong Nam, Dongwon Lee
Automatic web service composition with abstraction and refinement. WWW (2009)
Wonhong Nam, Hyunyoung Kil, Jungjae Lee
QoS-Driven Web Service Composition Using Learning-Based Depth First Search. CEC (2009)
Hyunyoung Kil, Wonhong Nam, Dongwon Lee
Efficient Abstraction and Refinement for Behavioral Description Based Web Service Composition. IJCAI (2009)
Wonhong Nam, P. Madhusudan, Rajeev Alur
Automatic symbolic compositional verification by learning assumptions. Formal Methods Syst. Des. 32 (3) (2008)
Hyunyoung Kil, Wonhong Nam, Dongwon Lee
DL2Go: Editable Digital Libraries in the Pocket. ICADL (2008)
Hyunyoung Kil, Wonhong Nam, Dongwon Lee
Computational Complexity of Web Service Composition Based on Behavioral Descriptions. ICTAI (1) (2008)
Wonhong Nam, Hyunyoung Kil, Dongwon Lee
Type-Aware Web Service Composition Using Boolean Satisfiability Solver. CEC/EEE (2008)
Wonhong Nam, Rajeev Alur
Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition. ATVA (2006)
Rajeev Alur, Pavol Cerný, P. Madhusudan, Wonhong Nam
Synthesis of interface specifications for Java classes. POPL (2005)
Rajeev Alur, P. Madhusudan, Wonhong Nam
Symbolic Compositional Verification by Learning Assumptions. CAV (2005)
Rajeev Alur, P. Madhusudan, Wonhong Nam
Symbolic computational techniques for solving games. Int. J. Softw. Tools Technol. Transf. 7 (2) (2005)
Rajeev Alur, David Arney, Elsa L. Gunter, Insup Lee, Jaime Lee, Wonhong Nam, Frederick Pearce, Stephen Van Albert, Jiaxiang Zhou
Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System. Int. J. Softw. Tools Technol. Transf. 5 (4) (2004)
P. Madhusudan, Wonhong Nam, Rajeev Alur
Symbolic computational techniques for solving games. Electron. Notes Theor. Comput. Sci. 89 (4) (2003)