Verification of Medical Guidelines by Model Checking - A Case Study. - Simon Bäumler; Michael Balser; Andriy Dunets; Wolfgang Reif; Jonathan Schmitt (SPIN, 2006)

Automating Algebraic Specifications of Non-freely Generated Data Types. - Andriy Dunets; Gerhard Schellhorn; Wolfgang Reif (ATVA, 2008)

Bounded Relational Analysis of Free Data Types. - Andriy Dunets; Gerhard Schellhorn; Wolfgang Reif (TAP, 2008)

Automated Flaw Detection in Algebraic Specifications. - Andriy Dunets; Gerhard Schellhorn; Wolfgang Reif (J. Autom. Reason., 2010)

Automatische Fehlersuche in algebraischen Spezifikationen. - Andriy Dunets (2010)