A Functional Language with Classes. - Mike Beaven; Ryan Stansifer; Dan Wetklow (Great Lakes Computer Science Conference, 1989)

VERT-verification of real-time programs. - Mike Beaven; Brad Elmore; Dan C. Marinescu; Ryan Stansifer (COMPSAC, 1991)

A Parallel Algorithm for Computing Invariants of Petri Net Models. - Dan C. Marinescu; Mike Beaven; Ryan Stansifer (PNPM, 1991)

Explaining Type Errors In Polimorphic Languages. - Mike Beaven; Ryan Stansifer (LOPLAS, 1993)

Modeling concurrent programs with colored Petri nets. - Ryan Stansifer; Mike Beaven; Dan C. Marinescu (J. Syst. Softw., 1994)