default search action

combined dblp search
author search
venue search
publication search

ask others

Wonhong Nam

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2022
[j16]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/access/NamK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/NamK22
Wonhong Nam, Hyunyoung Kil:
Formal Verification of Blockchain Smart Contracts via ATL Model Checking. IEEE Access 10: 8151-8162 (2022)
2021
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/ijwgs/KilN21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijwgs/KilN21
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ijseke/NamYK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijseke/NamYK20
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

see FAQ

What is the meaning of the colors in the publication lists?

2018
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/csse/ChaNC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csse/ChaNC18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/dimva/NamNCA17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dimva/NamNCA17
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ijwgs/KilCN16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijwgs/KilCN16
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ijwgs/NamCK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijwgs/NamCK16
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]
- view
  authority control:
- export record
  dblp key:
  - journals/cse/KimNKP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cse/KimNKP14
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ijwgs/KilNL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijwgs/KilNL13
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ijwgs/KilN13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijwgs/KilN13
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ijwgs/KilN13a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijwgs/KilN13a
Hyunyoung Kil, Wonhong Nam:
Semantic web service composition via model checking techniques. Int. J. Web Grid Serv. 9(4): 339-350 (2013)
2012
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/fgit/KilN12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fgit/KilN12
Hyunyoung Kil, Wonhong Nam:
Semantic Web Service Composition Using Formal Verification Techniques. FGIT-EL/DTA/UNESST 2012: 72-79
2011
[j6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/NamKL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/NamKL11
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]
- view
  authority control:
- export record
  dblp key:
  - conf/www/KilN11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/www/KilN11
Hyunyoung Kil, Wonhong Nam:
Anytime algorithm for QoS web service composition. WWW (Companion Volume) 2011: 71-72
2010
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/tsmc/NamA10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsmc/NamA10
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ictc/LeeCHNCK010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictc/LeeCHNCK010
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

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/www/KilOENL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/www/KilOENL09
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]
- view
  - electronic edition @ ijcai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ijcai/KilNL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/KilNL09
Hyunyoung Kil, Wonhong Nam, Dongwon Lee:
Efficient Abstraction and Refinement for Behavioral Description Based Web Service Composition. IJCAI 2009: 1740-1745
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/wecwis/NamKL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wecwis/NamKL09
Wonhong Nam, Hyunyoung Kil, Jungjae Lee:
QoS-Driven Web Service Composition Using Learning-Based Depth First Search. CEC 2009: 507-510
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/www/KilNL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/www/KilNL09
Hyunyoung Kil, Wonhong Nam, Dongwon Lee:
Automatic web service composition with abstraction and refinement. WWW 2009: 1121-1122
2008
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/NamMA08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/NamMA08
Wonhong Nam, P. Madhusudan, Rajeev Alur:
Automatic symbolic compositional verification by learning assumptions. Formal Methods Syst. Des. 32(3): 207-234 (2008)
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/icadl/KilNL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icadl/KilNL08
Hyunyoung Kil, Wonhong Nam, Dongwon Lee:
DL2Go: Editable Digital Libraries in the Pocket. ICADL 2008: 1-11
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/ictai/KilNL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictai/KilNL08
Hyunyoung Kil, Wonhong Nam, Dongwon Lee:
Computational Complexity of Web Service Composition Based on Behavioral Descriptions. ICTAI (1) 2008: 359-363
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/wecwis/NamKL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wecwis/NamKL08
Wonhong Nam, Hyunyoung Kil, Dongwon Lee:
Type-Aware Web Service Composition Using Boolean Satisfiability Solver. CEC/EEE 2008: 331-334
2006
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/NamA06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/NamA06
Wonhong Nam, Rajeev Alur:
Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition. ATVA 2006: 170-185
2005
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/AlurMN05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/AlurMN05
Rajeev Alur, P. Madhusudan, Wonhong Nam:
Symbolic computational techniques for solving games. Int. J. Softw. Tools Technol. Transf. 7(2): 118-128 (2005)
[c3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/AlurMN05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/AlurMN05
Rajeev Alur, P. Madhusudan, Wonhong Nam:
Symbolic Compositional Verification by Learning Assumptions. CAV 2005: 548-562
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/AlurCMN05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/AlurCMN05
Rajeev Alur, Pavol Cerný, P. Madhusudan, Wonhong Nam:
Synthesis of interface specifications for Java classes. POPL 2005: 98-109
2004
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/AlurAGLLNPAZ04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/AlurAGLLNPAZ04
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/MadhusudanNA03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MadhusudanNA03
P. Madhusudan, Wonhong Nam, Rajeev Alur:
Symbolic computational techniques for solving games. BMC@CAV 2003: 578-592

Coauthor Index

see FAQ

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.