 | 2009 |
|---|
| 7 |       | Yanhong A. Liu,
Michael Gorbovitski,
Scott D. Stoller:
A language and framework for invariant-driven transformations.
GPCE 2009: 55-64 |
| 2008 |
|---|
| 6 | | 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 |
| 5 | | Michael Gorbovitski,
K. Tuncay Tekle,
Tom Rothamel,
Scott D. Stoller,
Yanhong A. Liu:
Analysis and Transformations for Efficient Query-Based Debugging.
SCAM 2008: 174-183 |
| 4 | | Michael Gorbovitski,
Tom Rothamel,
Yanhong A. Liu,
Scott D. Stoller:
Efficient runtime invariant checking: a framework and case study.
WODA 2008: 43-49 |
| 2006 |
|---|
| 3 | | Yanhong A. Liu,
Chen Wang,
Michael Gorbovitski,
Tom Rothamel,
Yongxi Cheng,
Yingchao Zhao,
Jing Zhang:
Core role-based access control: efficient implementations by transformations.
PEPM 2006: 112-120 |
| 2005 |
|---|
| 2 | | Yanhong A. Liu,
Scott D. Stoller,
Michael Gorbovitski,
Tom Rothamel,
Yanni Ellen Liu:
Incrementalization across object abstraction.
OOPSLA 2005: 473-486 |
| 1 | | Michael Gorbovitski,
Tom Rothamel,
Yanhong A. Liu,
Scott D. Stoller:
Implementing incrementalization across object abstraction.
OOPSLA Companion 2005: 112-113 |
