 | 2008 |
|---|
| 5 |       | Sean Callanan,
David J. Dean,
Michael Gorbovitski,
Radu Grosu,
Justin Seyster,
Scott A. Smolka,
Scott D. Stoller,
Erez Zadok:
Software monitoring with bounded overhead.
IPDPS 2008: 1-8 |
| 2007 |
|---|
| 4 | | Sean Callanan,
Radu Grosu,
Justin Seyster,
Scott A. Smolka,
Erez Zadok:
Model Predictive Control for Memory Profiling.
IPDPS 2007: 1-7 |
| 2006 |
|---|
| 3 | | Sean Callanan,
Radu Grosu,
Xiaowan Huang,
Scott A. Smolka,
Erez Zadok:
Compiler-assisted software verification using plug-ins.
IPDPS 2006 |
| 2 | | Sean Callanan,
Radu Grosu,
Abhishek Rai,
Scott A. Smolka,
Mike R. True,
Erez Zadok:
Runtime Verification for High-Confidence Systems: A Monte Carlo Approach.
Electr. Notes Theor. Comput. Sci. 164(4): 41-52 (2006) |
| 2005 |
|---|
| 1 | | Erez Zadok,
Sean Callanan,
Abhishek Rai,
Gopalan Sivathanu,
Avishay Traeger:
Efficient and Safe Execution of User-Level Code in the Kernel.
IPDPS 2005 |
