Hyunyoung Kil

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