| 2009 |
|---|
| 6 | EE | David Zook,
Emir Pasalic,
Beata Sarna-Starosta:
Typed Datalog.
PADL 2009: 168-182 |
| 2007 |
|---|
| 5 | EE | Beata Sarna-Starosta,
C. R. Ramakrishnan:
Compiling Constraint Handling Rules for Efficient Tabled Evaluation.
PADL 2007: 170-184 |
| 4 | EE | Beata Sarna-Starosta,
R. E. Kurt Stirewalt,
Laura K. Dillon:
A Model-Based Design-for-Verification Approach to Checking for Deadlock in Multi-Threaded Applications.
International Journal of Software Engineering and Knowledge Engineering 17(2): 207-230 (2007) |
| 2006 |
|---|
| 3 | | Beata Sarna-Starosta,
R. E. Kurt Stirewalt,
Laura K. Dillon:
A Model-based Design-for-Verification Approach to Checking for Deadlock in Multi-threaded Applications.
SEKE 2006: 120-125 |
| 2003 |
|---|
| 2 | EE | Beata Sarna-Starosta,
C. R. Ramakrishnan:
Constraint-Based Model Checking of Data-Independent Systems.
ICFEM 2003: 579-598 |
| 2002 |
|---|
| 1 | EE | Yifei Dong,
Beata Sarna-Starosta,
C. R. Ramakrishnan,
Scott A. Smolka:
Vacuity Checking in the Modal Mu-Calculus.
AMAST 2002: 147-162 |
