| 2009 |
|---|
| 4 | EE | Zijiang Yang,
Bashar Al-Rawi,
Karem Sakallah,
Xiaowan Huang,
Scott A. Smolka,
Radu Grosu:
Dynamic Path Reduction for Software Model Checking.
IFM 2009: 322-336 |
| 2006 |
|---|
| 3 | EE | Sean Callanan,
Radu Grosu,
Xiaowan Huang,
Scott A. Smolka,
Erez Zadok:
Compiler-assisted software verification using plug-ins.
IPDPS 2006 |
| 2 | EE | Radu Grosu,
Xiaowan Huang,
Scott A. Smolka,
Wenkai Tan,
Stavros Tripakis:
Deep Random Search for Efficient Model Checking of Timed Automata.
Monterey Workshop 2006: 111-124 |
| 1 | EE | Radu Grosu,
Xiaowan Huang,
Sumit Jain,
Scott A. Smolka:
Open-Source Model Checking.
Electr. Notes Theor. Comput. Sci. 144(3): 27-44 (2006) |
