![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Wonhong Nam
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [j16]Wonhong Nam
, Hyunyoung Kil
:
Formal Verification of Blockchain Smart Contracts via ATL Model Checking. IEEE Access 10: 8151-8162 (2022) - 2021
- [j15]Hyunyoung Kil, Wonhong Nam:
Automatic incremental recomposition algorithm for QoS-aware internet of things service composition. Int. J. Web Grid Serv. 17(2): 118-137 (2021) - 2020
- [j14]Wonhong Nam, Haejin Yang, Hyunyoung Kil:
Winning Strategy Tree Construction for BDD-Based ATL Model Checkers. Int. J. Softw. Eng. Knowl. Eng. 30(4): 555-573 (2020)
2010 – 2019
- 2018
- [j13]Reeseo Cha, Wonhong Nam, Jin-Young Choi:
Reliable Approximated Number System with Exact Bounds and Three-Valued Logic. Comput. Syst. Sci. Eng. 33(6): 447-455 (2018) - 2017
- [c14]Myoung Jin Nam, Wonhong Nam, Jin-Young Choi
, Periklis Akritidis:
MemPatrol: Reliable Sideline Integrity Monitoring for High-Performance Systems. DIMVA 2017: 48-69 - 2016
- [j12]Hyunyoung Kil, Reeseo Cha, Wonhong Nam:
Transaction history-based web service composition for uncertain QoS. Int. J. Web Grid Serv. 12(1): 42-62 (2016) - [j11]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): 388-406 (2016) - 2014
- [j10]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): 96-103 (2014) - 2013
- [j9]Hyunyoung Kil, Wonhong Nam, Dongwon Lee
:
Behavioural description based web service composition using abstraction and refinement. Int. J. Web Grid Serv. 9(1): 54-81 (2013) - [j8]Hyunyoung Kil, Wonhong Nam:
Efficient anytime algorithm for large-scale QoS-aware web service composition. Int. J. Web Grid Serv. 9(1): 82-106 (2013) - [j7]Hyunyoung Kil, Wonhong Nam:
Semantic web service composition via model checking techniques. Int. J. Web Grid Serv. 9(4): 339-350 (2013) - 2012
- [c13]Hyunyoung Kil, Wonhong Nam:
Semantic Web Service Composition Using Formal Verification Techniques. FGIT-EL/DTA/UNESST 2012: 72-79 - 2011
- [j6]Wonhong Nam, Hyunyoung Kil, Dongwon Lee
:
On the computational complexity of behavioral description-based web service composition. Theor. Comput. Sci. 412(48): 6736-6749 (2011) - [c12]Hyunyoung Kil, Wonhong Nam:
Anytime algorithm for QoS web service composition. WWW (Companion Volume) 2011: 71-72 - 2010
- [j5]Wonhong Nam, Rajeev Alur:
Active Learning of Plans for Safety and Reachability Goals With Partial Observability. IEEE Trans. Syst. Man Cybern. Part B 40(2): 412-420 (2010) - [c11]Jungjae Lee, Reeseo Cha, Younghun Han, Wonhong Nam, Jin-Young Choi
, Wontae Kim, Seung-Min Park:
Modeling autonomous military robots using hybrid system framework. ICTC 2010: 429-430
2000 – 2009
- 2009
- [j4]Hyunyoung Kil, Seog-Chan Oh, Ergin Elmacioglu, Wonhong Nam, Dongwon Lee
:
Graph Theoretic Topological Analysis of Web Service Networks. World Wide Web 12(3): 321-343 (2009) - [c10]Hyunyoung Kil, Wonhong Nam, Dongwon Lee
:
Efficient Abstraction and Refinement for Behavioral Description Based Web Service Composition. IJCAI 2009: 1740-1745 - [c9]Wonhong Nam, Hyunyoung Kil, Jungjae Lee:
QoS-Driven Web Service Composition Using Learning-Based Depth First Search. CEC 2009: 507-510 - [c8]Hyunyoung Kil, Wonhong Nam, Dongwon Lee
:
Automatic web service composition with abstraction and refinement. WWW 2009: 1121-1122 - 2008
- [j3]Wonhong Nam, P. Madhusudan, Rajeev Alur:
Automatic symbolic compositional verification by learning assumptions. Formal Methods Syst. Des. 32(3): 207-234 (2008) - [c7]Hyunyoung Kil, Wonhong Nam, Dongwon Lee:
DL2Go: Editable Digital Libraries in the Pocket. ICADL 2008: 1-11 - [c6]Hyunyoung Kil, Wonhong Nam, Dongwon Lee
:
Computational Complexity of Web Service Composition Based on Behavioral Descriptions. ICTAI (1) 2008: 359-363 - [c5]Wonhong Nam, Hyunyoung Kil, Dongwon Lee
:
Type-Aware Web Service Composition Using Boolean Satisfiability Solver. CEC/EEE 2008: 331-334 - 2006
- [c4]Wonhong Nam, Rajeev Alur:
Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition. ATVA 2006: 170-185 - 2005
- [j2]Rajeev Alur, P. Madhusudan, Wonhong Nam:
Symbolic computational techniques for solving games. Int. J. Softw. Tools Technol. Transf. 7(2): 118-128 (2005) - [c3]Rajeev Alur, P. Madhusudan, Wonhong Nam:
Symbolic Compositional Verification by Learning Assumptions. CAV 2005: 548-562 - [c2]Rajeev Alur, Pavol Cerný, P. Madhusudan, Wonhong Nam:
Synthesis of interface specifications for Java classes. POPL 2005: 98-109 - 2004
- [j1]Rajeev Alur, David Arney, Elsa L. Gunter, Insup Lee, Jaime Lee, Wonhong Nam, Frederick Pearce, Stephen Van Albert, Jiaxiang Zhou:
Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System. Int. J. Softw. Tools Technol. Transf. 5(4): 308-319 (2004) - 2003
- [c1]P. Madhusudan, Wonhong Nam, Rajeev Alur:
Symbolic computational techniques for solving games. BMC@CAV 2003: 578-592
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 21:46 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint