Andriy Dunets

Automatische Fehlersuche in algebraischen Spezifikationen

Andriy Dunets, Andriy Dunets, 2010 .

Bounded Relational Analysis of Free Data Types

Andriy Dunets, Wolfgang Reif, Gerhard Schellhorn, 2008, TAP.

Automated Flaw Detection in Algebraic Specifications

Andriy Dunets, Wolfgang Reif, Gerhard Schellhorn, 2010, Journal of Automated Reasoning.

Verification of Medical Guidelines by Model Checking - A Case Study

Andriy Dunets, Wolfgang Reif, Michael Balser, 2006, SPIN.

Automating Algebraic Specifications of Non-freely Generated Data Types

Andriy Dunets, Wolfgang Reif, Gerhard Schellhorn, 2008, ATVA.