Hyunyoung Kil

Publication Activity (10 Years)

Years Active: 2006-2022
Publications (10 Years): 5

Top Topics

Formal Verification

Discrete Particle Swarm Optimization

Top Venues

Int. J. Web Grid Serv.

Comput. Sci. Eng.

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

FGIT-EL/DTA/UNESST

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)
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)
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)
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)
Seog-Chan Oh, John Jung-Woon Yoo, Hyunyoung Kil, Dongwon Lee, Soundar R. T. Kumara
Semantic Web-Service Discovery and Composition Using Flexible Parameter Matching. CEC/EEE (2007)
Seog-Chan Oh, Hyunyoung Kil, Dongwon Lee, Soundar R. T. Kumara
Algorithms for Web Services Discovery and Composition Based on Syntactic and Semantic Service Descriptions. CEC/EEE (2006)
Justin Fisher, Hyunyoung Kil, Dongwon Lee
OpenArXiv = arXiv + RDBMS + web services. JCDL (2006)
Seog-Chan Oh, Hyunyoung Kil, Dongwon Lee, Soundar R. T. Kumara
WSBen: A Web Services Discovery and Composition Benchmark. ICWS (2006)