Wonhong Nam

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