Vacuity Checking in the Modal Mu-Calculus. - Yifei Dong; Beata Sarna-Starosta; C. R. Ramakrishnan 001; Scott A. Smolka (AMAST, 2002)

Constraint-Based Model Checking of Data-Independent Systems. - Beata Sarna-Starosta; C. R. Ramakrishnan 001 (ICFEM, 2003)

Contracts and Middleware for Safe SOA Applications. - Beata Sarna-Starosta; R. E. Kurt Stirewalt; Laura K. Dillon (SDSOA@ICSE, 2007)

Compiling Constraint Handling Rules for Efficient Tabled Evaluation. - Beata Sarna-Starosta; C. R. Ramakrishnan 001 (PADL, 2007)

A Model-Based Design-for-Verification Approach to Checking for Deadlock in Multi-Threaded Applications. - Beata Sarna-Starosta; R. E. Kurt Stirewalt; Laura K. Dillon (Int. J. Softw. Eng. Knowl. Eng., 2007)

Attributed Data for CHR Indexing. - Beata Sarna-Starosta; Tom Schrijvers (ICLP, 2009)

Typed Datalog. - David Zook; Emir Pasalic; Beata Sarna-Starosta (PADL, 2009)

Approximating Constraint Propagation in Datalog - Dario Campagna; Beata Sarna-Starosta; Tom Schrijvers (CoRR, 2011)

Optimizing Inequality Joins in Datalog with Approximated Constraint Propagation. - Dario Campagna; Beata Sarna-Starosta; Tom Schrijvers (PADL, 2012)