Andriy Dunets

According to our database, Andriy Dunets authored at least 5 papers between 2006 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2010

Automatische Fehlersuche in algebraischen Spezifikationen.

Andriy Dunets

PhD thesis, 2010

Automated Flaw Detection in Algebraic Specifications.

Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif

J. Autom. Reason., 2010

2008

Bounded Relational Analysis of Free Data Types.

Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif

Proceedings of the Tests and Proofs - 2nd International Conference, 2008

Automating Algebraic Specifications of Non-freely Generated Data Types.

Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif

Proceedings of the Automated Technology for Verification and Analysis, 2008

2006

Verification of Medical Guidelines by Model Checking - A Case Study.

Simon Bäumler, Michael Balser, Andriy Dunets, Wolfgang Reif, Jonathan Schmitt

Proceedings of the Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30, 2006