DL2Go: Editable Digital Libraries in the Pocket.
with Hyunyoung Kil and Dongwon Lee.
The 11th International Conference on Asia-Pacific Digital Libraries (ICADL'08), 2008.
Lecture Notes in Computer Science (LNCS) 5362, pp.1-11.
Formal Verification of Industrial Benchmarks Using Flexible Engine
Architecture.
with X. du, A. Kuehlmann, R.P. Kurshan and K.L. McMillan.
Cadence Technical Conference, 2006. The best paper
award.
Symbolic Compositional Verification by
Learning Assumptions.
with Rajeev Alur and P. Madhusudan.
The 17th International Conference on Computer Aided Verification
(CAV'05), Edinburgh, Scotland, UK, 2005.
Lecture Notes in Computer Science (LNCS) 3576, pp.548-562.
Synthesis of Interface Specifications for
Java Classes.
with Rajeev Alur, Cerny Pavol and P. Madhusudan.
The 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming
Languages (POPL'05), Long Beach, California, USA, pp.98-109, 2005.
Symbolic Computational Techniques for
Solving Games.
with Rajeev Alur and P. Madhusudan.
International Journal on Software Tools for Technology Transfer (STTT),
Vol.7(2), pp.118-128, 2005.
- Preliminary version : The 1st International Workshop on
Bounded Model Checking (BMC'03), Boulder, Colorado, USA, 2003.
Electronic Notes in Theoretical Computer Science (ENTCS), Vol 89(4),
pp.578-592.
On the Computational Complexity of Behavioral Description-Based Web Service Composition.
with H. Kil and D. Lee.
Submitted to ACM Transactions on the Web. SCI-E.