| 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) |
