| 2009 |
|---|
| 11 | EE | Hyunyoung Kil,
Wonhong Nam,
Dongwon Lee:
Automatic web service composition with abstraction and refinement.
WWW 2009: 1121-1122 |
| 2008 |
|---|
| 10 | EE | Wonhong Nam,
Hyunyoung Kil,
Dongwon Lee:
Type-Aware Web Service Composition Using Boolean Satisfiability Solver.
CEC/EEE 2008: 331-334 |
| 9 | EE | Hyunyoung Kil,
Wonhong Nam,
Dongwon Lee:
DL2Go: Editable Digital Libraries in the Pocket.
ICADL 2008: 1-11 |
| 8 | EE | Hyunyoung Kil,
Wonhong Nam,
Dongwon Lee:
Computational Complexity of Web Service Composition Based on Behavioral Descriptions.
ICTAI (1) 2008: 359-363 |
| 7 | EE | Wonhong Nam,
P. Madhusudan,
Rajeev Alur:
Automatic symbolic compositional verification by learning assumptions.
Formal Methods in System Design 32(3): 207-234 (2008) |
| 2006 |
|---|
| 6 | EE | Wonhong Nam,
Rajeev Alur:
Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition.
ATVA 2006: 170-185 |
| 2005 |
|---|
| 5 | EE | Rajeev Alur,
P. Madhusudan,
Wonhong Nam:
Symbolic Compositional Verification by Learning Assumptions.
CAV 2005: 548-562 |
| 4 | EE | Rajeev Alur,
Pavol Cerný,
P. Madhusudan,
Wonhong Nam:
Synthesis of interface specifications for Java classes.
POPL 2005: 98-109 |
| 3 | EE | Rajeev Alur,
P. Madhusudan,
Wonhong Nam:
Symbolic computational techniques for solving games.
STTT 7(2): 118-128 (2005) |
| 2004 |
|---|
| 2 | EE | 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.
STTT 5(4): 308-319 (2004) |
| 2003 |
|---|
| 1 | EE | P. Madhusudan,
Wonhong Nam,
Rajeev Alur:
Symbolic computational techniques for solving games.
Electr. Notes Theor. Comput. Sci. 89(4): (2003) |
