| |
| 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) |
| 1 | Sean Callanan | [3] |
| 2 | Radu Grosu | [1] [2] [3] |
| 3 | Sumit Jain | [1] |
| 4 | Scott A. Smolka | [1] [2] [3] |
| 5 | Wenkai Tan | [2] |
| 6 | Stavros Tripakis | [2] |
| 7 | Erez Zadok | [3] |