Wonhong Nam

Synthesis of interface specifications for Java classes

Rajeev Alur, Pavol Černý, P. Madhusudan et al. · 2005 · 315 citations

Engineering, Verification, Software Engineering +20

Synthesis of interface specifications for Java classes

Rajeev Alur, Pavol Černý, P. Madhusudan et al. · ACM SIGPLAN Notices · 2005 · 106 citations

Program Checking, Engineering, Verification +20

Graph Theoretic Topological Analysis of Web Service Networks

Hyunyoung Kil, Seog‐Chan Oh, Ergin Elmacioglu et al. · World Wide Web · 2009 · 55 citations

Network Algorithm, Web Service Networks, Network Science +4

Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System

Elsa L. Gunter, Insup Lee, Jaime Lee et al. · International Journal on Software Tools for Technology Transfer · 2004 · 48 citations · Full text

Cardiopulmonary Resuscitation, Medicine, Mechanical Circulatory Support +7

Formal Verification of Blockchain Smart Contracts via ATL Model Checking

Wonhong Nam, Hyunyoung Kil · IEEE Access · 2022 · 37 citations · Full text

Engineering, Information Security, Verification +20