Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System. - Rajeev Alur; David Arney; Elsa L. Gunter; Insup Lee 001; Jaime Lee; Wonhong Nam; Frederick Pearce; Stephen Van Albert; Jiaxiang Zhou (Int. J. Softw. Tools Technol. Transf., 2004)

Symbolic Compositional Verification by Learning Assumptions. - Rajeev Alur; P. Madhusudan; Wonhong Nam (CAV, 2005)

Synthesis of interface specifications for Java classes. - Rajeev Alur; Pavol Cerný; P. Madhusudan; Wonhong Nam (POPL, 2005)

Symbolic computational techniques for solving games. - Rajeev Alur; P. Madhusudan; Wonhong Nam (Int. J. Softw. Tools Technol. Transf., 2005)

Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition. - Wonhong Nam; Rajeev Alur (ATVA, 2006)

DL2Go: Editable Digital Libraries in the Pocket. - Hyunyoung Kil; Wonhong Nam; Dongwon Lee 001 (ICADL, 2008)

Computational Complexity of Web Service Composition Based on Behavioral Descriptions. - Hyunyoung Kil; Wonhong Nam; Dongwon Lee 001 (ICTAI (1), 2008)

Type-Aware Web Service Composition Using Boolean Satisfiability Solver. - Wonhong Nam; Hyunyoung Kil; Dongwon Lee 001 (CEC/EEE, 2008)

Automatic symbolic compositional verification by learning assumptions. - Wonhong Nam; P. Madhusudan; Rajeev Alur (Formal Methods Syst. Des., 2008)

Efficient Abstraction and Refinement for Behavioral Description Based Web Service Composition. - Hyunyoung Kil; Wonhong Nam; Dongwon Lee 001 (IJCAI, 2009)

QoS-Driven Web Service Composition Using Learning-Based Depth First Search. - Wonhong Nam; Hyunyoung Kil; Jungjae Lee (CEC, 2009)

Automatic web service composition with abstraction and refinement. - Hyunyoung Kil; Wonhong Nam; Dongwon Lee 001 (WWW, 2009)

Graph Theoretic Topological Analysis of Web Service Networks. - Hyunyoung Kil; Seog-Chan Oh; Ergin Elmacioglu; Wonhong Nam; Dongwon Lee 001 (World Wide Web, 2009)

Modeling autonomous military robots using hybrid system framework. - Jungjae Lee; Reeseo Cha; Younghun Han; Wonhong Nam; Jin-Young Choi; Wontae Kim 001; Seung-Min Park 001 (ICTC, 2010)

Active Learning of Plans for Safety and Reachability Goals With Partial Observability. - Wonhong Nam; Rajeev Alur (IEEE Trans. Syst. Man Cybern. Part B, 2010)

Anytime algorithm for QoS web service composition. - Hyunyoung Kil; Wonhong Nam (WWW (Companion Volume), 2011)

On the computational complexity of behavioral description-based web service composition. - Wonhong Nam; Hyunyoung Kil; Dongwon Lee 001 (Theor. Comput. Sci., 2011)

Semantic Web Service Composition Using Formal Verification Techniques. - Hyunyoung Kil; Wonhong Nam (FGIT-EL/DTA/UNESST, 2012)

Efficient anytime algorithm for large-scale QoS-aware web service composition. - Hyunyoung Kil; Wonhong Nam (Int. J. Web Grid Serv., 2013)

Semantic web service composition via model checking techniques. - Hyunyoung Kil; Wonhong Nam (Int. J. Web Grid Serv., 2013)

Behavioural description based web service composition using abstraction and refinement. - Hyunyoung Kil; Wonhong Nam; Dongwon Lee 001 (Int. J. Web Grid Serv., 2013)

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)

Transaction history-based web service composition for uncertain QoS. - Hyunyoung Kil; Reeseo Cha; Wonhong Nam (Int. J. Web Grid Serv., 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)

MemPatrol: Reliable Sideline Integrity Monitoring for High-Performance Systems. - Myoung Jin Nam; Wonhong Nam; Jin-Young Choi; Periklis Akritidis (DIMVA, 2017)

Reliable Approximated Number System with Exact Bounds and Three-Valued Logic. - Reeseo Cha; Wonhong Nam; Jin-Young Choi (Comput. Syst. Sci. Eng., 2018)

Winning Strategy Tree Construction for BDD-Based ATL Model Checkers. - Wonhong Nam; Haejin Yang; Hyunyoung Kil (Int. J. Softw. Eng. Knowl. Eng., 2020)

Automatic incremental recomposition algorithm for QoS-aware internet of things service composition. - Hyunyoung Kil; Wonhong Nam (Int. J. Web Grid Serv., 2021)

Formal Verification of Blockchain Smart Contracts via ATL Model Checking. - Wonhong Nam; Hyunyoung Kil (IEEE Access, 2022)