Hyunyoung Kil

According to our database, Hyunyoung Kil authored at least 23 papers between 2006 and 2022.

Collaborative distances:

• Dijkstra number of five.
• 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

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

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

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

2007

Semantic Web-Service Discovery and Composition Using Flexible Parameter Matching.

Seog-Chan Oh, John Jung-Woon Yoo, Hyunyoung Kil, Dongwon Lee, Soundar R. T. Kumara

Proceedings of the 9th IEEE International Conference on E-Commerce Technology (CEC 2007) / 4th IEEE International Conference on Enterprise Computing, 2007

2006

Algorithms for Web Services Discovery and Composition Based on Syntactic and Semantic Service Descriptions.

Seog-Chan Oh, Hyunyoung Kil, Dongwon Lee, Soundar R. T. Kumara

Proceedings of the Eighth IEEE International Conference on E-Commerce Technology (CEC 2006) / Third IEEE International Conference on Enterprise Computing, 2006

OpenArXiv = arXiv + RDBMS + web services.

Justin Fisher, Hyunyoung Kil, Dongwon Lee

Proceedings of the ACM/IEEE Joint Conference on Digital Libraries, 2006

WSBen: A Web Services Discovery and Composition Benchmark.

Seog-Chan Oh, Hyunyoung Kil, Dongwon Lee, Soundar R. T. Kumara

Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006), 2006