Andriy Dunets

Publication Activity (10 Years)

Years Active: 2006-2010
Publications (10 Years): 0

University of Augsburg (PHD)

Education History

University of Augsburg

PHD

Publications

Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif
Automated Flaw Detection in Algebraic Specifications. J. Autom. Reason. 45 (4) (2010)
Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif
Automating Algebraic Specifications of Non-freely Generated Data Types. ATVA (2008)
Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif
Bounded Relational Analysis of Free Data Types. TAP (2008)
Simon Bäumler, Michael Balser, Andriy Dunets, Wolfgang Reif, Jonathan Schmitt
Verification of Medical Guidelines by Model Checking - A Case Study. SPIN (2006)